Feynman diagrams & virtual particles
Two particles approach, interact, and recede — and the whole interaction can be drawn as a single cartoon: two lines coming in, two lines going out, and an internal line stitching the vertices together. That internal line is the virtual particle, and the number attached to it is the propagator. The cartoon is a Feynman diagram, and its genius is bookkeeping. In old-fashioned perturbation theory a single exchange splits into distinct stories told in time — first emits the mediator and absorbs it, or first emits and absorbs — and in each, energy fails to balance at the intermediate step. Thomson shows that summing these time orderings, using , fuses the two terms into one manifestly Lorentz-invariant expression, , depending only on the four-vector scalar . Three ideas organize everything that follows. First, the Feynman diagram is that sum: draw it once, apply the Feynman rules, and a fuss over time orderings becomes a single covariant amplitude in which energy and momentum are conserved at every vertex. Second, the exchanged quantum is off mass-shell — its is fixed by the external momenta and generally does not equal , so "virtual particle" is just the name for the propagator, not a claim to independent existence. Third, that propagator controls what you measure: its pole is a resonance, its static Fourier transform is the Yukawa potential, and the mass in its denominator sets the range of the force. Griffiths frames the whole enterprise as the Feynman calculus — amplitude times phase space, via Fermi's golden rule, giving decay rates , lifetimes , and cross sections.
- Summing the two time-ordered diagrams for collapses into one Lorentz-invariant amplitude .
- A Feynman diagram represents that entire sum at once; unlike any single time ordering, it conserves both energy and momentum at every vertex.
- The exchanged virtual particle is off mass-shell: , it is not directly detectable, and it is a mathematical object, not a fleeting real particle.
- -channel exchange has (spacelike, a forward-peaked ); -channel annihilation has (timelike, and can hit the pole — a resonance).
- The static limit of the propagator is the Yukawa potential , so the mediator mass fixes the range : 1.4 fm for the pion, fm for the W.
- Key idea: summing over the unobservable orderings in time of an exchange process produces a single Lorentz-invariant amplitude with a propagator ; the "virtual particle" is just the name we give to this sum, and it need not obey .
Where this lives today
Feynman diagrams are the daily working tool of the entire field. Every Standard Model prediction quoted with a theoretical uncertainty is a truncated sum of diagrams: the electron's anomalous magnetic moment is computed through five loops — tens of thousands of diagrams — and agrees with experiment to better than one part in , the most precisely verified prediction in science. Automated tools such as MadGraph generate the millions of diagrams needed to model LHC collisions, where the -channel resonance shape of a virtual propagator is exactly what ATLAS and CMS scan across to weigh the Z, discover the Higgs at GeV, and hunt for new mediators. The off-shell propagator is visible in data too: the running of is the imprint of virtual loops correcting the photon propagator. Whenever a physicist says "this goes through a virtual photon" or "the W propagator suppresses the rate", they are reading equation (1) off a picture Feynman first drew in 1948.
The physical picture
Fix the external particles and ask when the exchange happened. In the first story emits the mediator and turns into ; the quantum flies across and is absorbed by , which becomes . In the second the sequence is reversed. Momentum is conserved at each vertex in both, but energy is not: the intermediate state, with a real on-shell of energy , has more (or less) energy than the initial state, surviving only for the interval the energy–time uncertainty relation allows. Neither story is Lorentz invariant alone — observers disagree on which came first — but their sum is invariant, and that sum is what the Feynman diagram draws.
Once the sum is done, the propagator governs the physics you measure. Its behaviour splits by the sign of : in -channel exchange the four-momentum is spacelike, , the denominator never vanishes, and the amplitude grows smoothly toward small angles (the forward peak of Rutherford and Bhabha scattering); in -channel annihilation it is timelike, , and when is tuned to the denominator hits zero and a real resonance forms. In the static limit the same propagator Fourier-transforms into the Yukawa potential, so the mass in its denominator becomes the range of the force — which the second figure makes quantitative.
The core equations
The central result is the amplitude for single-quantum exchange — what the whole time-ordering sum evaluates to. Every Feynman-rule calculation elaborates it: replace by the vertex factors and the scalar denominator by the correct tensor propagator, and this is QED, QCD, and the weak interaction.
where: — Lorentz-invariant matrix element for ; — couplings at the two vertices; — mass of the exchanged quantum; — four-momentum transferred. Reading: the numerator is dynamics (how strongly the particles couple), the denominator is the propagator (how the virtual quantum carries momentum between them). The transferred four-momentum is fixed entirely by the external particles, and its square is a Lorentz scalar — the same in every frame, and exactly the Mandelstam . Its sign decides whether the exchange is spacelike or timelike.
where: — four-momenta of the same particle before and after the vertex. Reading: because is built from measured external momenta, is not free, and there is no reason for it to equal — the statement that the exchanged particle is off mass-shell. The propagator factor is the heart of the Feynman rules. For a spin-0 mediator it is the reciprocal below; its pole at is where the internal line would become a real, on-shell particle.
where: — metric tensor carrying the mediator's spin structure. Reading: a massless photon gives and a potential; a heavy W gives a denominator dominated by at low , which is why the weak interaction looks like a feeble contact force. In the static limit (, so ) the exchange amplitude is the Fourier transform of a potential. Transforming to position space gives the Yukawa potential, whose exponential fall-off defines a range set by the mediator mass.
where: — dimensionless coupling; — range. Reading: recovers the infinite-range Coulomb potential; a heavy mediator screens the force beyond . Finally, the amplitude is not itself observable — it must be squared and folded with phase space. Griffiths' Feynman calculus factorises every rate into (dynamics, from the diagram) and the density of final states (kinematics), joined by Fermi's golden rule.
where: — transition rate; — density of final states; — mean lifetime; — luminosity; — cross section. Reading: the diagram supplies , phase space supplies , and their product is what the detector registers.
The goal is to prove the central formula from second-order time-ordered perturbation theory — to show explicitly that although each individual time ordering violates energy conservation and depends on the observer's frame, the sum of the two orderings for a single exchange is manifestly Lorentz invariant and depends only on the four-vector scalar . This is what turns the loose picture of "a particle tossed between two others" into the precise propagator on every internal line, and it is the origin of the word "virtual".
Step 1. In the first ordering, emits the quantum and becomes ; three-momentum is conserved, , and is treated as a real particle with . The intermediate state has energy , which differs from the initial , so second-order perturbation theory contributes an energy denominator . Why: momentum is conserved at each vertex but energy is not at the intermediate step — the exchanged particle is on-shell but the state is virtual in energy.
Step 2. In the second ordering emits the (anti)quantum and becomes while waits; the intermediate state gives . Using overall energy conservation , write , so this denominator is . Why: the two orderings are different intermediate states, and the second must use the same variable so the two can be added.
Step 3. Add the two amplitudes, each carrying the couplings and the relativistic normalisation factor for the intermediate boson. With , the sum is . Why: the from the normalisation cancels the generated by combining the fractions, removing all reference to the on-shell .
Step 4. Substitute and recognise , giving . Why: the frame-dependent energies and momenta have reassembled into the single Lorentz scalar — the two time orderings were the two halves of one covariant propagator, and no observer can any longer say which emission came first. *Verified: the identity is exact, and follows from with .*
Go deeper · Derivation B · 1 minFrom the propagator to the Yukawa potential and the range of a force
The aim is to show that the static limit of the exchange amplitude is a potential in ordinary space, and that the mass in the propagator denominator becomes the exponential range of that potential — the calculation with which Yukawa in 1935 turned the observed 1.4 fm reach of the nuclear force into a prediction for the pion mass. It closes the loop between the abstract propagator and a concrete measurable number, and explains why electromagnetism is long-ranged and the weak force is not.
Step 1. Take the static limit in which the source barely recoils, so the exchanged quantum carries no energy, and , and the amplitude (1) becomes . Why: a static source can transfer momentum but not energy — the regime in which "force" and "potential" are meaningful.
Step 2. Read the amplitude in momentum space as the Fourier transform of a position-space potential (Born approximation): . Why: the scattering amplitude off a potential is precisely its Fourier transform, so the propagator read as inverts to .
Step 3. Do the integral. The standard result gives . Why: the propagator pole becomes the exponential — the mass turns directly into a decay length.
Step 4. Read off the range. The potential falls by over , so restoring units ; setting recovers the Coulomb potential with infinite range. Why: the range of any force is fixed by its mediator's mass — a massless photon gives infinite-range electromagnetism, a heavy mediator a short one. *Verified: fm for the pion and fm for the W.*
Go deeper · Derivation C · 2 minWhy the virtual particle is off mass-shell, and what a single vertex conserves
The purpose here is to make precise the most misunderstood statement in the subject — that the virtual particle "does not obey " — by contrasting the two bookkeeping schemes: time-ordered perturbation theory, where the intermediate particle is on-shell but the state violates energy conservation, and the Feynman diagram, where energy and momentum are conserved at every vertex but the internal line is off-shell.
Step 1. In the covariant Feynman diagram, impose four-momentum conservation at each vertex: at the first vertex , so the internal line carries exactly , with and both fixed by the external legs. Why: the Feynman rules conserve the full four-momentum at every vertex, fixing completely.
Step 2. Compute the invariant mass of the internal line, . For a real particle this would equal , but here is handed over by the external kinematics and generically — the internal line is off mass-shell. Why: the virtual line fails not by quantum fuzziness but because its four-momentum is pinned by conservation to a value the mass-shell condition forbids.
Step 3. Check the sign. For -channel exchange is spacelike — no real massive particle can have , so the internal line is unambiguously not a real particle; for -channel annihilation is timelike and can equal , the resonance condition where the propagator diverges. Why: the spacelike case shows the virtual particle can be "more off-shell" than any real particle; the timelike on-shell limit is a genuine physical resonance.
Step 4. Contrast with time-ordered perturbation theory, which instead keeps the exchanged particle on-shell and pays by violating energy conservation at the vertex for a time . Both schemes give the same invariant amplitude; the "virtual particle" is the propagator common to both, not a literal particle in either. Why: one picture trades manifest energy conservation for an on-shell intermediate, the other the reverse — and the physics is the frame-independent . *Verified: for e⁺e⁻ → µ⁺µ⁻ at √s = 10 GeV the s-channel virtual photon has q² = s = 100 GeV² ≠ 0 = m_γ², off-shell by 100 GeV²; a t-channel photon in Møller scattering has q² = t < 0, spacelike.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Real (on-shell) particle | propagator pole; a genuine, detectable particle — an -channel resonance | |
| -channel exchange | (spacelike) | momentum transfer; virtual line far off-shell, no pole, forward peak |
| -channel annihilation | (timelike) | can reach the pole → Breit–Wigner resonance (Z, ) |
| Massless mediator () | , | infinite-range Coulomb force; the photon |
| Heavy mediator, low () | contact interaction, ; short range | |
| High | propagator | weak amplitude becomes comparable to EM — electroweak unification |
Worked examples
1 · The range of a force from its mediator mass (fully worked)
Electromagnetism reaches across the galaxy; the nuclear force dies within a nucleus; the weak force barely reaches across a proton. Using with MeV·fm, find the range set by a massless photon, a 139.6 MeV pion, and an 80.4 GeV W boson.
Step 1. Photon. With the propagator is and ; the static limit is the Coulomb potential , which never cuts off. Electromagnetism is infinite-range.
Step 2. Pion. The lightest hadron, Yukawa's mediator of the nuclear force: — the observed reach of the nucleon–nucleon attraction, from which Yukawa predicted a MeV quantum a decade before the pion was found.
Step 3. W boson. The weak mediator is enormously heavy: , about a thousandth of a proton radius.
Step 4. The three ranges span nearly six orders of magnitude, and the only input that changed was the mediator mass in the denominator. A force is long-ranged if and only if its mediator is (nearly) massless; the weak force is short-ranged because the W and Z are heavy, not because its coupling is small — as the next example shows.
2 · Why the weak force is "weak" (fully worked)
The weak coupling is actually larger than the electromagnetic charge — so why does beta decay look so much feebler? Compare the weak and EM amplitudes at a nuclear momentum transfer , then at . Take GeV.
Step 1. Write the two amplitudes. Electromagnetic (massless photon): . Weak (heavy W): when .
Step 2. Form the ratio at low : . With and , the ratio is .
Step 3. So at nuclear energies the weak interaction is roughly a million times weaker than electromagnetism — but this is entirely the factor from the heavy propagator, not the coupling. The low-energy contact strength is the Fermi constant, , giving , the measured value.
Step 4. Now go to : the ratio becomes — the weak amplitude is now comparable to the electromagnetic one. The weak force is weak only because we usually probe it at ; at momentum transfers of order it stands shoulder to shoulder with electromagnetism — the content of electroweak unification.
3 · How off-shell is a virtual photon?
In at GeV the annihilation proceeds through a single -channel virtual photon. By how much is it off mass-shell, and how does that compare to a -channel photon in Møller scattering?
Step 1. In the -channel the virtual photon carries the total four-momentum, , so . A real photon has , so this one is off-shell by the full — timelike, which for a photon is impossible on-shell.
Step 2. In -channel Møller scattering the exchanged photon carries , which is spacelike — even further from any physical photon, since no real particle can have .
Step 3. Interpret. The same photon field appears as a wildly off-shell internal line — timelike in annihilation, spacelike in exchange — and only its coupling to on-shell external legs is measurable; the propagator merely records how momentum flows through.
Physics of the portrait
The diagram, the propagator, and the whole calculational machine of modern particle physics trace to one person, who drew his first such picture at a fractious 1948 conference.
Origins · 1 minRichard Feynman and how this was discovered
Richard Phillips Feynman was born in Queens, New York, in 1918, took his PhD at Princeton under John Wheeler, and spent the war at Los Alamos before moving to Cornell and then, for the rest of his life, to Caltech. His deepest work was the reformulation of quantum electrodynamics. Where Julian Schwinger and Sin-Itiro Tomonaga rebuilt QED through formidable operator algebra, Feynman found a pictorial, space-time approach: each process is a sum of diagrams, each diagram translates by simple rules into an amplitude, and the internal lines carry propagators — the virtual particles. He first showed the diagrams at the 1948 Pocono conference to a sceptical audience and published the space-time approach in Physical Review in 1949; that same year Freeman Dyson proved the Feynman, Schwinger and Tomonaga formulations equivalent and showed how to use the diagrams systematically. The three shared the 1965 Nobel Prize. Feynman's reach went far beyond QED — the path integral, superfluid helium, the parton model, and, with Murray Gell-Mann, the V−A structure of the weak interaction — and he was the century's most influential physics teacher through the Feynman Lectures. The diagrams that bear his name are now the universal language of particle physics: every Standard Model prediction, from the electron's magnetic moment to the Higgs production rate, is in the end a sum of Feynman diagrams.
Going further
Texts. Thomson, Modern Particle Physics, §5.1–§5.2 (interaction by particle exchange; Feynman diagrams and virtual particles) and §5.2.1 (scattering in a potential) · Griffiths, Introduction to Elementary Particles, 2nd ed., Ch. 6 (the Feynman calculus), §6.1–§6.2 · Halzen & Martin, Quarks and Leptons, Ch. 4 · Peskin & Schroeder, An Introduction to Quantum Field Theory, §4.6–§4.7 (Feynman rules and diagrams) · Schwartz, Quantum Field Theory and the Standard Model, Ch. 7.
Provenance. The collapse of the two time orderings into follows Thomson §5.1 and is re-derived above; the Yukawa potential and range follow Thomson §5.2.1 and Yukawa, Proc. Phys.-Math. Soc. Japan 17, 48 (1935). The space-time diagram method is Feynman, Phys. Rev. 76, 769 (1949), systematised by Dyson, Phys. Rev. 75, 486 (1949). Numeric anchors — the pion range fm, the W range fm, the Fermi constant from , and the weak/EM amplitude ratios at versus at — were each checked directly.
Prerequisites. Interaction by particle exchange · Four-vector notation · Mandelstam variables · Fermi's golden rule. Leads to. Feynman rules for QED · The photon propagator · The Yukawa potential · Interaction cross sections.
Ask the tutor: Name any exchange process — a force, a decay, or a collision — and I will draw its Feynman diagram, write the propagator, say whether the virtual particle is timelike or spacelike, and read off the range or resonance it implies.
Is a virtual particle "real"? Could I ever detect one?
No — not without changing the process. A virtual particle is the internal line of a Feynman diagram, and that line stands for the propagator , which is itself the sum over all the time orderings of the exchange. It is off mass-shell () and, for -channel exchange, even spacelike, which no real particle can be. If you tried to place a detector on the internal line to "catch" the mediator, you would be defining a new final state — the mediator would now be an external, on-shell leg — and you would be computing a completely different diagram, with its own new virtual lines. The only object every observer agrees on, and the only thing a detector ever registers, is the amplitude built from the on-shell external particles.
How can energy be "borrowed" if energy is always conserved?
Both statements are true in different bookkeeping schemes, and the confusion comes from mixing them. In time-ordered perturbation theory the exchanged particle is kept on-shell and energy conservation is suspended at the intermediate step for a time — the "borrowing" picture. In the covariant Feynman scheme energy and momentum are both conserved at every vertex, and the price is that the internal line is off mass-shell. These are two routes to the same invariant amplitude; nothing is really borrowed, and the Feynman version — strict conservation everywhere — is the one used in practice.
What exactly does "off mass-shell" mean?
"On the mass shell" means a particle's four-momentum satisfies the Einstein relation — the surface a free, real particle of mass must live on. A virtual particle is off that shell: its four-momentum is fixed by the external legs through conservation at the vertex, and there is no reason that pinned value should equal . In -channel exchange is negative (spacelike), further off than any real particle could reach; in -channel annihilation is positive and, if it equals , the line briefly is on-shell — a physical resonance where the cross section peaks.
Why is called a "propagator"?
Because it is the amplitude for the mediator to propagate from where it is emitted to where it is absorbed. Formally it is the Fourier transform of the Green's function of the mediator's wave equation — for a scalar of mass , the Klein–Gordon operator inverts to exactly in momentum space. It encodes how strongly the transfer of four-momentum is suppressed: near the pole propagation is resonantly easy, for large spacelike strongly suppressed. In position space the same object becomes the Yukawa potential — "propagator" and "the potential through which particles interact" are two views of one quantity.
What is the physical difference between -channel and -channel exchange?
It is the difference between annihilation and deflection. In the -channel the two incoming particles fuse into a single virtual quantum carrying the whole four-momentum, (timelike); if matches the mediator mass the propagator blows up and forms a resonance — how the Z and the were found. In the -channel a quantum is tossed between the two particles as they pass, transferring momentum without annihilating them, so (spacelike); the propagator never reaches its pole and gives the smooth forward peak of Rutherford scattering. The sign of tells you at once which physics to expect.
If the coupling is large, why does the Standard Model call the weak force "weak"?
Because "weak" refers to the low-energy interaction rate, dominated by the heavy W propagator, not by the coupling. As Worked Example 2 shows, is actually larger than the electromagnetic charge , yet at nuclear momentum transfers the weak amplitude is suppressed by from . Collapsing the propagator to a constant gives the Fermi coupling — the small effective constant we historically measured. Raise the momentum transfer to and the suppression disappears: the two amplitudes become comparable, the whole point of electroweak unification.