Skip to content

Hartree–Fock for Atoms

Atomic Hartree–Fock theory is the variationally optimal single-determinant description of an atom for a specified electronic Hamiltonian and one-electron representation. It retains exact fermionic antisymmetry within that trial family and replaces the coupled many-electron equation by self-consistent one-electron equations containing two qualitatively different fields:

f[γ]=h+Vdir[ρ]−K[γ].f[\gamma] = h+V_{\mathrm{dir}}[\rho]-K[\gamma].

The direct Coulomb field VdirV_{\mathrm{dir}} is local and depends on the electron density ρ(r)\rho(\mathbf r). The exchange operator KK is nonlocal, spin selective, and depends on the occupied one-body density matrix γ\gamma. Both are generated by the same Coulomb interaction. Exchange is not an additional force appended to the Hamiltonian.

For atoms, the general Hartree–Fock construction acquires extra structure. Rotational symmetry permits angular reduction, closed shells generate spherical densities, open shells require a declared averaging or term-specific prescription, and the Coulomb kernel can be organized into radial Slater integrals and angular coefficients. These choices determine what an “atomic Hartree–Fock orbital” or “Hartree–Fock energy” actually means.

This page is the canonical home for the atomic interpretation and specialization of Hartree–Fock theory:

  • atomic spin-orbitals and the Slater-determinant reference;
  • direct and nonlocal exchange fields in an atom;
  • self-interaction cancellation and the asymptotic field of an occupied orbital;
  • spherical closed shells and radial Hartree–Fock equations;
  • open-shell, average-of-configuration, and term-dependent choices;
  • restricted, restricted-open-shell, unrestricted, and generalized variants in atomic language;
  • radial grids, numerical orbitals, and finite orbital bases;
  • atomic total energies, orbital energies, and Koopmans-style ionization estimates;
  • validation criteria and the physical effects missing from a single determinant.

Hartree–Fock Approximation owns the full determinant variational derivation, occupied-projector formulation, Roothaan–Hall equations, uniform-electron-gas example, and general stability analysis. Slater Determinants owns determinant construction and normalization. Slater Determinants in Atoms owns the mapping among atomic determinants, configurations, projection sectors, and configuration-state functions. Exchange and Correlation owns the conceptual taxonomy of direct interaction, exchange, and correlation. Detailed integral engines, basis-set libraries, SCF accelerators, and production software workflows belong to Computational QM.

In the fixed-nucleus, nonrelativistic Coulomb model and atomic units,

HC=∑i=1Nh(i)+∑i<j1rij,h(i)=−12∇i2−Zri.\begin{aligned} H_{\mathrm C} ={}& \sum_{i=1}^{N}h(i) +\sum_{i<j}\frac{1}{r_{ij}},\\ h(i) ={}& -\frac12\nabla_i^2-\frac{Z}{r_i}. \end{aligned}

Here ZZ is the nuclear charge, NN is the electron number, and rij=∣ri−rj∣r_{ij}=|\mathbf r_i-\mathbf r_j|. Finite nuclear mass, relativistic interactions, radiative corrections, and nuclear structure are separate changes to the Hamiltonian; their omission should not be mislabeled electron correlation.

Write x=(r,σ)x=(\mathbf r,\sigma) for combined spatial and spin coordinates. Hartree–Fock restricts the normalized NN-electron state to one determinant of orthonormal spin-orbitals:

Φ(x1,…,xN)=1N!det⁡[χp(xq)].\Phi(x_1,\ldots,x_N) = \frac{1}{\sqrt{N!}} \det[\chi_p(x_q)].

The determinant changes sign when any two electron coordinates are exchanged. Antisymmetry is therefore exact inside the trial space. The approximation is the much stronger statement that one occupied NN-dimensional one-particle subspace is enough to describe the state.

For the Coulomb Hamiltonian, the determinant expectation value is

EHF=∑ihii+12∑i,j(Jij−Kij),hii=∫χi∗(x)hχi(x) dx,\begin{aligned} E_{\mathrm{HF}} ={}& \sum_i h_{ii} +\frac12\sum_{i,j} \left(J_{ij}-K_{ij}\right),\\ h_{ii} ={}& \int \chi_i^*(x)h\chi_i(x)\,dx, \end{aligned}

with direct and exchange integrals. In the next two equations, r12=∣r−r′∣r_{12}=|\mathbf r-\mathbf r'|:

Jij=∬dx dx′r12 ∣χi(x)∣2∣χj(x′)∣2.\begin{aligned} J_{ij} ={}& \iint \frac{dx\,dx'}{r_{12}}\, |\chi_i(x)|^2 |\chi_j(x')|^2. \end{aligned} Kij=∬dx dx′r12 χi∗(x)χj(x)×χj∗(x′)χi(x′).\begin{aligned} K_{ij} ={}& \iint \frac{dx\,dx'}{r_{12}}\, \chi_i^*(x)\chi_j(x)\\ &\times \chi_j^*(x')\chi_i(x'). \end{aligned}

Stationary variation under the orthonormality constraints gives

fχi=∑jλjiχj.f\chi_i = \sum_j\lambda_{ji}\chi_j.

The Hermitian multiplier matrix λ\lambda can be diagonalized by a unitary rotation among occupied orbitals. In that canonical orbital representation,

fχi=ϵiχi.f\chi_i=\epsilon_i\chi_i.

The occupied subspace and determinant are invariant under that rotation. Canonical orbitals are a useful representation of the Hartree–Fock state, not separately unique electron states.

For any test spin-orbital ψ(x)\psi(x), the direct and exchange operators generated by occupied orbital jj act as

(Jjψ)(x)=[∫∣χj(x′)∣2∣r−r′∣ dx′]ψ(x),(Kjψ)(x)=χj(x)∫χj∗(x′)ψ(x′)∣r−r′∣ dx′.\begin{aligned} (J_j\psi)(x) ={}& \left[ \int \frac{|\chi_j(x')|^2} {|\mathbf r-\mathbf r'|} \,dx' \right]\psi(x),\\ (K_j\psi)(x) ={}& \chi_j(x) \int \frac{\chi_j^*(x')\psi(x')} {|\mathbf r-\mathbf r'|} \,dx'. \end{aligned}

Thus

f=h+∑j∈occ(Jj−Kj).f = h+\sum_{j\in\mathrm{occ}}(J_j-K_j).

JjJ_j multiplies the test orbital by an electrostatic potential and is therefore local in position. KjK_j samples the test orbital at all positions r′\mathbf r' before returning a value at r\mathbf r, so it is nonlocal. A single local screened potential cannot reproduce the complete Hartree–Fock exchange action on every orbital.

It is often clearer to collect occupied information into spin-resolved density matrices,

γσ(r,r′)=∑j∈occ,σϕj(r)ϕj∗(r′),ρ(r)=∑σγσ(r,r).\begin{aligned} \gamma_\sigma(\mathbf r,\mathbf r') &= \sum_{j\in\mathrm{occ},\sigma} \phi_j(\mathbf r) \phi_j^*(\mathbf r'),\\ \rho(\mathbf r) &= \sum_\sigma \gamma_\sigma(\mathbf r,\mathbf r). \end{aligned}

For a spatial test function φσ\varphi_\sigma in spin channel σ\sigma,

(Vdirφσ)(r)=[∫ρ(r′)∣r−r′∣ d3r′]φσ(r),(Kσφσ)(r)=∫γσ(r,r′)φσ(r′)∣r−r′∣ d3r′.\begin{aligned} (V_{\mathrm{dir}}\varphi_\sigma)(\mathbf r) ={}& \left[ \int \frac{\rho(\mathbf r')} {|\mathbf r-\mathbf r'|} \,d^3r' \right] \varphi_\sigma(\mathbf r),\\ (K_\sigma\varphi_\sigma)(\mathbf r) ={}& \int \frac{\gamma_\sigma(\mathbf r,\mathbf r') \varphi_\sigma(\mathbf r')} {|\mathbf r-\mathbf r'|} \,d^3r'. \end{aligned}

Atomic Hartree–Fock fixed-point structure showing local direct and nonlocal exchange channels

The same occupied orbitals generate a local direct potential through the diagonal density ρ\rho and a nonlocal, spin-resolved exchange operator through γσ\gamma_\sigma. Solving the resulting Fock equations supplies the next occupied subspace, so atomic Hartree–Fock is a nonlinear fixed-point problem.

If χi=ϕiα\chi_i=\phi_i\alpha and χj=ϕjβ\chi_j=\phi_j\beta, then the spin overlap in KijK_{ij} vanishes because ⟨α∣β⟩=0\langle\alpha|\beta\rangle=0. Direct Coulomb terms act between all occupied electrons, whereas exchange matrix elements survive only between spin-orbitals with overlapping spin components.

This does not make opposite-spin electrons distinguishable particles. Every determinant is antisymmetric under exchange of the complete spin-space coordinates. The vanishing matrix element follows from orthogonal spin functions within that representation.

Exact cancellation of one-orbital self-interaction

Section titled “Exact cancellation of one-orbital self-interaction”

For j=ij=i,

(Ji−Ki)χi=0,(J_i-K_i)\chi_i=0,

and equivalently Jii=KiiJ_{ii}=K_{ii}. The direct field generated by an occupied spin-orbital does not act back on that same spin-orbital. Hartree–Fock therefore has no one-electron Coulomb self-interaction within its determinant energy.

This exact cancellation is orbital-channel specific. It does not imply that Hartree–Fock has the exact many-electron density, nor does it remove the interaction between distinct electrons.

Far outside a finite atom, the nuclear and direct monopole terms behave as

−Zr+Nr.-\frac{Z}{r}+\frac{N}{r}.

For an occupied orbital, its self-exchange monopole cancels one unit of the direct field. The diagonal occupied channel therefore has the Coulomb tail

Viasymp(r)∼−Z−N+1r.V_i^{\mathrm{asymp}}(r) \sim -\frac{Z-N+1}{r}.

For a neutral atom, Z=NZ=N, this is −1/r-1/r. That tail is essential for the qualitative behavior of outer occupied orbitals. Because exchange is nonlocal, different occupied channels can also be asymptotically coupled; it is generally misleading to replace the result by one universal local “Hartree–Fock potential.”

An unoccupied canonical orbital is different: it has no occupied self-exchange term to cancel one unit of the direct field. In a neutral atom, the local nuclear-plus-direct monopole tends to zero, and the nonlocal exchange action on an orbital orthogonal to the occupied space is shorter ranged. Virtual Hartree–Fock orbitals therefore need not form the physical Rydberg or electron-attachment spectrum.

For a nonrelativistic atom with a rotationally invariant reference, spin-orbitals can be chosen in the form

χnℓmms(x)=Pnℓ(r)rYℓm(Ω)ηms(σ),\chi_{n\ell m m_s}(x) = \frac{P_{n\ell}(r)}{r} Y_{\ell m}(\Omega) \eta_{m_s}(\sigma),

with radial normalization

∫0∞Pnℓ(r)Pn′ℓ(r) dr=δnn′.\int_0^\infty P_{n\ell}(r)P_{n'\ell}(r)\,dr = \delta_{nn'}.

When every magnetic and spin state of a subshell is occupied, the subshell population is

qnℓ=2(2ℓ+1),q_{n\ell}=2(2\ell+1),

and its summed density is spherical. For closed shells,

ρ(r)=14πr2∑nℓqnℓPnℓ2(r).\rho(r) = \frac{1}{4\pi r^2} \sum_{n\ell}q_{n\ell}P_{n\ell}^2(r).

Rotational invariance then permits orbitals with definite ℓ\ell and mm, although the exchange operator remains nonlocal. Define the direct radial operator

Hℓdir=−12d2dr2+ℓ(ℓ+1)2r2−Zr+Vdir(r).\begin{aligned} \mathcal H_\ell^{\mathrm{dir}} ={}& -\frac12\frac{d^2}{dr^2} +\frac{\ell(\ell+1)}{2r^2}\\ &-\frac{Z}{r} +V_{\mathrm{dir}}(r). \end{aligned}

A schematic radial Hartree–Fock equation is then

HℓadirPa(r)−Ka[{Pb}](r)=ϵaPa(r).\begin{aligned} \mathcal H_{\ell_a}^{\mathrm{dir}}P_a(r) &-\mathcal K_a[\{P_b\}](r)\\ &= \epsilon_aP_a(r). \end{aligned}

Ka\mathcal K_a denotes the angularly reduced exchange action. It is an integral operator involving occupied radial functions, not a multiplicative radial potential.

The angular reduction starts from the multipole expansion

1∣r1−r2∣=∑k=0∞4π2k+1r<kr>k+1×∑q=−kkYkq∗(Ω1)Ykq(Ω2),\begin{aligned} \frac{1}{|\mathbf r_1-\mathbf r_2|} ={}& \sum_{k=0}^{\infty} \frac{4\pi}{2k+1} \frac{r_<^k}{r_>^{k+1}}\\ &\times \sum_{q=-k}^{k} Y_{kq}^*(\Omega_1)Y_{kq}(\Omega_2), \end{aligned}

where r<=min⁡(r1,r2)r_<=\min(r_1,r_2) and r>=max⁡(r1,r2)r_>=\max(r_1,r_2). Angular integration produces selection rules and numerical coefficients, while the radial dependence enters integrals of the form

Rk(ab,cd)=∫0∞ ⁣dr1 Pa(r1)Pc(r1)×∫0∞ ⁣dr2 r<kr>k+1×Pb(r2)Pd(r2).\begin{aligned} R^k(ab,cd) ={}& \int_0^\infty\!dr_1\, P_a(r_1)P_c(r_1)\\ &\times \int_0^\infty\!dr_2\, \frac{r_<^k}{r_>^{k+1}}\\ &\times P_b(r_2)P_d(r_2). \end{aligned}

Direct Slater integrals are conventionally denoted FkF^k and exchange integrals GkG^k for suitable orbital assignments. Their radial values and their angular coefficients play different roles:

  • the radial integrals measure the strength of Coulomb overlap at each multipole rank;
  • angular coefficients determine which ranks contribute to a configuration or term;
  • the k=0k=0 direct monopole supplies the spherical average;
  • higher multipoles and exchange distinguish terms built from the same occupation pattern.

Consequently, two atomic terms belonging to one electron configuration can have different Hartree–Fock energies even though their spherically averaged one-electron density is similar.

A closed-shell atom admits a spin-restricted reference in which each occupied spatial orbital is paired with α\alpha and β\beta spin. Every mm state of each occupied subshell is filled, so the density and Fock operator are rotational scalars.

The determinant is also an eigenstate with total spin S=0S=0 and total orbital angular momentum L=0L=0. Neon, for example, has the nonrelativistic closed-shell reference

1s2,2s2,2p6,1s^2,2s^2,2p^6,

and each occupied 2p2p magnetic orbital shares the same radial function in a spherical restricted calculation.

Closed-shell symmetry is computationally useful, but it does not make the exact state a determinant. Opposite-spin electrons still avoid one another dynamically, and the exact wavefunction contains excited configurations even when its overall term is 1S0{}^1S_0.

For a two-electron closed shell, the occupied spin-orbitals are ϕα\phi\alpha and ϕβ\phi\beta. Acting on ϕα\phi\alpha, the total direct field is 2Jϕ2J_\phi, while exchange with the occupied α\alpha orbital cancels one copy and exchange with β\beta vanishes. Hence

fϕ=(h+Jϕ)ϕ=ϵϕ.f\phi = (h+J_\phi)\phi = \epsilon\phi.

The total energy is

ERHF=2hϕϕ+Jϕϕ.E_{\mathrm{RHF}} = 2h_{\phi\phi}+J_{\phi\phi}.

This spatial equation coincides with the optimized two-electron closed-shell Hartree equation. The equivalence is exceptional: it depends on two electrons sharing one spatial orbital with opposite spins. It does not mean exchange is absent, and it does not supply the missing explicit r12r_{12} dependence. Helium Atom develops the resulting approximation ladder quantitatively.

An open subshell does not fill every mm and spin state. A particular determinant may therefore select a spatial axis or spin projection even though the field-free Hamiltonian is rotationally invariant. It may have definite MLM_L and MSM_S without being an eigenstate of L2L^2 or S2S^2.

Slater Determinants in Atoms shows how such projection-specific determinants are combined into symmetry-adapted CSFs before state-specific or multiconfiguration calculations.

There is no single universal object called “the open-shell atomic Hartree–Fock calculation.” One must state the variational and averaging prescription.

Suppose a subshell a=(nℓ)a=(n\ell) has degeneracy

ga=2(2ℓ+1)g_a=2(2\ell+1)

and contains qaq_a electrons. An equal-weight ensemble over all determinants in the configuration has a spherical one-body occupation

na=qagan_a=\frac{q_a}{g_a}

for every spin-orbital in the subshell. This average-of-configuration construction gives common radial orbitals and a rotationally averaged energy useful for organizing spectra and generating an orbital basis.

The two-particle average is not obtained by blindly multiplying fractional one-particle occupations. For two distinct spin-orbitals within the same subshell, the probability that both are occupied is

qa(qa−1)ga(ga−1),\frac{q_a(q_a-1)}{g_a(g_a-1)},

not (qa/ga)2(q_a/g_a)^2. The distinction removes impossible self-pairs and gives the correct average of direct and exchange contributions over the fixed-qaq_a configuration.

An average configuration is an ensemble or centroid construction. It is not a pure atomic term and should not be assigned a definite LL and SS merely because its radial density is spherical.

For a specified symmetry αLS\alpha LS, an atomic energy can be organized schematically as

E(αLS)=Eav+∑kak(αLS)Fk+∑kbk(αLS)Gk.\begin{aligned} E(\alpha LS) ={}&E_{\mathrm{av}} +\sum_k a_k(\alpha LS)F^k\\ &+\sum_k b_k(\alpha LS)G^k. \end{aligned}

The angular coefficients aka_k and bkb_k distinguish terms built from the same configuration. Optimizing orbitals for this energy gives a term-dependent self-consistent field. If the symmetry-adapted configuration-state function contains several determinants, the trial state is no longer literally one determinant even though the orbital equations retain Hartree–Fock-like direct and exchange structure.

This vocabulary matters when comparing tabulated atomic calculations. “Hartree–Fock,” “restricted Hartree–Fock,” “average level,” “average of configuration,” and “term-dependent Hartree–Fock” can refer to different stationary functionals and therefore different radial orbitals.

For the reference 1s2,2s11s^2,2s^1, a restricted-open-shell description pairs the two 1s1s electrons and leaves one 2s2s spin-orbital singly occupied. The outer electron feels the direct field of both core electrons but exchanges only with the same-spin core orbital. The closed-shell and open-shell radial equations consequently contain different combinations of direct and exchange terms.

No electron is permanently identifiable as “the outer electron.” The configuration labels an occupied subspace and coupling pattern; antisymmetry assigns no particle identity to an orbital.

The adjective attached to Hartree–Fock specifies which orbital variations are allowed.

VariantOrbital constraintAtomic useMain caution
restricted closed shellpaired α\alpha and β\beta electrons share each spatial orbitalclosed-shell atoms and ionscannot describe spin polarization
restricted open shellclosed-shell pairs share orbitals; open-shell orbitals obey a declared spin couplingmany high-spin open-shell referencescanonical open-shell orbital energies are prescription dependent
unrestrictedα\alpha and β\beta electrons have independent spatial orbitalsspin-polarized atoms, ions, and broken-symmetry referencesgenerally not an eigenstate of S2S^2
generalizedoccupied spinors may mix α\alpha and β\beta componentsnoncollinear or spin-mixed referencesinterpretation and symmetry diagnosis are more involved
configuration averagedopen-shell magnetic substates are ensemble averagedspherical atomic orbitals and configuration centroidsnot a state-specific pure term

Unrestricted variation can lower the energy because it explores a larger determinant space. The lower value is not automatically a better approximation to a particular spectroscopic term: it may gain energy by breaking spin or spatial symmetry. A trustworthy comparison reports both the variational energy and symmetry diagnostics such as ⟨S2⟩\langle S^2\rangle.

Restricted-open-shell formulations also require care. The total stationary determinant may be well defined while different choices for canonicalizing closed, open, and virtual subspaces produce different orbital eigenvalues. Total energies and invariant subspaces are more fundamental than any one set of open-shell canonical orbital energies.

The Fock operator depends on the orbitals being solved for. In projector language, a stationary solution satisfies

[f[γ],γ]=0,[f[\gamma],\gamma]=0,

with γ2=γ\gamma^2=\gamma for a pure determinant. An atomic self-consistent-field cycle is therefore:

  1. Choose the electronic configuration, spin and spatial restrictions, Hamiltonian, and one-electron representation.
  2. Build an initial occupied set from hydrogenic, screened, or previously converged orbitals.
  3. Construct direct and exchange operators with the correct open-shell angular coefficients.
  4. Solve the radial integro-differential equations or finite-basis matrix problem.
  5. Select and orthonormalize the occupied subspace consistent with the target state.
  6. Mix densities, projectors, or Fock matrices when needed and iterate to a fixed point.
  7. Test equation residuals, energy stationarity, representation convergence, symmetry, and physical observables.

The SCF map can have several fixed points. A converged determinant may represent an excited occupancy, a saddle point, a broken-symmetry solution, or a higher local minimum. Repeating the calculation from physically distinct initial guesses is part of the method, especially for open shells and near-degenerate configurations.

A small iteration-to-iteration energy change can coexist with a poor orbital residual. In a nonorthogonal finite basis, one useful residual is

R=FC−SCε,R=FC-SC\varepsilon,

where FF is the Fock matrix and SS is the overlap matrix. In a radial representation, apply the final integro-differential operator to each orbital and inspect the norm of the residual directly.

A credible result checks at least:

  • changes in total energy and occupied projector;
  • orbital-equation residuals;
  • orthonormality and determinant idempotency;
  • radial-box, grid, or basis convergence;
  • near-origin and asymptotic behavior;
  • preservation or intentional breaking of angular and spin symmetries;
  • stability against occupied–virtual rotations when the ground-state minimum is claimed.

Atomic symmetry permits representations that are less natural for general molecules. The representation is a numerical choice, not a change in Hartree–Fock theory.

For a spherical atom, each Pnℓ(r)P_{n\ell}(r) can be represented on a finite-difference, finite-element, spline, spectral, or other radial grid. The calculation must resolve several disparate scales:

  • the near-nuclear region, where orbitals vary rapidly and behave as Pnℓ(r)∝rℓ+1P_{n\ell}(r)\propto r^{\ell+1} for a point nucleus;
  • shell and nodal structure at intermediate radii;
  • the diffuse tail of valence or weakly bound orbitals;
  • a sufficiently large outer boundary that does not distort the state.

Logarithmic or otherwise nonuniform grids are common because they place many points near the nucleus while retaining a large radial box. Coulomb multipoles can be evaluated through radial integral kernels or related Poisson equations. Exchange remains an orbital-dependent integral action.

Direct numerical methods are especially valuable for approaching the nonrelativistic radial Hartree–Fock limit without attributing finite orbital-basis error to the physical approximation.

Alternatively, expand each spin-orbital in known functions,

χi(x)=∑μCμiφμ(x).\chi_i(x) = \sum_{\mu}C_{\mu i}\varphi_\mu(x).

Stationarity gives the generalized matrix equation

FC=SCε.FC=SC\varepsilon.

Slater-type orbitals reproduce an exponential radial tail and can represent the nuclear cusp compactly. Gaussian-type orbitals make many-electron integrals especially efficient but have neither the exact point-nucleus cusp nor a pure exponential tail; systematic basis enlargement is therefore essential. Numerical atomic orbitals and BB-splines provide other useful compromises.

For any finite basis, report enough information to make the result reproducible: basis family, contraction or numerical construction, angular cutoff, treatment of diffuse and tight functions, nuclear model, and convergence thresholds.

In nested variational orbital spaces, the minimized Hartree–Fock energy cannot rise as the space is enlarged. This monotonicity is a useful check, but it does not guarantee that every property converges monotonically. Radial discretization, quadrature, and boundary errors can also spoil simple variational ordering.

Agreement of total energies alone is insufficient. Hyperfine constants emphasize short distances, polarizabilities emphasize diffuse response, and transition amplitudes can be sensitive to cancellations. The representation must be converged for the observable being claimed.

For canonical occupied orbitals,

ϵi=hii+∑j(Jij−Kij).\epsilon_i = h_{ii} +\sum_j(J_{ij}-K_{ij}).

Summing over occupied orbitals counts every electron pair twice:

∑iϵi=∑ihii+∑i,j(Jij−Kij).\sum_i\epsilon_i = \sum_i h_{ii} +\sum_{i,j}(J_{ij}-K_{ij}).

The total Hartree–Fock energy is therefore

EHF=∑iϵi−12∑i,j(Jij−Kij).\begin{aligned} E_{\mathrm{HF}} ={}& \sum_i\epsilon_i -\frac12\sum_{i,j} (J_{ij}-K_{ij}). \end{aligned}

Orbital eigenvalues are Lagrange multipliers associated with an optimized representation. The total electronic energy is not their sum, and differences of orbital energies are not generally exact atomic excitation energies.

Remove occupied canonical spin-orbital ii while freezing all remaining N−1N-1 orbitals. The determinant energy difference is

Iifrozen=EN−1frozen(i)−ENHF=−ϵi.I_i^{\mathrm{frozen}} = E_{N-1}^{\mathrm{frozen}}(i)-E_N^{\mathrm{HF}} = -\epsilon_i.

This is Koopmans’ theorem in its original frozen-orbital form. It is an exact identity between two Hartree–Fock determinant energies under that constraint, not an exact theorem about the measured ionization spectrum.

If the ionic orbitals are reoptimized,

IiΔSCF=EN−1HF,opt(i)−ENHF,opt,I_i^{\Delta\mathrm{SCF}} = E_{N-1}^{\mathrm{HF,opt}}(i) -E_N^{\mathrm{HF,opt}},

and relaxation lowers the optimized ionic energy relative to its frozen value. Correlation, relativistic shifts, spin-orbit splitting, finite nuclear mass, and the possibility of several ionic terms then further separate a measured threshold from −ϵi-\epsilon_i.

For inner shells, relaxation can be large. For open shells, removing one spin-orbital from a determinant can project onto several ionic terms, so one Koopmans number need not correspond to one spectral line.

Virtual eigenvalues require still more caution. They diagonalize the NN-electron Fock operator but do not include relaxation or correlation of the (N+1)(N+1)-electron ion and do not generally equal electron affinities. Neutral-atom virtual orbitals also lack the occupied-channel −1/r-1/r self-exchange cancellation described above.

Within the declared Hamiltonian and orbital space, Hartree–Fock provides:

  • a variational upper bound to the exact ground-state energy when the global determinant minimum is found;
  • exact antisymmetry and exact exchange for a single determinant;
  • cancellation of one-orbital Coulomb self-interaction;
  • a self-consistent shell and subshell structure;
  • useful zeroth-order orbitals for configuration interaction, many-body perturbation theory, coupled-cluster theory, and relativistic extensions;
  • often good qualitative densities and trends for compact closed-shell atoms;
  • a disciplined reference against which correlation energy can be defined.

Its success is strongest when one determinant dominates and the observable is not exceptionally sensitive to correlation or a missing Hamiltonian term.

The exact Coulomb state can adjust its conditional motion beyond the exchange hole already enforced by antisymmetry. Conventional correlation energy is

Ecorr=E0−EHF≤0E_{\mathrm{corr}} = E_0-E_{\mathrm{HF}} \le 0

for the same nonrelativistic Hamiltonian and one-electron space, with EHFE_{\mathrm{HF}} understood as the global determinant minimum. Comparing energies from different Hamiltonians or basis conventions does not isolate correlation.

The exact wavefunction has a specific short-range response as two electrons approach. A smooth one-electron orbital product cannot reproduce the full r12r_{12} cusp, especially for opposite-spin pairs. This is one reason correlation expansions converge slowly in ordinary orbital bases.

When several configurations have comparable amplitudes, selecting one determinant can give qualitatively wrong state ordering, dissociation behavior, or response. Beryllium’s mixing between 2s22s^2 and 2p22p^2 symmetry-adapted configurations is a standard atomic warning: a closed-shell determinant is useful, but the exact 1S{}^1S state is not structurally exhausted by it.

Nonrelativistic Hartree–Fock does not contain spin-orbit interaction, the Breit interaction, finite nuclear mass, self-energy, vacuum polarization, or nuclear-size effects. These are Hamiltonian corrections, not correlation. For heavy atoms, a Dirac–Hartree–Fock or related relativistic starting point is often necessary before correlation is added.

One determinant provides neither the full discrete spectrum nor exact photoionization, oscillator strengths, lifetimes, polarizabilities, or hyperfine properties. State-specific orbital relaxation and configuration mixing can be as important as the ground-state total energy suggests little about them.

Before using a published or computed value, identify:

  1. Hamiltonian: nonrelativistic Coulomb, Breit–Pauli, Dirac–Coulomb, finite-mass, or another model.
  2. State prescription: closed-shell restricted, restricted open shell, unrestricted, configuration averaged, or term dependent.
  3. Representation: direct radial grid, numerical orbitals, Slater functions, Gaussians, splines, or another basis.
  4. Optimization target: total energy, configuration centroid, particular term, neutral atom, ion, or transition state.
  5. Convergence evidence: residuals, basis or grid sequence, outer-boundary checks, and alternative SCF starts.
  6. Observable layer: total energy, ionization difference, density, transition matrix element, or fitted spectroscopic parameter.
  7. Missing physics: correlation, relativistic corrections, recoil, QED, nuclear size, external fields, or continuum coupling.

A result labeled simply “HF” is underspecified for precision work.

“Hartree–Fock neglects electron–electron repulsion”

Section titled ““Hartree–Fock neglects electron–electron repulsion””

It includes Coulomb repulsion through self-consistent direct and exchange terms. It neglects the residual correlation that requires a state more flexible than the chosen determinant reference.

“Exchange is a local correction to the Hartree potential”

Section titled ““Exchange is a local correction to the Hartree potential””

Exact Hartree–Fock exchange is nonlocal. Local exchange potentials are different approximations or transformed descriptions and must be identified as such.

“Opposite-spin electrons do not need antisymmetrization”

Section titled ““Opposite-spin electrons do not need antisymmetrization””

The complete spin-space determinant is antisymmetric for every electron pair. Orthogonal spin functions merely make a particular exchange matrix element vanish.

“A spherical density proves the state has definite angular momentum”

Section titled ““A spherical density proves the state has definite angular momentum””

An equal-weight configuration average is spherical but is generally an ensemble, not one pure LSLS term. A broken-symmetry determinant can also yield useful radial averages without being an eigenstate of L2L^2.

“The sum of orbital energies is the atomic energy”

Section titled ““The sum of orbital energies is the atomic energy””

The sum double counts every direct-minus-exchange pair contribution. The explicit half-pair correction is required.

“Minus the HOMO energy is the exact ionization energy”

Section titled ““Minus the HOMO energy is the exact ionization energy””

−ϵHOMO-\epsilon_{\mathrm{HOMO}} is a frozen-orbital Hartree–Fock removal energy. Orbital relaxation, correlation, multiplet structure, and other Hamiltonian corrections separate it from experiment.

“A lower unrestricted energy is automatically more accurate”

Section titled ““A lower unrestricted energy is automatically more accurate””

The larger variational space can lower the determinant energy by breaking a physical symmetry. Energy, spin contamination, angular symmetry, and the intended state must be assessed together.

“SCF convergence proves the ground state was found”

Section titled ““SCF convergence proves the ground state was found””

SCF equations have multiple stationary solutions. Residual convergence must be followed by stability tests, alternative starting guesses, and state identification.

“Every error relative to experiment is correlation energy”

Section titled ““Every error relative to experiment is correlation energy””

Basis error, numerical error, finite nuclear mass, relativity, QED, nuclear size, and experimental conventions are separate contributions.

For one occupied normalized spin-orbital χi\chi_i, show directly that (Ji−Ki)χi=0(J_i-K_i)\chi_i=0.

Solution

The direct action is

(Jiχi)(x)=χi(x)∫∣χi(x′)∣2∣r−r′∣ dx′.(J_i\chi_i)(x) = \chi_i(x) \int \frac{|\chi_i(x')|^2} {|\mathbf r-\mathbf r'|} \,dx'.

The exchange action on the same orbital is

(Kiχi)(x)=χi(x)∫χi∗(x′)χi(x′)∣r−r′∣ dx′=(Jiχi)(x).\begin{aligned} (K_i\chi_i)(x) ={}& \chi_i(x) \int \frac{\chi_i^*(x')\chi_i(x')} {|\mathbf r-\mathbf r'|} \,dx'\\ ={}&(J_i\chi_i)(x). \end{aligned}

Their difference vanishes pointwise. For a one-electron atom, the Hartree–Fock equation therefore reduces exactly to the one-electron Coulomb equation for the chosen Hamiltonian.

Exercise 2: The helium closed-shell equation

Section titled “Exercise 2: The helium closed-shell equation”

Take occupied spin-orbitals χ1=ϕα\chi_1=\phi\alpha and χ2=ϕβ\chi_2=\phi\beta. Derive the Fock operator acting on ϕα\phi\alpha and the total determinant energy.

Solution

The direct sum contains one contribution from each occupied spin-orbital:

J1+J2=2Jϕ.J_1+J_2=2J_\phi.

Exchange with χ1\chi_1 equals JϕJ_\phi on ϕα\phi\alpha, while exchange with χ2\chi_2 vanishes because ⟨α∣β⟩=0\langle\alpha|\beta\rangle=0. Hence

fϕ=(h+2Jϕ−Jϕ)ϕ=(h+Jϕ)ϕ.f\phi = (h+2J_\phi-J_\phi)\phi = (h+J_\phi)\phi.

The one-body energy is 2hϕϕ2h_{\phi\phi}. Of the pair terms, self terms cancel and the two ordered opposite-spin direct terms combine with the factor 1/21/2, giving

ERHF=2hϕϕ+Jϕϕ.E_{\mathrm{RHF}} = 2h_{\phi\phi}+J_{\phi\phi}.

There is no opposite-spin exchange integral in this spin-orbital representation, but the full state is still an antisymmetric determinant.

An ion has nuclear charge ZZ and NN occupied electrons. Use monopole counting to find the asymptotic Coulomb coefficient acting on an occupied Hartree–Fock orbital. Evaluate it for a neutral atom and for a singly positive ion.

Solution

At large rr, the nucleus contributes −Z/r-Z/r and the total direct density contributes N/rN/r. Self-exchange cancels one unit of direct charge in the occupied orbital’s own channel. Thus

Viasymp(r)∼−Z−N+1r.V_i^{\mathrm{asymp}}(r) \sim -\frac{Z-N+1}{r}.

For a neutral atom, N=ZN=Z, so the coefficient is −1/r-1/r. For a singly positive ion, Z−N=1Z-N=1, so it is −2/r-2/r. Nonlocal exchange can couple occupied channels, so this monopole argument should not be reinterpreted as one exact local potential for every orbital.

Exercise 4: Fixed-configuration pair counting

Section titled “Exercise 4: Fixed-configuration pair counting”

A subshell contains gg spin-orbitals and exactly qq electrons, with every determinant in that configuration equally weighted. Find the occupation probability of one specified spin-orbital and the joint occupation probability of two distinct specified spin-orbitals. Compare the latter with the product of one-body probabilities.

Solution

There are (gq)\binom{g}{q} determinants. A specified spin-orbital is occupied in (g−1q−1)\binom{g-1}{q-1} of them, so

p1=(g−1q−1)(gq)=qg.p_1 = \frac{\binom{g-1}{q-1}} {\binom{g}{q}} = \frac{q}{g}.

Two distinct specified spin-orbitals are jointly occupied in (g−2q−2)\binom{g-2}{q-2} determinants, giving

p2=(g−2q−2)(gq)=q(q−1)g(g−1).p_2 = \frac{\binom{g-2}{q-2}} {\binom{g}{q}} = \frac{q(q-1)}{g(g-1)}.

In general,

p2≠p12=q2g2.p_2\ne p_1^2=\frac{q^2}{g^2}.

The fixed electron number induces combinatorial anticorrelation. Using p12p_1^2 in every pair term would count configurations that do not belong to the declared fixed-qq ensemble.

Exercise 5: Correct the orbital-energy sum

Section titled “Exercise 5: Correct the orbital-energy sum”

For an atomic determinant with occupied canonical orbitals, derive the total-energy correction to ∑iϵi\sum_i\epsilon_i. Then specialize to helium.

Solution

Summing the canonical equations gives

∑iϵi=∑ihii+∑i,j(Jij−Kij).\sum_i\epsilon_i = \sum_i h_{ii} +\sum_{i,j}(J_{ij}-K_{ij}).

The determinant energy contains half the ordered pair sum, so

EHF=∑iϵi−12∑i,j(Jij−Kij).E_{\mathrm{HF}} = \sum_i\epsilon_i -\frac12\sum_{i,j}(J_{ij}-K_{ij}).

For helium, both occupied spin-orbitals have

ϵ=hϕϕ+Jϕϕ.\epsilon=h_{\phi\phi}+J_{\phi\phi}.

Therefore

ERHF=2ϵ−Jϕϕ=2hϕϕ+Jϕϕ.E_{\mathrm{RHF}} = 2\epsilon-J_{\phi\phi} = 2h_{\phi\phi}+J_{\phi\phi}.

The direct interaction appears in each occupied eigenvalue and must be subtracted once from their sum.

Let EN−1frozen(i)E_{N-1}^{\mathrm{frozen}}(i) be the energy after deleting occupied canonical orbital ii without changing the remaining orbitals, and let EN−1opt(i)E_{N-1}^{\mathrm{opt}}(i) be the minimum obtained by reoptimizing the ionic determinant within the same Hartree–Fock model. Establish the relation among the frozen, relaxed, and orbital ionization energies.

Solution

Koopmans’ frozen-orbital identity gives

EN−1frozen(i)−ENHF=−ϵi.E_{N-1}^{\mathrm{frozen}}(i)-E_N^{\mathrm{HF}} = -\epsilon_i.

The frozen ionic determinant is an allowed trial determinant for the optimized ion. Variational reoptimization therefore gives

EN−1opt(i)≤EN−1frozen(i).E_{N-1}^{\mathrm{opt}}(i) \le E_{N-1}^{\mathrm{frozen}}(i).

Subtracting the same neutral energy yields

IiΔSCF≤Iifrozen=−ϵiI_i^{\Delta\mathrm{SCF}} \le I_i^{\mathrm{frozen}} = -\epsilon_i

within the same Hamiltonian and orbital representation. This inequality isolates orbital relaxation inside Hartree–Fock. Correlation and other Hamiltonian corrections can shift the experimental ionization energy in either direction relative to these values.

Exercise 7: Diagnose an atomic calculation

Section titled “Exercise 7: Diagnose an atomic calculation”

A spherical unrestricted calculation for an open-shell atom has a lower energy than a restricted-open-shell calculation. Its energy and density changes are below threshold, but ⟨S2⟩\langle S^2\rangle differs substantially from the target S(S+1)S(S+1), the largest Fock residual is 10−410^{-4} hartree, and the valence orbital changes when the radial box is enlarged. What can and cannot be concluded?

Solution

The lower unrestricted energy follows from its larger variational space, but it does not establish a better approximation to the target spectroscopic term. The large error in ⟨S2⟩\langle S^2\rangle shows spin contamination or deliberate spin-symmetry breaking that must be interpreted. The Fock residual shows the reported orbitals are not yet stationary, and radial-box sensitivity shows the diffuse tail is unresolved.

No state-quality comparison is justified yet. The calculation should tighten the orbital solve, enlarge and refine the radial representation, repeat from several initial guesses, and compare energies only after both variants satisfy their own residual and representation-convergence criteria. The final report should include the symmetry diagnostics rather than quoting energy alone.

  • Atomic Hartree–Fock is a self-consistent direct-plus-exchange theory optimized within a declared determinant or closely related open-shell reference space.
  • The direct field is local and density generated; exact exchange is nonlocal and spin selective.
  • Same-orbital direct and exchange contributions cancel, giving occupied neutral-atom channels a −1/r-1/r asymptotic Coulomb tail.
  • Closed shells permit a clean spherical restricted reduction, while open shells require a stated determinant, term-dependent, or configuration-average prescription.
  • Radial Slater integrals contain Coulomb strength; angular coefficients distinguish configurations and atomic terms.
  • Orbital energies are Lagrange multipliers. Their occupied sum double counts interactions, and Koopmans’ relation is a frozen-orbital ionization statement.
  • Radial grids and finite orbital bases solve the same Hartree–Fock problem but have different convergence errors.
  • A converged SCF fixed point is not necessarily the desired ground-state minimum or spectroscopic term.
  • Hartree–Fock contains exact determinant exchange but misses dynamical and multireference correlation, as well as physics absent from the chosen Hamiltonian.
  • V. Fock, “Näherungsmethode zur Lösung des quantenmechanischen Mehrkörperproblems,” Zeitschrift für Physik 61, 126–148 (1930), doi:10.1007/BF01340294.
  • J. C. Slater, “Note on Hartree’s Method,” Physical Review 35, 210–211 (1930), doi:10.1103/PhysRev.35.210.2.
  • T. Koopmans, “Über die Zuordnung von Wellenfunktionen und Eigenwerten zu den Einzelnen Elektronen Eines Atoms,” Physica 1, 104–113 (1934), doi:10.1016/S0031-8914(34)90011-2.
  • D. R. Hartree, The Calculation of Atomic Structures, Wiley (1957).
  • C. Froese Fischer, The Hartree–Fock Method for Atoms: A Numerical Approach, Wiley (1977).
  • C. Froese Fischer, T. Brage, and P. Jönsson, Computational Atomic Structure: An MCHF Approach, Institute of Physics Publishing (1997).
  • R. D. Cowan, The Theory of Atomic Structure and Spectra, University of California Press (1981).
  • W. R. Johnson, Atomic Structure Theory: Lectures on Atomic Physics, Springer (2007).
  • I. P. Grant, Relativistic Quantum Theory of Atoms and Molecules: Theory and Computation, Springer (2007).
  • A. Szabo and N. S. Ostlund, Modern Quantum Chemistry: Introduction to Advanced Electronic Structure Theory, Dover (1996).
  • P.-O. Löwdin, “Correlation Problem in Many-Electron Quantum Mechanics. I. Review of Different Approaches and Discussion of Some Current Ideas,” Advances in Chemical Physics 2, 207–322 (1959), doi:10.1002/9780470143599.ch2.
  • E. Clementi and C. Roetti, “Roothaan–Hartree–Fock Atomic Wavefunctions,” Atomic Data and Nuclear Data Tables 14, 177–478 (1974), doi:10.1016/S0092-640X(74)80016-1.