Spin–Statistics Theorem

The spin–statistics theorem establishes a necessary relationship between a particle’s intrinsic spin and the exchange properties of systems of identical particles. In ordinary local, relativistic quantum field theory in three spatial dimensions, integer-spin particles are bosons, while half-integer-spin particles are fermions. The relationship follows from structural assumptions about relativistic covariance, locality, positive energy, and the physical state space; it is not merely a convention for classifying particles. (arxiv.org)

Spin and exchange statistics

Spin describes how a quantum state transforms under spatial rotations. Exchange statistics describes how a many-particle state transforms when identical particles are interchanged. These concern different operations: rotating an individual particle is not, by definition, the same operation as exchanging two particles. The theorem connects them within a relativistic theory. (ejde.math.txstate.edu)

For ordinary bosonic and fermionic particles, the relationship can be expressed through a many-particle wave function:

\Psi(\ldots,q_i,\ldots,q_j,\ldots) = (-1)^{2s} \Psi(\ldots,q_j,\ldots,q_i,\ldots),

where $s$ is the spin quantum number and each $q_i$ includes both position and internal labels, such as spin projection. Integer $s=0,1,2,\ldots$ gives a symmetric state; half-integer $s=\tfrac12,\tfrac32,\ldots$ gives an antisymmetric state. The exchange must involve the complete particle labels, not positions alone. (damtp.cam.ac.uk)

Accordingly, integer-spin particles obey Bose–Einstein statistics, and half-integer-spin particles obey Fermi–Dirac statistics. Here “statistics” refers to quantum exchange symmetry and its consequences for state counting, rather than to the general mathematical discipline of statistics. (journals.aps.org)

Assumptions and scope

There are several formulations of the theorem, with different technical hypotheses. A standard flat-spacetime formulation uses:

Relativistic covariance: fields and states transform consistently under spacetime translations and Lorentz transformations.
A spectrum condition: energy–momentum lies in the allowed positive-energy region, with a stable vacuum.
Positivity: the physical Hilbert space has a positive inner product, permitting the usual interpretation of quantum probabilities.
Locality: physical observables at spacelike separation commute.
Appropriate field and vacuum conditions: fields satisfy the mathematical regularity and vacuum assumptions required by the chosen framework.

These requirements are a description of the standard setting, not a uniquely minimal list applicable to every proof. (arxiv.org)

Spacelike-separated events lie outside one another’s light cones, so no causal signal can connect them. Locality is therefore closely tied to special relativity. For fermionic fields, the relevant condition is graded locality: odd fermionic fields anticommute, while physical local observables commute at spacelike separation. Anticommutation of fermionic fields does not itself imply superluminal communication. (journals.aps.org)

The theorem is stronger than a demonstration for a particular free-particle equation. General formulations do not depend on selecting one specific interaction or imposing canonical quantization as a universal starting point. Nevertheless, their conclusions remain conditional on their hypotheses. (arxiv.org)

Field-operator formulation

For fields of a given spin type, the ordinary spacelike exchange relations take the schematic forms

[\phi_a(x),\phi_b(y)]=0 \qquad\text{for integer-spin fields},

and

\{\psi_a(x),\psi_b(y)\}=0 \qquad\text{for half-integer-spin fields},

when $x-y$ is spacelike. Corresponding relations involving adjoint fields are also required. The brackets denote the commutator $AB-BA$ and anticommutator $AB+BA$ . The theorem fixes which exchange sign is compatible with the remaining assumptions; it does not determine every equal-time canonical relation of an interacting theory. (arxiv.org)

For free fields, the connection to particle statistics is particularly transparent. Bosonic creation operators commute, so the two-particle state

a_i^\dagger a_j^\dagger|0\rangle

is unchanged when the operators are exchanged. Fermionic creation operators anticommute, giving the corresponding state a minus sign. In particular,

(a_i^\dagger)^2=0

for a fermionic mode: two identical fermions cannot occupy the same complete one-particle state. This is the Pauli exclusion principle. Bosonic occupation numbers have no analogous exclusion restriction. (damtp.cam.ac.uk)

A technical distinction is sometimes made between the spin–locality theorem, concerning spacelike field relations, and the spin–statistics theorem, concerning particle exchange statistics. Their connection is direct for free or suitable asymptotic particle fields, but requires additional care for interacting fields without ordinary asymptotic particle interpretations. (arxiv.org)

How the connection is established

An instructive example is the quantization of the free field associated with the Dirac equation. Treating it with ordinary bosonic commutators produces a Hamiltonian unbounded below in the standard construction. Using fermionic anticommutators instead gives the consistent positive-energy particle and antiparticle interpretation. This demonstrates the connection for a spin- $\tfrac12$ field, rather than proving the full theorem for arbitrary fields. (damtp.cam.ac.uk)

General proofs use relativistic transformation properties together with locality and positivity. In axiomatic approaches, complexifying spacetime or Lorentz transformations and exploiting analyticity allows the rotation properties of fields to be compared with their exchange properties. The analytic argument supplies what a simple picture of two particles moving around one another does not. (ejde.math.txstate.edu)

Other formulations use local observable algebras or the path integral. In the latter approach, causality and positive energy alone need not eliminate an abnormal spin–statistics assignment: the positive-norm requirement is also essential. Thus, which inconsistency appears first depends on the formulation and assumptions being retained. (arxiv.org)

Historical development

Wolfgang Pauli’s paper The Connection Between Spin and Statistics, published on October 15, 1940, gave a systematic result for relativistic free particles of arbitrary spin. Its argument related half-integer spin to Fermi–Dirac statistics through positive energy, and integer spin to Bose–Einstein statistics through spacelike commutativity of observables. (journals.aps.org)

Pauli’s work followed investigations by Markus Fierz in 1939. More general, model-independent proofs in the Wightman framework were obtained by Nicholas Burgoyne and by Gerhart Lüders and Bruno Zumino in 1958. Later developments established algebraic formulations and extensions to suitable curved-spacetime theories. (arxiv.org)

Physical consequences

The theorem provides the relativistic foundation for the connection between spin and exclusion. Antisymmetric fermionic states restrict occupation of individual quantum states, while symmetric bosonic states allow multiple particles in the same state. These different state-counting rules underlie the contrasting thermodynamic behavior of quantum gases. (damtp.cam.ac.uk)

For a noninteracting gas in thermal equilibrium, the mean occupation of a single-particle state of energy $E$ is

\bar n(E)= \frac{1}{\exp[(E-\mu)/(k_{\mathrm B}T)]\mp1},

with the minus sign for bosons and the plus sign for fermions. Here $\mu$ is the chemical potential, $T$ the temperature, and $k_{\mathrm B}$ the Boltzmann constant. The theorem determines the statistics assignment; equilibrium statistical mechanics supplies this occupation formula. Bosonic state counting also permits the macroscopic ground-state occupation characteristic of a Bose–Einstein condensate. (damtp.cam.ac.uk)

Limitations and generalizations

Nonrelativistic quantum mechanics. Exchange symmetry and spin can be specified separately in a nonrelativistic model. Invariance under spatial rotations alone does not establish their connection. Consequently, an argument based solely on the geometry of rotations is not automatically a proof of the relativistic theorem. (ejde.math.txstate.edu)

Two spatial dimensions. The topology of particle exchanges differs from that in three dimensions. Exchanges can have braid statistics, allowing anyons whose exchange behavior is not restricted to the bosonic and fermionic signs. Such excitations occur in descriptions of the quantum Hall effect. They do not contradict a theorem whose ordinary formulation assumes three spatial dimensions. (damtp.cam.ac.uk)

Unphysical auxiliary fields. Ghost fields used in quantum-field calculations can have an apparent “wrong” spin–statistics assignment. Their field algebra and physical-state interpretation do not satisfy all the hypotheses required for the ordinary theorem. They are therefore not counterexamples involving ordinary physical particles. (arxiv.org)

Curved spacetime. Generic curved spacetime lacks global Lorentz symmetry and a preferred vacuum, so flat-spacetime proofs cannot simply be transferred unchanged. Nevertheless, spin–statistics theorems have been established in locally covariant frameworks using suitable causal, spectrum, and field-structure assumptions. Extensions by Rainer Verch and by Stefan Hollands and Robert Wald make clear that the connection can survive without the special global geometry of flat spacetime. (arxiv.org)

References

The Connection Between Spin and Statisticsjournals.aps.org
The spin-statistics connection; some pedagogical remarks in response to Neuenschwander's questionejde.math.txstate.edu
Spin-Statistics, Spin-Locality, and TCP: Three Distinct Theoremsarxiv.org
An Algebraic Spin and Statistics Theoremarxiv.org
Spin-Statistics Theorem in Path Integral Formulationarxiv.org
On the Algebra of Ghost Fieldsarxiv.org
A spin-statistics theorem for quantum fields on curved spacetime manifolds in a generally covariant frameworkarxiv.org
Axiomatic quantum field theory in curved spacetimearxiv.org