| canonical anticommutation relations | |
|---|---|
| Name | Canonical anticommutation relations |
| Caption | Fermionic creation and annihilation operators obey anticommutation relations |
| Field | Quantum mechanics; Quantum field theory |
| Introduced | 1920s–1930s |
| Notable practitioners | Paul Dirac, Wolfgang Pauli, John von Neumann |
canonical anticommutation relations
The canonical anticommutation relations (CAR) are algebraic rules that govern the multiplication of fermionic creation and annihilation operators in quantum theories. They encode the Pauli exclusion principle at the operator level and underpin the construction of fermionic Fock spaces, making them central to both many-body physics and relativistic quantum field theory. CAR provide a mathematically rigorous framework for models of electrons, neutrinos, and other spin-1/2 particles in condensed matter and high-energy physics.
The canonical anticommutation relations arise from the requirement that identical fermions are antisymmetric under particle exchange, a property historically linked to Wolfgang Pauli's exclusion principle and the development of the spin–statistics theorem. In nonrelativistic settings such as the Fermi gas or BCS theory of superconductivity, CAR ensure that states with two identical fermions occupying the same quantum state vanish. In relativistic Dirac equation based quantum field theories, CAR are imposed on field operators to obtain causal and Lorentz-covariant descriptions of fermions, as in Quantum electrodynamics (QED) and the Standard Model.
Mathematically, the CAR are most often presented for a set of operators {a_i, a_i^†} labeled by discrete indices or by elements of a Hilbert space H. The basic relations read {a_i, a_j} = 0, {a_i^†, a_j^†} = 0, and {a_i, a_j^†} = δ_{ij} I, where {·,·} denotes the anticommutator and I is the identity operator. This structure defines the CAR algebra, a C*-algebraic object studied in operator algebra literature such as work by John von Neumann and later by analysts in the tradition of Israel Gelfand and Marcel Riesz. The CAR algebra over an infinite-dimensional Hilbert space exhibits distinct representation theory compared with bosonic algebras; important properties include graded commutativity, parity automorphisms, and relations to Clifford algebras used in spin geometry.
A primary representation of the CAR is the fermionic Fock space construction. Given a one-particle Hilbert space H, the fermionic Fock space F_-(H) = ⊕_{n=0}^∞ ∧^n H carries creation operators a^†(φ) and annihilation operators a(φ) obeying CAR for φ∈H. The vacuum vector is annihilated by all a(φ), and finite-particle states are antisymmetric tensors. Representations are classified by concepts from functional analysis: the vacuum (or Fock) representation, quasi-free states, and more exotic representations associated with infinite systems and thermodynamic limits studied by Rudolf Haag and in the Haag–Kastler axiomatic framework. In condensed matter, lattice fermion models such as the Hubbard model and Kitaev chain are built from CAR on site-indexed modes; in relativistic contexts, mode expansions of the Dirac field use CAR to quantize spinor fields unambiguously.
CAR are indispensable across many subfields. In perturbative Quantum electrodynamics, anticommutation relations for spinor fields determine Feynman rules for fermion propagators and ensure correct spinor trace identities used in scattering amplitude computations. In condensed matter physics, CAR underpin theories of metals, insulators, and superconductors; techniques such as second quantization and Green's function methods rely on anticommutators for diagrammatics and Matsubara formalism in finite temperature problems. CAR algebras also appear in topological phases: models of Majorana zero modes in topological superconductors exploit self-adjoint combinations of creation and annihilation operators that satisfy Majorana anticommutation relations, relevant to proposals by researchers at institutions like Microsoft Research and experimental groups at Stanford University and University of California, Santa Barbara.
The canonical anticommutation relations stand in formal contrast to the canonical commutation relations (CCR) satisfied by bosonic operators such as harmonic oscillator creation and annihilation operators. CCR use commutators [·,·] rather than anticommutators and lead to symmetric tensor Fock spaces. The difference is rooted in the spin–statistics theorem, which links integer spin to CCR (bosons) and half-integer spin to CAR (fermions) when imposing relativity and locality. Symmetry operations—parity, time reversal, and charge conjugation—act differently on CAR: charge conjugation exchanges particles and antiparticles for spinor fields, while parity and time reversal implement sign changes consistent with representations of the Lorentz group and the Poincaré group in quantum field theory.
When fermionic fields are quantized in interacting theories, CAR must be preserved under regularization and renormalization procedures. Lattice regularizations maintain CAR by discretizing space into modes, while continuum regulators (dimensional regularization, Pauli–Villars) require care to respect anticommutation and chiral properties. Anomalies, notably the chiral anomaly in gauge theories, arise in path integral treatments when classical symmetry currents are not preserved upon quantization; consistent treatment of fermionic measure and CAR is essential to derive anomaly coefficients in computations associated with Adler–Bell–Jackiw anomaly results. In condensed matter, renormalization group flows of fermionic models utilize CAR to track stability of Fermi surfaces and emergent symmetries in low-energy effective theories, with applications in studies by groups at Princeton University, University of Cambridge, and national laboratories.
Category:Quantum mechanics Category:Quantum field theory Category:Fermions