Note on hidden zeros and expansions of tree-level amplitudes

This paper derives and interprets hidden zeros in tree-level amplitudes across various theories by utilizing universal expansions to bi-adjoint scalar theory, attributing these zeros to the scalar theory's properties while detailing the mechanism that resolves potential propagator divergences in unordered amplitudes like gravity.

The Gist

Imagine the universe as a giant, cosmic pinball machine. When particles crash into each other, they bounce off, creating a complex pattern of movement. Physicists call these patterns "scattering amplitudes." For decades, calculating these patterns was like trying to solve a massive jigsaw puzzle where every piece was a different shape and color, requiring thousands of tedious steps (Feynman diagrams) to see the final picture.

Recently, physicists discovered a "magic trick": under very specific, strange conditions, these complex patterns don't just get messy—they simply vanish. They hit a "hidden zero." It's as if you set up a pinball machine, pulled the lever, and the ball disappeared into thin air instead of bouncing.

This paper, written by Hao Huang, Ye Yang, and Kang Zhou, explains why this vanishing act happens and how it works for many different types of particles, not just one.

The Big Idea: The "Universal Translator"

The authors propose a clever way to understand these vanishing acts. They use a concept called "Universal Expansions."

Think of different theories of physics (like the theory of gravity, or the theory of light) as different languages.

• Gravity speaks "Gravity-ese."
• Light (Electromagnetism) speaks "Light-ese."
• The "Bi-adjoint Scalar" (BAS) is a very simple, basic language, like "Pebble-ese."

The paper argues that you can translate any complex "Gravity" or "Light" conversation into "Pebble-ese." The translation isn't perfect word-for-word; it requires adding some mathematical "adjectives" (coefficients) based on how fast and in what direction the particles are moving.

The Secret Sauce:
The authors discovered that the reason complex theories (like Gravity) sometimes vanish is that the simple "Pebble" language they are translated into already vanishes under these specific conditions.

• If the simple pebble story says "The answer is zero," then the complex gravity story, no matter how many adjectives you add, must also be zero.
• It's like saying: "If the base ingredient (flour) is missing, no matter how much sugar or chocolate you add, you can't make a cake."

The "Hidden Zero" Condition

So, when does this vanishing happen?
Imagine you have a group of particles. You pick two specific ones (let's call them Alice and Bob) and you split the rest of the group into two teams, Team Left and Team Right.

The "Hidden Zero" happens when:

1. Alice and Bob are the "gatekeepers" standing between Team Left and Team Right.
2. The particles in Team Left and Team Right are arranged in a very specific, rigid way relative to Alice and Bob.
3. Under these strict rules, the interaction between the two teams cancels out perfectly, resulting in zero.

The Problem: The "Exploding Propagator"

Here is where it gets tricky. In physics, when particles interact, they often pass through a "bridge" called a propagator. Think of this bridge as a bridge over a river. The strength of the bridge depends on the distance between the banks.

The "Hidden Zero" condition requires the distance between certain banks to be zero.

• The Problem: If the distance is zero, the math says the bridge becomes infinitely strong (or infinitely weak, depending on how you look at it). In math terms, you get a "division by zero," which usually means the whole calculation explodes and breaks.
• The Question: If the calculation explodes, how can the answer be zero? It's like asking, "How can a building collapse into nothingness if the ground beneath it is turning into lava?"

The Solution: The "Cancellation Dance"

The authors spent a lot of time figuring out how the math saves itself from exploding. They show that the "lava" (the infinite numbers) is perfectly canceled out by other parts of the calculation.

They break this down into three scenarios:

1. The Simple Cases (Special Galileon & DBI):
   For some theories, the "bridge" that might explode doesn't even exist in the first place. It's like trying to build a bridge over a river that isn't there. The math is safe, and the answer is simply zero.

2. The Middle Cases (Yang-Mills & NLSM):
   For these, the bridges exist, but the authors show that you can rearrange the pieces of the puzzle (using a rule called the Kleiss-Kuijf relation) so that the exploding parts are grouped together and cancel each other out before they can cause trouble. It's like having two people pull on a rope with equal and opposite force; the rope doesn't snap, it just stays still.

3. The Hard Case (Gravity):
   Gravity is the most complicated. Here, the bridges do exist, and they do threaten to explode.

   • The authors show that the explosion happens in layers.
   • First, they prove that the "middle layer" of the explosion (the parts that are almost infinite but not quite) cancels out perfectly because of a symmetry dance. If you swap two particles, the sign flips, and the errors cancel.
   • Second, they show that the remaining parts that do have the dangerous "infinite bridges" are multiplied by coefficients that are so small (because of the specific conditions) that they effectively become zero.
   • Finally, they use the "Universal Translator" again to show that the remaining pieces are just simple "Pebble" stories that are known to be zero.

The Conclusion

The paper doesn't just say "Gravity vanishes here." It provides a unified explanation for why this happens across almost all major theories of particle physics.

• The Core Claim: All these "Hidden Zeros" are actually just reflections of a simpler, underlying truth in the "Bi-adjoint Scalar" theory.
• The Mechanism: Even though the math looks like it should break (explode) when you force these specific conditions, the universe has a built-in "cancellation mechanism" that removes the dangerous infinities, leaving behind a clean, perfect zero.

In short, the authors found a master key (the universal expansion) that unlocks the mystery of why complex particle interactions sometimes disappear entirely, proving that even when the math looks like it's about to blow up, the pieces fit together perfectly to result in nothing.

Technical Summary

Technical Summary: Note on hidden zeros and expansions of tree-level amplitudes

Problem Statement
Recent research has identified a property of tree-level scattering amplitudes in various theories (including Yang-Mills, Non-Linear Sigma Model, Special Galileon, Dirac-Born-Infeld, and Gravity) known as "hidden zeros." These amplitudes vanish on specific loci in kinematic space where certain Mandelstam variables $s_{ab}$ vanish, subject to specific polarization constraints. While these zeros and associated factorizations were originally discovered using kinematic meshes and stringy curve integrals, and later interpreted via the CHY formalism (attributing zeros to Jacobian divergences), a unified understanding for unordered amplitudes (like Gravity) remained challenging. Specifically, for unordered amplitudes, the kinematic condition $s_{ab}=0$ introduces potential divergences from propagators $1/s_{ab}$ in Feynman diagrams. A rigorous explanation of how these divergences are eliminated while the amplitude vanishes was needed, particularly for theories with cubic interactions like Gravity.

Methodology
The authors propose a unified interpretation of hidden zeros based on the universal expansions of tree-level amplitudes. This approach expands amplitudes of various theories (YM, NLSM, SG, DBI, GR) into a basis of bi-adjoint scalar (BAS) amplitudes, weighted by polynomial coefficients dependent on kinematics and polarization vectors.

The core logical steps are:

1. BAS Zeros: The authors first establish that specific BAS partial amplitudes vanish on the kinematic loci defined by $s_{ab}=0$ (where $a$ and $b$ separate two sets of particles). This is proven using traditional Feynman rules (Appendix A).
2. Expansion and Reorganization: Using universal expansion formulas (e.g., expanding YM to BAS), the authors express the target amplitudes as sums over BAS amplitudes with different orderings.
3. Kleiss-Kuijf (KK) Relations: Under the specific kinematic constraints, the coefficients of the expansion become independent of the "shuffles" (interleaving) of particle sets. This allows the application of KK relations to reorganize the sum into BAS amplitudes with orderings compatible with the vanishing condition.
4. Divergence Cancellation: For unordered amplitudes (SG, DBI, GR), the authors analyze the mechanism of divergence removal. They introduce a regularization parameter $\tau$ where $s_{ab} \sim \tau$. They demonstrate that terms with lower-order numerators relative to the denominator (e.g., $\tau^q/\tau^r$ where $q < r$) cancel out due to the antisymmetry of structure constants and the specific kinematic constraints when summing over related orderings.

Key Contributions and Results

• Unified Interpretation for Ordered Amplitudes: The paper re-derives the hidden zeros for ordered amplitudes (Yang-Mills and NLSM). By expanding these amplitudes into BAS ones and applying KK relations, the vanishing of the target amplitude is shown to be a direct consequence of the vanishing of specific BAS amplitudes.
• Extension to Unordered Amplitudes: The method is extended to unordered amplitudes (Special Galileon, Dirac-Born-Infeld, and Gravity).
  • Special Galileon (SG): Since SG lacks cubic vertices, divergent propagators are naturally absent. The zeros are shown to follow from the zeros of NLSM amplitudes.
  • Dirac-Born-Infeld (DBI): Although DBI contains cubic vertices, the expansion of DBI into NLSM amplitudes (which lack cubic vertices) ensures the absence of divergent propagators, leading to the vanishing result.
  • Gravity (GR): This is the most complex case. The authors provide a detailed mechanism for the cancellation of divergences arising from $1/s_{ab}$ propagators.
    • They classify terms in the expansion by their order in $\tau$.
    • They demonstrate that "intermediate" terms (where the numerator order is less than the denominator order) cancel pairwise. This cancellation relies on the antisymmetry of the structure constants in the BAS theory and the kinematic constraints (e.g., $\epsilon_a \cdot k_b = 0$).
    • The remaining terms either vanish due to higher-order coefficients in $\tau$ (limit $\tau \to 0$) or are converted into ordered amplitudes that vanish via the KK relation and the underlying BAS zeros.
• Explicit Verification: The cancellation mechanism for Gravity is explicitly verified for a 6-point example (Appendix B), showing how $\tau^1$ terms cancel out, leaving only higher-order terms that vanish in the limit.

Significance and Claims
The paper claims to provide a totally different picture compared to the CHY-based interpretation. Instead of attributing zeros to the divergence of a Jacobian in a contour integral, this work attributes them to the vanishing of a specific set of BAS amplitudes. The authors argue that proving these BAS zeros is "much more easier" than proving zeros for other theories directly.

Furthermore, the paper addresses the "detailed mechanism of eliminating potential divergences" in unordered amplitudes, a problem that the original CHY proof (while strict) does not explicitly resolve in terms of Feynman diagram cancellations. The authors emphasize that their method offers a constructive way to see how divergences arising from $1/s_{ab}$ are removed through the interplay of expansion coefficients, KK relations, and BAS zeros.

The authors note that while their discussion is restricted to pure external states, the method naturally extends to mixed amplitudes (e.g., YM$\oplus$BAS). However, they explicitly state that extending this method to novel factorizations (splittings into off-shell currents) is left for future work, as the expansion formulas reviewed are strictly for on-shell amplitudes.