Slater determinant
where the normalized Slater determinant Φ0 is the lowest eigenstate of the Fock operator: