LSZ Reduction and Amputated Distributions

LSZ reduction is licensed only after stable one-particle states and wave operators exist. For fields with nonzero overlap with isolated mass shells, it expresses wave-packet matrix elements of $S-1$ as on-shell boundary limits of connected, amputated time-ordered distributions. The theorem is distributional: smearing, time ordering, pole residues, domains, and the order of limits are part of the statement.

Required background. Wightman functions and spectral support supplies the distributions; Haag–Ruelle construction supplies scattering states; and wave operators and asymptotic fields supplies the $S$-operator.

Helpful background. LSZ reduction: poles, residues, and stable external states gives the practical bridge, while cross sections and decay rates explains the later observable normalization.

Hypotheses before amputation

For each external species require:

• an isolated stable positive-energy mass shell and a Haag–Ruelle one-particle subspace;
• an interpolating local field $\phi_i$ with nonzero overlap $\langle\Omega|\phi_i(0)|p,i\rangle=Z_i^{1/2}$ in the chosen normalization;
• time-ordered vacuum distributions with the regularity needed for multiplication by wave packets and application of Klein–Gordon operators;
• incoming and outgoing packets with compact, separated velocity supports, followed through the ordered large-time limits;
• connected/truncated parts when the desired matrix element excludes disconnected propagation.

No asymptotic-completeness hypothesis is needed for matrix elements between already constructed scattering states. It is needed only to claim that all physical states are so described.

The original reduction framework is Lehmann, Symanzik, and Zimmermann 1955, pp. 205–225; the bridge from Wightman/Haag–Ruelle assumptions to LSZ is proved in Hepp 1965, pp. 95–111.

The distributional reduction formula

For a scalar connected time-ordered distribution

$$G_c(x_1,\ldots,x_{r+s}) =\langle\Omega,T\{\phi(x_1)\cdots\phi(x_{r+s})\}\Omega\rangle_c,$$

the smeared $r\to s$ matrix element has the schematic form

$$\begin{aligned} &\langle g_1,\ldots,g_s;\mathrm{out}\,|\, f_1,\ldots,f_r;\mathrm{in}\rangle_c\\ &\quad= \int\prod_{\ell=1}^{r+s}\mathrm d^4x_\ell\, \left[ \prod_{\ell=1}^{r+s} Z_\ell^{-1/2}h_\ell(x_\ell) (\Box_{x_\ell}+m_\ell^2) \right] G_c(x_1,\ldots,x_{r+s}), \end{aligned}$$

where the $h_\ell$ are the appropriate positive- or negative-frequency packet limits. Phases and conjugations depend on which legs are incoming; they must be fixed consistently rather than guessed from the schematic formula.

In momentum notation this becomes

$$\mathcal M_c \sim \left. \prod_{\ell}Z_\ell^{-1/2}(p_\ell^2-m_\ell^2) \widetilde G_c(p_1,\ldots,p_{r+s}) \right|_{\text{ordered on-shell boundary values}}.$$

The symbol “on shell” is not a pointwise substitution into an arbitrary distribution. Amputation cancels the isolated simple poles after packet smearing, and the boundary limit is taken in the topology established by the scattering theorem.

Operationally, the reduction is performed leg by leg. One first smears a field with a Klein–Gordon packet and sends its time support to the appropriate incoming or outgoing end. Integration by parts converts the limiting difference into an insertion of $(\Box+m^2)\phi$ in the time-ordered distribution; contact terms are then organized distributionally. Iteration gives the displayed formula. The packet limit is taken before removing the smearing notation. This proof mechanism explains why multiplying a formal Fourier transform by inverse propagators and substituting numerical on-shell momenta is only shorthand for the properly smeared boundary value.

Changing the interpolating field while preserving its nonzero one-particle projection changes off-shell correlators and residues, but not the reduced matrix element. This invariance is another check that LSZ extracts scattering data rather than a preferred field coordinate.

A massive scalar 2→2 reduction

Choose four wave packets supported near four points of $H_m^+$, with the in and out velocity supports separated as required. Suppose

$$\widetilde G_{4,c} =\frac{iZ}{p_1^2-m^2+i0}\cdots \frac{iZ}{p_4^2-m^2+i0}\, i\mathcal M_c+\text{terms less singular on the four shells}.$$

Multiplication by the four inverse propagator factors and by $Z^{-2}$ isolates the connected amplitude distribution $\mathcal M_c$ under the packets. The external packet integrals then give the matrix element between the Haag–Ruelle states. This is the exact theorem-level justification for the calculation on LSZ reduction: poles, residues, and stable external states; diagrammatic evaluation remains there.

An independent normalization check is that each of four external field overlaps contributes $Z^{1/2}$ to the correlator residue, so four amputated legs require $Z^{-2}$. Rescaling $\phi\mapsto c\phi$ multiplies $G_4$ by $c^4$ and $Z^{-2}$ by $|c|^{-4}$, leaving the physical matrix element invariant after consistent phases.

Failure test: unstable and infraparticle legs

An unstable resonance has no isolated real mass-shell projection. A charged QED electron in an infraparticle sector has continuous spectral weight beginning at the mass threshold and no nonzero delta-function residue. In either case the external simple pole assumed above is absent. Assigning a finite $Z$ and applying the formula is not an approximation justified by LSZ; the external-leg limit fails before an amplitude is named.

For QED one instead uses suitably inclusive observables, coherent/dressed asymptotic structures, or detector functionals, each with its own regulator and convergence statement. The existence of an infrared-finite perturbative expression does not retroactively create a Wigner one-electron pole.

Exercises

Explain why disconnected two-point contractions must be removed when extracting the connected $2\to2$ amplitude.

Solution

Disconnected pairings describe independent one-particle propagation and contain products of momentum-conserving delta distributions. After amputation they reproduce identity/no-scattering contributions rather than the connected transition. Passing to $G_{4,c}$ subtracts these pairings and isolates the matrix element of $S-1$.

References

• Hepp, Klaus. 1965. “On the Connection between the LSZ and Wightman Quantum Field Theory.” Communications in Mathematical Physics 1: 95–111. DOI.
• Lehmann, Harry, Kurt Symanzik, and Wolfhart Zimmermann. 1955. “On the Formulation of Quantized Field Theories.” Il Nuovo Cimento 1: 205–225. DOI.