§10.3–10.4Exchange Symmetry with Spin; Bosons and Fermions

Part II Phillips pp. 219–224 · ~19 min read

  • singlet and triplet
  • boson
  • fermion
  • spin–statistics theorem
  • Pauli exclusion principle

Spin turns one requirement into two options. The total wave function must be antisymmetric, and the spatial and spin parts can each supply the sign in either order.

§10.1 proved the choice is binary — symmetric or antisymmetric, nothing else — and then stopped, because nothing in that argument says which. Two things are still missing, and this page supplies both.

§10.3 brings in spin, and finds that the spatial and spin symmetries are not independent: fix one and the other is forced. §10.4 supplies the empirical input that the mathematics cannot: integer spin takes the plus sign, half-integer spin the minus sign. From those two facts follow the periodic table, the rigidity of the chair you are sitting on, and the laser.

A state needs a spin as well as a place

So far a single-particle state has been a wave function ψ(rp)\psi(\mathbf r_p). A real particle also has spin, and when the two are independent the state is just their product:

Φ(p)=ψ(rp)χ(p)\Phi(p) = \psi(\mathbf r_p)\,\chi(p)

with χs,ms(p)\chi_{s,m_s}(p) one of the 2s+12s+1 spin eigenvectors — the exact analogue of the 2l+12l+1 spherical harmonics Yl,mlY_{l,m_l} from §8.3. Labelling both halves,

Φn,l,ml,ms(p)=ψn,l,ml(rp)χs,ms(p)\Phi_{n,l,m_l,m_s}(p) = \psi_{n,l,m_l}(\mathbf r_p)\,\chi_{s,m_s}(p)

Everything from §10.1 now runs again with Φ\Phi in place of ψ\psi. Both particles in the same state gives only

Φ(S)(p,q)=Φn,l,ml,ms(p)Φn,l,ml,ms(q)(10.17)\Phi^{(S)}(p,q) = \Phi_{n,l,m_l,m_s}(p)\,\Phi_{n,l,m_l,m_s}(q)\tag{10.17}

with no antisymmetric partner — the exclusion principle again, now counting spin among the labels, which is what makes it two electrons per orbital rather than one. Two different states give the familiar pair:

Φ(S)(p,q)=12[Φn,l,ml,ms(p)Φn,l,ml,ms(q)+Φn,l,ml,ms(q)Φn,l,ml,ms(p)](10.18)\Phi^{(S)}(p,q) = \tfrac{1}{\sqrt2}\left[\Phi_{n,l,m_l,m_s}(p)\Phi_{n',l',m_l',m_s'}(q) + \Phi_{n,l,m_l,m_s}(q)\Phi_{n',l',m_l',m_s'}(p)\right]\tag{10.18} Φ(A)(p,q)=12[Φn,l,ml,ms(p)Φn,l,ml,ms(q)Φn,l,ml,ms(q)Φn,l,ml,ms(p)](10.19)\Phi^{(A)}(p,q) = \tfrac{1}{\sqrt2}\left[\Phi_{n,l,m_l,m_s}(p)\Phi_{n',l',m_l',m_s'}(q) - \Phi_{n,l,m_l,m_s}(q)\Phi_{n',l',m_l',m_s'}(p)\right]\tag{10.19}

Two spin-halves: three symmetric states and one antisymmetric

Eq. (8.6) applied to s=12s = \tfrac12 twice gives

S=12+12=1orS=1212=0S = \tfrac12 + \tfrac12 = 1 \qquad\text{or}\qquad S = \tfrac12 - \tfrac12 = 0

Writing χ+\chi_+ for ms=+12m_s = +\tfrac12 and χ\chi_- for 12-\tfrac12, the four combinations are three symmetric ones — the triplet

χ1,1(S)(p,q)=χ+(p)χ+(q)χ1,0(S)(p,q)=12[χ+(p)χ(q)+χ+(q)χ(p)]χ1,1(S)(p,q)=χ(p)χ(q)(10.20)\begin{aligned} \chi^{(S)}_{1,1}(p,q) &= \chi_+(p)\chi_+(q)\\ \chi^{(S)}_{1,0}(p,q) &= \tfrac{1}{\sqrt2}\left[\chi_+(p)\chi_-(q) + \chi_+(q)\chi_-(p)\right]\\ \chi^{(S)}_{1,-1}(p,q) &= \chi_-(p)\chi_-(q) \end{aligned}\tag{10.20}

and one antisymmetric — the singlet:

χ0,0(A)(p,q)=12[χ+(p)χ(q)χ+(q)χ(p)](10.21)\chi^{(A)}_{0,0}(p,q) = \tfrac{1}{\sqrt2}\left[\chi_+(p)\chi_-(q) - \chi_+(q)\chi_-(p)\right]\tag{10.21}

Only χ1,0(S)\chi^{(S)}_{1,0} and χ0,0(A)\chi^{(A)}_{0,0} needed building; the other two were symmetric already, having nothing to swap. Note that the count works out: four basis products in, four combined states out, split three-and-one.

The lock: choose the spin, and the space is decided

A total state is a spatial part times a spin part, and its exchange symmetry is the product of their two symmetries. Electrons must be antisymmetric overall (§10.4 will say why), so the product must be 1-1 — which leaves exactly two possibilities:

Φ(A)(p,q)=ψ(A)(rp,rq)χS,MS(S)(p,q)(10.22)\Phi^{(A)}(p,q) = \psi^{(A)}(\mathbf r_p,\mathbf r_q)\,\chi^{(S)}_{S,M_S}(p,q)\tag{10.22} Φ(A)(p,q)=ψ(S)(rp,rq)χS,MS(A)(p,q)(10.23)\Phi^{(A)}(p,q) = \psi^{(S)}(\mathbf r_p,\mathbf r_q)\,\chi^{(A)}_{S,M_S}(p,q)\tag{10.23}

The spin decides the geometry. Two electrons with parallel spins (S=1S = 1) are forced into an antisymmetric wave function and therefore avoid each other; two with opposed spins (S=0S = 0) are permitted a symmetric one and may huddle. Neither is a force. Both are the sign of a product.

Switch the widget to its spin view and pick a row: the spatial symmetry — and with it the Fermi hole in every other view — is set for you.

Two identical particles: exchange is reflection across the diagonal

Two spin-halves span a four-dimensional space. Combining them (Eq. 8.6) splits it into three states with S = 1 and one with S = 0 — and the split is exactly the split by exchange symmetry. Pick one and the spatial symmetry of an electron pair is forced, because the total state must be antisymmetric.

spin stateχSMSunder exchange
|↑↑⟩χ⁽ˢ⁾₁,₊₁1+1symmetric (+1)
(|↑↓⟩ + |↓↑⟩)/√2χ⁽ˢ⁾₁,₀10symmetric (+1)
|↓↓⟩χ⁽ˢ⁾₁,₋₁1-1symmetric (+1)
(|↑↓⟩ − |↓↑⟩)/√2χ⁽ᴬ⁾₀,₀00antisymmetric (−1)
Spin triplet, S = 1 — spin part symmetric. The total state of two electrons must be antisymmetric, so the spatial part is forced antisymmetric: Eq. (10.22). The other views now show the Fermi hole. This is why solids resist compression.

Three symmetric states and one antisymmetric: 2 × 2 = 4 = 3 + 1. The symmetric subspace is the larger one, so an electron pair has three ways to be spin-symmetric and only one way not to be.

max |Ψ| on the diagonal x₁ = x₂: 0.00000
state: n = 0 and n′ = 1

Look along the dashed diagonal. Ψ is exactly zero there, because a function equal to minus its own mirror image must vanish on the mirror. That is the Fermi hole: two identical fermions are never found at the same point — and nothing in the Hamiltonian pushes them apart.

Which particles get which sign?

Nothing derived so far chooses. §10.4 supplies the answer as an experimental fact:

typespinexchange symmetryexamples
bosoninteger — 0, 1, 2, …symmetricphoton (1), ⁴He nucleus (0), deuteron (1)
fermionhalf-integer — ½, 3/2, …antisymmetricelectron, proton, neutron, quark, ³He nucleus

The spin–statistics theorem: nature's assignment, discovered before it was proved

This is the spin–statistics theorem . It is worth being clear about its status: within this book it is an empirical rule, added from outside because the mathematics permits both options and observation reports only one pairing. It was later derived, but only from relativistic quantum field theory — the same place §10.1’s footnote pointed when apologising for particle labels.

What follows for electrons

Electrons are spin-half, so every multi-electron state is antisymmetric. Three consequences, in the book’s order:

One — the Pauli exclusion principle . At most one electron per single-particle state, since two would make the state symmetric. This is the periodic table.

Two — the rigidity of matter. Symmetric spin forces antisymmetric space, so electrons avoid each other. A solid resists compression because its electrons cannot be pushed into the same states.

Three — covalent bonding. Antisymmetric spin permits symmetric space, so electrons huddle between two nuclei and bind them.

The second one is worth making quantitative, because “electrons avoid each other” sounds like a force and is not. Drop NN identical particles into the same ladder of levels and let statistics do the only work:

Six identical bosons — all in the ground level

energy (ħω)n = 00.50n = 11.50n = 22.50n = 33.50

Click a gold level for its energy and degeneracy.

No transitions shown in this view.

Nothing limits the occupancy, so the ground-state energy is 6 × ½ = 3ħω.

Six identical spin-½ fermions — two per level, and no choice about it

energy (ħω)n = 00.50n = 11.50n = 22.50n = 33.50

Click a gold level for its energy and degeneracy.

No transitions shown in this view.

Each level holds two (spin up and spin down), so the same six particles cost 1 + 3 + 5 = 9ħω — three times as much, with no interaction anywhere.

And for bosons

Many bosons may share one state, and when a macroscopic number do, quantum mechanics becomes visible at human scale:

  • Laser light. Photons are spin-1 bosons, so they have an enhanced probability of taking the same energy and momentum as photons already present — the same enhancement as §10.2’s two particles at one point, in momentum space instead of position space. Coherence is boson huddling.
  • Superfluid ⁴He below 2.2 K. A ⁴He atom is a spin-0 nucleus plus two electrons with combined spin 0, hence a boson. A large fraction condense into the lowest state and flow without friction.
  • Bose–Einstein condensates. Almost pure condensates were first produced in 1995 by cooling trapped atoms; the 2001 Nobel Prize went to Cornell, Ketterle and Wieman for it.

Where this is going

The chapter ends by noting the obvious generalization: for more than two particles, the state must be symmetric or antisymmetric under exchange of any pair. That is all chapter 11 needs, and it uses it immediately — the exclusion principle fills shells, and the space/spin lock of Eqs. (10.22)–(10.23) becomes Hund’s rules.

One thread is still loose. On this page the two electrons never interacted, so huddling and avoiding cost nothing. Turn on a real repulsion between them and the two arrangements have genuinely different energies — the difference is the exchange integral KK, which problem 3 derives and which the book never names. It is why parallel spins are favoured in a partly filled shell, and ultimately why iron is magnetic.

Check yourself

0 / 6 answered

  1. 1.Why can the four two-particle spin states be labelled by , **and** an exchange symmetry all at once?

  2. Two electrons are in a spin triplet state, .

    2.What does that force about their spatial wave function, and why?

  3. 3.What is the logical status of the spin–statistics theorem within this book?

  4. Six identical particles are placed in the same one-dimensional oscillator, with no interaction between them. As bosons the ground-state energy is 3ħω; as spin-½ fermions it is 9ħω.

    4.Where does the extra 6ħω come from?

  5. 5.Why is a covalent bond formed by a *pair* of electrons with opposed spins?

  6. 6.⁴He becomes a superfluid below 2.2 K, but ³He only at temperatures about a thousand times lower. Why the difference?