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 aa emits the mediator and bb absorbs it, or first bb emits and aa absorbs — and in each, energy fails to balance at the intermediate step. Thomson shows that summing these time orderings, using EX2=pX2+mX2=(pa−pc)2+mX2E_X^2=\mathbf{p}_X^2+m_X^2=(\mathbf{p}_a-\mathbf{p}_c)^2+m_X^2, fuses the two terms into one manifestly Lorentz-invariant expression, Mfi=gagb/(q2−mX2)\mathcal{M}_{fi}=g_a g_b/(q^2-m_X^2), depending only on the four-vector scalar q2=(pa−pc)2q^2=(p_a-p_c)^2. 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 q2q^2 is fixed by the external momenta and generally does not equal mX2m_X^2, 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 Γ\Gamma, lifetimes τ=1/Γ\tau=1/\Gamma, and cross sections.

Key takeaways
  • Summing the two time-ordered diagrams for a+b→c+da+b\to c+d collapses into one Lorentz-invariant amplitude Mfi=gagbq2−mX2\mathcal{M}_{fi}=\dfrac{g_a g_b}{q^2-m_X^2}.
  • 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: q2≠mX2q^2\neq m_X^2, it is not directly detectable, and it is a mathematical object, not a fleeting real particle.
  • tt-channel exchange has q2=t<0q^2=t<0 (spacelike, a forward-peaked 1/t1/t); ss-channel annihilation has q2=s>0q^2=s>0 (timelike, and can hit the pole q2=mX2q^2=m_X^2 — a resonance).
  • The static limit of the propagator is the Yukawa potential V(r)=−g24πe−mXrrV(r)=-\dfrac{g^2}{4\pi}\dfrac{e^{-m_X r}}{r}, so the mediator mass fixes the range R=ℏ/(mXc)R=\hbar/(m_X c): 1.4 fm for the pion, 2.5×10−32.5\times10^{-3} 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 1/(q2−mX2)1/(q^2-m_X^2); the "virtual particle" is just the name we give to this sum, and it need not obey E2=p2+m2E^2=p^2+m^2.

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 aea_e is computed through five loops — tens of thousands of diagrams — and agrees with experiment to better than one part in 101210^{12}, the most precisely verified prediction in science. Automated tools such as MadGraph generate the millions of diagrams needed to model LHC collisions, where the ss-channel resonance shape of a virtual propagator is exactly what ATLAS and CMS scan across to weigh the Z, discover the Higgs at 125125 GeV, and hunt for new mediators. The off-shell propagator is visible in data too: the running of α(q2)\alpha(q^2) 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 aa emits the mediator XX and turns into cc; the quantum flies across and is absorbed by bb, which becomes dd. 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 XX of energy EX=pX2+mX2E_X=\sqrt{\mathbf{p}_X^2+m_X^2}, 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.

Figure
Two time orderings of the exchange a b to c d: in the left panel a emits X first, in the middle panel b emits it first, and neither conserves energy at the intermediate step. Summed, they merge into one Feynman diagram on the right whose amplitude is the Lorentz-invariant ℳ = g_a g_b / (q² − m_X²) with q = p_a − p_c.
Two time orderings sum to one Feynman diagram — energy balances only in the sum ordering 1: a emits first a c b d X + ordering 2: b emits first a c b d X = Feynman diagram a c b d q ℳ = g_a g_b / (q² − m_X²), q = p_a − p_c

Once the sum is done, the propagator 1/(q2−mX2)1/(q^2-m_X^2) governs the physics you measure. Its behaviour splits by the sign of q2q^2: in tt-channel exchange the four-momentum is spacelike, q2<0q^2<0, the denominator never vanishes, and the amplitude grows smoothly toward small angles (the forward 1/t1/t peak of Rutherford and Bhabha scattering); in ss-channel annihilation it is timelike, q2=s>0q^2=s>0, and when s\sqrt{s} is tuned to mXm_X 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.

Figure
The mediator mass sets the range of a force through R = ħc divided by mc². A massless photon gives an infinite-range 1/r Coulomb force, the 139.6 MeV pion gives the 1.4 fm range of the nuclear force, and the 80.4 GeV W boson gives the 2.5×10⁻³ fm range of the weak force — a span of nearly six orders of magnitude fixed entirely by the propagator denominator.
The punchline: heavier mediator → shorter range, R = ħc/(mc²) 10⁻³ 10⁻² 10⁻¹ 1 10 10² range R (fm) — log scale photon m = 0 → R = ∞ (1/r Coulomb, infinite range) pion m = 139.6 MeV → R = 1.41 fm (nuclear force) W boson m = 80.4 GeV → R = 2.5×10⁻³ fm (weak force) R = ħc/(mc²) = 197.3 MeV·fm / (mc²); the pole of 1/(q² − m²) sits at q² = m².

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 gg by the vertex factors and the scalar denominator by the correct tensor propagator, and this is QED, QCD, and the weak interaction.

Mfi=ga gbq2−mX2(1)\mathcal{M}_{fi}=\frac{g_a\,g_b}{q^2-m_X^2} \qquad (1)

where: Mfi\mathcal{M}_{fi} — Lorentz-invariant matrix element for a+b→c+da+b\to c+d; ga,gbg_a,g_b — couplings at the two vertices; mXm_X — mass of the exchanged quantum; qq — 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 tt. Its sign decides whether the exchange is spacelike or timelike.

q=pa−pc,q2=(Ea−Ec)2−∣pa−pc∣2=t(2)q=p_a-p_c,\qquad q^2=(E_a-E_c)^2-|\mathbf{p}_a-\mathbf{p}_c|^2=t \qquad (2)

where: pa,pcp_a,p_c — four-momenta of the same particle before and after the vertex. Reading: because qq is built from measured external momenta, q2q^2 is not free, and there is no reason for it to equal mX2m_X^2 — 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 q2=mX2q^2=m_X^2 is where the internal line would become a real, on-shell particle.

1q2−mX2  → photon m→0   1q2,(W, Z): −gμν+qμqν/mW2q2−mW2(3)\frac{1}{q^2-m_X^2}\;\xrightarrow{\text{ photon }m\to0\ }\;\frac{1}{q^2},\qquad \text{(W, Z):}\ \frac{-g^{\mu\nu}+q^\mu q^\nu/m_W^2}{q^2-m_W^2} \qquad (3)

where: gμνg^{\mu\nu} — metric tensor carrying the mediator's spin structure. Reading: a massless photon gives 1/q21/q^2 and a 1/r1/r potential; a heavy W gives a denominator dominated by mW2m_W^2 at low q2q^2, which is why the weak interaction looks like a feeble contact force. In the static limit (q0→0q^0\to0, so q2→−∣q∣2q^2\to-|\mathbf{q}|^2) the exchange amplitude is the Fourier transform of a potential. Transforming −g2/(∣q∣2+mX2)-g^2/(|\mathbf{q}|^2+m_X^2) to position space gives the Yukawa potential, whose exponential fall-off defines a range set by the mediator mass.

V(r)=−g24π e−mXrr,R=ℏmXc(4)V(r)=-\frac{g^2}{4\pi}\,\frac{e^{-m_X r}}{r},\qquad R=\frac{\hbar}{m_X c} \qquad (4)

where: g2/4πg^2/4\pi — dimensionless coupling; RR — range. Reading: mX→0m_X\to0 recovers the infinite-range Coulomb potential; a heavy mediator screens the force beyond R=ℏ/mXcR=\hbar/m_X c. Finally, the amplitude is not itself observable — it must be squared and folded with phase space. Griffiths' Feynman calculus factorises every rate into ∣M∣2|\mathcal{M}|^2 (dynamics, from the diagram) and the density of final states (kinematics), joined by Fermi's golden rule.

Γfi=2π ∣Mfi∣2 ρ(Ef),τ=1Γ,dN=L dσ(5)\Gamma_{fi}=2\pi\,|\mathcal{M}_{fi}|^2\,\rho(E_f),\qquad \tau=\frac{1}{\Gamma},\qquad \mathrm{d}N=\mathcal{L}\,\mathrm{d}\sigma \qquad (5)

where: Γ\Gamma — transition rate; ρ(Ef)\rho(E_f) — density of final states; τ\tau — mean lifetime; L\mathcal{L} — luminosity; σ\sigma — cross section. Reading: the diagram supplies M\mathcal{M}, phase space supplies ρ\rho, and their product is what the detector registers.

Derivation ASumming the time orderings into one invariant propagator

The goal is to prove the central formula Mfi=gagb/(q2−mX2)\mathcal{M}_{fi}=g_a g_b/(q^2-m_X^2) 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 q2q^2. 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, aa emits the quantum XX and becomes cc; three-momentum is conserved, pX=pa−pc\mathbf{p}_X=\mathbf{p}_a-\mathbf{p}_c, and XX is treated as a real particle with EX=pX2+mX2E_X=\sqrt{\mathbf{p}_X^2+m_X^2}. The intermediate state (c,X,b)(c,X,b) has energy Ec+EX+EbE_c+E_X+E_b, which differs from the initial Ea+EbE_a+E_b, so second-order perturbation theory contributes an energy denominator 1/[(Ea+Eb)−(Ec+EX+Eb)]=1/(Ea−Ec−EX)1/[(E_a+E_b)-(E_c+E_X+E_b)]=1/(E_a-E_c-E_X). 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 bb emits the (anti)quantum and becomes dd while aa waits; the intermediate state (a,d,X)(a,d,X) gives 1/(Eb−Ed−EX)1/(E_b-E_d-E_X). Using overall energy conservation Ea+Eb=Ec+EdE_a+E_b=E_c+E_d, write Eb−Ed=−(Ea−Ec)E_b-E_d=-(E_a-E_c), so this denominator is 1/[−(Ea−Ec)−EX]1/[-(E_a-E_c)-E_X]. Why: the two orderings are different intermediate states, and the second must use the same variable Ea−EcE_a-E_c so the two can be added.

Step 3. Add the two amplitudes, each carrying the couplings gagbg_a g_b and the relativistic normalisation factor 1/2EX1/2E_X for the intermediate boson. With ΔE≡Ea−Ec\Delta E\equiv E_a-E_c, the sum is gagb2EX[1ΔE−EX−1ΔE+EX]=gagb2EX⋅2EXΔE2−EX2=gagbΔE2−EX2\dfrac{g_a g_b}{2E_X}\left[\dfrac{1}{\Delta E-E_X}-\dfrac{1}{\Delta E+E_X}\right]=\dfrac{g_a g_b}{2E_X}\cdot\dfrac{2E_X}{\Delta E^2-E_X^2}=\dfrac{g_a g_b}{\Delta E^2-E_X^2}. Why: the 2EX2E_X from the normalisation cancels the 2EX2E_X generated by combining the fractions, removing all reference to the on-shell EXE_X.

Step 4. Substitute EX2=pX2+mX2=(pa−pc)2+mX2E_X^2=\mathbf{p}_X^2+m_X^2=(\mathbf{p}_a-\mathbf{p}_c)^2+m_X^2 and recognise ΔE2−pX2=(Ea−Ec)2−(pa−pc)2=q2\Delta E^2-\mathbf{p}_X^2=(E_a-E_c)^2-(\mathbf{p}_a-\mathbf{p}_c)^2=q^2, giving Mfi=gagbq2−mX2\mathcal{M}_{fi}=\dfrac{g_a g_b}{q^2-m_X^2}. Why: the frame-dependent energies and momenta have reassembled into the single Lorentz scalar q2q^2 — 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 1ΔE−EX−1ΔE+EX=2EXΔE2−EX2\dfrac{1}{\Delta E-E_X}-\dfrac{1}{\Delta E+E_X}=\dfrac{2E_X}{\Delta E^2-E_X^2} is exact, and ΔE2−EX2=q2−mX2\Delta E^2-E_X^2=q^2-m_X^2 follows from EX2=pX2+mX2E_X^2=\mathbf p_X^2+m_X^2 with q2=ΔE2−pX2q^2=\Delta E^2-\mathbf p_X^2.*

Go deeper · Derivation B · 1 minFrom the propagator to the Yukawa potential and the range of a force
Derivation BFrom 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, q0→0q^0\to0 and q2→−∣q∣2q^2\to-|\mathbf{q}|^2, and the amplitude (1) becomes M→−g2/(∣q∣2+mX2)\mathcal{M}\to -g^2/(|\mathbf{q}|^2+m_X^2). 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): V(r)=∫d3q(2π)3 eiq⋅r −g2∣q∣2+mX2V(\mathbf{r})=\int\dfrac{\mathrm{d}^3q}{(2\pi)^3}\,e^{i\mathbf{q}\cdot\mathbf{r}}\,\dfrac{-g^2}{|\mathbf{q}|^2+m_X^2}. Why: the scattering amplitude off a potential is precisely its Fourier transform, so the propagator read as V~(q)\tilde V(\mathbf q) inverts to V(r)V(r).

Step 3. Do the integral. The standard result ∫d3q(2π)3 eiq⋅r∣q∣2+mX2=e−mXr4πr\displaystyle\int\dfrac{\mathrm{d}^3q}{(2\pi)^3}\,\dfrac{e^{i\mathbf{q}\cdot\mathbf{r}}}{|\mathbf{q}|^2+m_X^2}=\dfrac{e^{-m_X r}}{4\pi r} gives V(r)=−g24πe−mXrrV(r)=-\dfrac{g^2}{4\pi}\dfrac{e^{-m_X r}}{r}. Why: the propagator pole becomes the exponential e−mXre^{-m_X r} — the mass turns directly into a decay length.

Step 4. Read off the range. The potential falls by 1/e1/e over r=1/mXr=1/m_X, so restoring units R=ℏ/(mXc)R=\hbar/(m_X c); setting mX→0m_X\to0 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: R=ℏc/(mXc2)=197.3 MeV fm/(139.6 MeV)=1.41R=\hbar c/(m_X c^2)=197.3\ \mathrm{MeV\,fm}/(139.6\ \mathrm{MeV})=1.41 fm for the pion and 197.3/80380=2.45×10−3197.3/80380=2.45\times10^{-3} fm for the W.*

Go deeper · Derivation C · 2 minWhy the virtual particle is off mass-shell, and what a single vertex conserves
Derivation CWhy 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 E2=p2+m2E^2=p^2+m^2" — 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 pa=pc+qp_a=p_c+q, so the internal line carries exactly q=pa−pcq=p_a-p_c, with q0=Ea−Ecq^0=E_a-E_c and q=pa−pc\mathbf{q}=\mathbf{p}_a-\mathbf{p}_c both fixed by the external legs. Why: the Feynman rules conserve the full four-momentum at every vertex, fixing qq completely.

Step 2. Compute the invariant mass of the internal line, q2=(Ea−Ec)2−∣pa−pc∣2q^2=(E_a-E_c)^2-|\mathbf{p}_a-\mathbf{p}_c|^2. For a real particle this would equal mX2m_X^2, but here q2q^2 is handed over by the external kinematics and generically q2≠mX2q^2\neq m_X^2 — the internal line is off mass-shell. Why: the virtual line fails q2=m2q^2=m^2 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 tt-channel exchange q2=t≤0q^2=t\le0 is spacelike — no real massive particle can have q2<0q^2<0, so the internal line is unambiguously not a real particle; for ss-channel annihilation q2=s>0q^2=s>0 is timelike and can equal mX2m_X^2, 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 Δt∼ℏ/ΔE\Delta t\sim\hbar/\Delta E. 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 M\mathcal M. *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

CaseResultMeaning
Real (on-shell) particleq2=mX2q^2=m_X^2propagator pole; a genuine, detectable particle — an ss-channel resonance
tt-channel exchangeq2=t<0q^2=t<0 (spacelike)momentum transfer; virtual line far off-shell, no pole, forward 1/t1/t peak
ss-channel annihilationq2=s>0q^2=s>0 (timelike)can reach the pole q2=mX2q^2=m_X^2 → Breit–Wigner resonance (Z, J/ψJ/\psi)
Massless mediator (mX→0m_X\to0)1/q21/q^2, V∝1/rV\propto1/rinfinite-range Coulomb force; the photon
Heavy mediator, low q2q^2 (q2≪mX2q^2\ll m_X^2)1/(q2−mX2)→−1/mX21/(q^2-m_X^2)\to-1/m_X^2contact interaction, GF∝g2/mW2G_F\propto g^2/m_W^2; short range R=ℏ/mXcR=\hbar/m_X c
High q2∼mW2q^2\sim m_W^2propagator ∼1/q2\sim1/q^2weak 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 R=ℏ/(mXc)=ℏc/(mXc2)R=\hbar/(m_X c)=\hbar c/(m_X c^2) with ℏc=197.3\hbar c=197.3 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 mγ=0m_\gamma=0 the propagator is 1/q21/q^2 and R=ℏc/0→∞R=\hbar c/0\to\infty; the static limit is the Coulomb potential V∝1/rV\propto1/r, which never cuts off. Electromagnetism is infinite-range.

Step 2. Pion. The lightest hadron, Yukawa's mediator of the nuclear force: R=197.3 MeV fm/139.6 MeV=1.41 fmR=197.3\ \mathrm{MeV\,fm}/139.6\ \mathrm{MeV}=\mathbf{1.41\ fm} — the observed reach of the nucleon–nucleon attraction, from which Yukawa predicted a ∼140\sim140 MeV quantum a decade before the pion was found.

Step 3. W boson. The weak mediator is enormously heavy: R=197.3 MeV fm/80 380 MeV=2.45×10−3 fmR=197.3\ \mathrm{MeV\,fm}/80\,380\ \mathrm{MeV}=\mathbf{2.45\times10^{-3}\ fm}, 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 gW≈0.65g_W\approx0.65 is actually larger than the electromagnetic charge e=4πα≈0.30e=\sqrt{4\pi\alpha}\approx0.30 — so why does beta decay look so much feebler? Compare the weak and EM amplitudes at a nuclear momentum transfer q2=0.01 GeV2q^2=0.01\ \mathrm{GeV}^2, then at q2=mW2q^2=m_W^2. Take mW=80.4m_W=80.4 GeV.

Step 1. Write the two amplitudes. Electromagnetic (massless photon): MEM∼e2/q2\mathcal{M}_{\mathrm{EM}}\sim e^2/q^2. Weak (heavy W): Mweak∼gW2/(q2−mW2)→−gW2/mW2\mathcal{M}_{\mathrm{weak}}\sim g_W^2/(q^2-m_W^2)\to -g_W^2/m_W^2 when q2≪mW2q^2\ll m_W^2.

Step 2. Form the ratio at low q2q^2: MweakMEM≈gW2/mW2e2/q2=gW2e2⋅q2mW2\dfrac{\mathcal{M}_{\mathrm{weak}}}{\mathcal{M}_{\mathrm{EM}}}\approx\dfrac{g_W^2/m_W^2}{e^2/q^2}=\dfrac{g_W^2}{e^2}\cdot\dfrac{q^2}{m_W^2}. With gW2/e2≈4.6g_W^2/e^2\approx4.6 and q2/mW2=0.01/6464=1.5×10−6q^2/m_W^2=0.01/6464=1.5\times10^{-6}, the ratio is ≈7×10−6\approx\mathbf{7\times10^{-6}}.

Step 3. So at nuclear energies the weak interaction is roughly a million times weaker than electromagnetism — but this is entirely the factor q2/mW2q^2/m_W^2 from the heavy propagator, not the coupling. The low-energy contact strength is the Fermi constant, GF2=gW28mW2\dfrac{G_F}{\sqrt2}=\dfrac{g_W^2}{8m_W^2}, giving GF=2 (0.65)2/(8×80.42)=1.17×10−5 GeV−2G_F=\sqrt2\,(0.65)^2/(8\times80.4^2)=\mathbf{1.17\times10^{-5}\ GeV^{-2}}, the measured value.

Step 4. Now go to q2=mW2q^2=m_W^2: the ratio becomes gW2/e2≈4.6g_W^2/e^2\approx\mathbf{4.6} — the weak amplitude is now comparable to the electromagnetic one. The weak force is weak only because we usually probe it at q2≪mW2q^2\ll m_W^2; at momentum transfers of order mWm_W it stands shoulder to shoulder with electromagnetism — the content of electroweak unification.

3 · How off-shell is a virtual photon?

In e+e−→μ+μ−e^+e^-\to\mu^+\mu^- at s=10\sqrt{s}=10 GeV the annihilation proceeds through a single ss-channel virtual photon. By how much is it off mass-shell, and how does that compare to a tt-channel photon in Møller scattering?

Step 1. In the ss-channel the virtual photon carries the total four-momentum, q=pe++pe−q=p_{e^+}+p_{e^-}, so q2=s=100 GeV2q^2=s=\mathbf{100\ GeV^2}. A real photon has q2=0q^2=0, so this one is off-shell by the full 100 GeV2\mathbf{100\ GeV^2} — timelike, which for a photon is impossible on-shell.

Step 2. In tt-channel Møller scattering the exchanged photon carries q2=t=−s2(1−cos⁡θ∗)≤0q^2=t=-\tfrac{s}{2}(1-\cos\theta^*)\le0, which is spacelike — even further from any physical photon, since no real particle can have q2<0q^2<0.

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 1/q21/q^2 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
RF
Richard Feynman
1918–1988 · quantum electrodynamics and the space-time approach to particle interactions

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.

History
1935
— Yukawa relates the range of a force to the mass of its exchanged quantum
1948
— Feynman presents his space-time diagrams at the Pocono conference
1949
— Feynman publishes the space-time approach to quantum electrodynamics
1949
— Dyson proves the Feynman, Schwinger and Tomonaga formulations equivalent
1965
— Feynman, Schwinger and Tomonaga share the Nobel Prize for QED

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 Mfi=gagb/(q2−mX2)\mathcal{M}_{fi}=g_a g_b/(q^2-m_X^2) 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 1.411.41 fm, the W range 2.45×10−32.45\times10^{-3} fm, the Fermi constant GF=1.17×10−5 GeV−2G_F=1.17\times10^{-5}\ \mathrm{GeV}^{-2} from gW2/8mW2g_W^2/8m_W^2, and the weak/EM amplitude ratios 7×10−67\times10^{-6} at q2=0.01 GeV2q^2=0.01\ \mathrm{GeV}^2 versus 4.64.6 at q2=mW2q^2=m_W^2 — 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 1/(q2−mX2)1/(q^2-m_X^2), which is itself the sum over all the time orderings of the exchange. It is off mass-shell (q2≠mX2q^2\neq m_X^2) and, for tt-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 Δt∼ℏ/ΔE\Delta t\sim\hbar/\Delta E — 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 q2=E2−∣p∣2=m2q^2=E^2-|\mathbf p|^2=m^2 — the surface a free, real particle of mass mm must live on. A virtual particle is off that shell: its four-momentum q=pa−pcq=p_a-p_c is fixed by the external legs through conservation at the vertex, and there is no reason that pinned value should equal mX2m_X^2. In tt-channel exchange q2q^2 is negative (spacelike), further off than any real particle could reach; in ss-channel annihilation q2q^2 is positive and, if it equals mX2m_X^2, the line briefly is on-shell — a physical resonance where the cross section peaks.

Why is 1/(q2−mX2)1/(q^2-m_X^2) 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 mXm_X, the Klein–Gordon operator inverts to exactly 1/(q2−mX2)1/(q^2-m_X^2) in momentum space. It encodes how strongly the transfer of four-momentum qq is suppressed: near the pole q2=mX2q^2=m_X^2 propagation is resonantly easy, for large spacelike q2q^2 strongly suppressed. In position space the same object becomes the Yukawa potential e−mXr/re^{-m_X r}/r — "propagator" and "the potential through which particles interact" are two views of one quantity.

What is the physical difference between ss-channel and tt-channel exchange?

It is the difference between annihilation and deflection. In the ss-channel the two incoming particles fuse into a single virtual quantum carrying the whole four-momentum, q2=s>0q^2=s>0 (timelike); if s\sqrt{s} matches the mediator mass the propagator blows up and forms a resonance — how the Z and the J/ψJ/\psi were found. In the tt-channel a quantum is tossed between the two particles as they pass, transferring momentum without annihilating them, so q2=t<0q^2=t<0 (spacelike); the propagator never reaches its pole and gives the smooth 1/t1/t forward peak of Rutherford scattering. The sign of q2q^2 tells you at once which physics to expect.

If the coupling gWg_W 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, gW≈0.65g_W\approx0.65 is actually larger than the electromagnetic charge e≈0.30e\approx0.30, yet at nuclear momentum transfers the weak amplitude is suppressed by q2/mW2∼10−6q^2/m_W^2\sim10^{-6} from 1/(q2−mW2)→−1/mW21/(q^2-m_W^2)\to-1/m_W^2. Collapsing the propagator to a constant gives the Fermi coupling GF∝gW2/mW2G_F\propto g_W^2/m_W^2 — the small effective constant we historically measured. Raise the momentum transfer to q2∼mW2q^2\sim m_W^2 and the suppression disappears: the two amplitudes become comparable, the whole point of electroweak unification.

Before this

Where this leads