---
title: Kleiss-Kuijf (KK) Relations in Gauge Theory
url: https://www.emergentmind.com/topics/kleiss-kuijf-kk-relations
type: topic
---

# Kleiss-Kuijf (KK) Relations in Gauge Theory

The Kleiss-Kuijf (KK) relations are linear constraints among tree-level color-ordered amplitudes in non-Abelian gauge theory. These relations, first conjectured by Kleiss and Kuijf in 1989 and later proved via modern on-shell recursion methods, provide a profound reduction in the number of independent partial amplitudes needed to describe n-gluon scattering. The KK relations reflect the group-theoretic structure of color traces, encode the essential effect of the Jacobi identity in the Lie algebra, and are foundational for more advanced constructs such as the Bern–Carrasco–Johansson (BCJ) relations and Kawai–Lewellen–Tye (KLT) double-copy relations. Their algebraic form is universal across Yang-Mills theory, maximally supersymmetric gauge theory, and other contexts, with generalizations for theories with nontrivial flavor structure and for amplitudes of quarks.

## 1. Formal Statement and Combinatorics

Let $A_n(1,\alpha,n,\beta)$ denote a tree-level color-ordered amplitude with external legs ordered as $1,\alpha_1,\ldots,\alpha_k, n, \beta_1,\ldots,\beta_m$, where $\alpha$ and $\beta$ are disjoint ordered subsets of $\{2,3,\ldots,n-1\}$, and $|\alpha|+|\beta| = n-2$. Then the KK relations state:
\[
A_n(1, \alpha, n, \beta) = (-1)^{|\beta|} \sum_{\sigma \in \mathrm{OP}(\alpha, \beta^T)} A_n(1, \sigma, n)
\]
where $\beta^T$ is the sequence $\beta$ reversed, and $\mathrm{OP}(\alpha,\beta^T)$ denotes all order-preserving shuffles or merging of $\alpha$ and $\beta^T$ that preserve the internal order within each list [1111.5759, 1004.3417, 1005.1821, 1403.6837].

Special cases include:

- **Cyclicity**: $\beta = \emptyset$ recovers invariance under cyclic rotation.
- **Reflection**: $\alpha = \emptyset$ yields order-reversal symmetry.
- **U(1)-decoupling**: $|\beta|=1$ leads to the vanishing sum over cyclically related amplitudes, reflecting the absence of non-Abelian interactions for a $U(1)$ generator.

The KK relations reduce the number of independent color-ordered partial amplitudes from $(n-1)!$ to $(n-2)!$, a reduction that is essential for efficient computation and classification of amplitudes [1004.3417, 1412.8475].

## 2. Derivation via On-shell Recursion

The pure field-theoretic proof of KK relations employs the Britto-Cachazo-Feng-Witten (BCFW) on-shell recursion. The partial amplitude $A_n(1,\alpha,n,\beta)$ is analytically continued using a shift on momenta of legs 1 and $n$. Large-$z$ behavior ensures no boundary at infinity for adjacent shifts (the required $A(z)\sim 1/z$ fall-off holds for gluons and general $\mathcal N=4$ SYM). By applying BCFW induction, one can show that the linear combination on the right-hand side of the KK relation obeys the same recursion as $A_n(1,\alpha,n,\beta)$, and thus both must be equal by uniqueness of meromorphic functions with specified poles [1004.3417, 1111.5759, 1005.1821]. This proof is not reliant on gauge fixing or Feynman diagrams, emphasizing the on-shell, S-matrix nature of the amplitude program. 

The method extends to supersymmetric theories; for $\mathcal N=4$ SYM, the BCFW recursion in super-spinor variables gives the same combinatorial structure, and the relations apply to the full superamplitude [1005.1821]. 

## 3. Algebraic and Group-theoretic Interpretation

The color-ordered decomposition of the full amplitude uses either traces of SU(N) generators or products of structure constants $f^{abc}$, and the KK relations follow from algebraic properties of either basis. In the color-trace language, the relations originate in the overcompleteness of cyclically ordered traces, redundancies enforced by the Jacobi identity, and the action of the symmetric group $S_n$ on the color structures [1403.6837]. 

Mathematically, the space of color structures is isomorphic to the cyclic Lie operad, and the $(n-2)!$ basis corresponds to "flat" or "multi-peripheral" diagrams with fixed endpoints. Explicitly, the Jacobi identities imply that all tree color-factors can be reduced to linear combinations of these basis elements, and the corresponding amplitude relations reflect these reductions [1403.6837].

## 4. Examples and Special Cases

Explicit low-point examples illustrate the KK mechanism:

- **n=4**: $A_4(1,2,4,3) = -[A_4(1,2,3,4) + A_4(1,3,2,4)]$, so only one amplitude is independent.
- **n=5**: For $\alpha=\{2,3\}$, $\beta=\{4\}$, the KK relation yields $A_5(1,2,3,5,4) = -[A_5(1,2,3,4,5) + A_5(1,2,4,3,5) + A_5(1,4,2,3,5)]$.

For multi-quark primitive amplitudes, the KK relations apply identically for tree structures as long as the color-ordering does not represent crossed fermion lines (all non-vanishing planar graphs) [1304.7809]. The number of independent primitives is further reduced by planarity constraints, and can be classified using Dyck word combinatorics.

## 5. Generalizations: Loops, Noncommutative, and Positive Geometry

At the one-loop level, all partial amplitudes of double-trace color structure can be written as linear combinations of single-trace primitives via a "cyclic order-preserving" generalization of the KK relation. At two loops, the relation holds in unmodified form only for subleading-color single-trace amplitudes, and further modifications (such as symmetrization over subsets) may be necessary, as explicitly seen at eight points [1105.0334].

In noncommutative $U(N)$ Yang-Mills, a modified KK relation applies to color-ordered amplitudes once the noncommutative phase factor is divided out, reducing to the standard KK form in the commutative limit [1009.5073].

Positive geometry provides a geometric origin for the KK relations: in the amplituhedron or positive Grassmannian formulation, KK identities correspond to the statement that appropriate linear combinations of canonical forms on positive geometries vanish when their associated polytopes have no zero-dimensional boundary [2103.13908, 1412.8475]. These combinatorial-geometric perspectives unify the group-theoretic and analytic origins of amplitude relations.

## 6. Impact within the Web of Amplitude Relations

The KK relations underpin the further reduction in basis size implemented by the BCJ relations, which are purely kinematic (coefficient-level) identities reducing the independent amplitudes from $(n-2)!$ to $(n-3)!$ [1111.5759]. Both sets of relations are required as inputs for the double-copy KLT construction, where gravity tree amplitudes are expressed bilinearly in gauge-theory partial amplitudes, with the momentum kernel encoding their transformation properties.

In pure spinor superstring theory, the BRST exactness of appropriate ghost-number-two operators implies the KK relations for open-string building blocks at the field-theory limit, also manifesting the BCJ relations in the same BRST cohomological framework [1111.0544].

In the context of effective field theory for bi-adjoint scalars, imposing KK and BCJ relations bootstraps the full set of monodromy relations that originate from open-string theory, with higher-derivative deformations traceable to the interplay of these linear constraints and factorization at higher multiplicities [2212.13998]. 

## 7. Summary Table: Key Structural Aspects

| Context           | KK Relation (Abstract Form)                                                         | Key Constraint      |
|-------------------|-------------------------------------------------------------------------------------|---------------------|
| Tree-level YM     | $A(1,\alpha,n,\beta)=(-1)^{|\beta|}\sum_{\sigma\in\mathrm{OP}(\alpha,\beta^T)}A(1,\sigma,n)$ | Jacobi/color trace  |
| Multi-quark       | Same as above, but with further vanishing for non-planar quark orderings            | Planar constraints  |
| One-loop          | Double-trace in terms of single-trace, with order-preserving cyclic permutations    | Loop color algebra  |
| Noncommutative YM | KK for $A_{NC}$ after dividing out phase factors                                    | Noncomm phase       |
| Gravity (KLT)     | KK relations in gauge sector used as double-copy input                              | S-matrix structure  |
| Positive geometry | Vanishing sum of canonical forms for KK combination                                 | Polytope boundaries |

The KK relations are therefore a universal manifestation of group-theoretic, combinatorial, and geometric structures in gauge theory scattering, forming a foundational element of the modern S-matrix and amplitude programs [1111.5759, 1004.3417, 1403.6837, 2103.13908, 2212.13998].

Source: https://www.emergentmind.com/topics/kleiss-kuijf-kk-relations