The Propagator

A propagator is the amplitude for a particle to go from point x to point y. That's the one-line definition. Everything else — the math, the Wick rotation, the pole structure — flows from that simple physical statement.

The Two-Point Function

Mathematically, the propagator is the two-point correlation function:

Δ(x - y) = ⟨0| T{φ(x)φ(y)} |0⟩

where T is the time-ordering operator. If x⁰ > y⁰, the field at x comes after the field at y, so you create a particle at y and destroy it at x. If y⁰ > x⁰, the order reverses. The time-ordering just makes sure the math respects causality.

For a free scalar field of mass m, the propagator in momentum space is:

Δ(p) = i / (p² - m² + iε)

That +iε is not a typo. It's the mathematical device that tells you how to navigate the poles at p² = m². Without it, the integral is undefined. With it, you get the Feynman propagator — the one where positive-energy particles propagate forward in time and negative-energy ones backward.

What the Propagator Means

The propagator is not a probability. It's an amplitude. You can square it to get probabilities, but the propagator itself can be complex, and it can be negative, and it can be infinite. It's a Green's function — a response function. It tells you how the field at one point is correlated with the field at another.

Think of it this way: you have a quantum field. You poke it at point y, creating a particle. What's the amplitude that the field will respond at point x? The propagator answers that question.

In position space, the propagator for a massive scalar field looks like a Bessel function — it oscillates and decays. The heavier the particle, the faster the decay. A heavy particle is unlikely to propagate far. A massless particle (the photon, the gluon) has a propagator that decays slowly — 1/r in position space. That's why the electromagnetic force has infinite range but the weak force is short-ranged.

The Propagator in QED

In QED, the electron propagator is:

S_F(p) = i(γ·p + m) / (p² - m² + iε)

The numerator (γ·p + m) projects onto positive and negative energy states. The denominator is the same pole structure. The photon propagator in Feynman gauge is:

D_F^μν(p) = -ig^μν / (p² + iε)

No mass term — photons are massless, so there's no m² in the denominator. The gauge choice (Feynman gauge, in this case) determines the tensor structure. In a general R_ξ gauge, the propagator is messier, but physical results don't depend on ξ. That's gauge invariance doing its job.

Virtual Particles and Off-Shell Propagation

Here's where things get interesting. The particles on internal lines of Feynman diagrams are off-shell. They don't satisfy p² = m². The propagator is evaluated at whatever momentum the integral assigns, and that momentum is generally not the mass-shell value.

This is the source of the term "virtual particle." The particle exists in the mathematics of the propagator, but not in the classical sense. It's not a thing that could be detected. It's a term in a perturbative expansion. The propagator carries quantum information from one vertex to another, but that information isn't carried by a real particle.

The uncertainty principle is often invoked here: ΔE·Δt ≥ ℏ/2, so a particle can "borrow" energy to be off-shell for a short time. This heuristic gives the right intuition but isn't the actual mechanism. The actual mechanism is that the propagator is a Green's function, and Green's functions don't care about on-shell conditions — that's the job of the external states, which are always on-shell.

The Propagator as a Sum Over Histories

You can think of the propagator as a sum over all possible paths from x to y. In the path integral formulation, Δ(x - y) = ∫ Dφ exp(iS[φ]) φ(x)φ(y). Every field configuration contributes, weighted by its action. The classical path (where the action is stationary) gives the dominant contribution, but quantum fluctuations add corrections.

In practice, you never evaluate this path integral exactly (except for free theories). You expand in the coupling constant, and each term in the expansion corresponds to a Feynman diagram. The propagator is the building block — every internal line is a propagator, and the whole diagram is just propagators multiplied together and integrated over internal momenta.

The propagator is the atom of perturbation theory. Everything else is a molecule made from them.