This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Wick's theorem | |
|---|---|
| Name | Wick's theorem |
| Field | Theoretical physics; Mathematical physics |
| Introduced | 1950 |
| Primary contributors | Gian-Carlo Wick |
| Related concepts | Normal ordering, Feynman diagram, Path integral formulation, Green's function, Perturbation theory |
Wick's theorem
Wick's theorem is a central combinatorial identity used in theoretical and mathematical physics to express time-ordered or normal-ordered products of field operators as sums over contractions. It provides a systematic bridge between operator expressions in the Heisenberg and interaction pictures and diagrammatic expansions such as Feynman diagrams, enabling computations in perturbative Quantum Electrodynamics, Quantum Chromodynamics, and many-body perturbation methods used in condensed matter physics.
Wick's theorem reduces complicated operator products to sums of simpler objects by replacing pairs of operators with their two-point expectation values (contractions) and arranging remaining operators in normal order. This process underpins calculational frameworks across Paul Dirac's canonical quantization, Richard Feynman's diagrammatic techniques, and the Dyson series in Freeman Dyson's work on perturbation theory. The theorem is indispensable for deriving propagators and correlation functions used in analyses by researchers at institutions such as CERN, Los Alamos National Laboratory, and university groups worldwide.
In its standard form, Wick's theorem states that the time-ordered product of a set of free-field operators equals the normal-ordered product plus all possible normal-ordered terms with contractions. Contractions are defined as c-number two-point functions like the Feynman propagator, commonly denoted by angle brackets or a contraction symbol. The algebraic formulation uses creation and annihilation operators introduced in Paul Dirac's formalism and Green's functions developed by George Green. For a set of operators {A1, A2, ..., An}, the expansion includes single contractions, double contractions, and higher cumulants up to floor(n/2) pairings, each term carrying sign factors determined by statistics (bosonic or fermionic) as in treatments by Enrico Fermi and Satyendra Nath Bose-related formulations. The theorem is often written succinctly in texts by authors such as Julian Schwinger and in pedagogical expositions influenced by Steven Weinberg.
Proofs commonly proceed by induction on the number of operators, exploiting commutation relations for bosons or anticommutation relations for fermions. Equivalent derivations use generating functionals in the path-integral approach introduced by Richard Feynman and formal manipulations of exponentials of creation and annihilation operators seen in work by Hendrik Casimir-era researchers. Rigorous operator-algebra proofs draw on frameworks developed in mathematical physics by groups affiliated with Princeton University and Institut des Hautes Études Scientifiques. There are also diagrammatic justifications that map combinatorial pairings to topological structures in Feynman graph expansions, connecting to methods used by Vladimir Arnold in combinatorial topology.
Wick's theorem is applied to compute S-matrix elements in Quantum Electrodynamics, scattering amplitudes in Quantum Chromodynamics, and correlation functions in scalar field theories like the Klein–Gordon equation models. In condensed matter, it underlies perturbative treatments of the Hubbard model, derivations of the random-phase approximation used in electron gas studies by David Pines and Phil Anderson, and many-body Green's function techniques taught in courses at Massachusetts Institute of Technology and Harvard University. It is essential for implementing diagrammatic resummations such as Dyson equations and for constructing self-energy expansions utilized in research at Bell Labs and national supercomputing centers.
Several extensions generalize Wick's theorem beyond free fields: the Gell-Mann–Low theorem relates interacting expectation values to free-field Wick contractions in adiabatic switching procedures, as exploited in work by Murray Gell-Mann and Francis Low. Wick-like expansions exist for non-Gaussian states via Isserlis' theorem analogs in probability theory linked historically to John Isserlis and for operator product expansions in conformal field theory referenced by researchers at CERN and California Institute of Technology. Algebraic quantum field theory frameworks adapt Wick techniques through Haag–Kastler axioms developed by Rudolf Haag and Daniel Kastler, while categorical and Hopf-algebraic treatments connect to combinatorial renormalization methods pioneered by Alain Connes and Dirk Kreimer.
Standard worked examples include computing the two-point and four-point functions in free scalar and spinor theories, derivations of Wick contractions leading to propagators in Quantum Electrodynamics, and explicit evaluation of normal-ordered products in harmonic-oscillator mode expansions tracing back to Erwin Schrödinger's quantization. Exercises typical in graduate texts from authors such as Michael Peskin and Daniel Schroeder show step-by-step pairings for four-operator time-ordered products, sign bookkeeping for fermionic exchanges consistent with Wolfgang Pauli's exclusion principles, and diagrammatic enumeration that maps to tree and loop Feynman graphs encountered in perturbative renormalization.
Wick's theorem is named after Gian-Carlo Wick, who formulated the method in 1950 to systematize perturbative calculations in quantum field theory. The development of the theorem built on earlier operator techniques from figures such as Paul Dirac, Julian Schwinger, and Pascual Jordan, and it quickly became integrated into the broader postwar synthesis of quantum electrodynamics by researchers like Richard Feynman, Sin-Itiro Tomonaga, and Schwinger during the formative period recognized by the 1965 Nobel Prize committees. Subsequent elaborations and pedagogical codifications appeared in graduate curricula at institutions including University of Cambridge and University of Chicago, cementing Wick's contribution in the canonical toolbox of modern theoretical physics.