Slater Determinants
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.
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
A spin-orbital is a single-particle wavefunction depending on the combined coordinate , where is the spatial position and is the spin variable. Typically , a spatial orbital times a spin function (spin up/down). We assume the set is orthonormal:
Derivation hint: denotes integration over space and summation over the discrete spin variable; orthonormality is a defining convention, choosable by Gram–Schmidt.
For identical fermions occupying orthonormal spin-orbitals , the Slater determinant is
Derivation hint: row holds particle ; column holds spin-orbital . The prefactor normalizes when the are orthonormal.
Expanding the determinant via the permutation (Leibniz) formula gives the equivalent and often more useful expression:
Derivation hint: the Leibniz formula for a determinant sums over all permutations of the symmetric group , with each term weighted by the sign (parity) of . A compact operator form uses the antisymmetrizer :
Derivation hint: is a projector (, ); applying it to the Hartree product and rescaling by reproduces equation [3].
The Slater determinant satisfies: 1. Antisymmetry: for any pair . 2. Pauli exclusion: if for , then . 3. Normalization: when the are orthonormal.
Why It Holds / Derivation
Step 1 — Antisymmetry. Swapping particles and in equation [2] interchanges rows and of the determinant. A determinant changes sign under interchange of two rows. Hence , proving property (1).
Step 2 — Pauli exclusion (from equal orbitals). If , two columns of the determinant are identical. A determinant with two equal columns vanishes, so . No two fermions can occupy the same spin-orbital.
Step 3 — Pauli exclusion (from equal coordinates). Set . Then rows and are equal, so . Two same-spin electrons cannot be at the same point — the "Fermi/exchange hole."
Step 4 — Normalization. Using the expanded form [3]:
Derivation hint: take the bra–ket of two sums over permutations and integrate over all . Each integral factorizes; orthonormality [1] forces each one-particle overlap to a Kronecker delta, so only terms with survive (others contain at least one ). There are surviving terms, each equal to , with :
Derivation hint: count the diagonal permutations; there are exactly of them. This proves all three properties.
∎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 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
Start with the naive guess: independent particles, each in its own state, give a product — 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 is bookkeeping: there are terms, each normalized, so dividing by keeps total probability at one.
Worked Examples
Given: Two electrons in the same spatial orbital but opposite spins, , . Build the Slater determinant.
Step 1. Write the determinant from [2] with :
Derivation hint: expand a determinant as .
Step 2. Expand:
Derivation hint: factor out the common spatial part 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:
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 each.)
Given: A two-electron determinant of orthonormal spin-orbitals , with Hamiltonian (atomic units). Find .
Step 1. One-electron part. The Slater–Condon rules give the sum of orbital energies:
Derivation hint: cross terms vanish by orthonormality; each electron contributes its own one-body integral.
Step 2. Two-electron part gives a Coulomb minus exchange :
where and . Derivation hint: the antisymmetric pairs in [3] generate direct () and swapped terms; the swapped one supplies the minus exchange integral.
Step 3. Total energy:
Derivation hint: add [9] and [10]; this is the Hartree–Fock energy for a two-electron determinant.
Boxed answer:
The exchange term — which is purely a consequence of the determinant's antisymmetry — lowers the energy whenever the spins are parallel (Hund's first rule).
Common Misconceptions
- "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 is arbitrary." It is fixed by requiring 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 ." 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).
Consider two electrons and four spin-orbitals. The state
(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
The Slater determinant is the natural object in second quantization: a determinant of corresponds to the occupation-number state , 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 .
Real-World Applications
Historical Development
Subtleties & Limits
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