Skip to content

Cutkosky rules compute the discontinuity of a Feynman integral across an appropriate physical branch cut by replacing the propagators crossed by the cut with positive-energy on-shell delta functions. The result is a Lorentz-invariant phase-space integral. The channel, energy flow, sheet, and normalization must be fixed before the familiar “put lines on shell” shorthand has a definite meaning.

Required background. The Optical Theorem and Cut Interpretation supplies the unitarity relation between an amplitude discontinuity and sums over physical intermediate states; Landau Equations and Physical Singularities supplies the candidate pinch locus across which the discontinuity is taken.

Define

DiscsF(s)=F(s+i0)F(si0).\operatorname{Disc}_sF(s)=F(s+i0)-F(s-i0).

The one-variable distribution identity is

1x+i01xi0=2πiδ(x).\frac1{x+i0}-\frac1{x-i0}=-2\pi i\,\delta(x).

For a reciprocal scalar denominator on a cut with momentum qq oriented from the amplitude to its conjugate, the replacement is therefore

1q2m2+i02πiδ+(q2m2),δ+(q2m2)=θ(q0)δ(q2m2).\begin{aligned} \frac1{q^2-m^2+i0} &\longrightarrow-2\pi i\,\delta^+(q^2-m^2),\\ \delta^+(q^2-m^2)&=\theta(q^0)\delta(q^2-m^2). \end{aligned}

If the Feynman rule includes the numerator ii, the convention-complete replacement is

iq2m2+i02πδ+(q2m2).\frac{i}{q^2-m^2+i0} \longrightarrow 2\pi\,\delta^+(q^2-m^2).

Thus a reciprocal denominator contributes 2πiδ+-2\pi i\delta^+, whereas a full scalar propagator contributes +2πδ++2\pi\delta^+. The difference is an exact factor of ii, not an optional sign convention. One must still state whether the object being cut is the denominator-only integral, iMi\mathcal M, or M\mathcal M.

The distributional derivation, positive-energy direction, and relation to phase space are worked out in Schwartz 2014, §24.1.2, pp. 456–459. Cutkosky’s original general statement appears in Cutkosky 1960, pp. 429–433.

Write S=1+iTS=1+iT. Unitarity gives

i(TT)=TT.i(T^\dagger-T)=T^\dagger T.

Inserting a complete set of stable asymptotic states produces

DiscsMif=iXdΦX×MiXMfX.\begin{aligned} \operatorname{Disc}_s\mathcal M_{i\to f} &=i\sum_X\int \mathrm d\Phi_X\\ &\quad{}\times\mathcal M_{i\to X}\mathcal M_{f\to X}^*. \end{aligned}

With the volume’s S=1+iTS=1+iT and amplitude convention, Hermitian analyticity gives the equivalent physical-channel form

iDiscsMif=XdΦXMfXMiX.\boxed{ -i\operatorname{Disc}_s\mathcal M_{i\to f} =\sum_X\int\mathrm d\Phi_X\, \mathcal M_{f\to X}^*\mathcal M_{i\to X} }.

Diagrammatically, a valid cut separates the graph into two sides and puts every crossed line on shell with positive energy flowing consistently across the cut. Uncut propagators retain their boundary prescriptions. The largest-time identity ensures that all admissible separating cuts are included; replacing an arbitrary subset of denominators does not by itself give the discontinuity theorem.

This is stronger than imposing arbitrary equations Di=0D_i=0. It includes a real physical channel, positive-energy support, conjugation, polarization sums, and phase-space integration.

A physical Cutkosky cut gives a positive-energy phase-space discontinuity, whereas generalized cuts impose additional possibly complex on-shell equations and a maximal cut can become a multidimensional residue.

Physical, generalized, and maximal cuts use related on-shell equations but support different claims. The diagram is schematic and not to scale; only the first stage necessarily represents a physical-channel discontinuity integrated over positive-energy phase space.

Use the finite scalar function

F(s)=01dx×log ⁣[1sm2x(1x)i0].\begin{aligned} F(s)&=-\int_0^1\mathrm dx\\ &\quad{}\times \log\!\left[1-\frac{s}{m^2}x(1-x)-i0\right]. \end{aligned}

For s>4m2s>4m^2, the logarithm crosses its cut between x±=(1±β)/2x_\pm=(1\pm\beta)/2, with

β=14m2s.\beta=\sqrt{1-\frac{4m^2}{s}}.

Thus

DiscsF(s)=2πiβθ(s4m2).\operatorname{Disc}_sF(s)=2\pi i\,\beta\,\theta(s-4m^2).

For the denominator-only master

B(s)=d4(2π)41(2m2+i0)((p)2m2+i0),B(s)=\int\frac{\mathrm d^4\ell}{(2\pi)^4} \frac1{(\ell^2-m^2+i0)((p-\ell)^2-m^2+i0)},

the two reciprocal replacements give

DiscsB(s)=Φ2,labeled(s;m,m)=β8πθ(s4m2).\operatorname{Disc}_s B(s) =-\Phi_{2,\mathrm{labeled}}(s;m,m) =-\frac{\beta}{8\pi}\theta(s-4m^2).

This agrees with B(s)B(0)=iF(s)/(4π)2B(s)-B(0)=iF(s)/(4\pi)^2. The negative real discontinuity is not a conflict with positivity: BB omits the propagator numerators and vertex phases. If a distinct-scalar interaction is normalized so that iMs=λ2Bi\mathcal M_s=\lambda^2B, then

iDiscsMs=λ2β8πθ(s4m2)0,-i\operatorname{Disc}_s\mathcal M_s =\lambda^2\frac{\beta}{8\pi}\theta(s-4m^2)\ge0,

exactly the positive forward state sum. This phase check fixes the denominator replacement, loop prefactor, labeled phase-space normalization, and amplitude convention simultaneously.

Cutkosky rules determine discontinuities, not subtraction constants or the complete real part. A dispersion relation can reconstruct more information only after its analyticity domain and required subtractions are supplied. Renormalized amplitudes may require counterterm contributions, and massless theories require an infrared-safe combination before interpreting a cut as a finite probability.

Unstable resonances are not ordinary asymptotic states in the completeness sum. Thermal states, finite-density contours, and non-Feynman boundary conditions also require modified cutting formalisms.

  1. Derive the sign in the reciprocal-denominator identity from 1/(x±i0)=PV(1/x)iπδ(x)1/(x\pm i0)=\operatorname{PV}(1/x)\mp i\pi\delta(x).
  2. Why is δ(q2m2)\delta(q^2-m^2) insufficient for a physical cut? It includes both energy roots; the channel cut needs a consistent positive-energy orientation, expressed by δ+\delta^+.
  • Cutkosky, Richard E. “Singularities and Discontinuities of Feynman Amplitudes.” Journal of Mathematical Physics 1 (1960): 429–433. doi:10.1063/1.1703676.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. doi:10.1017/9781139540940.