Skip to content

Spin–Statistics Theorems and Failure Modes

In four-dimensional positive-metric local Wightman theory, the Lorentz transformation law, positive energy, locality, and positivity tie the sign of a 2π2\pi rotation to the spacelike exchange sign: integer-spin fields are bosonic and half-integer-spin fields are fermionic. The conclusion is conditional. Indefinite metric, nonlocal fields, or low-dimensional braid topology removes a hypothesis and permits different structures without contradicting the theorem.

Required background. Wightman fields, domains, and axioms gives the field setting; analyticity, CPT, and spin–statistics gives the proof mechanism; and positivity, spectrum, covariance, and locality separates the hypotheses.

Helpful background. Lorentz-field and Poincaré-particle representations distinguishes field indices from particle spin, while the spin–statistics connection gives the physical version.

For a nonzero finite-component Wightman field in 3+13+1 dimensions, transforming covariantly under the Lorentz cover and obeying the remaining Wightman assumptions, the spacelike exchange grading must agree with the sign of a 2π2\pi rotation in its representation. In the familiar irreducible cases this gives

integer spinbosonic locality,half-integer spinfermionic locality.\text{integer spin}\Longleftrightarrow\text{bosonic locality}, \qquad \text{half-integer spin}\Longleftrightarrow\text{fermionic locality}.

The sharp theorem is often formulated by contradiction: impose the wrong spacelike commutation law while retaining covariance, spectrum, cyclic vacuum, and positive Hilbert metric; analyticity then makes the relevant two-point norm vanish, and cyclicity forces the field to be trivial. The field cannot remain nonzero with the wrong assignment. The Wightman proof and its qualifications are in Streater and Wightman 2016, § 4-4, pp. 146–160. Pauli’s earlier relativistic argument identifies positive energy and spacelike commutativity as the decisive physical conditions in Pauli 1940, pp. 716–722.

This statement concerns local covariant fields and their grading. Composite observables built from an even number of fermionic fields are bosonic; that does not change the statistics of the charged fields. Parastatistics can often be represented through ordinary Bose/Fermi fields with an internal multiplicity, so a slogan about “only two possible Hilbert spaces” is too strong.

Why analyticity and positivity both matter

Section titled “Why analyticity and positivity both matter”

At a spacelike separation, complex Lorentz continuation relates the two-point function with exchanged arguments to one obtained by a rotation through the complexified Lorentz group. The representation contributes the 2π2\pi-rotation sign. Locality contributes the assumed exchange sign. If the two signs disagree, analytic continuation makes a positive-type two-point expression equal to its negative. Positivity then sets its norm to zero. Reeh–Schlieder-type cyclicity/uniqueness reasoning propagates that vanishing to the field.

Analyticity alone only relates boundary values; it cannot declare a norm nonnegative. Positivity alone has no access to the Lorentz rotation sign. Locality alone allows either a commutator or anticommutator until the representation and spectrum information are included.

For a free Majorana field the particle is its own antiparticle, but the field still transforms spinorially. Its positive-frequency two-point distribution has the form

Ω,ψα(x)ψˉβ(y)Ω=d3p(2π)32Ep(p ⁣ ⁣ ⁣/+m)αβeip(xy).\langle\Omega,\psi_\alpha(x)\bar\psi_\beta(y)\Omega\rangle =\int\frac{\mathrm d^3\mathbf p}{(2\pi)^3\,2E_{\mathbf p}} (p\!\!\!/+m)_{\alpha\beta}e^{-ip\cdot(x-y)}.

The spin sum p ⁣ ⁣ ⁣/+mp\!\!\!/+m is the positive-energy projector numerator, and the measure is supported on p0>0p^0>0. The field anticommutator is obtained by applying iγμμ+mi\gamma^\mu\partial_\mu+m to the Pauli–Jordan distribution; because that scalar distribution is supported in the causal cone, the anticommutator vanishes at spacelike separation. A 2π2\pi rotation acts by 1-1 on the spinor representation, matching fermionic exchange.

The algebraic check

(p ⁣ ⁣ ⁣/m)(p ⁣ ⁣ ⁣/+m)=p2m2(p\!\!\!/-m)(p\!\!\!/+m)=p^2-m^2

shows that the two-point kernel obeys the Dirac equation on the mass shell. Its quadratic form is nonnegative because it is a sum over positive-energy spinor wavefunctions. Replacing the anticommutator by a bosonic commutator while keeping all other Wightman hypotheses is precisely the wrong-statistics adversarial test; the theorem says a nontrivial positive-metric Majorana field cannot result.

For identical particles in three or more spatial dimensions, exchanges are governed by the permutation group. In two spatial dimensions, worldlines can braid, and the braid group admits phases eiθe^{i\theta} and non-Abelian representations. The correct application is therefore anyons as quasiparticles in quantum matter, not a demand that an anyonic sector choose only +1+1 or 1-1. Algebraic spin–statistics results in low dimensions relate spin to braid statistics under their own localization and sector assumptions.

Other ways the Wightman conclusion can fail to apply are equally specific:

  • covariant gauge potentials may live in an indefinite-metric space, removing Hilbert positivity;
  • charged or string-localized fields may not satisfy pointlike spacelike locality;
  • nonrelativistic theories lack the Lorentz analytic continuation;
  • soliton and braid sectors may use cone or interval localization rather than ordinary point fields.

None of these is a counterexample unless every hypothesis of the claimed theorem is retained.

Why does the vanishing of a spacelike Majorana anticommutator follow from scalar causal support?

Solution

The anticommutator kernel is a finite-order differential operator, iγμμ+mi\gamma^\mu\partial_\mu+m, applied to the scalar Pauli–Jordan distribution. Differentiation does not enlarge distributional support. Since the scalar support lies in the closed causal cone, the spinor anticommutator has the same support bound and vanishes on every spacelike test-function region.

  • Pauli, Wolfgang. 1940. “The Connection Between Spin and Statistics.” Physical Review 58: 716–722. DOI.
  • Streater, Raymond F., and Arthur S. Wightman. 2016. PCT, Spin and Statistics, and All That. Princeton Landmarks in Physics. Princeton University Press. DOI.