Interaction by particle exchange
Ask a classical physicist how the Sun holds the Earth and the answer is a field: the Sun is a source, it fills space with a potential, and the Earth falls through that potential. Quantum mechanically this is the first-order term of Fermi's golden rule — a particle scattering in a fixed potential. Thomson stresses why this cannot be the last word. Where does the momentum come from, and where does it go? And if the source were suddenly jerked sideways, its potential would appear to change everywhere at once, faster than light — special relativity forbids it. Quantum field theory replaces the potential with a transaction: forces are the exchange of particles, and the momentum a particle receives is exactly the momentum carried away by the quantum that was passed to it. This article carries out that replacement in the cleanest possible model. Using time-ordered perturbation theory, the reaction runs through an intermediate state in which an exchanged quantum is briefly present. There are two ways to tell the story — emits and absorbs it, or the reverse — and neither is Lorentz invariant alone. The miracle, first made routine by Feynman, is that their sum collapses into one covariant object, : the propagator. That denominator dictates everything downstream — that a heavy mediator gives a short-range force (Yukawa), a massless one the Coulomb tail, and that the exchanged quantum is virtual, off its mass shell, never to be caught in a detector.
- Forces are not instantaneous potentials but the exchange of a virtual particle, which removes action-at-a-distance and respects special relativity.
- Second-order perturbation theory runs through an intermediate state with , allowed only briefly by the energy–time uncertainty relation.
- Three-momentum is conserved at every vertex but energy is not for the intermediate state, so the exchanged is off its mass shell — virtual.
- The two time-orderings must be summed; separately they are frame-dependent, together they give one Lorentz-invariant amplitude — the propagator.
- The static limit Fourier-transforms to the Yukawa potential , so the mediator mass fixes the range: the pion ( MeV) gives fm, a massless photon gives .
- Key idea: a force is the exchange of a virtual quantum whose energy is not conserved for the intermediate state — only three-momentum is conserved at each vertex — and summing the two time-orderings yields a Lorentz-invariant amplitude that depends only on the four-momentum transfer through the propagator .
A force is the exchange of a virtual quantum whose energy need not be conserved for the intermediate state — only three-momentum is conserved at each vertex — and summing the two relativistic time-orderings produces a Lorentz-invariant amplitude that depends on the energy–momentum transfer alone, through the propagator factor .
Where this lives today
The propagator is the single most-used factor in all of experimental particle physics: every cross section quoted at the Large Hadron Collider is, at leading order, a product of vertex couplings and propagators exactly of the form derived here, integrated over phase space. The 1983 discovery of the and bosons at CERN's UA1 and UA2 experiments confirmed massive exchange quanta directly — the weak force's feebleness at low energy is nothing but the suppression of a heavy propagator, and at LHC energies where the "weak" force becomes comparable to electromagnetism as the propagator stops suppressing it. Deep inelastic scattering, from SLAC in the 1960s to the HERA collider, is literally this spacelike exchange at work: an electron fires a highly virtual photon (large ) at a proton, and the virtuality sets the spatial resolution — how the quarks were first seen. And when a mediator is tuned onto the pole , as at a collider set to the mass, the propagator diverges and the "virtual" quantum becomes a real, resonantly produced particle — the basis of the precision -factory measurements at LEP. Off the pole it is a force; on the pole it is a particle; the same denominator governs both.
The physical picture
Two particles approach, never touch, and yet emerge deflected. Between them a quantum is born, crosses the gap, and is absorbed — carrying momentum from one to the other. That single passed quantum is the force. But quantum mechanics forbids us to say which particle emitted and which absorbed: both time-orderings happen, and both must be added. The first figure draws the two orderings and states the punchline they add up to — the invariant amplitude that no single ordering possesses.
Notice what the sum forgets. In each separate diagram the exchanged quantum sits on its mass shell, , but the intermediate energy does not match — energy is out of balance. When the two are added, the frame-dependent energy denominators recombine into the single invariant , and the quantum goes off the mass shell instead. The mass of that quantum is the one thing the force cannot hide: it sets how far the force reaches. The second figure makes this quantitative — the Yukawa potential and its range for a real mediator.
The core equations
Everything begins with the second-order term of time-ordered perturbation theory. The first-order term is direct scattering in a potential; when there is no such potential, the leading process is second order, running through an intermediate state in which the exchanged quantum exists.
where: — transition matrix element from initial state to final state ; — interaction Hamiltonian; — energies of the initial and intermediate states; the sum runs over all intermediate states . Reading it: the force appears at second order, as two applications of (emit, then absorb) bridged by an energy denominator . At each vertex three-momentum is exactly conserved, so the exchanged quantum in ordering 1 must carry . It sits on its mass shell, but energy is not balanced across the intermediate state.
where: — three-momentum of the exchanged quantum; — its on-shell energy; — its mass; signals that energy conservation is not imposed on the intermediate state — the essence of a virtual particle, permitted for a time . Stripping the relativistic normalisation factors from the vertices and summing the two orderings gives the central result of the article — a single amplitude in which every frame-dependent quantity has vanished.
where: — Lorentz-invariant amplitude; — scalar couplings at the two vertices (the invariant vertex factors); — four-momentum transfer squared. Reading it: the amplitude depends on the external particles only through the invariant and on the mediator only through its mass — this factor is the propagator. The invariant that survived is the squared four-momentum transfer, spacelike for a scattering exchange, and it is what makes equation (3) frame-independent.
where: — four-momentum transferred through the exchange; — its invariant square in the metric with . For elastic scattering (spacelike): the pole at , where the mediator would go real, is never reached, so is finite and the force is felt, not radiated. In the static limit the amplitude is the Fourier transform of a potential, which turns the propagator into the Yukawa form — the bridge between exchange and the everyday notion of a force law.
where: — static potential between the two particles; — range, the Compton wavelength of the mediator. The exponential cutoff means a massive mediator gives a short-range force; restores the infinite-range Coulomb law . Finally, Griffiths' Feynman calculus feeds this amplitude into the golden rule: the same that we computed, squared and multiplied by phase space, yields the two measurable numbers of particle physics — decay rates and cross sections.
where: — decay rate of a particle of mass ; — cross section; (four-momenta) — the squared centre-of-mass energy, equal to in the CM frame; — initial and final momenta in the CM frame; — a statistical factor for identical particles. Reading it: the "calculus" cleanly splits into dynamics (, from the diagram) and kinematics (phase space).
The goal is to show, explicitly and with signs tracked, that the two frame-dependent second-order diagrams for — one where emits the quantum and one where emits it — add up to the single covariant object . We set up the intermediate states, write each energy denominator, strip the relativistic normalisation to expose the invariant couplings, and watch the two on-shell contributions recombine into one off-shell propagator — the cancellation that reconciles exchange with special relativity.
Step 1. Take ordering 1: at the earlier vertex , at the later vertex . Three-momentum conservation forces and is on-shell with . The intermediate state contains , , and , so and the denominator is . Why: the intermediate state is a genuine three-particle state, and its energy simply need not equal the initial energy — that mismatch is the denominator.
Step 2. Take ordering 2: first, then . Now , so (same magnitude of momentum, same mass). The intermediate state contains , , , giving . Using overall energy conservation , this equals . Why: the second ordering is not a new interaction, only a different narrative of the same endpoints, so it reuses the same couplings and the same but flips the sign of the energy transfer.
Step 3. Restore the normalisation. With states normalised to particles per unit volume, each external and internal line contributes . The four external factors are pulled out to define via , while the two half-powers of combine to a leftover . The invariant vertex factors are the couplings, and . Why: separating the trivial energy-normalisation from the physics is exactly what converts a non-invariant matrix element into the invariant amplitude the golden rule wants.
Step 4. Assemble both orderings with :
Put the bracket over a common denominator: the numerator is , and the denominator is , so the bracket equals . Why: it is precisely the factor in this numerator that cancels the from the normalisation — the on-shell energy of the mediator disappears from the answer.
Step 5. Cancel and identify the invariant:
Every and every energy denominator — all frame-dependent — has fused into the single Lorentz scalar . Why: this is the payoff. The manifestly non-covariant time-ordered sum has produced a manifestly covariant amplitude, which is why "action by exchange" is compatible with relativity where "action at a distance" was not.
Go deeper · Derivation B · 1 minFrom the propagator to the Yukawa potential and the range of a force
The aim is to connect the covariant amplitude to the familiar language of a force law, and to extract the single most useful consequence of exchange: that the mediator's mass sets the force's range through . We specialise equation (3) to elastic static scattering, recognise the Born-approximation link between amplitude and potential, invert one standard Fourier transform, and read off both the Yukawa shape and its exponential cutoff — the derivation Yukawa ran in reverse in 1935 to predict the pion's mass from the size of the nucleus.
Step 1. Specialise to elastic, essentially static scattering: , so the energy transfer vanishes and with the momentum transfer. The amplitude becomes . Why: for a slow, elastic process the exchange is purely spacelike, and the amplitude depends only on the three-momentum kicked across — exactly the variable a static potential responds to.
Step 2. Invoke the first Born approximation, in which the scattering amplitude is proportional to the Fourier transform of the potential, . Matching to Step 1 requires . Why: Born approximation is the dictionary between the field-theory amplitude and the potential of ordinary quantum mechanics, letting us translate a propagator into a .
Step 3. Invert the transform using the standard pair , which gives . Why: this one Fourier pair is the whole content of the Yukawa result — a massive propagator in momentum space is a screened Coulomb potential in position space.
Step 4. Read the range. The exponential dies at , restoring units . Setting removes the exponential and leaves the bare Coulomb with infinite range — the massless-photon limit. Why: the mediator mass and only the mediator mass controls how far a force reaches, the template for every force in the Standard Model.
Go deeper · Derivation C · 1 minWhy the exchanged quantum is off its mass shell
The goal is to reconcile two descriptions that at first sound contradictory: in each time-ordered diagram the exchanged quantum is a real, on-shell particle whose energy fails to balance, whereas in the covariant amplitude energy and momentum balance perfectly but the quantum is off its mass shell. Both are correct, and seeing that they are the same physics is what dissolves most confusion about "virtual particles". We compare the two bookkeepings and locate exactly where the on-shell condition is traded for energy conservation.
Step 1. In each ordering, the mediator obeys — it is on its mass shell — but , so energy is not conserved across the intermediate state. The energy–time uncertainty relation licenses the imbalance for a duration ; the more off-balance, the shorter the excursion. Why: time-ordered perturbation theory keeps every particle physical but pays for it by relaxing energy conservation transiently.
Step 2. In the covariant amplitude the mediator carries the four-momentum , whose time component is fixed by overall energy conservation at each vertex. But then is, in general, not equal to — the quantum is off its mass shell. Why: the covariant form conserves energy and momentum everywhere, and the price is that the exchanged line no longer satisfies ; it is virtual.
Step 3. These are one physics seen two ways: summing the on-shell, energy-non-conserving orderings is the off-shell, energy-conserving propagator. The propagator's pole at is the boundary where the virtual quantum would become a real, detectable particle — reachable only when there is enough energy to radiate it (a resonance), never in a spacelike scattering exchange where . Why: this is why you can never catch the exchanged photon between two electrons — for a static force is nowhere near the pole, and the quantum has no independent existence.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Massless mediator | , | photon exchange gives the infinite-range Coulomb law |
| Heavy mediator | finite | short-range force; pion fm, boson fm |
| Static / elastic limit | spacelike exchange, Yukawa potential, force felt not radiated | |
| On the pole | diverges | mediator goes real — an -channel resonance, not a static force |
| Single time-ordering | frame-dependent, non-invariant | neither diagram alone is physical; only the sum is Lorentz invariant |
Worked examples
1 · The range of a force from its mediator's mass (fully worked)
Yukawa's logic in reverse: given a mediator mass, predict the range of the force it carries. Do it for the pion ( MeV), the carrier of the residual nuclear force, and for the boson ( GeV), the carrier of the charged-current weak force. Use MeV·fm.
Step 1. The range is the mediator's Compton wavelength, from equation (5): . Writing it with in MeV·fm makes the arithmetic a single division.
Step 2. Pion: . This is the measured reach of the nucleon–nucleon force — the number Yukawa turned around in 1935 to predict a mediator of mass – MeV, a decade before the pion was found.
Step 3. boson: . The enormous mediator mass squeezes the weak force into a range roughly a thousandth of a proton radius, which is why it looks weak at low energy: the propagator is tiny, suppressing amplitudes by and making decay slow. A pion gives a 1.4 fm force; the boson gives a fm force — the mediator mass alone spans this factor of ~570.
2 · Photon exchange and the Rutherford angular law
Show that massless-photon exchange between two charges reproduces the famous Rutherford scattering, purely from the shape of the propagator.
Step 1. For photon exchange set and (electric charges at the vertices), so equation (3) becomes . In elastic scattering the energy transfer vanishes, so and .
Step 2. The momentum transfer for elastic scattering through angle with incoming momentum is . Hence .
Step 3. Feeding into the cross-section half of equation (6), the phase-space factors are smooth in , so the whole angular dependence comes from the propagator squared: . The Rutherford law is the of a squared massless propagator — the same Coulomb tail, seen in momentum space. The steep forward peak (small means small , hence small , hence large ) is the signature of long-range, massless-mediated scattering; a massive mediator would tame the divergence by adding to the denominator.
Physics of the portrait
Particle exchange is a chain of insights, but its modern face — the propagator that folds the time-orderings into one covariant line — belongs to Richard Feynman.
Origins · 1 minRichard Feynman and how this was discovered
When Feynman attacked quantum electrodynamics in the late 1940s, the exchange calculation this article performs by hand was a bookkeeping nightmare: every process demanded a sum over time-orderings, each term non-invariant, the Lorentz symmetry recovered only at the end by delicate cancellation. Feynman's move was to stop tracking time-orderings at all. In his spacetime approach, a single internal line stands for the whole sum, carrying one covariant object — the propagator — with both orderings already added in. An antiparticle going forward in time and a particle going backward became the same line, a viewpoint he credited in part to Stückelberg. The diagrams that resulted — vertices for couplings, lines for propagators — reduced years of labour to a picture a student could draw. Freeman Dyson proved in 1949 that Feynman's rules, Schwinger's operator formalism, and Tomonaga's independent Japanese work were one theory, and the three shared the 1965 Nobel Prize. Feynman's deeper gift was conceptual economy: the sentence "a force is a propagator times two couplings" is his, and every cross section computed at a modern collider is still, at bottom, a product of the factors he taught physics to draw.
Going further
Texts. Thomson, Modern Particle Physics, Ch. 5 §5.1 (Eqs. 5.1–5.20), the time-ordered derivation followed here · Griffiths, Introduction to Elementary Particles, 2nd ed., Ch. 6 §6.1–6.2, the Feynman calculus and the ABC toy model · Halzen & Martin, Quarks and Leptons, Ch. 4, the propagator and the Yukawa potential · Peskin & Schroeder, An Introduction to QFT, Ch. 4, the covariant derivation of the same propagator from Wick's theorem · Schwartz, QFT and the Standard Model, Ch. 3–4. The key algebraic checkpoints in this article are: (1) the two energy denominators and sum, after the factor, to ; (2) with ; (3) the Fourier pair ; (4) fm and fm; (5) for .
Prerequisites. Fermi's Golden Rule · Non-relativistic QM Review · Special Relativity Kinematics · Relativistic Wavefunction Normalisation. Leads to. Feynman Diagrams and Virtual Particles · The Yukawa Potential · Introduction to QED · The Photon Propagator.
Ask the tutor: ask me to run Yukawa's 1935 argument in reverse — predict a mediator's mass from a measured force range — or to show how the same propagator gives both the Coulomb law and the Rutherford scattering.
Is the exchanged particle real or not?
It is virtual — not real. In the covariant amplitude the exchanged quantum carries four-momentum whose square is generally not ; for a scattering exchange , far from the value a real particle would need. Because it is off its mass shell it cannot propagate freely to a detector: it exists only inside the amplitude, as the factor . "A particle is exchanged" is physicists' shorthand for "this propagator appears". The one situation where the quantum becomes real is when the kinematics can be tuned onto the pole — an -channel resonance — but that is a different process from the static, spacelike exchange that produces a force.
Does particle exchange violate energy conservation?
Not overall. Energy and momentum are exactly conserved between the initial state and the final state . What is not conserved is the energy of the intermediate time-ordered state, where . That transient imbalance is permitted by the energy–time uncertainty relation for a duration — the more the books are out of balance, the more briefly the state can exist. In the covariant formulation this shows up differently: there energy is conserved at every vertex, and the "imbalance" is repackaged as the exchanged line being off its mass shell. Two bookkeepings, same physics, and total energy conservation holds in both.
Why must both time-orderings be added, not just one?
Because neither one alone is Lorentz invariant. Which particle emits and which absorbs is not a frame-independent statement — two observers in relative motion can disagree on the order of the two vertices, so a single ordering gives a frame-dependent, and therefore unphysical, amplitude. Only the sum over orderings is the same in every frame. Concretely, the two energy denominators and are each frame-dependent, but when added they combine into , a Lorentz scalar. Feynman's propagator is precisely the device that performs this sum automatically, which is why a single Feynman diagram already contains both time-orderings.
Why does a heavier mediator give a shorter-range force?
Because the range is the mediator's Compton wavelength, , which shrinks as the mass grows. In position space the propagator becomes the Yukawa potential , whose exponential factor cuts the force off beyond . Physically, a virtual quantum of mass borrows energy and, by the energy–time uncertainty relation, can survive only , travelling at most before it must be reabsorbed. A massless photon can borrow arbitrarily little energy, live arbitrarily long, and travel arbitrarily far — hence the infinite-range Coulomb law.
What is q² and why is it Lorentz invariant?
is the four-momentum transferred from particle to the exchange, and is its invariant square. It is Lorentz invariant because it is the contraction of a four-vector with itself — every observer computes the same number, even though they disagree on the individual energies and momenta. For a scattering (t-channel) exchange is negative (spacelike); physicists often quote the positive quantity , which in deep inelastic scattering plays the role of a resolution scale: larger probes shorter distances. The whole point of the exchange derivation is that the amplitude depends on the external kinematics only through this one invariant.
How does this connect to Feynman diagrams?
Directly — it is the first Feynman diagram. The two vertices where the quantum is emitted and absorbed become the two vertices of the diagram, each contributing a coupling factor (, ); the exchanged quantum becomes the internal line, contributing the propagator ; and the single diagram already stands for the sum over both time-orderings we computed by hand. Griffiths' Feynman calculus then reads the amplitude straight off the picture — multiply the vertex factors and the propagator — and feeds into the golden rule with phase space to get a rate or cross section. This article is the derivation that justifies those rules; the diagrams are the shorthand that lets you skip it.