---
title: On-Shell Recursion in Scattering Amplitudes
url: https://www.emergentmind.com/topics/on-shell-recursion-relations
type: topic
---

# On-Shell Recursion in Scattering Amplitudes

On-shell recursion relations are analytic approaches in quantum field theory and string theory that construct scattering amplitudes from their factorization properties, relying solely on lower-point on-shell building blocks, rather than off-shell Feynman diagrams. The method exploits the analytic structure of amplitudes under complex deformations of external momenta to derive recursive formulae. These relations have become fundamental in modern S-matrix theory, providing deep insights into gauge theory, gravity, effective field theory, and string amplitudes.

## 1. Fundamental Principles and the BCFW Recursion

The Britto–Cachazo–Feng–Witten (BCFW) recursion relation is the canonical archetype of on-shell recursion. In BCFW, two external momenta, $p_i$ and $p_j$, are deformed into complex directions:
\[
p_i(z) = p_i + z q, \qquad p_j(z) = p_j - z q,
\]
where $q$ is a chosen null vector orthogonal to both $p_i$ and $p_j$. The amplitude becomes a meromorphic function $A_n(z)$. Provided $A_n(z)$ has appropriate vanishing at $z \to \infty$, Cauchy's theorem gives 
\[
A_n(0) = -\sum_{\textrm{poles}} \mathrm{Res}_{z = z_k} \frac{A_n(z)}{z}.
\]
The residues correspond to factorization channels where an internal propagator goes on shell, explicitly reconstructing $A_n$ as products of lower-point on-shell amplitudes and propagators:
\[
A_n = \sum_{I} A_L(P_I(z_I))\, \frac{1}{P_I^2}\, A_R(P_I(z_I)),
\]
with $P_I(z)$ an internal momentum that becomes null at the residue.

This structure and its validity fundamentally rest on the locality and factorization of the S-matrix, and the analytic dependence of $A_n(z)$ on the complex parameter $z$ [1004.3417, 1111.5759].

## 2. Analytic Structure, Boundary Behavior, and Extended Recursion

The efficacy of on-shell recursion is closely tied to the large-$z$ behavior of amplitudes. If $A_n(z)$ vanishes as $z \rightarrow \infty$, the recursion closes without boundary terms. In renormalizable four-dimensional gauge theories and gravity, this is ensured by the spin and gauge structure, with gauge amplitudes falling as $1/z$ (or $1/z^2$ for certain deformations) and gravity amplitudes as $1/z^2$, enabling additional "bonus relations" [1111.5759].

The generalized argument principle allows one to include cases where $A_n(z)$ does not vanish at infinity. Here, the amplitude's zeroes also play a role, and the boundary term is encoded using a product over factors determined by these zeroes:
\[
f_{i\mathcal{I}_k}^{(\nu,n)} = \prod_{l = 1}^{\nu+1}\left(1 - \frac{P_{i\mathcal{I}_k}^2}{P_{i\mathcal{I}_k}^2(z_0^{(l)})}\right)
\]
if $\nu \ge 0$ ($\nu$ is the degree of the large-$z$ growth). The full amplitude then has the "weighted BCFW" form
\[
M_n = \sum_k M_L^{(i,j)}(\hat{i}, \mathcal{I}_k, -\hat{P})\, \frac{f_{i\mathcal{I}_k}^{(\nu,n)}}{P_{i\mathcal{I}_k}^2}\, M_R^{(i,j)}(\hat{P}, \mathcal{I}_k', \hat{j}),
\]
with zeroes $z_0^{(l)}$ encoding locations in complexified momentum space where the amplitude vanishes and dictating the required boundary correction [1106.0166].

Such a formulation ensures that, even without the vanishing at infinity, the amplitude may be reconstructed using only physical, on-shell data – ultimately from three-point amplitudes.

## 3. Algebraic and Group-Theoretic Implications: Gauge Identities

On-shell recursion provides field-theory proofs of fundamental amplitude relations in gauge theories:

- **Color-Order Reversal**: $A(1,2,...,n) = (-1)^n A(n,...,1)$.
- **$U(1)$-Decoupling**: The sum of amplitudes differing by cyclic permutation of a "photon" leg vanishes.
- **Kleiss-Kuijf (KK) Relations**: Linear relations between amplitudes of different orderings, reflecting color structure:
  \[
  A(1,\{\alpha\},n,\{\beta\}) = (-1)^{n_\beta} \sum_{\sigma \in \mathrm{OP}(\{\alpha\} \cup \{\beta^T\})} A(1, \sigma, n).
  \]
- **Bern-Carrasco-Johansson (BCJ) Relations**: Additional linear relations that dramatically reduce the basis of independent color-ordered amplitudes from $(n-2)!$ (KK) to $(n-3)!$,
  \[
  0 = \sum_{\mathsf{perms}} A(\mathsf{ordering}) \times (\text{kinematic coefficients in Mandelstams } s_{ij}).
  \]
On-shell derivations of these relations, especially BCJ, reveal their origin as a consequence of improved large-$z$ power counting for non-adjacent leg shifts (i.e., $A_n(z) \sim 1/z^2$). This "bonus" scaling underlies deep connections to dualities and double copy constructions [1004.3417, 1111.5759].

## 4. Extensions to Other Theories: Supersymmetry, Gravity, Effective Field Theory, and String Theory

On-shell recursion techniques generalize widely:

- **Supersymmetric theories** admit super-BCFW shifts acting on Grassmann variables. For $\mathcal{N}=4$ SYM, the superamplitude and recursive solution compactly encode all amplitudes in the multiplet [1111.5759].
- **Gravity** amplitudes, constructed using on-shell recursion, exhibit superior large-$z$ behavior, allowing for "bonus relations" and facilitating on-shell proofs of Kawai–Lewellen–Tye (KLT) relations, expressing graviton amplitudes as quadratic combinations of gauge amplitudes [1111.5759, 1604.03046].
- **Effective Field Theories**: In non-renormalizable models like the $SU(N)$ non-linear sigma model, ordinary BCFW often fails due to poor large-$z$ scaling. Solutions employ all-line shifts and semi-on-shell currents with special scaling properties, enabling recursion for amplitudes in theories with infinite towers of interaction vertices [1212.5224, 1509.03309]. For theories with enhanced soft limits (e.g., DBI, Galileons), momentum rescaling (rather than standard BCFW) ensures that amplitudes are on-shell constructible from lower-point data [1509.03309, 1512.06801].
- **String Theory**: The structure of open and closed string amplitudes, once recast via binomial or Schwinger parameter expansions, is compatible with a recursive organization. The infinite towers of intermediate states are summed by inserting a complete Fock space (using the no-ghost theorem to cancel unphysical states), reducing the residue calculation to combinatorics over oscillator modes [1210.1776, 2404.00244, 2410.15448]. This mechanism connects string and field-theoretic recursion through their factorization structure.

## 5. Extensions and Generalizations: Loop Integrands, Massive Theories, and Non-Relativistic Systems

On-shell recursion is increasingly applied beyond tree-level and massless domains.

- **Loop Integrands**: Iterative application of BCFW shifts at the integrand level enables construction of loop amplitudes, provided single-cut contributions are properly included. These are systematically defined by "forward limits" of tree-level objects; in rational, finite amplitudes, this approach is argued to hold to all loop orders [1610.05283].
- **Massive and Broken Gauge Theories**: Systematic shifts involving massive legs (with adapted spinor-helicity notation) yield valid recursion relations when at least one gauge boson is present; otherwise, group-theoretic cancellations and Goldstone equivalence play crucial roles [2112.12312, 1910.13407]. Minimal shifts required for constructibility range from 2-line (for transverse gauge bosons or fermions) up to 5-line shifts for longitudinal and scalar amplitudes.
- **Nonrelativistic Effective Field Theories**: Nonrelativistic systems with gapless excitations and modified dispersion laws leverage analogous recursion, using spatial momentum deformations and enhanced soft limits, to systematize the low-energy $S$-matrix and constrain EFT landscapes [2108.03189].

## 6. Applications, Impact, and Broader Significance

On-shell recursion relations have streamlined amplitude calculations in QCD, supersymmetric and gravitational theories, effective field theories, and string theory. By directly relating physical on-shell observables to their factorization properties, they expose the minimal data (usually three-point amplitudes) needed to reconstruct the entire S-matrix at tree level [1106.0166]. The method:

- Reveals hidden structures (e.g. BCJ relations, double copy, KLT) and minimal bases of amplitudes,
- Reduces computational complexity in multi-leg processes,
- Generalizes to theories and domains that challenge traditional Feynman approaches (loops, effective field theories, string theory, massive particles, etc.),
- Suggests new mathematical structures in scattering amplitudes, including Grassmannian and geometric (e.g. Amplituhedron) formulations [1604.03046],
- Provides systematization for constraints arising from symmetries (unitarity, locality, gauge invariance, soft/collinear limits, little-group covariance).

The modern theoretical landscape features a suite of recursion methods—BCFW, super-BCFW, all-line/soft shifts, rescaling deformations, weighted recursion, and multiparameter deformations—each tailored to the analytic and boundary properties of the theory at hand.

## 7. Representative and Key Formulae

| Relation Type         | Example Expression                                                                                                                                                      | Feature                                                  |
|----------------------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------|----------------------------------------------------------|
| BCFW recursion       | $A_n = \sum_{I,J} A_L(p_i(z_{IJ}),...,P_{IJ}(z_{IJ})) \dfrac{1}{P_{IJ}^2} A_R(-P_{IJ}(z_{IJ}),...,p_j(z_{IJ}))$                   | Sums over factorization channels                        |
| Weighted recursion   | $M_n = \sum_k M_L \dfrac{f_{i\mathcal{I}_k}^{(\nu,n)}}{P_{i\mathcal{I}_k}^2} M_R$                                               | Boundary term from zeroes for nonvanishing $A_n(z)$∞    |
| Color-reversal       | $A(1,2,\ldots,n) = (-1)^n A(n,n-1,\ldots,1)$                                                                                       | Reflection symmetry on orderings                        |
| KK relation          | $A(1,\{\alpha\},n,\{\beta\}) = (-1)^{n_\beta} \sum_{\sigma \in \text{OP}(\{\alpha\}\cup\{\beta^T\})} A(1,\sigma,n)$               | Relations between orderings of external legs            |
| BCJ relation         | $0 = A(2,4,3,5,1)s_{23} + A(2,3,4,5,1)(s_{23}+s_{43}) + A(2,3,5,4,1)s_{41}$                                                      | Linear constraint among orderings, with $s_{ij}$ factors|

These encapsulate the central structural results derived or utilized in the application of on-shell recursion to gauge theory amplitudes [1004.3417].

---

The theory and application of on-shell recursion relations thus represent a paradigm shift in our understanding of scattering amplitudes, moving away from Lagrangian or off-shell architectures toward manifestly on-shell, analytic, and algebraic methodologies. They facilitate both practical computations and deep conceptual advances in the structure of quantum field and string theory.

Source: https://www.emergentmind.com/topics/on-shell-recursion-relations