Spin-Statistics and the CPT Theorem

These two theorems are still doing frontline work. On the spin-statistics side, the discovery and control of anyons in two-dimensional systems — quasiparticles with fractional exchange statistics $0<\theta<\pi$ — is one of the most active areas in condensed-matter physics, because the theorem's escape route (lower dimensionality) is exactly what topological quantum computers hope to exploit: braiding non-Abelian anyons is a fault-tolerant way to process quantum information. On the CPT side, entire experimental programs exist to look for the tiniest crack. The ALPHA and BASE collaborations at CERN trap antihydrogen and antiprotons to compare their spectra and magnetic moments with matter to parts in $10^{9}$–$10^{12}$; neutral-meson factories push the kaon and $B$-meson mass and lifetime comparisons ever tighter. A confirmed CPT violation would be a discovery of the first magnitude — direct evidence that Lorentz invariance or locality fails, a doorway to physics beyond the Standard Model. That the search keeps coming up empty is a measure of how deep these two theorems run.

Picture a quantum field as a continuum of oscillators, one per mode $\mathbf p$. You must choose how to quantize each: with commutators (a boson, whose mode can hold any number of quanta) or anticommutators (a fermion, whose mode holds zero or one). Nonrelativistically that choice is yours to make. Relativity takes it away. The theorem says: for each spin, exactly one choice survives, and the other choice does not merely give a different theory — it gives a broken one, where either energy has no floor or signals leap outside the light cone. The hinge is microcausality, and the tool is a single Lorentz-invariant function. When you (anti)commute two fields you get, up to a sign, the same object: the Pauli-Jordan function $\Delta(x-y)$, an odd solution of the Klein-Gordon equation that vanishes outside the light cone. For a scalar, only the commutator is proportional to $\Delta$ (odd, vanishing); the anticommutator is a sum of Wightman functions (even, nonvanishing). For a spinor the extra minus sign hidden in the spinor structure flips this — only the anticommutator vanishes at spacelike separation. The Lorentz transformation properties of the field determine which bilinear can satisfy microcausality, thereby fixing the allowed statistics.

CPT can be pictured heuristically as a total spacetime reflection combined with charge conjugation. A rotation by an imaginary angle, available in any Lorentz-invariant theory, continues a spatial rotation into a full reversal of one space axis and time; combined with the particle↔antiparticle exchange of charge conjugation it becomes the total spacetime reflection $x\to-x$. Because that hidden rotation lives inside the Lorentz group itself, no local relativistic theory can escape it. The slogan that makes it vivid is the Feynman-Stückelberg reading: a particle moving forward in time is an antiparticle moving backward. CPT makes that exact, welding a particle to its antiparticle with identical mass and lifetime.

Everything below is a free-field statement: the fields are expanded in creation and annihilation operators, and the whole theorem is read off two computed quantities — the energy and the spacelike (anti)commutator. We work in natural units $\hbar=c=1$ with the mostly-minus metric $x^2=t^2-\mathbf x^2$ (so $x^2<0$ is spacelike), and the on-shell energy is $E_{\mathbf p}=\sqrt{\mathbf p^2+m^2}$. Start with the free real scalar field, the spin-0 case. It is a superposition of plane-wave modes, each with an annihilation and a creation operator.

where: $a_{\mathbf p},a^{\dagger}_{\mathbf p}$ — annihilate / create a spin-0 quantum of momentum $\mathbf p$; $p\cdot x=E_{\mathbf p}t-\mathbf p\cdot\mathbf x$ is the Lorentz-invariant phase. Reading it physically: the field is Hermitian ($\phi=\phi^\dagger$) because a real scalar is its own antiparticle; the measure $\mathrm d^3p/2E_{\mathbf p}$ is the Lorentz-invariant one, which is what makes every statement below frame-independent. The correct spin-0 quantization uses commutators; the correct spin-½ quantization uses anticommutators. Pin both, because the theorem is precisely the statement that swapping them breaks the theory.

where: the left relation is Bose (spin 0); the right is Fermi (spin ½, with $r,s$ the spin labels). Reading it physically: the anticommutator immediately gives $(b^{r\dagger}_{\mathbf p})^2=\tfrac12\{b^{r\dagger}_{\mathbf p},b^{r\dagger}_{\mathbf p}\}=0$ — you cannot create two quanta in the same mode. That single line is the Pauli exclusion principle, whose antisymmetric-state and Slater-determinant readings are developed in Pauli Exclusion Principle; here it falls out of the algebra. The whole causal content of the theory lives in one Lorentz-invariant function, the Pauli-Jordan function. It is the odd combination of the two positive-frequency Wightman functions.

where: $\Delta(x)$ is an odd ($\Delta(-x)=-\Delta(x)$) solution of the Klein-Gordon equation. Reading it physically: $\Delta$ vanishing at spacelike separation is microcausality — the statement that measurements outside each other's light cones cannot interfere. For a free scalar field, the commutator satisfies $[\phi(x),\phi(y)] = i\Delta(x-y)$, so microcausality follows directly from the vanishing of $\Delta(x-y)$ at spacelike separation. The spin-statistics theorem determines which choice of (anti)commutator reproduces this causal structure. For spin-$\tfrac{1}{2}$ fields, the spinor structure changes which (anti)commutator is compatible with Lorentz covariance and microcausality. The field is built from Dirac spinors $u$ and $v$, with distinct particle and antiparticle operators.

where: $u^{s},v^{s}$ are the positive- and negative-energy spinor amplitudes; $b^{s}_{\mathbf p}$ annihilates a particle, $d^{s\dagger}_{\mathbf p}$ creates an antiparticle. Reading it physically: the sixteen bilinears $\bar\psi\Gamma\psi$ built from these spinors — the scalar, vector, tensor, axial, pseudoscalar tabulated in Bilinear Covariants and Dirac Adjoint — are exactly the objects C, P, and T act on, which is why the CPT bookkeeping below is a statement about their Lorentz indices.

Example 1 — the exchange sign is $(-1)^{2s}$. Show that the statistics selected by the theorem is exactly the sign a two-particle state picks up under exchange, and that it is fixed by spin.

Step 1. For a field of spin $s$, the theorem assigns commutators (Bose) to integer $s$ and anticommutators (Fermi) to half-integer $s$. The two-quantum state built from creation operators is $|\mathbf p,\mathbf q\rangle=c^\dagger_{\mathbf p}c^\dagger_{\mathbf q}|0\rangle$.

Step 2. Swapping the two operators uses the (anti)commutator at different momenta, where the delta-function term is absent: $c^\dagger_{\mathbf p}c^\dagger_{\mathbf q}=\eta\,c^\dagger_{\mathbf q}c^\dagger_{\mathbf p}$ with $\eta=+1$ for commutators and $\eta=-1$ for anticommutators.

Step 3. Match to spin: $\eta=+1$ for integer spin, $\eta=-1$ for half-integer spin. Both cases are captured by the single formula $\eta=(-1)^{2s}$, since $2s$ is even for integer $s$ and odd for half-integer $s$.

Step 4. Evaluate the anchor cases. For $s=0$: $(-1)^{0}=\mathbf{+1}$ (symmetric, Bose). For $s=\tfrac12$: $(-1)^{1}=\mathbf{-1}$ (antisymmetric, Fermi). The antisymmetry $\eta=-1$ is the exclusion principle: setting $\mathbf q=\mathbf p$ gives $c^\dagger_{\mathbf p}c^\dagger_{\mathbf p}=-c^\dagger_{\mathbf p}c^\dagger_{\mathbf p}$, so the doubly occupied state is zero.

Example 2 — the neutral-kaon CPT mass bound. CPT forces $m_{K^0}=m_{\bar K^0}$ exactly; the neutral-kaon system provides the tightest experimental test. Turn the measured bound into the fractional mass-difference limit.

Step 1. The observable is the fractional mass difference $|m_{K^0}-m_{\bar K^0}|/m_{K^0}$, which CPT predicts to be exactly zero. The kaon mass is $m_{K^0}=497.6\ \text{MeV}$.

Step 2. The neutral-kaon system is uniquely sensitive because the $K^0$–$\bar K^0$ mass difference would show up in the tiny oscillation frequency of the two-state system, whose scale is set by $\Delta m_{K}\approx3.48\times10^{-12}\ \text{MeV}$ (the $K_L$–$K_S$ difference) — an interferometer running at the $10^{-12}\ \text{MeV}$ level on a $500\ \text{MeV}$ mass.

Step 3. The Particle Data Group bound on CPT-violating mass splitting is $|m_{K^0}-m_{\bar K^0}|/m_{K^0}<\mathbf{10^{-18}}$ (more precisely $<6\times10^{-19}$). This is one of the most precise symmetry tests in physics — equivalent to comparing two $500\ \text{MeV}$ masses and finding them equal to within about $5\times10^{-16}\ \text{MeV}$.

Step 4. Sanity-check the reach. A fractional precision of $10^{-18}$ on a $497.6\ \text{MeV}$ mass probes an absolute splitting of $\sim5\times10^{-16}\ \text{MeV}$ — some four orders of magnitude below the already tiny $K_L$–$K_S$ difference. No violation has ever been seen, exactly as the CPT theorem demands.

This capstone gathers the whole relativistic chapter into two theorems. The spin-statistics argument uses the causality test of The Feynman Propagator and Causality and the positivity requirement of Field Quantization of the Klein-Gordon and Dirac Fields as its two selection rules; it cashes out the exclusion principle of Pauli Exclusion Principle as an algebraic identity, and reads the negative-energy antiparticle term of Negative-Energy Solutions and the Interpretive Crisis as the very thing Fermi statistics repairs. The CPT bookkeeping acts on the sixteen bilinears of Bilinear Covariants and Dirac Adjoint and uses the particle↔antiparticle map of Charge Conjugation and the Positron. Beyond this article, the rigorous proofs — Jost's CPT theorem and the Streater-Wightman treatment of both — open the door to axiomatic quantum field theory; the interacting theory that follows (quantum electrodynamics and the full Standard Model) inherits these two theorems intact. The key results — the spacelike-commutator contrast, the Dirac Hamiltonian sign flip, the exchange-sign $(-1)^{2s}$, the $(-1)^n$ index parity, and the kaon CPT bound — are each independently verifiable from the derivations above. The kaon figure ($\sim10^{-18}$) is the PDG order-of-magnitude bound, quoted as such with no fabricated precise digits.

Prerequisites. The Klein-Gordon Equation · The Dirac Equation · Negative-Energy Solutions and the Interpretive Crisis · Charge Conjugation and the Positron · Bilinear Covariants and Dirac Adjoint · Field Quantization of the Klein-Gordon and Dirac Fields. Leads to. Quantum field theory (canonical quantization) · the Wightman axioms and axiomatic QFT · quantum electrodynamics and the Standard Model.