Slater determinant
これはスレイター行列式によってもたらされる。