6.20 Identical Particles, Exchange Symmetry, and the Pauli Principle

6.20 Identical Particles, Exchange Symmetry, and the Pauli Principle#

    Elementary Computational Physics
  

Volume VI — Quantum Mechanics Notebook 6.20

Why matter has structure. Two electrons are not just alike — they are identical, indistinguishable in a way that forces their joint state to be either symmetric or antisymmetric under exchange. From the antisymmetric case comes the Pauli principle and, with it, the periodic table, the solidity of solids, and the pressure that holds up a dying star. And from exchange alone, with no force to cause it, comes an energy that depends on spin — the root of magnetism and the chemical bond.

Level · advanced • Est. · 170–210 min

    Raymond Amador
    v1.4.0  ·  2026-07-31  · 
          CC BY 4.0 (text) / MIT (code)
  

Notebook overview#

This is the notebook that explains why matter has the structure it does — the deepest “why is the world this way” question the volume answers — and it grows from a single, almost trivial-sounding fact: two electrons are not merely similar, they are identical. There is no measurement, even in principle, that can tell one electron from another; they carry no labels. Classically we could still track them (“particle 1 started here, particle 2 there”), but quantum-mechanically we cannot, and quantum mechanics enforces this indistinguishability with a postulate that turns out to build the periodic table.

The last notebook glimpsed the seed: two spin-\(\tfrac12\)’s combined into a symmetric triplet and an antisymmetric singlet. Here that exchange symmetry is elevated from a feature of coupled states into a law. Because swapping two identical particles can change nothing observable, the state must be an eigenstate of the exchange operator, and there are only two possibilities: totally symmetric or totally antisymmetric. Nature uses both — particles of integer spin are bosons (symmetric), particles of half-integer spin are fermions (antisymmetric), the spin–statistics connection — and electrons, being spin-\(\tfrac12\), are fermions.

Three consequences follow, and we compute each. First, the exchange hole: the antisymmetric state vanishes when two fermions coincide (and when they would occupy the same state), while the symmetric state is enhanced there — a purely quantum correlation with no force behind it. Second, and genuinely new, the exchange interaction: even with a Hamiltonian carrying no spin-dependent force, symmetric and antisymmetric spatial states have different average separations and hence different interaction energies — and because an electron pair’s overall state must be antisymmetric, the spatial symmetry is locked to the spin state (symmetric-spatial ↔ singlet, antisymmetric-spatial ↔ triplet, §6.19). So the energy depends on spin though the Hamiltonian does not: this is the origin of Hund’s rule, ferromagnetism, and the covalent bond — magnetism that is electrostatic in origin, filtered through exchange symmetry. Third, the Slater determinant packages antisymmetry into one object that vanishes automatically if two orbitals coincide — the Pauli exclusion principle — which forces electrons into successive shells, giving the periodic table, the size and rigidity of matter, and the degeneracy pressure that holds up white dwarfs.

As in every Volume VI notebook, each exercise opens with a crystal-clear statement and enumerated parts, each naming the exact operation — the two-particle states via numpy.outer of single-particle box orbitals (§6.10), numpy.linalg.det for the Slater determinant, and 2-D numpy.trapezoid sums for \(\langle(x_1-x_2)^2\rangle\) and \(\langle V_{\text{int}}\rangle\).

Scope and conventions. Single-particle states are the box eigenstates of §6.10 (\(\varphi_n(x)= \sqrt{2/L}\sin(n\pi x/L)\) on \([0,L]\), \(L=1\)). Two-particle wavefunctions are spatial only; the spin state is implied by the requirement that the overall fermion state be antisymmetric. This notebook establishes the microscopic rule (symmetrization, the exchange interaction, Slater/Pauli) and its consequences for the structure of matter (the periodic table, bonding, magnetism, stellar stability). It does not compute the quantum statistics — the Fermi–Dirac and Bose–Einstein distributions, quantum gases, blackbody radiation, Bose–Einstein condensation — which are the thermodynamics built on this rule, deferred to Volume VII. Indistinguishability is why quantum particles are counted differently from classical ones (the \(1/N!\) and the correlations that Volume V’s counting, §5.1, could only anticipate); here is the microscopic foundation, and Volume VII builds the statistics on it. See Sakurai & Napolitano and Griffiths (identical particles, exchange, Slater determinants); and Notebooks §6.19 (singlet/triplet), §6.8 (entanglement), §6.17/§6.18 (the \(2n^2\) states), §6.10 (the box orbitals), §5.1 (counting).

Theory in brief#

Indistinguishability and the two allowed symmetries#

Exchanging two identical particles must leave every observable unchanged, so the exchange operator \(P_{12}\) (swap the particles) commutes with \(H\) and every observable; since \(P_{12}^2=I\), its eigenvalues are \(\pm1\), and physical states must be eigenstates:

(602)#\[P_{12}\Psi=\pm\Psi:\qquad \text{symmetric } (+1)\ \text{ or }\ \text{antisymmetric } (-1) .\]

The symmetrization postulate and spin–statistics#

Which sign a given species uses is not decided by Eq. 602: nothing in non-relativistic quantum mechanics ties the exchange eigenvalue to any other property of the particle. Nature nevertheless makes a universal choice, taken here as a postulate:

(603)#\[\text{integer spin}\Rightarrow\text{BOSONS (symmetric)},\qquad \text{half-integer spin}\Rightarrow\text{FERMIONS (antisymmetric)} ,\]

the spin–statistics connection — a theorem of relativistic quantum field theory (named here as a horizon, not proved). Electrons, protons, neutrons are fermions; photons and many nuclei are bosons.

Two-particle states and the exchange hole#

From single-particle states \(\varphi_a,\varphi_b\),

(604)#\[\Psi_{S/A}(x_1,x_2)=\frac{\varphi_a(x_1)\varphi_b(x_2)\pm\varphi_b(x_1)\varphi_a(x_2)}{\sqrt2} ,\]

with \(+\) symmetric (bosons) and \(-\) antisymmetric (fermions). \(\Psi_A\) vanishes when \(x_1=x_2\) (and when \(a=b\)): fermions cannot coincide or share a state — the exchange hole. \(\Psi_S\) is enhanced there: bosons bunch. This is a correlation with no force behind it.

The exchange interaction#

Even with a spin-independent \(H\), the average separation differs (Griffiths computes the three expectation values in full):

(605)#\[\langle(x_1-x_2)^2\rangle_S<\langle(x_1-x_2)^2\rangle_{\text{dist}}<\langle(x_1-x_2)^2\rangle_A ,\]

so with a repulsion \(V(x_1,x_2)\) the antisymmetric state (particles farther) has lower energy. For electrons the overall state is antisymmetric, tying spatial symmetry to spin (symmetric-spatial ↔ singlet, antisymmetric-spatial ↔ triplet, §6.19), so the energy depends on spin though \(H\) does not — the exchange interaction, the origin of Hund’s rule, ferromagnetism, and the covalent bond. Magnetism is electrostatic repulsion filtered through exchange symmetry.

The Slater determinant and Pauli exclusion#

Antisymmetrizing \(N\) particles by hand means summing the \(N!\) permutations of the product \(\varphi_1\cdots\varphi_N\) with alternating signs: precisely the expansion of a determinant. The \(N\)-fermion generalization of Eq. 604 is therefore

(606)#\[\Psi(x_1,\dots,x_N)=\frac{1}{\sqrt{N!}}\det\big[\varphi_i(x_j)\big] ,\]

automatically antisymmetric (swap two particles → swap two columns → sign flip), and zero if two orbitals coincide (two equal rows) — the Pauli exclusion principle: no two identical fermions in the same single-particle state.

The architecture of matter#

We now aim the exclusion principle at the atom. The one-electron states of §6.17 carry the labels \((n,l,m_l)\), spin (§6.18) doubles them with \(m_s\), and Pauli admits at most one electron per label, so

(607)#\[\text{fill } (n,l,m_l,m_s)\ \text{one electron each}\ \Rightarrow\ 2n^2\ \text{per shell}=2,8,18,32 ,\]

the periodic table. Exclusion also gives matter its size and rigidity (a degeneracy pressure — electrons cannot all fall to the ground state) and holds up white dwarfs and neutron stars. And indistinguishability is why quantum particles are counted differently from classical ones (§5.1) — the microscopic foundation on which Volume VII’s quantum statistics is built.

Setup#

The data are the series palette, the box itself (\(L=1\)) and its single-particle eigenstates \(\varphi_n(x)=\sqrt{2/L}\sin(n\pi x/L)\), which arrive as the given specimen from §6.10 — this notebook combines them, it does not derive them. The instruments are the two-particle \((x_1,x_2)\) grid everything is sampled on and the expectation-value integrator, a 2-D quadrature that measures the states rather than teaching anything about them. The symmetrization itself is deliberately absent: you build the two-particle state \(\Psi_{S/A/D}\) in Exercise 1 and the Slater determinant in Exercise 5.

The Setup below holds this notebook’s data and instruments — nothing you are asked to build. It is collapsed so the building stays yours; expand it whenever you want the details.

Exercise 1 — Exchange symmetry and the two allowed states#

Because identical particles carry no labels, the joint state must be an eigenstate of the exchange operator, and only two eigenvalues are available: \(\Psi_S(x_2,x_1)=+\Psi_S(x_1,x_2)\) or \(\Psi_A(x_2,x_1)=-\Psi_A(x_1,x_2)\) Eq. 602. From two single-particle orbitals \(\varphi_a,\varphi_b\) the two allowed combinations are the \(\pm\) pair of Eq. 604, and spin–statistics Eq. 603 assigns them: integer spin uses \(\Psi_S\) (bosons), half-integer spin uses \(\Psi_A\) (fermions). There is no third possibility — only two exchange symmetries exist.

On a grid, a product \(\varphi_a(x_1)\varphi_b(x_2)\) is precisely the outer product numpy.outer(phi_a, phi_b) of the two sampled orbitals, a 2-D array over \((x_1,x_2)\), and exchanging the particles is transposing that array. The third, unsymmetrized combination — the bare product \(\Psi_D=\varphi_a(x_1)\varphi_b(x_2)\), which belongs to neither symmetry class — is the distinguishable reference state that Exercises 3 and 4 measure the symmetric and antisymmetric states against, so it is worth having from the same constructor. Each state is normalized on the grid with a 2-D numpy.trapezoid.

Write two_particle_state(phi_a, phi_b, symmetry), returning the normalized two-particle state on the \((x_1,x_2)\) grid: 'S' the symmetric \(\Psi_S\), 'A' the antisymmetric \(\Psi_A\), 'D' the distinguishable product. Write this one yourself — the implementation is the lesson.
Take two single-particle box states \(\varphi_a=\varphi_1\), \(\varphi_b=\varphi_2\) and form \(\Psi_S\) and \(\Psi_A\).
Verify the symmetry under \(x_1\leftrightarrow x_2\) (transposing the 2-D array).

two particles in box states φ₁, φ₂:
  Ψ_S is symmetric under x₁↔x₂ (Ψ_S.T = +Ψ_S):     True   → bosons
  Ψ_A is antisymmetric under x₁↔x₂ (Ψ_A.T = −Ψ_A):  True   → fermions
only these two symmetries occur: integer spin → symmetric, half-integer → antisymmetric

Validation 1#

✓  identical-particle states are symmetric (bosons) or antisymmetric (fermions) under exchange

True

../../_images/9025dc1ce13bf7ce61d8526c5b2e1dcafdd4361b28dfe60c07a154796bbb6de3.png — Fig. 567 **The exchange hole and bosonic bunching.** The two-particle probability density \(|\Psi(x_1,x_2)|^2\) for two particles in box orbitals \(\varphi_1,\varphi_2\): symmetric (left, bosons) and antisymmetric (right, fermions). The dashed line is the coincidence diagonal \(x_1=x_2\). The **antisymmetric** state has a deep trench of *zero* probability exactly along that diagonal — the **exchange hole**: two fermions are never found at the same point, and this hole is carved by symmetry alone, with no force in the Hamiltonian. The **symmetric** state does the opposite: its probability is *enhanced* along the diagonal — bosons **bunch**, preferring to be together. Neither correlation is caused by any interaction; both are pure consequences of how the wavefunction behaves under swapping the two indistinguishable particles. This single difference — a plus or a minus sign under exchange — is the seed of the Pauli principle and the whole structure of matter.#

Exercise 2 — The exchange hole#

Set \(x_1=x_2\) in Eq. 604 and the antisymmetric numerator becomes \(\varphi_a(x)\varphi_b(x)-\varphi_b(x)\varphi_a(x)\), which is identically zero, while the symmetric one doubles. Fermions therefore have no probability of being found at the same point — the exchange hole — and bosons are enhanced there, bunching. On the 2-D grid that coincidence line is just the diagonal of the array (numpy.diag). Nothing in the Hamiltonian causes this: it is a statistical correlation from symmetry alone, the Pauli hole and bosonic bunching before any force.

Evaluate \(|\Psi_A|\) and \(|\Psi_S|\) on the diagonal \(x_1=x_2\), using the states you built in Exercise 1.
Confirm \(\Psi_A=0\) there (the exchange hole) and \(\Psi_S>0\) (bunching).

on the coincidence diagonal x₁ = x₂:
  max |Ψ_A| = 0.00e+00   → the antisymmetric state VANISHES (the exchange hole)
  mean |Ψ_S|² = 1.995  vs off-diagonal — the symmetric state is ENHANCED (bunching)
no interaction is present: this correlation comes from exchange symmetry alone

Validation 2#

✓  the antisymmetric state vanishes when the particles coincide — the exchange hole (Pauli, before any force)   [got 0 vs expected 0 (rtol=1e-06, atol=1e-06)]

True

Exercise 3 — The exchange effect on separation#

The hole and the bunching of Exercise 2 are visible in a single number: the average squared separation \(\langle(x_1-x_2)^2\rangle\), which for the same two orbitals obeys \(\langle\cdot\rangle_S<\langle\cdot\rangle_{\text{dist}}<\langle\cdot\rangle_A\) Eq. 605. The distinguishable product \(\Psi_D\) is the classical reference that the two symmetrized states straddle, so the symmetric state behaves like an effective attraction and the antisymmetric one like an effective repulsion — symmetry acts like a force, though there is no force in \(H\). The expectation values are 2-D quadratures over the grid, \(\langle O\rangle=\iint|\Psi|^2O\,dx_1dx_2\), which is what the exchange_expectation instrument in the Setup performs.

Build the operator \((x_1-x_2)^2\) on the grid.
Build the distinguishable product \(\Psi_D\) with the two_particle_state you wrote in Exercise 1, and compute \(\langle(x_1-x_2)^2\rangle\) for \(\Psi_S\), \(\Psi_A\) and \(\Psi_D\) with exchange_expectation.
Confirm the ordering symmetric \(<\) distinguishable \(<\) antisymmetric.

average squared separation ⟨(x₁−x₂)²⟩:
  symmetric   0.0384  (particles CLOSER — effective attraction)
  distinguishable 0.1033  (the classical reference)
  antisymmetric 0.1682  (particles FARTHER — effective repulsion)
  ordering symmetric < distinguishable < antisymmetric: True
symmetry mimics a force — with no force in the Hamiltonian

Validation 3#

✓  ⟨(x₁−x₂)²⟩ is smallest for symmetric and largest for antisymmetric — exchange pulls symmetric states together and pushes antisymmetric apart

True

Exercise 4 — The exchange energy#

Different average separations become different energies the moment an interaction is switched on Eq. 605. A soft (regularized) Coulomb repulsion \(V(x_1,x_2)=1/\sqrt{(x_1-x_2)^2+ \epsilon^2}\) serves: the \(\epsilon\) keeps the integrand finite on the coincidence diagonal, where the true \(1/|x_1-x_2|\) would diverge. Since the antisymmetric state keeps the particles farther apart, it pays less repulsion, and the difference \(\langle V\rangle_S-\langle V\rangle_A\) is the exchange energy.

For electrons the point is what this couples to. The overall state must be antisymmetric, so the spatial symmetry is locked to the spin state — symmetric-spatial ↔ singlet, antisymmetric-spatial ↔ triplet (§6.19) — and the energy therefore depends on the spin state although \(V\) has no spin dependence at all. That is the exchange interaction, and it is the origin of Hund’s rule, ferromagnetism, and the covalent bond: a spin-dependent energy from a spin-independent Hamiltonian.

Build the soft repulsion \(V(x_1,x_2)\) on the grid.
Compute \(\langle V\rangle\) for \(\Psi_S\) and \(\Psi_A\) with exchange_expectation.
Show the antisymmetric state (particles farther) has lower interaction energy, and read off the exchange energy.

with a repulsive interaction V(x₁,x₂):
  ⟨V⟩_S = 8.692  (symmetric spatial — particles closer — MORE repulsion)
  ⟨V⟩_A = 3.123  (antisymmetric spatial — particles farther — LESS repulsion)
  exchange energy  ⟨V⟩_S − ⟨V⟩_A = 5.568 > 0

for electrons the OVERALL state is antisymmetric, so spatial symmetry is tied to spin:
  symmetric spatial ↔ SINGLET spin,   antisymmetric spatial ↔ TRIPLET spin (§6.19)
  → the energy depends on the SPIN state though V has no spin dependence — the EXCHANGE interaction
  this is the origin of Hund's rule, ferromagnetism, and the covalent bond

Validation 4#

✓  ⟨V_int⟩ differs between Ψ_S and Ψ_A (the exchange energy) — a spin-dependent energy with no spin-dependent force

True

../../_images/b18e5af7d604120fa56668ce181ea92c4b781b84353ab86c877d859b3e2cc1c5.png — Fig. 568 **Symmetry acts like a force.** The probability distribution of the inter-particle separation \(x_1-x_2\) for the three two-particle states of the same two orbitals: distinguishable (grey), symmetric (amber), antisymmetric (ink). No interaction is present in the Hamiltonian, yet the three differ sharply. The **antisymmetric** (fermion) distribution is pushed *away* from zero separation — the exchange hole again, now in relative coordinates — so fermions sit farther apart (\(\langle(x_1-x_2)^2\rangle\) largest). The **symmetric** (boson) distribution is piled up at zero separation — bosons sit closer (\(\langle(x_1-x_2)^2\rangle\) smallest). Add any repulsion and these different separations become different energies: the antisymmetric state, keeping the particles apart, costs less. For electrons the overall antisymmetry locks this spatial choice to the spin state, so a spin-independent repulsion produces a spin-dependent energy — the exchange interaction behind Hund’s rule, magnetism, and the chemical bond.#

Exercise 5 — The Slater determinant and Pauli exclusion#

Antisymmetrizing \(N\) particles by hand means summing all \(N!\) permutations of the product \(\varphi_1\cdots\varphi_N\) with alternating signs, and that sum is exactly the expansion of a determinant Eq. 606. Everything follows from how the matrix is indexed: put orbital \(i\) in row \(i\) and particle \(j\) in column \(j\), \(M_{ij}=\varphi_i(x_j)\). Then swapping two particles swaps two columns, and a determinant changes sign — the state is antisymmetric by construction; and giving two particles the same orbital repeats a row, and a determinant with two equal rows is zero — no two identical fermions may occupy the same single-particle state, the Pauli exclusion principle. Antisymmetry and exclusion come packaged in one object.

The determinant is evaluated at a handful of particle positions rather than on the \((x_1,x_2)\) grid, so the orbitals enter as callables of a scalar position: the small box factory below returns \(\varphi_n\) in that form.

Write slater_determinant(orbitals, points), forming \(M_{ij}=\varphi_i(x_j)\) from a list of orbital callables and a list of positions and returning numpy.linalg.det(M). Write this one yourself — the implementation is the lesson.
Evaluate it for three distinct orbitals \(\varphi_1,\varphi_2,\varphi_3\) at three positions.
Verify that swapping two particles (two columns) flips the sign.
Show that with two identical orbitals (two equal rows) the determinant is zero.

Slater determinant det[φ_i(x_j)] for three fermions:
  distinct orbitals (1,2,3):  det = -8.279   (nonzero — a valid antisymmetric state)
  swap two particles:         det = +8.279   (sign flipped — antisymmetric)
  REPEATED orbital (1,2,1):   det = +0.00e+00   → 0

PAULI EXCLUSION: two identical fermions cannot occupy the same single-particle state

Validation 5#

✓  the Slater determinant vanishes when two orbitals coincide — the Pauli exclusion principle   [got 0 vs expected 0 (rtol=1e-06, atol=1e-09)]

True

Exercise 6 — Building the periodic table (student)#

Aim exclusion at the atom. The one-electron states of §6.17 carry labels \((n,l,m_l)\), spin (§6.18) doubles them with \(m_s\), and Pauli admits at most one electron per label, so shell \(n\) holds \(\sum_{l=0}^{n-1}2(2l+1)=2n^2\) electrons Eq. 607. That is the entire architecture of the periodic table from one rule: the capacities \(2,8,18,32\), the chemistry set by the handful of electrons in the outermost partly-filled shell, and the reason electrons do not all collapse into \(n=1\) — which is why matter has a size at all.

List the states \((n,l,m_l,m_s)\) of each shell \(n\) and place one electron per state (Pauli).
Count the electrons at each shell closing and confirm the \(2n^2\) capacities.

filling shells by the Pauli principle (one electron per (n,l,m_l,m_s) state):
  shell n=1:  2(s) = 2 = 2n²   (total through n=1: 2 electrons)
  shell n=2:  2(s) + 6(p) = 8 = 2n²   (total through n=2: 10 electrons)
  shell n=3:  2(s) + 6(p) + 10(d) = 18 = 2n²   (total through n=3: 28 electrons)
  shell n=4:  2(s) + 6(p) + 10(d) + 14(f) = 32 = 2n²   (total through n=4: 60 electrons)

the 2, 8, 18, 32 shell capacities are the periodic table's structure — from ONE rule, exclusion
exclusion also gives matter its SIZE: electrons cannot all fall into n=1 (a degeneracy pressure)
(real atoms add screening and the aufbau/Madelung filling order — a chemistry refinement)

Validation 6#

✓  filling states one-per-(n,l,m_l,m_s) gives the 2n²=2,8,18,32 shell structure — the Pauli principle builds the periodic table

True

../../_images/0d3d5c27e6b03e2e5ec7066fb1c137528a2cdfe2034667263a4b68e8e53fd2bc.png — Fig. 569 **One rule builds the periodic table.** Filling the hydrogenic states by the Pauli principle — one electron per \((n,l,m_l,m_s)\) state. Each shell \(n\) holds \(\sum_l 2(2l+1)=2n^2\) electrons (the factor of 2 is spin), giving the shell capacities \(2,8,18,32\) that underlie the periodic table. Every box is one quantum state; exclusion forbids a second electron in it, so electrons stack into successive shells rather than all collapsing into the ground state — which is why atoms (and matter) have a *size* at all, and why the chemistry of an element is set by the handful of electrons in its outermost, partly-filled shell. In real atoms the ordering is complicated by screening (the aufbau/Madelung rule), but the counting shown here — a direct consequence of a single antisymmetric sign — is the skeleton of the whole table.#

Exercise 7 — Bosons versus fermions in a trap (student)#

The same trap, the same two particles, two utterly different ground states — decided by nothing but the sign under exchange Eq. 603, Eq. 604. Two bosons may both occupy the ground orbital \(\varphi_1\), since the symmetric combination survives when \(a=b\); two fermions may not, because the antisymmetric combination vanishes identically for \(a=b\), so the second is pushed up to \(\varphi_2\). The box energies are \(E_n=n^2\) in units of \(\hbar^2\pi^2/2mL^2\). The energy the fermions pay for this is the Pauli “pressure” that gives matter its size, while the bosonic tendency to pile into a single state anticipates Bose–Einstein condensation (the thermodynamics is Volume VII).

Compute the total ground-state energy of two bosons and of two fermions in the box.
Compare them and read off the fermionic cost.

two identical particles in the box, ground state:
  2 BOSONS:   both in φ₁ (symmetric)          → E = 2 (units of E₁)
  2 FERMIONS: φ₁ and φ₂ (antisymmetric, Pauli) → E = 5 (units of E₁)
  the fermions cost 3 extra units — the Pauli 'pressure' that gives matter its size

(bosons piling into one state anticipates Bose–Einstein condensation — the thermodynamics is Volume VII)

Validation 7#

✓  two bosons share the ground orbital while two fermions must fill two orbitals (Pauli) — exchange symmetry dictates how identical particles occupy states

True

Exercise 8 — One rule, and the shape of the world (synthesis)#

The whole of this notebook grew from a single impossibility — that two identical particles cannot be told apart — which forced their joint state to be symmetric or antisymmetric and split the particles of the world into bosons and fermions. From antisymmetry came the Pauli principle, and from it the periodic table, the solidity and size of matter, and the degeneracy pressure inside a white dwarf. From exchange came an energy that depends on spin with no magnetic force behind it, and with it magnetism and the chemical bond.

There is no new computation here: the structure of matter is the result. Movement IV is complete — we have the electron’s spin (§6.18), the coupling of angular momenta (§6.19), and now the law of identical particles (§6.20): everything needed to describe real atoms. We should also be clear about the boundary we have drawn. This notebook gave the microscopic rule — indistinguishability, symmetrization, the exchange interaction, Pauli exclusion — and its consequences for the structure of matter. Building the thermodynamics on it — the Fermi–Dirac and Bose–Einstein distributions, quantum gases, blackbody radiation, Bose–Einstein condensation — is the work of Volume VII, which stands on exactly this foundation (and completes the indistinguishable-counting that Volume V’s §5.1 could only anticipate). The final movement of this volume turns instead to a different practical fact: almost no real system is exactly solvable, so we need approximation methods — perturbation theory, the variational method, the semiclassical limit — beginning with the fine structure that spin–orbit coupling adds to the hydrogen levels (§6.21).

It is hard to overstate how much rides on a minus sign. Symmetric or antisymmetric — that single choice under exchange decides whether particles pile into one state or refuse to share it, and the refusal is why you are not falling through your chair. The stability of matter is, in the end, a theorem about the sign of a wavefunction.

Notebook summary#

Identical particles and the Pauli principle — the close of Movement IV, and why matter has structure.

Indistinguishability Eq. 602, Eq. 603: states must be symmetric (bosons, integer spin) or antisymmetric (fermions, half-integer spin) — the spin–statistics connection (named, not proved).
The exchange hole Eq. 604: \(\Psi_A\) vanishes when fermions coincide, \(\Psi_S\) is enhanced when bosons do — correlations from symmetry, with no force (numpy.outer).
The exchange interaction Eq. 605: \(\langle(x_1-x_2)^2\rangle_S<\langle\cdot\rangle_A\), so a spin-independent repulsion gives a spin-dependent energy (spatial ↔ spin symmetry, §6.19) — Hund’s rule, magnetism, the covalent bond.
The Slater determinant Eq. 606: \(\det[\varphi_i(x_j)]\) (numpy.linalg.det) is antisymmetric and vanishes for a repeated orbital — the Pauli exclusion principle.
The architecture of matter Eq. 607: filling \((n,l,m_l,m_s)\) by exclusion gives \(2n^2=2,8, 18,32\) — the periodic table, the size of atoms, the pressure in white dwarfs.

One minus sign under exchange builds the periodic table and holds up your chair. Movement IV is complete; the quantum statistics built on this rule is Volume VII.

Outlook#

Fine structure (§6.21) — the opening of Movement V: spin–orbit and relativistic corrections to the hydrogen levels, by perturbation theory.
Quantum statistics (Volume VII): the Fermi–Dirac and Bose–Einstein distributions, quantum gases, blackbody radiation, Bose–Einstein condensation — the thermodynamics built on this notebook’s rule.
The many-electron atom and quantum chemistry: Hartree–Fock, the aufbau/Madelung filling, screening (horizons).
Degeneracy pressure and the stability of stars: white dwarfs and neutron stars (a horizon).
Cross-reference §6.19 (singlet/triplet), §6.8 (entanglement), §6.17/§6.18 (the \(2n^2\) states), §5.1 (counting — the classical anticipation), and forward to §6.21, Volume VII.

Take this notebook with you

Use the download button (↓) in the toolbar above to save this notebook and run it yourself. The published notebooks ship without worked solutions; if you would like the reference solutions — to teach from or to check your own work — get in touch: hello@ramador.me.