| Wightman axioms | |
|---|---|
| Name | Wightman axioms |
| Field | Quantum field theory |
| Authors | Arthur Wightman |
| Introduced | 1950s |
| Related | Haag–Kastler axioms, Osterwalder–Schrader theorem |
Wightman axioms
The Wightman axioms are a set of rigorous mathematical conditions formulated to define relativistic quantum field theory on Minkowski spacetime. Introduced by Arthur Wightman in the 1950s, they specify properties of operator-valued distributions (fields), the vacuum state, and the action of the Poincaré group, providing a framework for proving structural results such as reconstruction theorems and spin–statistics relations. The axioms matter because they separate physical assumptions (locality, covariance, spectrum) from model-dependent dynamics, enabling rigorous analysis of locality and causality in particle physics.
The axioms emerged in the context of postwar efforts to place quantum electrodynamics and other relativistic field theories on a firm mathematical basis. Wightman formulated the axioms to address ambiguities in perturbation theory and the need for well-defined correlation functions (Wightman functions). Influences include work by Julian Schwinger, Richard Feynman, and mathematical advances in distribution theory by Laurent Schwartz. The program paralleled the algebraic approach of Rudolf Haag and Daniel Kastler (Haag–Kastler axioms) and later connected to Euclidean constructive efforts such as the Osterwalder–Schrader theorem. Wightman’s formulation helped bridge mathematical physics communities at institutions like Princeton University, University of Chicago, and Institute for Advanced Study.
The Wightman axioms are typically stated for a set of operator-valued tempered distributions φ_i(x) on Minkowski space ℝ^{1,3} with the following core conditions: - Hilbert space and vacuum: Fields act on a separable Hilbert space H containing a unique (up to phase) Poincaré-invariant vacuum vector |0⟩. - Poincaré covariance: There is a unitary representation U of the Poincaré group such that U(a,Λ) φ_i(x) U(a,Λ)^{-1} = S(Λ)_{ij} φ_j(Λx + a), with finite-dimensional representation S(Λ). - Spectrum condition: The joint spectrum of the energy–momentum operators lies in the closed forward light cone (positive energy). - Locality (microcausality): Fields commute or anticommute at spacelike separation: [φ_i(x), φ_j(y)]_± = 0 if (x−y)^2 < 0. - Vacuum cyclicity (Hilbert space completeness): The polynomial algebra generated by fields acting on the vacuum is dense in H (the Reeh–Schlieder property follows). - Temperedness and distributional properties: Wightman functions W_n(x_1,...,x_n) = ⟨0| φ(x_1)...φ(x_n) |0⟩ are tempered distributions satisfying permutation symmetry properties and spectral support conditions.
These axioms employ tools from functional analysis, representation theory, and distribution theory. The first appearance of these precise conditions is in Wightman’s papers and later expositions such as by Glimm and Jaffe and monographs on constructive quantum field theory.
From the axioms one derives a suite of rigorous results: - Reconstruction theorem: Given a set of Wightman functions satisfying positivity, covariance, spectral and locality conditions, one can reconstruct the Hilbert space, field operators, and vacuum representation (Wightman reconstruction theorem). - CPT theorem: Combining locality and Poincaré invariance yields the CPT theorem, guaranteeing a combined charge, parity and time-reversal symmetry under mild assumptions. - Spin–statistics theorem: The spin–statistics connection (integer spin fields commute, half-integer anticommute) can be proved within the Wightman framework. - Analyticity and edge-of-the-wedge: Wightman functions admit analytic continuations leading to dispersion relations and linking to the Euclidean correlation functions via the Wick rotation and Osterwalder–Schrader axioms. - Cluster decomposition and scattering theory: The axioms underpin the derivation of asymptotic states and aspects of the LSZ reduction formula for S-matrix elements.
These consequences are central to rigorous results in axiomatic quantum field theory and have guided constructive approaches to interacting models.
Free field theories (scalar, Dirac, Proca fields) provide canonical examples satisfying the Wightman axioms: explicit two-point functions meet spectral and covariance requirements. Several interacting models in low spacetime dimensions have been constructed to satisfy the axioms, notably: - P(φ)_2 models and φ^4_2 constructed by Glimm and Jaffe and colleagues. - The Sine–Gordon model and related integrable models in 1+1 dimensions. - Yukawa-type models in two dimensions and certain super-renormalizable theories.
By contrast, rigorous verification for realistic four-dimensional models such as quantum chromodynamics (QCD) or the full Standard Model remains open due to ultraviolet and nonperturbative issues; these are subjects of the Millennium Prize Problems and ongoing work in constructive QFT and lattice gauge theory (e.g., Wilson loop techniques).
The Wightman axioms coexist with alternative frameworks: - Haag–Kastler (algebraic) axioms focus on nets of local C*-algebras and emphasize locality and superselection sectors; links to Wightman theory are established via the Borchers and Doplicher–Haag–Roberts analysis. - Osterwalder–Schrader axioms characterize Euclidean Green functions and give conditions for analytic continuation to Wightman functions. - Perturbative algebraic QFT and axiomatic renormalization (Brunetti–Fredenhagen) adapt axiomatic ideas to perturbative expansions; these relate to renormalization group approaches by Kenneth Wilson. Each approach highlights different technical strengths: Wightman axioms excel in analytic reconstruction and spectral properties, while algebraic QFT emphasizes operator-algebraic structure and modular theory linked to Tomita–Takesaki theory.
Wightman axioms provide the rigorous backbone for numerous theoretical results used in particle physics: derivations of dispersion relations, constraints on scattering amplitudes, and formal proofs of symmetry theorems that underpin classification of particles and fields. They inform constructive programs that aim to build nonperturbative models consistent with physical principles and guide lattice and continuum approaches seeking existence proofs for interacting theories such as Yang–Mills theory. The axioms also serve as a benchmark for effective field theory constructions and for assessing conceptual issues in quantum foundations, including locality, causality, and the definition of particles in curved spacetime contexts (see connections to algebraic quantum field theory and curved spacetime QFT).