The Propagator
A propagator is the amplitude for a particle to travel from one spacetime point to another. In quantum field theory, it is the two-point correlation function — the probability amplitude that a particle created at position x is later annihilated at position y. It is arguably the single most important function in the entire theory.
Definition
The propagator for a scalar field φ is the vacuum expectation value:
D_F(x - y) = ⟨0| T{φ(x)φ(y)} |0⟩
where T is the time-ordering operator. This object tells you everything about how disturbances in the field propagate through spacetime. Given the propagator, you can build every Feynman diagram, every scattering amplitude, every prediction the theory makes.
The Free Propagator
For a free (non-interacting) scalar field, the momentum-space propagator is deceptively simple:
Δ_F(p) = i / (p² - m² + iε)
That iε prescription is everything. It shifts the poles of the integrand slightly off the real axis, telling the contour integral which way to go. The iε encodes causality — it ensures that particles move forward in time and antiparticles move backward. Remove the iε and the whole causal structure collapses.
In position space, the free propagator is a Bessel function — oscillating at short distances, decaying exponentially at distances beyond the Compton wavelength. This exponential decay for spacelike separations is the mathematical expression of the fact that massive particles cannot travel faster than light.
What the Propagator Really Means
A common misconception is that the propagator gives the probability that a particle at x is found at y. It does not. The propagator is a quantum amplitude, not a classical trajectory. In the path integral formulation, you sum over all possible paths from x to y, and the propagator is the result of that sum. The particle does not follow one path. It follows every path, weighted by exp(iS/ℏ).
This is why the propagator is non-zero even for spacelike separations. A virtual particle can "travel" faster than light because it is not following a classical trajectory. The measurable quantities — cross sections, decay rates — are always causal. Only the propagator itself is acausal at short distances. That is not a bug; it is a feature of quantum mechanics.
Propagators for Different Spins
Different fields have different propagators. A Dirac fermion propagator has a numerator (γ·p + m) and a denominator (p² - m² + iε). The γ·p + m encodes the spin structure — it projects the amplitude onto spinor space. A photon propagator in Feynman gauge is simply -i g^{μν}/p². The g^{μν} is the polarization sum.
Every spin has its own propagator formula. Gauge bosons require gauge-fixing. Ghosts have propagators too, though they are unphysical. The pattern is always the same: a numerator encoding spin/polarization structure and a denominator that is the Klein-Gordon operator inverted.
The Propagator as a Green's Function
Mathematically, the propagator is a Green's function for the field equation. For the Klein-Gordon operator (□ + m²), the propagator D_F satisfies:
(□_x + m²) D_F(x - y) = -i δ⁴(x - y)
This means the propagator is the response of the field to a point source. You can construct the solution to any field equation by convolving the source with the propagator. The propagator is the kernel of the inverse of the differential operator.
In interacting theories, the propagator gets corrected by loop diagrams. The full propagator has a richer structure: a pole at the physical mass, plus branch cuts from multi-particle production thresholds. The pole residue gives the field-strength renormalization constant Z. The full propagator tells you about particles and decay channels simultaneously.
Why Propagators Matter
You cannot do quantum field theory without propagators. They are the building blocks of every Feynman diagram. The propagator of the Higgs field is what gives particles mass. The photon propagator is what mediates electromagnetism. The gluon propagator is what confines quarks.
When the propagator has a pole on the real axis, you have a stable particle. When the pole moves into the complex plane, you have an unstable particle with a finite lifetime. The imaginary part of the pole position is the decay width Γ. The propagator literally encodes the spectrum of the theory.
Every particle is a pole in a propagator. That is not a metaphor. The spectrum of QFT is literally the analytic structure of correlation functions.
The propagator is a simple fraction with a complicated denominator. From that simplicity, the entire phenomenology of particle physics emerges.