Soft Photons and Infrared-Finite QED

An exclusive amplitude between charged Fock states is not by itself an infrared-finite prediction: an arbitrarily soft photon can be emitted at arbitrarily small energy cost, and virtual photons probe the same region. QED nevertheless predicts finite quantities when the observable treats experimentally indistinguishable states consistently. The standard construction is an inclusive cross section with a stated energy, angular, and recombination resolution; coherent dressed states give a different, amplitude-level construction.

Required background. Tree-level QED processes supplies the charged amplitudes and external-state conventions. Bloch–Nordsieck and KLN cancellation supplies the general degeneracy criterion for infrared-safe probabilities.

Helpful background. Dressed states and infrared-finite scattering develops coherent asymptotic states beyond the inclusive construction used first below.

Soft factorization in QED

Let a hard amplitude $\mathcal M_n$ have external charged particles with momenta $p_i$, charges $eQ_i$, and signs

$$\eta_i= \begin{cases} +1,&\text{outgoing},\\ -1,&\text{incoming}. \end{cases}$$

For one additional outgoing photon of momentum $k$, polarization $\varepsilon_\mu(k)$, and energy much smaller than every resolved hard scale, attachment to the external charged legs gives

$$\mathcal M_{n+1}(k,\varepsilon) =e\,\varepsilon_\mu^*(k)J_{\mathrm s}^{\mu}(k)\,\mathcal M_n +\mathcal O(k^0), \qquad J_{\mathrm s}^{\mu}(k) =\sum_i\eta_iQ_i\frac{p_i^\mu}{p_i\cdot k}.$$

The $1/(p_i\cdot k)$ poles are universal: spin and short-distance dynamics first enter at subleading order. Under the gauge replacement $\varepsilon^\mu\to\varepsilon^\mu+c\,k^\mu$,

$$k_\mu J_{\mathrm s}^{\mu}=\sum_i\eta_iQ_i=0,$$

where the last equality is charge conservation. This is a fast sign check on incoming particles, antiparticles, and crossed amplitudes. The leading soft theorem and its exponentiation are developed in Weinberg 1995, § 13.2, pp. 541–545 and Schwartz 2014, §§ 20.1–20.3, pp. 355–370.

After summing physical photon polarizations, the unresolved one-photon probability contains the positive eikonal integral

$$e^2\int_{\lambda<\omega<\Delta E} \frac{d^3\mathbf k}{(2\pi)^3\,2\omega} \sum_{r=1,2} \left|\varepsilon^{(r)*}(k)\cdot J_{\mathrm s}(k)\right|^2.$$

Here a photon mass $\lambda$ is only an illustrative infrared regulator and $\Delta E$ is a physical resolution. Dimensional regularization works equally well, but the real and virtual terms must use the same regulator and conventions.

Build the observable before cancelling the regulator

An observable is infrared safe only if its measurement function becomes insensitive to an unresolved photon,

$$F_\Delta(X+\gamma(k))\longrightarrow F_\Delta(X) \qquad (k\to0).$$

In a detector this statement requires more than an energy cut. One must say which frame defines the photon-energy threshold, which angular region is accepted, whether a photon close to a charged track is recombined with it, and which charged-particle masses are retained. These choices are part of the observable, not properties of the regulator.

For a fixed hard process, collect the coefficient of the common leading soft logarithm into $B$, with the convention $B\geq0$. To first order in $\alpha$, virtual and unresolved-real contributions then have the schematic but regulator-explicit form

$$\begin{aligned} \sigma_{\mathrm{virt}}(\lambda) &=\sigma_0\frac{\alpha}{\pi}\left[-B \ln\frac{Q}{\lambda}+c_{\mathrm{virt}}\right],\\ \sigma_{\mathrm{real}}(\lambda,\Delta E) &=\sigma_0\frac{\alpha}{\pi}\left[+B \ln\frac{\Delta E}{\lambda}+c_{\mathrm{real}}(\Delta)\right]. \end{aligned}$$

$Q$ denotes a hard scale, while $c_{\mathrm{virt}}$ and $c_{\mathrm{real}}$ are the finite order-one coefficients in this normalization; the latter retains dependence on the complete resolution prescription $\Delta$. Adding the Born term gives

$$\sigma_{\mathrm{incl}}(\Delta) =\sigma_0\left[ 1+\frac{\alpha}{\pi}\left( -B\ln\frac{Q}{\Delta E} +c_{\mathrm{virt}}+c_{\mathrm{real}}(\Delta) \right) \right]+\mathcal O(\alpha^2),$$

so that

$$\frac{\partial\sigma_{\mathrm{incl}}}{\partial\ln\lambda}=0 \qquad\text{at this order.}$$

The cancellation is local to the same degenerate bin: integrating the real term over one angular acceptance and the virtual term for another observable does not cancel anything. The finite logarithm $\ln(Q/\Delta E)$ is physical resolution dependence. If it is large, fixed-order perturbation theory is poorly organized even though it is finite; multiple-emission exponentiation or another resummation is then appropriate. Bloch and Nordsieck established this mechanism for soft radiation from a massive electron Bloch and Nordsieck 1937, pp. 54–59.

Soft and collinear limits are distinct

For a charged particle of energy $E\gg m$, emission parallel to its momentum produces logarithms such as $\ln(E^2/m^2)$. The physical mass regulates the strict collinear divergence, but it need not make the logarithm small. In an approximation that sets $m=0$, finiteness instead depends on a collinear-safe measurement—typically a specified photon–lepton recombination rule or a fragmentation function.

The relevant limits therefore answer different questions:

Region	Momentum geometry	What makes a prediction usable?
Soft	$k^0\to0$ at generic angle	Sum over states unresolved by the energy/time resolution
Collinear	$k\parallel p_i$ at finite energy fraction	Keep the mass, or define recombination/factorization consistently
Soft-collinear	Both limits together	Avoid double counting when factorizing or resumming regions

Kinoshita and Lee–Nauenberg formulate the broader cancellation as a sum over all initial and final states degenerate under the measurement, including collinear degeneracies where relevant Kinoshita 1962, pp. 650–677; Lee and Nauenberg 1964, pp. B1549–B1562. In practice, an initial-state beam is prepared rather than averaged over arbitrarily; surviving mass logarithms or factorization dependence must then be retained rather than attributed to KLN cancellation.

Three infrared-finite constructions

Inclusive probabilities. Sum ordinary Fock-space probabilities over every state that the stated detector resolution cannot distinguish. This is the usual collider and decay-rate construction. It predicts explicit, measurable dependence on the resolution.

Coherently dressed states. Attach to each charged particle the long-range photon cloud required by its asymptotic current. With compatible dressings, the soft singularities can cancel before squaring the amplitude. Kulish and Faddeev give the classic asymptotic-dynamics construction Kulish and Faddeev 1970, pp. 745–757. A dressed amplitude is not obtained merely by deleting the soft logarithm from an inclusive rate: the state space and observable have changed.

Finite-time or detector observables. A finite preparation and observation time cannot resolve photons below an inverse time scale, while a finite detector has energy and angular thresholds. Such descriptions can make the physical origin of the resolution transparent, but the preparation, measurement, and limiting procedure must be specified. Sending the observation time to infinity while reverting to bare charged Fock states restores the original infrared problem.

Virtual soft exchange can also produce a regulator-dependent Coulomb phase. It cancels from an ordinary inclusive probability but can matter when amplitudes interfere or when one defines dressed asymptotic states. Finiteness of a rate therefore does not imply that every amplitude phase is individually meaningful.

A calculation checklist

1. Define the measured bin. State the energy frame, angular acceptance, recombination rule, particle masses, and whether extra charged pairs are degenerate.
2. Identify every singular region. Test soft, collinear, and overlapping limits of both loop and phase-space integrands.
3. Use one regulator consistently. Keep the same photon mass, dimensional regulator, or auxiliary prescription in the real and virtual pieces until after addition.
4. Verify coefficients before finite terms. The coefficient multiplying $\ln\lambda$ or the infrared pole must agree with opposite sign between degenerate real and virtual contributions.
5. Remove only the regulator. The final answer may and generally should retain $\Delta E$, angular cuts, masses, and factorization scales.
6. Assess large logarithms. Check whether $\alpha\ln^2(Q/\Delta E)$ or $\alpha\ln(Q/m)$ is small enough for fixed order.

Three especially useful diagnostics are the gauge test $k\cdot J_{\mathrm s}=0$, the regulator derivative of the inclusive result, and monotonicity: increasing the unresolved phase space must not decrease the real-emission contribution.

Common pitfalls

Calling a regulator an experimental resolution. A fictitious photon mass or an infrared dimensional pole must disappear. The energy threshold, angular acceptance, and recombination radius are physical definitions and remain in the answer.

Adding rates for nondegenerate events. Real–virtual cancellation occurs only after the measurement maps the two configurations to the same outcome. A vetoed resolved photon cannot cancel a virtual correction in the accepted bin.

Using “KLN” as a blanket eraser. The theorem requires a specified sum over degenerate states. Prepared initial states, non-collinear-safe lepton definitions, or an incomplete sum can leave mass logarithms and factorization dependence without contradicting it.

Equating inclusive and dressed predictions. Both can be infrared finite, but they answer questions about different observables and asymptotic states. Their finite terms need not agree without a matching prescription.

References

• Bloch, Felix, and Arnold Nordsieck. “Note on the Radiation Field of the Electron.” Physical Review 52 (1937): 54–59. DOI.
• Kinoshita, Toichiro. “Mass Singularities of Feynman Amplitudes.” Journal of Mathematical Physics 3 (1962): 650–677. DOI.
• Kulish, P. P., and L. D. Faddeev. “Asymptotic Conditions and Infrared Divergences in Quantum Electrodynamics.” Theoretical and Mathematical Physics 4 (1970): 745–757. DOI.
• Lee, T. D., and M. Nauenberg. “Degenerate Systems and Mass Singularities.” Physical Review 133 (1964): B1549–B1562. DOI.
• Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. DOI.
• Weinberg, Steven. The Quantum Theory of Fields. Volume I: Foundations. Cambridge: Cambridge University Press, 1995. DOI.