---
title: Berends-Giele Recursion
url: https://www.emergentmind.com/topics/berends-giele-recursion-relation
type: topic
---

# Berends-Giele Recursion

The Berends-Giele (BG) recursion relation is a fundamental recursive algorithm for constructing off-shell gauge-theory and scalar currents, forming the basis of efficient computation of tree-level scattering amplitudes in a wide range of quantum field theories and string theories. Originally devised for gluon amplitudes in Yang-Mills theory, the BG recursion generalizes to bi-adjoint scalars, string disk integrals, theories with higher-derivative deformations, and applications in gravitational, celestial, and loop-level contexts.

## 1. Foundations and General Structure

The BG recursion was originally developed to construct color-ordered tree amplitudes by recursively assembling off-shell currents from smaller ones, systematically summing over all partitions of external legs. For a generic color-ordered theory, one defines an off-shell current for an ordered set $P = \{1,2,\dots,n\}$ as $J(P)$, built by sewing together lower-point currents via cubic (and where relevant, quartic) vertices. 

The canonical BG recursion for pure Yang-Mills reads:
\[
J^\mu(P) = \frac{1}{s_P} \sum_{P=X\cup Y}
\left[ J_\nu(X) J_\rho(Y) V^{\nu\rho\mu}(k_X, k_Y) \right]
+ \text{quartic terms}
\]
with $s_P = (k_{p_1} + \cdots + k_{p_n})^2$ and $V^{\nu\rho\mu}$ the color-ordered three-gluon vertex. For scalar bi-adjoint $\varphi^3$ theory, the basic recursion simplifies to
\[
J(P) = \frac{i}{P^2} \sum_{P=A\cup B} J(A) J(B)
\]
where all subcurrents are constructed with the same rule recursively down to the single-leg base case $J(i) = 1$ [2207.02374]. The recursion generates all tree diagrams with a known ordering and tracks off-shell kinematics [1510.08846, 1903.05713, 1809.08103]. 

## 2. Double-Color and String Theory Extensions

The BG recursion is adapted for double-color-ordered objects in bi-adjoint scalar theory, and for the $\alpha'$-expansion of open superstring disk integrals ("$Z$-theory"). The key building block in this context is the double current $\varphi_{A|B}$, constructed recursively as
\[
\varphi_{P|Q} = \frac{1}{s_P} \sum_{\substack{P=XY\\Q=AB}}
\left[ \varphi_{X|A} \varphi_{Y|B} - \varphi_{Y|A} \varphi_{X|B} \right], \quad \varphi_{i|j} = \delta_{ij}
\]
valid only if $P, Q$ are permutations of the same label set [1603.09731]. For $Z$-theory, the all-orders $\alpha'$ expansion of the full string disk integral $Z(P|Q)$ is given as:
\[
Z(A,n|B,n) = s_A\,\varphi_{A|B}
\]
The string-corrected recursion incorporates higher-derivative corrections,
\[
s_A\, \varphi_{A|B} = \sum_{A = A_1 A_2} [\varphi_{A_1|B_1} \varphi_{A_2|B_2} - \varphi_{A_1|B_2} \varphi_{A_2|B_1}]
+ \alpha'^2 \zeta_2 \sum_{A = A_1 A_2 A_3} (k_{A_1}\cdot k_{A_2}) [\cdots] + \mathcal{O}(\alpha'^3)
\]
with commutator-like sums and Riemann zeta values $\zeta_n$ as coefficients of higher orders [1609.07078]. This recursion solves the non-abelian $Z$-theory equation of motion and compactly generates all orders in $\alpha'$.

## 3. Key Recursion Properties and Computational Realization

The recursion is constructed in terms of “words” (ordered multiplets of external labels) and relies fundamentally on operations of deconcatenation. The general scheme is implemented efficiently in symbolic and numerical codes. For practical computation, a dynamic programming approach caches previously computed subcurrents and incrementally constructs larger currents, reducing computational overhead from exponential to quartic scaling in leg number for QCD-like theories [1206.2381, 2502.07060]. For $Z$-theory, specific pseudocode prescribes an algorithm of precomputing kinematic invariants, initializing base cases, and recursively building higher-order contributions, employing shuffle and reflection symmetry constraints in the double-current basis [1609.07078].

In bi-adjoint or $Z$-theory, the $BG$ recursion efficiently produces the inverse KLT kernel, required for the double-copy construction of gravity amplitudes [1603.09731]. The effective current expansion underlies the construction of BCJ numerators, crucial for manifesting color-kinematics duality [2109.14462, 1809.08103].

## 4. Connection to Gravitational, Massive, and Deformed Theories

The BG recursion admits gravity analogues, both in gauge-theoretic and manifestly double-copy formulations. For pure gravity, the recursion for the all-plus or all-minus graviton off-shell current involves sums over spanning trees of the complete graph, aligning with the matrix-tree theorem and determinant representations:
\[
A(K) = \sum_{T \in \text{Trees}(K)} \prod_{i \in K} (i q)^{\deg_T(i)-2} \prod_{\langle j\,k\rangle \in E(T)} [j\,k]
\]
Specializations of weights and cocycles recover the “half-soft” function and MHV amplitudes [1410.5647, 1310.0653, 2507.13943]. For double-copy constructions, the classical KLT relations at the current level hold exactly in the “MHV” configurations [2109.06392].

In higher-derivative (e.g., $F^3$ and $F^4$) deformed Yang-Mills, or string-inspired effective actions, the currents are recursively deformed by insertions of extra tensor structures tied to string corrections, and pre-factors involving $\alpha'$ and $\zeta_n$ [1809.08103, 1609.07078]. The recursion remains of the same schematic type, but with more elaborate kinematic kernels and auxiliary currents. For massive higher-spin states (e.g., massive spin-2 states in open type-I superstring), the BG recursion assembles symmetric tensor currents bilinearly in lower-rank gluon field strengths, with cyclic sum structures for color-ordered amplitudes [2401.09781].

## 5. Loop-Level Generalizations and Algebraic Frameworks

The classical BG recursion extends to quantum and loop-level recursion relations via homological and algebraic frameworks. The homological perturbation lemma for $A_\infty$- or $L_\infty$-algebras organizes both the tree- and loop-level recursion as a minimal-model computation, with loop order governed by insertions of BV Laplacian terms. The resulting “quantum BG recursion” generates all quantum corrections recursively, with single-loop terms arising as quantum descendants grafted onto tree-level diagrams [2412.05575, 1912.06695].

More abstractly, the BG recursion is identified as the explicit realization of the minimal $L_\infty$ or $A_\infty$ model for the BV complex of a field theory, with each off-shell current corresponding to a sequence of homotopy brackets summing over cubic tree structures [1903.05713].

## 6. Graphical, Algebraic, and Celestial Extensions

Advanced formulations interpret the BG recursion in terms of graph-theoretic identities. Graph-based BCJ relations encode the recursion as combinatorial sums over chain and star graphs; the BG recursion naturally organizes the proof of these fundamental identities [2207.02374, 1603.09731]. The recursion admits a celestial generalization, where Mellin-transformed off-shell currents on the celestial sphere are constructed recursively, with the sewing operation adapted to the celestial context for loop integrands [2307.14772]. The celestial BG recursion preserves features such as $1/(z_i-z_j)$ OPE singularities and correctly captures the conformal structure in collinear limits.

## 7. Algorithmic and Computational Considerations

The BG recursion is a workhorse in amplitude computations for QCD and string theory. Efficient implementations employ dynamic programming, memoization of subcurrents, and bottom-up approaches for faster scaling, especially at high multiplicity [1206.2381, 2502.07060]. The methodology supports computations in arbitrary spacetime dimension, over finite fields and for massive and deformed kinematics, and is now realized in high-performance computing environments including GPU acceleration [2502.07060]. 

Analytical and numerical stability in the presence of soft and collinear singularities is preserved, and in QCD, the recursion organizes color and helicity sums efficiently, allowing automated amplitudes as building blocks for higher-loop integrands and cross-section calculations [2412.05575].

---

## Table: BG Recursion Variants (Key Theories and Features)

| Theory               | BG Current Structure           | Notable Features                      |
|----------------------|-------------------------------|----------------------------------------|
| Yang-Mills           | $J^\mu(P)$; cubic and quartic | Fundamental cubic/ quartic recursions  |
| Bi-adjoint scalar    | $J(P)$ (single-color), $\varphi_{A|B}$ (double) | Double-color recursion, inverse KLT    |
| Gravity              | $J_{\mu\nu}(P)$, $A(K)$       | Tree-sum/determinant structure, half-soft function |
| $Z$-theory (string)  | $\varphi_{A|B}$, string corrections | $\alpha'$, $\zeta_n$-expanded recursion |
| Light-front QCD      | Fragmentation functions $T_n$ | Adapted recursion in light-front variables |
| Quantum/loop         | $\Phi^A_\mathcal{P}$, $E^{i,j}_{\ell, v}$ | Loop-level recursion via homotopy algebra |

## References

- "Non-abelian $Z$-theory: Berends-Giele recursion for the $α'$-expansion of disk integrals" [1609.07078]
- "Berends-Giele recursion for double-color-ordered amplitudes" [1603.09731]
- "Note on graph-based BCJ relation for Berends-Giele currents" [2207.02374]
- "Recursion for Differential Cross-Section from the Optical Theorem" [2412.05575]
- "Gravity MHV amplitudes via Berends-Giele currents" [2507.13943]
- "Berends-Giele currents in Bern-Carrasco-Johansson gauge for $F^3$- and $F^4$-deformed Yang-Mills amplitudes" [1809.08103]
- "Scattering Amplitude Recursion Relations in BV Quantisable Theories" [1903.05713]
- "Accelerating Berends-Giele recursion for gluons in arbitrary dimensions over finite fields" [2502.07060]
- "Higher-Point Gauge-Theory Couplings of Massive Spin-2 States in 4-Dimensional String Theories" [2401.09781]
- "Pure connection formalism for gravity: Recursion relations" [1410.5647]
- "Weighted Laplacians, cocycles and recursion relations" [1310.0653]
- "Celestial Berends-Giele current" [2307.14772]
- "Loop Amplitudes and Quantum Homotopy Algebras" [1912.06695]
- "Berends-Giele recursions and the BCJ duality in superspace and components" [1510.08846]

Source: https://www.emergentmind.com/topics/berends-giele-recursion-relation