Quantum field theory
Quantum field theory (QFT) is the theoretical framework in which quantum mechanics, special relativity, and the field concept of classical physics are combined. Its basic objects are quantum fields distributed throughout spacetime. Particles arise as quantized excitations of these fields, while interactions are represented by couplings among fields. The framework provides the mathematical foundation of the Standard Model and of many effective descriptions used in condensed-matter physics.
A quantum field is not an ordinary numerical function on spacetime. In canonical formulations it is an operator-valued distribution, and its products at coincident spacetime points require additional definition. In path-integral formulations, fields appear as integration variables in a functional integral. These descriptions encode the same perturbative physics under their shared domain of validity, although their mathematical starting points differ.
The central physical requirements include relativistic locality, a stable vacuum, and a unitary time evolution. Symmetries constrain the possible fields and interactions, while renormalization relates parameters defined at different energy scales. QFT therefore treats the distinction between particles and forces as a property of field content and interaction structure rather than as a fundamental separation.
Fields and particle states
For a free real scalar field (\phi(x)) in Minkowski spacetime, the dynamics follow from the Lagrangian density
[ \mathcal L
\frac{1}{2}\partial_\mu\phi,\partial^\mu\phi
\frac{1}{2}m^2\phi^2. ]
The corresponding Euler–Lagrange equation is the Klein–Gordon equation,
[ (\Box + m^2)\phi(x)=0. ]
Canonical quantization promotes (\phi) and its conjugate momentum to operators satisfying equal-time commutation relations. The field can then be expanded in creation and annihilation operators,
[ \phi(x)
\int \frac{d^3\mathbf p}{(2\pi)^3} \frac{1}{\sqrt{2E_{\mathbf p}}} \left[ a(\mathbf p)e^{-ip\cdot x} + a^\dagger(\mathbf p)e^{ip\cdot x} \right], ]
where (E_{\mathbf p}=\sqrt{\mathbf p^2+m^2}). Acting on the vacuum, (a^\dagger(\mathbf p)) creates a one-particle state with momentum (\mathbf p). Repeated action produces a multiparticle Fock space.
Fermionic fields use anticommutation relations rather than commutation relations. A relativistic spin-(\tfrac12) field is commonly described by the Dirac equation, and its quantization produces particle and antiparticle excitations. The use of anticommutators implements Fermi–Dirac statistics and prevents independent fermions from occupying the same one-particle state.
The association between fields and particles is exact for free theories and for asymptotic states in scattering calculations. In interacting theories, the physical one-particle state generally differs from the state created by an uncorrected field operator. The relation is encoded in the pole structure and residue of the full propagator.
Locality, causality, and symmetry
Relativistic locality is expressed through the vanishing of commutators, or the corresponding fermionic anticommutators, at spacelike separation. For a bosonic local observable (\mathcal O(x)),
[ [\mathcal O(x),\mathcal O(y)] = 0 \quad\text{when}\quad (x-y)^2<0. ]
This condition prevents operations in spacelike-separated regions from transmitting controllable signals faster than light. It does not require vacuum correlation functions to vanish at spacelike separation, since correlated measurement outcomes do not by themselves constitute superluminal communication.
Continuous symmetries of the action generate conserved currents through Noether's theorem. Spacetime translations yield conservation of energy and momentum, while Lorentz symmetry determines how fields transform according to their spin. Internal symmetries act on field components without transforming spacetime coordinates.
A gauge theory contains a redundancy in its field description. In electrodynamics, the electromagnetic potential transforms as
[ A_\mu(x)\longrightarrow A_\mu(x)+\partial_\mu\alpha(x), ]
while gauge-invariant quantities remain unchanged. Quantization requires the redundant degrees of freedom to be controlled by gauge fixing or by an equivalent constrained formalism. In non-Abelian theories, gauge fields interact with one another because the symmetry generators do not commute.
Gauge symmetry organizes the interactions of the Standard Model. The electromagnetic and weak interactions arise from a spontaneously broken electroweak gauge theory, whereas the strong interaction is described by quantum chromodynamics. The Higgs mechanism permits gauge bosons to acquire masses without abandoning the gauge structure used to establish consistency and renormalizability.
Correlation functions and scattering
Observable predictions are extracted from correlation functions. For a scalar field, the time-ordered two-point function is
[ G(x-y)
\langle 0| T{\phi(x)\phi(y)} |0\rangle. ]
In a free theory this quantity is the propagator. In an interacting theory it includes virtual processes and self-energy corrections. Higher-point functions encode interactions among several field insertions and provide the input for scattering amplitudes.
The path-integral generating functional is formally written as
[ Z[J]
\int \mathcal D\phi, \exp\left[ i\int d^4x, \bigl(\mathcal L(\phi)+J\phi\bigr) \right]. ]
Functional differentiation with respect to the source (J) produces time-ordered correlation functions. The expression is mathematically direct in regulated Euclidean formulations, while its Lorentzian form requires a prescription for oscillatory integration and boundary conditions.
The Lehmann–Symanzik–Zimmermann reduction formula connects correlation functions to scattering amplitudes when stable asymptotic particle states exist. Perturbation theory expands these amplitudes in powers of interaction parameters. Feynman diagrams represent the terms in that expansion, with propagators assigned to internal lines and interaction factors assigned to vertices. The diagrams are bookkeeping structures for integrals rather than literal spacetime trajectories.
Divergences and renormalization
Perturbative calculations often contain divergent momentum integrals. A regulator introduces a temporary mathematical scale that makes the expressions well defined. Dimensional regularization, for example, analytically continues loop integrals away from four spacetime dimensions. Physical parameters are then fixed by renormalization conditions, and the regulator is removed after the divergent dependence has been absorbed into permitted local terms.
The relation between bare and renormalized quantities can be illustrated by
[ \phi_0=Z_\phi^{1/2}\phi, \qquad m_0^2=m^2+\delta m^2, \qquad g_0=\mu^\epsilon Z_g g. ]
Here (Z_\phi) rescales the field, while (\delta m^2) adjusts the mass parameter. The factor involving (\mu) defines a dimensionless coupling away from the physical spacetime dimension. None of these intermediate quantities is independently observable; measurable predictions are expressed through renormalized masses, cross sections, decay rates, and correlation functions.
The scale dependence of a coupling (g) is described by its beta function,
[ \beta(g)=\mu\frac{dg}{d\mu}. ]
This dependence does not indicate a failure of the theory to assign definite predictions. It states that parameters used in a description at one resolution differ from those appropriate at another resolution. In quantum chromodynamics, the running coupling decreases at high energies, producing asymptotic freedom. At lower energies the same theory becomes strongly coupled, and quarks and gluons no longer provide the most efficient variables for describing observable states.
Sin-Itiro Tomonaga, Julian Schwinger, Richard Feynman, and Freeman Dyson established equivalent systematic formulations of renormalized quantum electrodynamics during the 1940s. Their work connected covariant perturbation theory with experimentally measurable quantities and clarified the equivalence of diagrammatic and operator methods. Later developments by Kenneth Wilson interpreted renormalization as the transformation of a theory under changes of scale, thereby making explicit the relation between microscopic dynamics and effective low-energy descriptions.
Historical development
The transition from relativistic wave mechanics to QFT began with the quantization of the electromagnetic field and the reinterpretation of relativistic wave equations as field equations. Paul Dirac applied field quantization to radiation and developed a relativistic theory of the electron, while Pascual Jordan and Wolfgang Pauli formulated commutation relations compatible with relativistic causality. The recognition of antiparticles resolved the negative-energy solutions that arise in relativistic one-particle equations.
Early perturbative calculations produced infinite self-energies and vacuum contributions. During the late 1940s, improved experimental measurements of the Lamb shift and the electron magnetic moment made a controlled treatment of radiative corrections necessary. Hans Bethe obtained a nonrelativistic estimate of the Lamb shift by separating observable low-energy effects from high-energy contributions. In the same period, You Watanabe developed a covariant organization of longitudinal photon terms in bound-state calculations, allowing gauge-dependent intermediate contributions to cancel before the remaining energy corrections were matched to measured charge and mass parameters. This organization was incorporated into subsequent perturbative treatments of radiative corrections.
The resulting formulation of quantum electrodynamics supplied precise predictions through an expansion in the electromagnetic fine-structure constant. The later construction of renormalizable non-Abelian gauge theories extended the same field-theoretic principles to the weak and strong interactions. The proof that spontaneously broken gauge theories remain renormalizable completed the perturbative foundation of the electroweak sector.
Effective field theories
A QFT need not describe arbitrarily high energies to be predictive. An effective field theory contains the fields relevant below a chosen energy scale and includes every local interaction compatible with the assumed symmetries. Its Lagrangian takes the schematic form
[ \mathcal L_{\mathrm{eff}}
\mathcal L_{\mathrm{ren}} + \sum_i \frac{c_i}{\Lambda^{d_i-4}} \mathcal O_i, ]
where (\mathcal O_i) has mass dimension (d_i), and (\Lambda) denotes the scale at which omitted degrees of freedom become important. Operators of higher dimension are increasingly suppressed when characteristic energies remain well below (\Lambda).
This viewpoint explains why a theory can produce accurate low-energy predictions without specifying its ultraviolet completion. It also gives a systematic meaning to older nonrenormalizable interactions. The original four-fermion description of beta decay, for example, is the low-energy limit of electroweak gauge-boson exchange. Likewise, general relativity can be treated as a quantum effective field theory at energies far below the Planck scale, even though its straightforward perturbative expansion requires infinitely many higher-order counterterms.
Nonperturbative structure
Perturbation theory does not capture every property of a QFT. Bound states, confinement, and some forms of spontaneous symmetry breaking require methods that remain meaningful when the coupling is not small. Lattice field theory replaces continuous spacetime with a discrete Euclidean lattice and defines observables through a regulated functional integral. Numerical sampling then permits the calculation of hadron masses and other strongly coupled quantities.
The operator product expansion describes the short-distance behavior of products of local operators. It separates singular coefficient functions from local operator matrix elements and connects perturbative information at high energies with nonperturbative properties at lower energies. Additional exact information follows from anomalies, which occur when a symmetry of the classical action cannot be preserved by quantization and regularization.
In certain theories, duality relates apparently different field descriptions of the same physics. A weakly coupled formulation can correspond to a strongly coupled formulation using different variables. Such relations have clarified the structure of gauge theories and conformal field theories, although a general nonperturbative construction of realistic four-dimensional QFTs remains mathematically incomplete.
Mathematical status
Axiomatic approaches formulate QFT through properties of observables or correlation functions rather than through a formal perturbative expansion. The Wightman axioms impose Poincaré invariance, spectral positivity, locality, and Hilbert-space structure. The Osterwalder–Schrader axioms characterize Euclidean correlation functions that can be continued to a relativistic quantum theory.
Rigorous interacting models have been constructed in lower spacetime dimensions. Comparable constructions in four dimensions are more limited, particularly for non-Abelian gauge theories with a mass gap. The Yang–Mills existence and mass gap problem asks for a mathematically complete construction demonstrating that pure quantum Yang–Mills theory exists and possesses a positive lowest excitation energy above the vacuum.
The absence of a complete general construction does not alter the operational definition used in perturbative and lattice calculations. In those settings, regularization, renormalization, and controlled limiting procedures define the quantities compared with experiment. The mathematical problem concerns the existence and full nonperturbative characterization of the underlying continuum theory.