| Feynman propagator | |
|---|---|
| Name | Feynman propagator |
| Caption | Propagation amplitude between spacetime points |
| Introduced | 1940s |
| Introduced by | Richard Feynman |
| Field | Quantum field theory |
Feynman propagator
The Feynman propagator is a fundamental Green's function used in Quantum field theory and relativistic Quantum mechanics to describe the amplitude for a particle to propagate between spacetime points. Introduced by Richard Feynman and formalized with path integral methods, it encodes causality, boundary conditions, and the vacuum structure of quantum fields, making it central to computations of scattering amplitudes, perturbation theory, and the construction of Feynman diagrams.
The Feynman propagator is defined as the time-ordered vacuum expectation value of a product of field operators. For a scalar field φ(x) it is given by the vacuum expectation value T⟨0|φ(x)φ(y)|0⟩, which yields the amplitude for a particle created at y to be annihilated at x while respecting the causal structure encoded by time ordering. This object connects to the notion of virtual particles in perturbative expansions and underlies the pictorial rules of Feynman diagrams used by practitioners at institutions such as CERN and the Stanford Linear Accelerator Center.
Physically, the Feynman propagator enforces propagation consistent with relativistic invariance and the choice of vacuum state, and it incorporates the causal prescription often summarized by the "iε" rule. It provides a bridge between operator formulations (canonical quantization) and the Feynman path integral, relating to work by Julian Schwinger and Sin-Itiro Tomonaga on covariant quantization.
Mathematically, the Feynman propagator G_F(x-y) solves an inhomogeneous differential equation with appropriate boundary conditions. For a free scalar field of mass m in Minkowski space it satisfies (□ + m^2)G_F(x-y) = -i δ^(4)(x-y), with the Fourier representation G_F(x-y) = ∫ (d^4p)/(2π)^4 e^{-ip·(x-y)} /(p^2 - m^2 + iε). The infinitesimal term iε implements the Feynman boundary condition and selects the contour in complex energy integrals, connecting to analytic continuation techniques used in complex analysis and the Wick rotation to Euclidean space.
For spinor and vector fields the propagators acquire spinor indices or Lorentz indices and are constructed from solutions to the Dirac operator or the gauge-fixed Maxwell/Proca operators. Examples include the Dirac propagator S_F(x-y) = ⟨0|T ψ(x) ψ̄(y)|0⟩ and the photon propagator in covariant gauges, both essential in Quantum electrodynamics (QED).
In Quantum field theory, the Feynman propagator is a Green's function employed to build n-point correlation functions and S-matrix elements via perturbation theory. It appears as internal lines in Feynman diagrams and encapsulates virtual propagation between interaction vertices contributed by Lagrangian terms, such as φ^4 interactions or Yukawa couplings. The propagator's properties under Lorentz transformations ensure manifest covariance of computed amplitudes.
Renormalization procedures performed at facilities like the Institut des Hautes Études Scientifiques or in textbooks by Steven Weinberg and Peskin and Schroeder rely on propagators to regularize and absorb divergences into counterterms. The Feynman propagator also underlies nonperturbative approaches such as the Schwinger–Dyson equations and appears in the construction of effective field theories and the analysis of spontaneous symmetry breaking.
Common calculation techniques include Fourier transformation to momentum space, contour integration in the complex energy plane, dimensional regularization, and lattice discretization for numerical evaluation. The explicit momentum-space scalar propagator is often evaluated by integrating p^0 with the iε prescription to yield on-shell pole contributions tied to particle and antiparticle propagation.
Canonical examples: - Free scalar field: G_F(x) as the integral over mass shell poles. - Dirac field: S_F(p) = (p̸ + m)/(p^2 - m^2 + iε), used in electron propagators in Quantum electrodynamics. - Photon propagator in Feynman gauge: D_{μν}(p) = -i η_{μν}/(p^2 + iε), applied in QED calculations at Fermilab and collider physics.
Techniques such as the method of residues, Feynman parameterization, and Passarino–Veltman reduction are standard in loop computations for higher-order diagrams encountered by researchers at SLAC National Accelerator Laboratory and in theoretical work by scholars like Gerard 't Hooft.
The Feynman propagator is one of several Green's functions; others include the retarded, advanced, and Wightman functions. The retarded Green's function G_R enforces causality by vanishing for x^0 < y^0, while the advanced G_A vanishes for x^0 > y^0. The connection between these functions is formalized by spectral representations and Källén–Lehmann decomposition, establishing links to the S-matrix and to thermal generalizations such as real-time and imaginary-time (Matsubara) propagators in finite-temperature field theory.
In gauge theories, gauge fixing (BRST quantization) alters the form of propagators and introduces ghost fields with their own propagators, a structure crucial for consistency in nonabelian theories like Quantum chromodynamics.
Practically, the Feynman propagator enters calculations of scattering amplitudes and cross sections via the LSZ reduction formula, which relates time-ordered correlation functions to S-matrix elements. In perturbation theory, internal propagators determine the momentum dependence of loop integrals contributing to radiative corrections, anomalous magnetic moments, and running coupling constants—quantities measured in precision experiments at CERN and DESY.
Beyond particle physics, propagators are used in condensed matter contexts (Green's functions for quasiparticles), semiclassical approximations, and the study of causal structure in curved spacetime, linking to work on quantum fields in general relativity and black hole backgrounds. The Feynman propagator thus remains a cornerstone of theoretical frameworks that preserve consistency, predictability, and a coherent description of particle interactions.