Tree-Level Kinematic Factors

• Tree-Level Kinematic Factors are the algebraic and geometric components that encode all nontrivial dynamics of massless scattering amplitudes.
• They mirror color-factor symmetries via Jacobi identities and are constructed using recursive, gauge-invariant shifts to ensure correct factorization and soft behavior.
• Modern approaches use worldsheet methods, positive geometries, and combinatorial algorithms to rigorously derive numerators that manifest color–kinematics duality.

Tree-level kinematic factors encode the entire nontrivial dynamical content of massless scattering amplitudes in perturbative quantum field theory, with particular emphasis in gauge and gravity theories. These kinematic factors—appearing as numerators of Feynman graph representations—possess rich algebraic structure: they mirror the antisymmetry and Jacobi identities of color factors, can be given explicit geometric or algebraic constructions, satisfy intricate recursion relations, and manifestly control the factorization, soft, and splitting properties of amplitudes across a diverse landscape of field and string theories.

1. Algebraic Foundations and Color–Kinematics Duality

At tree level in Yang–Mills theory, the amplitude admits a sum over cubic graphs,

$$\mathcal{A}_M = g^{M-2} \sum_j \frac{c_j\, n_j}{D_j}$$

where $c_j$ denote color factors (built from structure constants $f^{abc}$), $n_j$ are kinematic numerators, and $D_j$ are products of scalar propagators (Monteiro et al., 2011). The central property is the existence of a Lie algebraic structure for the kinematic factors:

• In the self-dual sector, the equation of motion for the Lie algebra-valued scalar field $\Phi$ is

$$\partial^2 \Phi + ig[\partial_w\Phi, \partial_u\Phi] = 0$$

leading in Fourier space to a nonlinear equation with kinematic structure constants $F_{p_1 p_2}{}^k = (p_1 + p_2 - k) X(p_1,p_2)$, with $X(p_1,p_2)$ antisymmetric in its arguments and encoding spinor or lightcone contractions. These $F_{p_1 p_2}{}^k$ satisfy

$$F_{p_1 p_2}{}^q F_{p_3 q}{}^k + F_{p_2 p_3}{}^q F_{p_1 q}{}^k + F_{p_3 p_1}{}^q F_{p_2 q}{}^k = 0$$

which is the kinematic analog of the Jacobi identity for structure constants.

• Tree-level MHV (maximal helicity violating) amplitudes thus have numerators $n_j$ constructed from products of $F$-factors, and these obey Jacobi identities mirroring the relations among $c_j$:

$n_s + n_t + n_u = 0$

for $s$, $t$, $u$-channel graphs (Monteiro et al., 2011).

• The organizational principle that the algebraic symmetry of color is mirrored in kinematics underlies the BCJ (Bern-Carrasco-Johansson) duality.

2. Manifest Construction: Lagrangian Approaches and Gauge Choices

A systematic method for constructing kinematic numerators that obey Jacobi identities involves reshuffling standard Feynman-derived numerators by gauge-invariant shifts (Vaman et al., 2014).

• For a given set of diagrams, with original numerators $n_l$ and Jacobi violations $\Delta_{ijk} = n_i + n_j + n_k$, one introduces shifts $\delta n_l$ such that the modified numerators $\bar n_l = n_l + \delta n_l$ ensure $\bar n_i + \bar n_j + \bar n_k = 0$.
• The procedure is nonunique: the set of possible $\delta n_l$ is classified by generalized gauge transformations (the kernel of a propagator mapping matrix $M$ relating numerators and amplitudes).
• In light-like gauge (space–cone or lightcone), the construction is technically streamlined: only physical polarizations appear, and for helicity-constrained sectors (MHV), the numerators from Feynman rules may already satisfy Jacobi constraints. For higher multiplicity, explicit nonlocal effective Lagrangians are written whose vertices are “null by Jacobi”—e.g., for five-point:

$$\mathcal{L}_5 \sim \sum (\text{color factors}) \times (\text{momentum factors in allowed poles}) \times (\text{gauge fields})$$

which, upon contraction, yield numerator shifts precisely enforcing the correct algebraic structure without introducing spurious unphysical poles.

• The method is argued to generalize recursively to arbitrary multiplicity, with complexity controlled by the redundancy from gauge invariance.

3. Geometric and Worldsheet Constructions

The polynomial and geometric structure of tree-level kinematic factors is illuminated in modern on-shell and worldsheet approaches:

• In the CHY formalism, any gauge-fixed amplitude integrand can be reduced, via substitution with the scattering equations, to a sum of “ladder type” monomials—multivariate polynomials in the auxiliary variables (moduli) with strictly controlled exponent differences—whose coefficients are rational in Mandelstam invariants (Zlotnikov, 2016). Only a finite set (basis) of such ladder monomials contributes at any $n$. This “standard form” massively simplifies the evaluation of amplitudes via global residue theorems: only simple residues at infinity are needed.
• The expansion of worldsheet integrands onto a basis of “Cayley functions” (labelled by tree graphs) provides a direct combinatorial map between integrands and BCJ Jacobi-satisfying numerators (He et al., 2021). For theories such as NLSM or Yang–Mills, each Cayley label gives a product of Mandelstam invariants, and the numerators for cubic graphs are linear combinations of Cayley numerators, with combinatorial signs determined by a reference planar ordering.
• The canonical form language, as realized in positive geometries such as the momentum amplituhedron (for $\mathcal{N}=4$ SYM) and the kinematic associahedron (for bi-adjoint scalar $\phi^3$ theory), directly encodes the singularity and factorization structure of amplitudes (Damgaard et al., 2020). The boundary structure of these polytopes matches precisely the physical poles in the planar limit, with connections through Gram determinant constraints in four-dimensional kinematics.

4. Universal Factorization, Splitting, and Soft Behavior

Tree-level kinematic factors govern factorization and soft limits—both in conventional pole factorization and more recently discovered non-residue “splittings.”

• On special loci in kinematic space (“2-splits”), where all mixed Mandelstam invariants between two subsets $A$ and $B$ vanish, the $n$-point amplitude factorizes cleanly into a product of lower-point off-shell currents, each governed by its respective kinematic variables, without taking a residue (Cao et al., 6 Jun 2024). Explicitly, if all $s_{a,b}=0$ for $a\in A$, $b\in B$, and suitable conditions on polarizations are imposed, then

$$\mathcal{A}_n \rightarrow \mathcal{J}^{(L)}(A) \times \mathcal{J}^{(R)}(B)$$

This universal splitting operates for a wide class of theories (bi-adjoint $\phi^3$, NLSM, DBI, sGal, Yang–Mills, gravity, and their string extensions).

• In the “skinny” splitting limit—where one subset is a single (soft) particle—these current factorizations directly recover the standard soft theorems (Weinberg, Adler, and their descendants). Higher-order splittings (iterated maximal 2-splits) yield smooth decompositions of the amplitude into four-point building blocks, manifest in the combinatorics of associahedra and positive tropical geometry.
• The algebraic machinery for extracting leading, sub-leading, and higher-order soft factors can be entirely developed from 2-split (“splitting”) and conventional pole factorizations, with all kinematic soft operators built recursively from the underlying tree-level numerators (Zhou, 31 May 2025, Zhou, 2022).
• Soft theorems are unified across theories. For instance, leading single-soft gluon factors and leading double-soft pion factors in NLSM are related by a simple kinematic replacement, mapping gauge invariance (vanishing when the polarization is replaced by the momentum) to the Adler zero (vanishing amplitude when a Goldstone boson momentum is soft).

5. Hopf Algebras, Lie Algebras, and Algebraic Characterization

Modern algebraic structures play a key role in the systematics of kinematic numerators:

• BCJ numerators are shown to form representations of extended quasi-shuffle Hopf algebras, whose generators have both a flavor (color) factor and a nontrivial kinematic (possibly operator-valued) factor (Chen et al., 2022). The fusion products among generators encode the nonabelian Lie (or higher Lie) algebraic structure, and guarantee the satisfaction of Jacobi and other relations among numerators.
• The pure spinor formulation of (super) Yang–Mills and three-algebra Chern–Simons (M2-brane) models realizes color–kinematics duality at the action level via derived brackets in the BV algebra of the pure spinor superfield (Borsten et al., 2023). The kinematic Lie algebra is the algebra of diffeomorphisms acting on pure spinor space, and in M2-brane models can be naturally generalized to three-Lie algebra structures, encoding the antisymmetry and mixed Jacobi relations for quartic vertices.
• For heavy-mass effective field theory (HEFT), the numerators can be constructed by evaluating correlators of nested commutators in the string-theory vertex operator algebra in the field theory limit, organized by rooted trees (Fu et al., 24 Jan 2025). The OPE-derived structure constants, integrated over ordered worldsheet regions, lead to numerator expressions matching those obtained via field-theory fusion rules.

6. Zeros, Hidden Singularities, and Consistency

Kinematic factors encode not only physical poles but also zeros and hidden singularities:

• Tree-level amplitudes in various theories (YM, NLSM, sGal, DBI, GR) can be universally expanded onto a basis of bi-adjoint scalar amplitudes, with explicit polynomial kinematic prefactors built from ordered partitions of external legs (Huang et al., 11 Feb 2025). For particular kinematic constraints—such as $s_{ab}=0$ for $a\in A$, $b\in B$ and polarizations orthogonal between sets—the biadjoint amplitudes vanish, forcing universal “hidden zeros” in all theories built this way.
• In gravity, apparent divergences when unordered amplitudes have propagators $1/s_{ab}$ with $s_{ab}\to0$ are cured by the Kleiss–Kuijf and related relations among color-ordered building blocks; only after recombination do all divergences cancel, and zeros emerge as a property of the expanded amplitude.
• In Regge (high-energy) kinematics, amplitudes factorize in rapidity into “multi-Regge emission vertices” (MREVs) and impact factors, with the kinematics efficiently encoded in minimal light-cone variables separating longitudinal (rapidity) and transverse degrees of freedom (Byrne et al., 12 Jun 2025). Spurious poles are systematically eliminated in this representation, ensuring manifest cancellation of unphysical singularities and giving rise to robust consistency relations between amplitude-level and vertex-level factorization.

7. Combinatorial, Geometric, and Algorithmic Perspectives

• In minimal kinematics on $\mathcal{M}_{0,n}$ (the moduli space of $n$-punctured Riemann spheres), the scattering potential has a unique, rationally parameterized critical point described by Horn uniformization and combinatorially encoded by 2-trees (Early et al., 5 Feb 2024). These loci correspond to degenerations where tree-level amplitudes evaluate as explicit rational functions of Mandelstam invariants, providing models for kinematic factor organization in both planar and non-planar settings.
• Efficient algorithms have been developed exploiting Cayley tree expansions, combinatorial sign rules, mutual partial triangulation (for recursive form factor computation), and quasi-shuffle Hopf algebra operations. These are implemented in computational packages for the fast generation of BCJ-satisfying numerators and form factors up to high multiplicity (He et al., 2021, Dong et al., 2022).

---

In summary, tree-level kinematic factors serve as both the fundamental algebraic “building blocks” and the organizational backbone of all aspects of massless perturbative amplitudes—from the explicit construction of color–kinematics dual numerators, geometric representations in positive polytopes, and combinatorial decompositions, to universal properties such as factorization, splitting, and soft behavior. The precise control over their symmetry, rationality, and algebraic structure—enabled by tools from Lie and Hopf algebra, worldsheet geometry, and modern combinatorics—provides both a powerful computational framework and deep insight into field, string, and effective theories alike.