Slater determinant
上式において、規格化されたスレイター行列式Φ0はフォック演算子の最低固有状態である。