Skip to content

Green Functions from QM to QFT

The phrase Green function survives the passage from quantum mechanics to quantum field theory, but the object carrying that name changes with the question. In nonrelativistic one-particle quantum mechanics it may be an evolution kernel, a resolvent kernel, or a retarded response kernel. In many-body theory it is commonly a state-dependent correlation function of creation, annihilation, density, or spin operators. In relativistic QFT it is usually a correlation function of local fields.

The continuity is structural:

  • a linear operator is inverted with a boundary prescription;
  • poles and discontinuities encode spectral information;
  • sources generate responses or insertions;
  • ordering specifies which physical question is being asked.

The discontinuity is equally important: a QFT propagator is not generally a one-particle wavefunction kernel. This page is the canonical translation map for that distinction. Detailed propagator, source-functional, and field-path-integral derivations remain in their dedicated bridge pages.

Three objects establish the vocabulary.

The position-space kernel of unitary time evolution is

K(xf,tf;xi,ti)=⟨xf∣U(tf,ti)∣xi⟩.K(x_f,t_f;x_i,t_i) = \langle x_f\rvert U(t_f,t_i) \lvert x_i\rangle.

It evolves an initial wavefunction and composes through intermediate positions. Its canonical treatment is Propagator Kernel.

The coordinate kernel of a resolvent boundary value is

G±(x,x′;E)=⟨x∣1E−H±i0∣x′⟩.G^{\pm}(x,x';E) = \left\langle x\left\rvert \frac{1}{E-H\pm i0} \right\lvert x'\right\rangle.

It solves an energy-domain source equation and selects incoming or outgoing spatial behavior. Energy Green Function owns its differential equation and free examples.

For a perturbation Hpert=−f(t)BH_{\mathrm{pert}}=-f(t)B, a susceptibility has the form

χABR(t,t′)=iℏθ(t−t′)⟨[AH(t),BH(t′)]⟩.\chi_{AB}^R(t,t') = \frac{i}{\hbar} \theta(t-t') \langle[A_H(t),B_H(t')]\rangle.

It maps a source coupled to BB into the first-order change of an observable AA. The source convention and derivation are fixed in Green Functions and Response Preview.

These objects are related by spectral and Fourier transforms, but they are not interchangeable definitions.

QM objectVariablesBoundary or ordering dataPrimary use
KKtwo times and two coordinatesinitial-to-final evolutionpropagate a state
G±(E)G^{\pm}(E)energy and coordinatesincoming or outgoing i0i0stationary sources and scattering
χR\chi^Rtwo times or one frequencyretarded supportcausal linear response

Many-body theory promotes operator correlations to central observables. For a state or ensemble ρ\rho, a generic two-point function is

CAB(t,t′)=Tr⁡[ρAH(t)BH(t′)].C_{AB}(t,t') = \operatorname{Tr} \left[ \rho A_H(t)B_H(t') \right].

The state is part of the definition. Ground-state, thermal, driven, and nonequilibrium correlators can differ even when the Hamiltonian and operators are unchanged.

Operator ordering is also part of the definition:

CorrelatorTypical role
ordinary ordered ⟨A(t)B(t′)⟩\langle A(t)B(t')\rangletransition weights and noise spectra
commutator with retarded supportresponse and dissipation
anticommutator or symmetrized productfluctuations and detector noise
time-ordered productperturbation theory and diagrammatic expansions
imaginary-time ordered productthermal equilibrium and Matsubara methods

Diagrammatic Methods Preview fixes one explicit Matsubara convention and develops the associated line, vertex, self-energy, and bubble rules.

For nonrelativistic field operators, a one-particle Green function may be written schematically as

G(1,2)=−i⟨Tψ(1)ψ†(2)⟩,G(1,2) = -i \langle \mathcal T \psi(1)\psi^{\dagger}(2) \rangle,

with an additional minus sign under exchange for fermionic time ordering. Factors of ii, ℏ\hbar, and the sign convention vary by subject. Green Functions in Many-Body QM owns the precise addition/removal, retarded, time-ordered, spectral, and Matsubara conventions; the compact lookup is Correlation Functions.

The spectral interpretation broadens as well. Isolated poles can identify sharp excitations, while continua and branch cuts encode multiparticle or incoherent spectral weight. Residues become overlap strengths, not merely normalized one-particle wavefunctions. Spectral Representation of Green Functions supplies the QM starting point for that language.

For a real scalar field, a standard QFT two-point function is the vacuum time-ordered correlator

DF(x−y)=⟨0∣T{ϕ(x)ϕ(y)}∣0⟩.D_F(x-y) = \langle0\rvert \mathcal T\left\{ \phi(x)\phi(y) \right\} \lvert0\rangle.

With one common momentum-space convention for a free field,

DF(p)=ip2−m2+i0.D_F(p) = \frac{i}{p^2-m^2+i0}.

Other conventions absorb the overall ii into the definition. The invariant content is the pole prescription and its relation to time ordering.

This object is a vacuum correlation function of field operators. It is not generally the amplitude for a permanently identifiable particle to travel from yy to xx. In QFT:

  • particle number need not be fixed;
  • fields create and annihilate excitations;
  • antiparticles and multiparticle states enter the spectrum;
  • interacting two-point functions acquire shifted poles, residues, thresholds, and cuts;
  • local fields are operator-valued distributions rather than ordinary functions.

The direct propagator comparison, including relativistic locality and pole interpretation, belongs to From Propagators in QM to Propagators in QFT.

For bosonic fields,

T{ϕ(x)ϕ(y)}=θ(x0−y0)ϕ(x)ϕ(y)+θ(y0−x0)ϕ(y)ϕ(x).\begin{aligned} \mathcal T\{\phi(x)\phi(y)\} &= \theta(x^0-y^0)\phi(x)\phi(y)\\ &\quad+ \theta(y^0-x^0)\phi(y)\phi(x). \end{aligned}

Fermionic time ordering includes a minus sign when two fermionic operators are exchanged. Time ordering is therefore an algebraic prescription, not merely a relabeling of coordinates.

The Feynman i0i0 prescription tells a momentum integral how positive- and negative-frequency poles are bypassed. It implements time ordering and the in-out vacuum boundary condition used in standard perturbative amplitudes. It is not the same object as a retarded propagator, which is supported only after the source time.

This distinction matters for causality. A Feynman propagator need not vanish at spacelike separation. Relativistic microcausality instead constrains commutators or anticommutators of local observables at spacelike separation. Causality, Support, and Interpretation in Nonrelativistic QM gives the careful comparison.

Sources unify response and correlation language. In a scalar field theory, introduce

Z[J]=∫Dϕ exp⁡[iS[ϕ]+i∫d4x J(x)ϕ(x)]Z[J] = \int\mathcal D\phi\, \exp\left[ iS[\phi] + i\int d^4x\,J(x)\phi(x) \right]

in units with ℏ=1\hbar=1. Functional derivatives insert fields:

1inδnZ[J]δJ(x1)⋯δJ(xn)∣J=0\left. \frac{1}{i^n} \frac{\delta^n Z[J]} {\delta J(x_1)\cdots\delta J(x_n)} \right|_{J=0}

is proportional to an nn-point correlation function, with normalization and boundary prescription determined by the definition of Z[J]Z[J]. Dividing by Z[0]Z[0] or differentiating a connected generator changes which vacuum contributions are included.

The formal resemblance to a driven quantum-mechanical system is real, but the generated object depends on context. A fixed-endpoint QM kernel, a vacuum in-out functional, a closed-time-path functional, a Euclidean thermal functional, and a real-time response functional do not generate the same ordering.

The source calculus and normalization details belong to From Sources in QM to Generating Functionals in QFT. The configuration-space replacement from paths q(t)q(t) to fields ϕ(x)\phi(x) belongs to Path Integrals from QM to QFT.

What Changes When Fields Replace Particles

Section titled “What Changes When Fields Replace Particles”

The following dictionary marks both the continuity and the new structure.

Quantum mechanicsQuantum field theoryEssential change
coordinate q(t)q(t)field ϕ(x)\phi(x)one history becomes a spacetime configuration
wavefunction ψ(q,t)\psi(q,t)state in a field-theory Hilbert spacethe field is not generally a many-particle wavefunction
finitely many canonical pairslocal field operators and conjugate momentainfinitely many degrees of freedom before regulation
position-space evolution kernelfield correlation functionpropagation language becomes operator and state dependent
discrete levels and scattering continuumparticle poles, multiparticle thresholds, and cutsspectral structure reflects variable particle number
Galilean kinematicsPoincaré covariancespace and time enter relativistic spacetime symmetry
ordinary products of operatorsproducts of operator-valued distributionscoincident points require ultraviolet control
parameter fitting in a Hamiltonianregularization and renormalizationshort-distance definitions affect parameter relations

Free fields resemble collections of harmonic oscillators labeled by momentum, but this analogy is a starting point rather than a definition of interacting QFT. Locality, Lorentz symmetry, spin-statistics structure, gauge redundancy, vacuum structure, and renormalization introduce genuinely new constraints.

A reliable route forward is:

  1. Separate evolution kernels, resolvents, retarded response, and time-ordered correlators in QM.
  2. Learn how second-quantized many-body operators turn spectra into correlation functions.
  3. Study free relativistic fields and their canonical or path-integral quantization.
  4. Derive Feynman, retarded, advanced, Wightman, and Euclidean two-point functions from their definitions.
  5. Use sources to generate connected correlation functions.
  6. Add interactions, regularization, renormalization, and scattering reduction only after conventions are fixed.
  7. Treat gauge fields, fermions, finite temperature, and nonequilibrium contours as additional structures.

The internal bridge sequence is:

  • Calling every object named a propagator the same mathematical kernel.
  • Treating a QFT field ϕ(x)\phi(x) as a single-particle wavefunction.
  • Interpreting the Feynman propagator as a causal signal-response kernel.
  • Expecting the Feynman propagator itself to vanish at spacelike separation.
  • Omitting the state or ensemble from a many-body correlation-function definition.
  • Comparing formulas without checking factors of ii, ℏ\hbar, metric signature, and Fourier convention.
  • Assuming every spectral singularity is a stable one-particle pole.
  • Forgetting the fermionic sign in time ordering.
  • Differentiating a generating functional without specifying its normalization and contour.
  • Treating ultraviolet regularization and renormalization as optional notation changes.
  • M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory, Addison-Wesley, 1995.
  • M. D. Schwartz, Quantum Field Theory and the Standard Model, Cambridge University Press, 2014.
  • S. Weinberg, The Quantum Theory of Fields, Volume I: Foundations, Cambridge University Press, 1995.
  • M. Srednicki, Quantum Field Theory, Cambridge University Press, 2007.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.
  • G. D. Mahan, Many-Particle Physics, 3rd ed., Kluwer Academic/Plenum, 2000.
  1. Classify each object as an evolution kernel, energy resolvent, response function, or field correlator: ⟨xf∣U∣xi⟩\langle x_f\rvert U\lvert x_i\rangle, ⟨x∣(E−H+i0)−1∣x′⟩\langle x\rvert(E-H+i0)^{-1}\lvert x'\rangle, θ(t)⟨[A(t),B(0)]⟩\theta(t)\langle[A(t),B(0)]\rangle, and ⟨0∣Tϕ(x)ϕ(y)∣0⟩\langle0\rvert\mathcal T\phi(x)\phi(y)\lvert0\rangle.
Solution

The classifications are, respectively:

  1. a quantum-mechanical time-evolution kernel;
  2. an outgoing energy-resolvent kernel;
  3. a retarded response correlator, up to its convention-dependent prefactor;
  4. a QFT time-ordered field correlator, commonly called the Feynman propagator after fixing normalization.

Their names overlap in the literature, so the defining formula is more reliable than the word propagator.

  1. Why does time ordering not make a Feynman propagator identical to a retarded propagator?
Solution

Time ordering includes both temporal orderings:

T{ϕ(x)ϕ(y)}={ϕ(x)ϕ(y),x0>y0,ϕ(y)ϕ(x),y0>x0.\mathcal T\{\phi(x)\phi(y)\} = \begin{cases} \phi(x)\phi(y), & x^0\gt y^0,\\ \phi(y)\phi(x), & y^0\gt x^0. \end{cases}

A retarded propagator instead contains a step function multiplying a commutator and vanishes when the response time precedes the source time. The two functions can be related through spectral data, but they implement different boundary and ordering prescriptions.

  1. Explain why a relativistic field operator is not generally a single-particle wavefunction.
Solution

A wavefunction is a state amplitude in a chosen configuration representation. A quantum field is an operator-valued distribution acting on a Hilbert space that can contain vacuum, one-particle, and multiparticle sectors. The field can create or annihilate excitations, while the state is a separate object. Matrix elements of the field can sometimes behave like wavefunctions in restricted sectors, but that does not identify the operator with the state.

  1. Show schematically how two source derivatives generate a two-point function.
Solution

The source-dependent exponential contains

exp⁡[i∫d4x J(x)ϕ(x)].\exp\left[ i\int d^4x\,J(x)\phi(x) \right].

One functional derivative brings down iϕ(x)i\phi(x), and a second brings down iϕ(y)i\phi(y). Therefore

1i2δ2Z[J]δJ(x)δJ(y)∣J=0\left. \frac{1}{i^2} \frac{\delta^2Z[J]} {\delta J(x)\delta J(y)} \right|_{J=0}

generates a two-field insertion. Whether the result is time ordered, Euclidean ordered, contour ordered, or another correlator depends on the definition and contour of Z[J]Z[J]. Normalization by Z[0]Z[0] may also be required.

  1. What spectral features replace the simple isolated poles of a finite-dimensional resolvent in an interacting field theory?
Solution

Stable one-particle excitations can still produce isolated poles. Interacting theories also contain multiparticle thresholds and continua, represented by branch cuts or continuous spectral weight. Unstable resonances correspond to poles reached by analytic continuation rather than normalizable physical-sheet states. Pole residues encode overlap strengths, and ultraviolet behavior requires renormalized definitions. Thus the spectrum is richer than a finite sum over discrete denominators.