| Path integral formulation | |
|---|---|
| Name | Path integral formulation |
| Caption | Schematic of classical paths contributing to a quantum amplitude |
| Developed | 1940s |
| Inventor | Richard Feynman |
| Related | Quantum mechanics, Quantum field theory, Statistical mechanics |
Path integral formulation
The Path integral formulation is a formulation of Quantum mechanics and Quantum field theory that computes transition amplitudes by summing contributions from all possible histories (paths) weighted by a phase determined by the classical action. Developed in the 1940s, it provides an alternative to canonical quantization and is especially influential in modern particle physics, condensed matter, and statistical mechanics. Its emphasis on action principles and symmetry makes it central to theoretical methods and unification efforts.
The path integral approach was introduced by Richard Feynman in the context of nonrelativistic quantum mechanics and was motivated by the classical principle of stationary action attributed to Joseph-Louis Lagrange and William Rowan Hamilton. Feynman's dissertation and subsequent papers connected the classical Lagrangian action with quantum amplitudes, providing a direct bridge between classical variational principles and quantum dynamics. The formulation gained rapid importance through applications by Paul Dirac's prior insights on action and later use by practitioners at institutions such as Princeton University and Caltech. It became indispensable for perturbative calculations in quantum electrodynamics (QED) developed by Feynman, Julian Schwinger, and Sin-Itiro Tomonaga.
At its core the path integral expresses the propagator K(b,a) as an integral over paths x(t) with weight exp(iS[x]/ħ), where S[x] is the classical action functional associated with a Lagrangian L(x,ẋ,t). Rigorous definitions employ measure theory, functional integration, and limits of discretized time slices (the time-slicing procedure). Mathematically related constructs include the Wiener measure for imaginary-time (Euclidean) path integrals and the theory of distributions. Important mathematical tools are the functional determinant, Green's functions, and stationary phase approximation. Connections to the theory of operators and spectra link the path integral to the Schrödinger equation and the spectral analysis performed in mathematical physics.
The path integral is formally equivalent to canonical quantization for many systems: canonical commutation relations emerge from the time-sliced measure, and the path integral yields the same S-matrix elements as canonical operator methods. Its power increases in Quantum field theory where fields φ(x) replace particle coordinates; functional integrals over field configurations define generating functionals for correlation functions. The formalism underlies modern renormalization techniques, including work by Kenneth Wilson on the renormalization group and effective field theory methods used at institutions like CERN and Brookhaven National Laboratory.
Practical evaluation uses approximation schemes: the semiclassical (saddle-point) approximation expands around classical solutions (stationary action), leading to the WKB approximation and instanton methods for tunneling. Perturbation theory is organized via expansion around a free theory; Feynman introduced diagrammatic rules (Feynman diagrams) that represent terms in the perturbative expansion. Techniques for nonperturbative analysis include lattice regularization (as in lattice gauge theory developed by Kenneth Wilson), stationary phase methods, and variational approximations. Regularization and renormalization are applied to control divergences, invoking schemes such as dimensional regularization and counterterm subtraction.
In quantum mechanics the path integral computes propagators, transition amplitudes, and partition functions. In quantum field theory it generates correlation functions used to compute scattering amplitudes for the Standard Model of particle physics, including Quantum electrodynamics and Quantum chromodynamics. In statistical mechanics the analytic continuation to imaginary time relates path integrals to partition functions and critical phenomena; this link is exploited in studies of phase transitions and critical exponents by methods like the renormalization group. Lattice Monte Carlo simulations, used at facilities such as Lawrence Berkeley National Laboratory and in collaborations like MILC Collaboration, implement Euclidean path integrals numerically.
The path integral accommodates symmetries and conservation laws via Noether's theorem applied to the action. Gauge theories require gauge fixing to avoid overcounting equivalent configurations; procedures include the Faddeev–Popov method and the use of ghost fields in BRST quantization, concepts central to consistent quantization of nonabelian gauge theories. Global and discrete symmetries, anomalies, and topological terms (e.g., theta terms) are naturally expressed in the action language. The formulation also clarifies issues of unitarity and causality when carefully defined in real-time and via analytic continuation.
Extensions include supersymmetric path integrals, string theory worldsheet path integrals, and path integrals on curved spacetime in general relativity and semiclassical quantum gravity. Stochastic quantization and influence functionals (as in the Feynman–Vernon approach) generalize the formalism to open systems and decoherence. Open problems involve rigorous construction for interacting relativistic field theories in four dimensions, nonperturbative definitions of quantum gravity, and mathematical foundations of functional integration. Research continues at major centers like Institute for Advanced Study and in mathematical physics programs that seek to place path integrals on firm axiomatic footing.