Slater Determinants

⚡ Key Takeaways

A Slater determinant is an antisymmetric wavefunction for a system of identical fermions, built as the determinant of a matrix of single-particle spin-orbitals. Key result: it automatically satisfies the Pauli exclusion principle — interchanging any two particles flips the sign, and two identical occupied states give a zero wavefunction. Where it applies: quantum chemistry, atomic and molecular physics, Hartree–Fock theory, and condensed-matter many-body theory. Who/when: introduced by John C. Slater in 1929.

💡 The Core Insight

Identical fermions are indistinguishable, and their joint wavefunction must be antisymmetric under exchange of any two of them. A determinant is, by definition, the unique (up to scale) totally antisymmetric function of its columns. So if you treat each particle as a column and each occupied state as a row, the determinant is the antisymmetrization machine — automatic, exact, and economical.

Formal Statement

DefinitionSpin-orbital

A spin-orbital χi(x)\chi_i(\mathbf{x}) is a single-particle wavefunction depending on the combined coordinate x=(r,ω)\mathbf{x} = (\mathbf{r}, \omega), where r\mathbf{r} is the spatial position and ω\omega is the spin variable. Typically χi(x)=ψi(r) σ(ω)\chi_i(\mathbf{x}) = \psi_i(\mathbf{r})\,\sigma(\omega), a spatial orbital times a spin function σ∈{α,β}\sigma \in \{\alpha, \beta\} (spin up/down). We assume the set is orthonormal:

1
⟨χi∣χj⟩=∫χi∗(x) χj(x) dx=δij\quad \langle \chi_i | \chi_j \rangle = \int \chi_i^*(\mathbf{x})\,\chi_j(\mathbf{x})\,d\mathbf{x} = \delta_{ij}

Derivation hint: ∫dx\int d\mathbf{x} denotes integration over space and summation over the discrete spin variable; orthonormality is a defining convention, choosable by Gram–Schmidt.

DefinitionSlater Determinant

For NN identical fermions occupying orthonormal spin-orbitals χ1,…,χN\chi_1,\dots,\chi_N, the Slater determinant is

2
Ψ(x1,…,xN)=1N!∣χ1(x1)χ2(x1)⋯χN(x1)χ1(x2)χ2(x2)⋯χN(x2)⋮⋮⋱⋮χ1(xN)χ2(xN)⋯χN(xN)∣\quad \Psi(\mathbf{x}_1,\dots,\mathbf{x}_N) = \frac{1}{\sqrt{N!}}\begin{vmatrix} \chi_1(\mathbf{x}_1) & \chi_2(\mathbf{x}_1) & \cdots & \chi_N(\mathbf{x}_1) \\ \chi_1(\mathbf{x}_2) & \chi_2(\mathbf{x}_2) & \cdots & \chi_N(\mathbf{x}_2) \\ \vdots & \vdots & \ddots & \vdots \\ \chi_1(\mathbf{x}_N) & \chi_2(\mathbf{x}_N) & \cdots & \chi_N(\mathbf{x}_N) \end{vmatrix}

Derivation hint: row jj holds particle xj\mathbf{x}_j; column ii holds spin-orbital χi\chi_i. The prefactor 1/N!1/\sqrt{N!} normalizes Ψ\Psi when the χi\chi_i are orthonormal.

Expanding the determinant via the permutation (Leibniz) formula gives the equivalent and often more useful expression:

3
Ψ(x1,…,xN)=1N!∑P∈SNsgn⁡(P) ∏i=1Nχi(xP(i))\quad \Psi(\mathbf{x}_1,\dots,\mathbf{x}_N) = \frac{1}{\sqrt{N!}}\sum_{P \in S_N}\operatorname{sgn}(P)\,\prod_{i=1}^{N}\chi_i(\mathbf{x}_{P(i)})

Derivation hint: the Leibniz formula for a determinant sums over all permutations PP of the symmetric group SNS_N, with each term weighted by the sign (parity) of PP. A compact operator form uses the antisymmetrizer A^\hat{A}:

4
Ψ=N!  A^ [χ1(x1)χ2(x2)⋯χN(xN)],A^=1N!∑P∈SNsgn⁡(P) P^\quad \Psi = \sqrt{N!}\;\hat{A}\,\big[\chi_1(\mathbf{x}_1)\chi_2(\mathbf{x}_2)\cdots\chi_N(\mathbf{x}_N)\big], \qquad \hat{A} = \frac{1}{N!}\sum_{P\in S_N}\operatorname{sgn}(P)\,\hat{P}

Derivation hint: A^\hat{A} is a projector (A^2=A^\hat{A}^2 = \hat{A}, A^†=A^\hat{A}^\dagger = \hat{A}); applying it to the Hartree product and rescaling by N!\sqrt{N!} reproduces equation [3].

TheoremAntisymmetry and Pauli Exclusion

The Slater determinant Ψ\Psi satisfies: 1. Antisymmetry: Ψ(…,xa,…,xb,… )=− Ψ(…,xb,…,xa,… )\Psi(\dots,\mathbf{x}_a,\dots,\mathbf{x}_b,\dots) = -\,\Psi(\dots,\mathbf{x}_b,\dots,\mathbf{x}_a,\dots) for any pair a,ba,b. 2. Pauli exclusion: if χi=χj\chi_i = \chi_j for i≠ji\ne j, then Ψ≡0\Psi \equiv 0. 3. Normalization: ⟨Ψ∣Ψ⟩=1\langle \Psi | \Psi \rangle = 1 when the χi\chi_i are orthonormal.

Why It Holds / Derivation

ProofAntisymmetry, Pauli, and Normalization

Step 1 — Antisymmetry. Swapping particles xa\mathbf{x}_a and xb\mathbf{x}_b in equation [2] interchanges rows aa and bb of the determinant. A determinant changes sign under interchange of two rows. Hence Ψ→−Ψ\Psi \to -\Psi, proving property (1).

Step 2 — Pauli exclusion (from equal orbitals). If χi=χj\chi_i = \chi_j, two columns of the determinant are identical. A determinant with two equal columns vanishes, so Ψ≡0\Psi \equiv 0. No two fermions can occupy the same spin-orbital.

Step 3 — Pauli exclusion (from equal coordinates). Set xa=xb\mathbf{x}_a = \mathbf{x}_b. Then rows aa and bb are equal, so Ψ=0\Psi = 0. Two same-spin electrons cannot be at the same point — the "Fermi/exchange hole."

Step 4 — Normalization. Using the expanded form [3]:

5
⟨Ψ∣Ψ⟩=1N!∑P,Qsgn⁡(P)sgn⁡(Q)∏i⟨χi(xP(i))∣χi(xQ(i))⟩\quad \langle \Psi | \Psi \rangle = \frac{1}{N!}\sum_{P,Q}\operatorname{sgn}(P)\operatorname{sgn}(Q)\prod_i \langle \chi_i(\mathbf{x}_{P(i)}) | \chi_i(\mathbf{x}_{Q(i)})\rangle

Derivation hint: take the bra–ket of two sums over permutations and integrate over all xj\mathbf{x}_j. Each integral factorizes; orthonormality [1] forces each one-particle overlap to a Kronecker delta, so only terms with P=QP=Q survive (others contain at least one ⟨χi∣χk⟩=0\langle\chi_i|\chi_k\rangle = 0). There are N!N! surviving terms, each equal to 11, with sgn⁡(P)2=1\operatorname{sgn}(P)^2 = 1:

6
⟨Ψ∣Ψ⟩=1N!∑P1=N!N!=1\quad \langle \Psi | \Psi \rangle = \frac{1}{N!}\sum_{P}1 = \frac{N!}{N!} = 1

Derivation hint: count the diagonal P=QP=Q permutations; there are exactly ∣SN∣=N!|S_N| = N! of them. This proves all three properties. ■\blacksquare

∎
JC
John Clarke Slater
1900–1976

An American physicist and a towering figure in early quantum theory of atoms and solids. In a 1929 Physical Review paper, "The Theory of Complex Spectra," Slater introduced the determinantal wavefunction to handle multi-electron atoms, replacing Heisenberg's and Dirac's cumbersome explicit antisymmetrization. The construction unified spin and the Pauli principle in one elegant object. Slater went on to develop the Xα\alpha method, the augmented-plane-wave method in solid-state physics, and trained generations at MIT. The "Slater–Condon rules" for matrix elements between determinants, and Slater-type orbitals (STOs), also bear his name.

Building Intuition

🧠 Intuition

Start with the naive guess: NN independent particles, each in its own state, give a product χ1(x1)χ2(x2)⋯\chi_1(\mathbf{x}_1)\chi_2(\mathbf{x}_2)\cdots — the Hartree product. But this labels the particles ("particle 1 is in state 1"), which is forbidden: identical fermions are indistinguishable. To fix it, we must add all relabelings. Bosons add them all with ++ signs (symmetric). Fermions add them with alternating signs determined by the parity of the swap (antisymmetric). The alternating-sign sum over all permutations is exactly the algebraic definition of a determinant. So the determinant is not a clever trick — it is the only object that is built from single-particle states and is totally antisymmetric. The 1/N!1/\sqrt{N!} is bookkeeping: there are N!N! terms, each normalized, so dividing by N!\sqrt{N!} keeps total probability at one.

Figure
The exchange hole: probability density of finding a second same-spin electron near a reference electron at the origin. The dip to zero at contact comes purely from antisymmetry.
separation r between the two electrons pair density g(r) uncorrelated level g(0)=0 (Pauli) exchange hole fills in as r grows

Worked Examples

ExampleTwo-electron determinant: helium ground state (model)

Given: Two electrons in the same spatial orbital ψ1s(r)\psi_{1s}(\mathbf{r}) but opposite spins, χ1=ψ1sα\chi_1 = \psi_{1s}\alpha, χ2=ψ1sβ\chi_2 = \psi_{1s}\beta. Build the 2×22\times2 Slater determinant.

Step 1. Write the determinant from [2] with N=2N=2:

7
Ψ(x1,x2)=12∣χ1(x1)χ2(x1)χ1(x2)χ2(x2)∣\quad \Psi(\mathbf{x}_1,\mathbf{x}_2) = \frac{1}{\sqrt{2}}\begin{vmatrix} \chi_1(\mathbf{x}_1) & \chi_2(\mathbf{x}_1) \\ \chi_1(\mathbf{x}_2) & \chi_2(\mathbf{x}_2)\end{vmatrix}

Derivation hint: expand a 2×22\times2 determinant as ad−bcad - bc.

Step 2. Expand:

8
Ψ=12[ψ1s(r1)ψ1s(r2)][α(1)β(2)−β(1)α(2)]\quad \Psi = \frac{1}{\sqrt{2}}\big[\psi_{1s}(\mathbf{r}_1)\psi_{1s}(\mathbf{r}_2)\big]\big[\alpha(1)\beta(2) - \beta(1)\alpha(2)\big]

Derivation hint: factor out the common spatial part ψ1s(r1)ψ1s(r2)\psi_{1s}(\mathbf{r}_1)\psi_{1s}(\mathbf{r}_2) since both orbitals share it.

Step 3. The spatial part is symmetric; the spin part is the antisymmetric singlet. Their product is overall antisymmetric, as required.

Boxed answer:

Ψ=ψ1s(r1)ψ1s(r2)⋅12[α(1)β(2)−β(1)α(2)]\boxed{\Psi = \psi_{1s}(\mathbf{r}_1)\psi_{1s}(\mathbf{r}_2)\cdot\tfrac{1}{\sqrt2}\big[\alpha(1)\beta(2)-\beta(1)\alpha(2)\big]}

Two electrons can share a spatial orbital precisely because their spins differ — that is the closed-shell structure of helium. (Dimensionless wavefunction; spatial part carries units of length−3^{-3} each.)

ExampleEnergy expectation: Slater–Condon for two orbitals

Given: A two-electron determinant of orthonormal spin-orbitals χa,χb\chi_a,\chi_b, with Hamiltonian H^=h^(1)+h^(2)+1/r12\hat{H} = \hat{h}(1)+\hat{h}(2) + 1/r_{12} (atomic units). Find ⟨Ψ∣H^∣Ψ⟩\langle\Psi|\hat H|\Psi\rangle.

Step 1. One-electron part. The Slater–Condon rules give the sum of orbital energies:

9
⟨Ψ∣h^(1)+h^(2)∣Ψ⟩=haa+hbb,hii=⟨χi∣h^∣χi⟩\quad \langle\Psi|\hat h(1)+\hat h(2)|\Psi\rangle = h_{aa} + h_{bb}, \qquad h_{ii}=\langle\chi_i|\hat h|\chi_i\rangle

Derivation hint: cross terms vanish by orthonormality; each electron contributes its own one-body integral.

Step 2. Two-electron part gives a Coulomb JJ minus exchange KK:

10
⟨Ψ∣1r12∣Ψ⟩=Jab−Kab\quad \Big\langle\Psi\Big|\tfrac{1}{r_{12}}\Big|\Psi\Big\rangle = J_{ab} - K_{ab}

where Jab=⟨χaχb∣1r12∣χaχb⟩J_{ab}=\langle\chi_a\chi_b|\tfrac{1}{r_{12}}|\chi_a\chi_b\rangle and Kab=⟨χaχb∣1r12∣χbχa⟩K_{ab}=\langle\chi_a\chi_b|\tfrac{1}{r_{12}}|\chi_b\chi_a\rangle. Derivation hint: the antisymmetric pairs in [3] generate direct (P=QP=Q) and swapped terms; the swapped one supplies the minus exchange integral.

Step 3. Total energy:

11
E=haa+hbb+Jab−Kab\quad E = h_{aa}+h_{bb}+J_{ab}-K_{ab}

Derivation hint: add [9] and [10]; this is the Hartree–Fock energy for a two-electron determinant.

Boxed answer:

E=haa+hbb+Jab−Kab (hartree)\boxed{E = h_{aa}+h_{bb}+J_{ab}-K_{ab}\ \text{(hartree)}}

The exchange term KabK_{ab} — which is purely a consequence of the determinant's antisymmetry — lowers the energy whenever the spins are parallel (Hund's first rule).

Common Misconceptions

⚠️ Common mistake
  • "A Slater determinant has no electron correlation." False in general. It contains exchange (Fermi) correlation between same-spin electrons exactly. What it lacks is Coulomb correlation between opposite-spin electrons; that omission is "the correlation energy" in the Hartree–Fock context. Saying "uncorrelated" is sloppy shorthand.
  • "The 1/N!1/\sqrt{N!} is arbitrary." It is fixed by requiring ⟨Ψ∣Ψ⟩=1\langle\Psi|\Psi\rangle = 1 given orthonormal orbitals; with non-orthogonal orbitals the normalization changes.
  • "Each electron is in a definite orbital." No — the determinant is a fully entangled object; you cannot say "particle 1 is in χ1\chi_1." Only the set of occupied orbitals is meaningful.
  • "Any antisymmetric wavefunction is a single Slater determinant." No. A general antisymmetric state is a linear combination of many determinants (configuration interaction).
CounterexampleAn antisymmetric state that is NOT a single determinant

Consider two electrons and four spin-orbitals. The state

Φ=12(∣χ1χ2⟩+∣χ3χ4⟩)\Phi = \tfrac{1}{\sqrt2}\big(|\chi_1\chi_2\rangle + |\chi_3\chi_4\rangle\big)

(a sum of two determinants) is perfectly antisymmetric and normalized, yet it cannot be written as any single Slater determinant of two spin-orbitals. This is the heart of why exact wavefunctions require multi-determinant expansions (CI, CASSCF), and why the single-determinant Hartree–Fock approximation is only a starting point.

Connections

connection

The Slater determinant is the natural object in second quantization: a determinant of χk1,…,χkN\chi_{k_1},\dots,\chi_{k_N} corresponds to the occupation-number state a^k1†⋯a^kN†∣0⟩\hat a^\dagger_{k_1}\cdots\hat a^\dagger_{k_N}|0\rangle, where the fermionic creation operators automatically build in antisymmetry through their anticommutation relations Second Quantization. It is the trial wavefunction of Hartree–Fock Theory, whose variational minimization yields the canonical orbitals. It is the reference state for post-HF correlation methods like Configuration Interaction and coupled cluster. Its emergence is mandated by the Pauli Exclusion Principle and, more deeply, the Spin-Statistics Theorem. The mathematics it relies on is the Determinant and the antisymmetrizing properties of the symmetric group SNS_N.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- 1925 — Pauli formulates the exclusion principle for electron quantum numbers.
- 1926 — Fermi & Dirac develop the statistics of indistinguishable antisymmetric particles (Fermi–Dirac statistics).
- 1926 — Heisenberg & Dirac show many-electron wavefunctions must be antisymmetric, using explicit but unwieldy combinations.
- 1927 — Hartree introduces the self-consistent field using simple product (Hartree) wavefunctions — antisymmetry not yet built in.
- 1929 — John C. Slater publishes "The Theory of Complex Spectra" (Phys. Rev. 34, 1293), introducing the determinantal wavefunction that elegantly enforces antisymmetry and incorporates spin.
- 1930 — Fock generalizes Hartree's method to antisymmetric determinantal wavefunctions, giving the Hartree–Fock equations.
- 1931–1932 — Slater & Condon derive the rules ("Slater–Condon rules") for evaluating matrix elements between determinants.
- 1950s — Roothaan & Hall recast Hartree–Fock in a finite basis (the Roothaan equations), making determinantal methods computationally practical.
- 1965 — Kohn & Sham repurpose a single determinant of non-interacting orbitals as the cornerstone of practical DFT.

Subtleties & Limits

open-problem

A single Slater determinant captures exchange but not the full Coulomb correlation, and recovering "the correlation energy" — formally the difference between the exact and Hartree–Fock energies — remains the central computational challenge of electronic-structure theory. The exact many-fermion wavefunction generally requires exponentially many determinants, and no polynomial-time algorithm is known for the general interacting-fermion ground-state problem (it is QMA-hard in the worst case). Open practical issues include: the fixed-node problem in diffusion Monte Carlo, where the unknown exact nodal surface limits accuracy; strong (static) correlation in bond-breaking and transition metals, where a single determinant qualitatively fails and multireference methods are mandatory; and the design of density functionals that mimic correlation cheaply yet reliably. Whether a compact, systematically improvable representation of correlated fermionic states exists in general is still unresolved.

See Also

Hartree–Fock Theory · Pauli Exclusion Principle · Second Quantization · Configuration Interaction · Determinant · Spin-Statistics Theorem · Identical Particles in Quantum Mechanics · Density Functional Theory