スレイター行列式
where the normalized Slater determinant Φ0 is the lowest eigenstate of the Fock operator: