Hidden zeros for higher-derivative YM and GR amplitudes at tree-level

This paper extends the phenomenon of hidden zeros to tree-level Yang-Mills and general relativity amplitudes with higher-derivative interactions by utilizing universal expansions into bi-adjoint scalar amplitudes to systematically resolve propagator singularities and ambiguities in their proof.

The Gist

Imagine the universe as a giant, cosmic pinball machine. When particles like gluons (the glue holding atoms together) or gravitons (the particles carrying gravity) smash into each other, they bounce off in specific directions. Physicists call these collisions "scattering amplitudes." For decades, calculating these bounces has been like trying to solve a massive, tangled knot of string using only a single, rigid tool: the Feynman diagram. It works, but it's messy and often hides the beautiful patterns underneath.

Recently, physicists discovered a strange new trick called "Hidden Zeros." Think of it like a secret code in the universe's math. Usually, if you change the speed or angle of a particle, the result of the collision changes smoothly. But the researchers found that if you set the particles up in a very specific, weird way (a "special loci" in the math), the entire collision result suddenly drops to zero. It's as if the universe says, "Nope, this specific crash simply cannot happen," even though the particles are right there.

This paper, by Kang Zhou, asks a big question: Does this "Hidden Zero" trick work for more complex, higher-energy versions of these particles?

Here is the breakdown of the paper's journey, using simple analogies:

1. The New Players: The "Super-Particles"

Standard physics describes particles interacting in a simple way. But at very high energies (or in theories involving strings), particles interact with extra "twists" or "higher-derivative" rules.

• The F3 Operator: Imagine a standard gluon collision is like a simple billiard ball hit. The "F3" version is like hitting a billiard ball that has a tiny, invisible motor inside it, making it spin and wobble in complex ways before it hits.
• The R2 and R3 Operators: Similarly, for gravity, imagine a standard gravity wave is a smooth ripple in a pond. The "R2" and "R3" versions are ripples that have extra, complex swirls and eddies built into them.

The paper investigates whether these "super-complex" collisions also have those secret "Hidden Zeros" where the result vanishes.

2. The Magic Tool: The "Universal Translator"

To solve this, the author uses a method called "Universal Expansions."
Think of the complex "super-particle" collisions (F3, R2, R3) as a foreign language that is very hard to read. The author uses a "Universal Translator" to convert these complex collisions into a simpler, universal language called Bi-Adjoint Scalar (BAS) amplitudes.

• The Analogy: Imagine you have a complex, multi-layered cake (the F3 amplitude). It's hard to taste the individual flavors. The author has a recipe that says, "This complex cake is actually just a specific mixture of simple vanilla and chocolate chips (BAS amplitudes)."
• The Discovery: We already knew that the simple vanilla and chocolate chips (BAS amplitudes) have "Hidden Zeros." If you arrange the chips just right, they cancel each other out perfectly.
• The Result: Because the complex cake is just a mixture of these chips, the author proves that the complex cake also has Hidden Zeros. If you arrange the ingredients of the complex collision correctly, the whole thing vanishes, just like the simple chips.

3. The Big Problem: The "Infinity Trap"

There was a major snag in this logic, specifically for gravity (the R2 and R3 amplitudes).

• The Issue: In the simple "chips" (BAS) world, the math works perfectly. But in the "gravity" world, the math involves dividing by numbers that get dangerously close to zero. In math, dividing by zero creates an infinity.
• The Metaphor: Imagine you are trying to balance a scale. On one side, you have a "zero" (the Hidden Zero condition). On the other side, you have a "division by zero" (a singularity). Usually, this causes the scale to explode into infinity, ruining the calculation.
• Why it's worse for Gravity: In the "gluon" world, the rules of the game (color ordering) naturally prevent these dangerous divisions. But in the "gravity" world, there are no such rules. The dangerous divisions are unavoidable.

4. The Solution: The "Systematic Cancellation"

The author didn't just wave a magic wand; they did the hard math to show that the infinities cancel each other out.

• The Analogy: Imagine you have a room full of people shouting "Infinity!" at the top of their lungs. It sounds like chaos. But then, you realize that for every person shouting "Positive Infinity," there is another person shouting "Negative Infinity" with the exact same volume. When they all shout together, the noise cancels out, and the room becomes perfectly silent (finite).
• The Proof: The paper demonstrates that in these complex gravity collisions, the terms that create the dangerous infinities are perfectly paired with terms that create negative infinities. They cancel out systematically, leaving a clean, finite result. This proves that the "Hidden Zero" is real and not just a mathematical glitch.

Summary

In plain English, this paper proves that:

1. Complex particles (those with extra "twists" like F3, R2, and R3) behave just like simple particles in one specific, weird way: if you set them up just right, their collision probability drops to zero.
2. The author used a translation method to show that these complex particles are built from simpler pieces that we already knew had this zero property.
3. The author solved a major mathematical headache regarding gravity, showing that the dangerous "infinity" errors that usually break these calculations actually cancel each other out perfectly, making the "Hidden Zero" a solid, reliable fact of nature.

This discovery gives physicists a new, powerful rule (a "constraint") to help build and check their theories about how the universe works at the smallest scales.

Technical Summary

Problem Statement
Recent advances in scattering amplitude theory have revealed "hidden zeros"—specific loci in kinematic space where tree-level amplitudes vanish, accompanied by unique factorization behaviors. While these phenomena have been established for theories such as the bi-adjoint scalar (BAS), the non-linear sigma model (NLSM), and standard Yang-Mills (YM) theory, their existence in theories with higher-derivative interactions remained unproven. Specifically, this paper addresses whether hidden zeros persist in:

1. Higher-derivative YM amplitudes: Gluon amplitudes involving a single insertion of the local $F^3$ operator, which represents the leading correction in the low-energy effective action of bosonic open string theory.
2. Higher-derivative GR amplitudes: Graviton amplitudes corresponding to the sub-leading ($R^2$) and sub-sub-leading ($R^3$) orders in the low-energy expansion of bosonic closed string theory.

A significant technical obstacle arises in the gravitational case: the kinematic conditions required for hidden zeros (specifically $k_a \cdot k_b = 0$ for specific external particles) induce singular propagators ($1/s_{ab}$) in unordered graviton amplitudes. In ordered YM amplitudes, color ordering naturally forbids these singularities; however, in unordered GR amplitudes, these divergences are inescapable, creating an ambiguity in the proof of hidden zeros.

Methodology
The authors employ the method of universal expansions, which express tree amplitudes of various theories as linear combinations of bi-adjoint scalar (BAS) amplitudes. The coefficients of these expansions are polynomials dependent on external kinematics (momenta and polarization vectors).

The core strategy involves:

1. Reduction to BAS: Utilizing known universal expansion formulas for $F^3$, $R^2$, and $R^3$ amplitudes (derived from CHY formalisms and previous literature) to express these higher-derivative amplitudes in terms of BAS amplitudes.
2. Application of Hidden Zeros in BAS: Leveraging the rigorously proven hidden zeros for BAS amplitudes, which vanish when specific subsets of external legs are separated by two fiducial legs ($\hat{i}, \hat{j}$) and satisfy $k_a \cdot k_b = 0$.
3. Kleiss-Kuijf (KK) Relations: Using KK relations to reorganize the BAS amplitudes in the expansion into a basis compatible with the hidden zero kinematic conditions.
4. Analysis of Divergences: For the GR case, the authors investigate the behavior of the expansion coefficients under the limit where the kinematic invariants vanish ($\tau \to 0$). They demonstrate that while individual terms in the expansion may contain divergent propagators, the coefficients themselves possess a specific scaling behavior that systematically cancels these divergences.

Key Contributions and Results

• Existence of Hidden Zeros in Higher-Derivative Theories: The paper establishes that $F^3$ amplitudes in YM theory and $R^2$/$R^3$ amplitudes in GR theory exhibit hidden zeros. These zeros occur on kinematic loci defined by $k_a \cdot k_b = k_a \cdot \epsilon_b = \epsilon_a \cdot k_b = \epsilon_a \cdot \epsilon_b = 0$ for specific subsets of particles, provided the amplitude ordering is compatible with the separation of these subsets by fiducial legs.
• Mechanism of Vanishing: The proof demonstrates that under the hidden zero kinematic conditions, the universal expansions of these higher-derivative amplitudes reduce to a form where the coefficients are independent of the specific shuffles of particle subsets. This reduction allows the application of KK relations to transform the amplitudes into a basis where the underlying BAS amplitudes vanish, thereby forcing the entire higher-derivative amplitude to vanish.
• Resolution of Divergence Ambiguity in GR: A primary contribution is the rigorous resolution of the propagator singularity issue in unordered graviton amplitudes. The authors prove that the kinematic factors in the expansion coefficients (such as $\text{tr}(F_\rho)$ and $E_{\gamma_f}$) scale with the kinematic parameter $\tau$ in a way that exactly cancels the $1/\tau$ divergence from the propagators.
  • They show that for any diagram containing $t$ divergent propagators, the effective coefficient scales as $O(\tau^c)$ with $c \geq t$.
  • Consequently, the product of the coefficient and the propagator vanishes in the limit $\tau \to 0$, yielding a manifestly finite effective expansion. This removes the need for ad-hoc prescriptions (like $i\epsilon$) to define the limit, placing the proof of hidden zeros for GR on a firm, unambiguous foundation.
• Explicit Examples: The paper provides detailed 4-point and 5-point examples for both $F^3$ and $R^3$ amplitudes, illustrating the step-by-step reduction of the universal expansions and the explicit cancellation of divergences.

Significance
The paper claims that these findings extend the landscape of "hidden zeros" beyond standard theories to include effective field theories with higher-derivative interactions. The significance is twofold:

1. Theoretical Consistency: It confirms that the phenomenon of hidden zeros is robust across different interaction orders, suggesting a deeper underlying structure in the S-matrix that transcends the specific form of the Lagrangian (standard vs. higher-derivative).
2. Constructive Utility: The authors note that hidden zeros provide novel constraints that can facilitate the construction of scattering amplitudes. While not explicitly constructing a new recursion relation in this work, they posit that these zeros, combined with physical pole factorization, could potentially be used to uniquely determine higher-derivative amplitudes, analogous to how hidden zeros were used to derive on-shell recursion relations for NLSM amplitudes.

The paper concludes by identifying the investigation of "2-split" factorization behavior near these zeros and the potential for uniquely determining these amplitudes via zeros and poles as primary directions for future research.