Can Locality, Unitarity, and Hidden Zeros Completely Determine Tree-Level Amplitudes?

This paper demonstrates that tree-level amplitudes for Yang-Mills and Non-Linear Sigma Model theories are completely determined by the principles of locality, unitarity, and newly discovered hidden zeros, as evidenced by the successful reconstruction of their single- and double-soft theorems.

The Gist

Imagine you are trying to reconstruct a shattered vase. You have a few pieces of the puzzle, but you don't have the picture on the box to tell you what the final vase looks like.

In the world of particle physics, scientists are trying to do the same thing: reconstruct how particles scatter (bounce off each other) without knowing the "blueprint" (the traditional equations or Lagrangians) that usually governs them.

For a long time, physicists thought they needed three things to solve this puzzle:

1. Locality: Things only interact when they touch (or are connected by a force carrier).
2. Unitarity: Probability must add up to 100% (you can't lose or create energy out of nowhere).
3. A Special Rule: A specific "secret sauce" that changes depending on the type of particle. For light particles (gluons), this was "Gauge Invariance." For heavy particles (pions), it was the "Adler Zero."

The problem? Every new type of particle seemed to need its own unique "Secret Sauce." It felt like the universe was speaking a different dialect for every species of particle.

The Big Question:
Is there a universal "Secret Sauce" that works for everything?

The New Discovery: "Hidden Zeros"
Recently, physicists discovered something strange called Hidden Zeros. Imagine a crowded dance floor where everyone is dancing wildly. Suddenly, if you ask two specific groups of dancers to stand perfectly still relative to each other, the entire party stops. The music cuts out. The energy vanishes.

In particle physics, this means that under very specific, weird conditions, the probability of particles scattering drops to exactly zero. This isn't just a fluke; it's a fundamental rule of nature.

What This Paper Does
The author, Kang Zhou, asks: "If we use Locality, Unitarity, and these new Hidden Zeros, can we rebuild the entire vase (the scattering amplitude) without needing any other special rules?"

To test this, he tried to rebuild two famous types of particle interactions:

1. Yang-Mills (YM): The theory behind the strong force (gluons).
2. NLSM: The theory behind pions (particles that make up atomic nuclei).

The Method: The "Soft" Approach
Instead of trying to build the whole vase at once, the author looked at what happens when a particle is "soft."

• The Analogy: Imagine a bowling ball rolling down a lane. Now, imagine a feather gently floating onto the lane.
  • Single Soft: One feather floats in.
  • Double Soft: Two feathers float in at the same time.

The author asked: "If we know how the system reacts to these gentle feathers (using only Locality, Unitarity, and Hidden Zeros), can we figure out the reaction to the whole bowling ball?"

The Results

1. For Gluons (YM): He successfully reconstructed the rules for how a single feather (soft gluon) interacts. He found that Locality and Unitarity could explain the obvious parts, but the "Hidden Zeros" were the key to filling in the missing gaps.
2. For Pions (NLSM): He did the same for two feathers (double soft). Again, the Hidden Zeros provided the missing pieces needed to complete the picture.

The Conclusion
The results matched the known, standard physics perfectly. This leads to a powerful conclusion: Yes, Locality, Unitarity, and Hidden Zeros are enough.

You don't need a different "Secret Sauce" for every particle. You just need these three universal ingredients. It's like realizing that all languages in the world are actually just different combinations of the same 26 letters of the alphabet.

Why This Matters

• Simplicity: It suggests the universe is more unified and elegant than we thought.
• New Tools: If we can prove this works for everything (including gravity), we might be able to calculate how black holes or the Big Bang behaved without needing complex, messy equations. We could just use these three simple rules.

The Catch (The "But...")
The author admits a small flaw in his logic: He proved it works by comparing his results to answers he already knew. It's like solving a math problem and checking the back of the book to see if you got the right answer. He hasn't mathematically proven that no other answers are possible yet.

However, he did a "self-consistency check" (making sure the answer doesn't contradict itself) and it passed with flying colors. He suggests that in the future, we might be able to prove that these three rules are the only rules needed, unlocking a completely new way to understand the universe.

Technical Summary

1. Problem Statement

The paper addresses a fundamental question in the modern on-shell program of scattering amplitudes: Can a minimal set of physical criteria completely determine tree-level scattering amplitudes without relying on Lagrangians or Feynman rules?

• Context: Traditional on-shell methods (like BCFW recursion) rely on Locality (factorization at physical poles) and Unitarity (residue factorization). However, these two principles alone are often insufficient to fix the full amplitude.
  • For Yang-Mills (YM) theory, an additional criterion, Gauge Invariance, is required.
  • For Nonlinear Sigma Model (NLSM) theories, the Adler Zero (vanishing amplitude in the soft limit) is required.
• The Gap: There is no known "universal" criterion $X$ such that $\{ \text{Locality, Unitarity, } X \}$ works for a broad class of theories.
• The Proposal: The author investigates whether Hidden Zeros—a recently discovered analytic property where amplitudes vanish under specific kinematic constraints distinct from soft limits—can serve as this universal $X$.
• Specific Goal: To determine if $\{ \text{Locality, Unitarity, Hidden Zeros} \}$ can fully reconstruct the single-soft theorems of YM and double-soft theorems of NLSM. Since full amplitudes can be reconstructed from these soft theorems, a positive result implies the criteria are sufficient for the full amplitudes.

2. Methodology

The author employs a constructive approach based on the soft limit ($\tau \to 0$) of external particles. The methodology involves separating the amplitude into singular (pole) and regular (non-pole) parts.

1. Factorization (Locality & Unitarity):
   • The amplitude is decomposed into terms containing divergent propagators (poles) in the soft limit.
   • These pole terms are fixed entirely by Locality and Unitarity using on-shell factorization of lower-point amplitudes (determined via bootstrap/3-point constraints).
2. Hidden Zeros (The Missing Piece):
   • The remaining part of the amplitude (denoted as $R$ or $R'$) contains no poles at the soft limit. Locality and Unitarity alone cannot determine this part.
   • The author imposes Hidden Zero constraints. For a specific choice of non-adjacent particles $(i, j)$, the amplitude must vanish if the kinematic variables of particles in the sets $A$ (between $i$ and $j$) and $B$ (outside) satisfy orthogonality conditions (e.g., $\epsilon_a \cdot \epsilon_b = 0$ and $k_a \cdot k_b = 0$).
   • By requiring the constructed amplitude to vanish under these specific kinematic configurations, the unknown coefficients and operators in the non-pole part are fixed.
3. Consistency Verification:
   • The derived soft theorems are checked against known standard results (to confirm $R' = 0$).
   • Self-Consistency Checks:
     • Hidden Zero Consistency: The derived soft factors must satisfy hidden zeros for any choice of $(i, j)$, not just the one used to derive them.
     • Momentum Conservation: The soft operators must commute with momentum conservation constraints (re-parameterization invariance).

3. Key Contributions and Results

A. Yang-Mills (YM) Amplitudes (Single-Soft Limit)

• Leading Order ($O(\tau^{-1})$):
  • The leading soft behavior arises solely from diagrams with divergent propagators ($1/s_{s1}, 1/s_{sn}$).
  • Result: This order is completely determined by Locality and Unitarity alone. No hidden zeros are needed. The result matches the standard Weinberg soft factor.
• Sub-leading Order ($O(\tau^0)$):
  • This order includes contributions from non-pole terms ($R^{(0)}$) which are undetermined by factorization.
  • Method: The author imposes the hidden zero condition with $(i, j) = (1, n)$. This forces the unknown non-pole terms to cancel specific contributions from the pole terms.
  • Result: The derived sub-leading soft factor $S^{(1)}_{YM}$ exactly matches the standard result involving angular momentum operators ($J_i$).
  • Conclusion: The sub-leading soft theorem is uniquely fixed by $\{ \text{Locality, Unitarity, Hidden Zeros} \}$.

B. Nonlinear Sigma Model (NLSM) Amplitudes (Double-Soft Limit)

• Setup: Two adjacent pions ($s_1, s_2$) are taken to the soft limit simultaneously.
• Leading Order ($O(\tau^0)$):
  • Unlike YM, the leading double-soft limit is finite ($O(\tau^0)$). Divergent propagators ($1/s_{ns_1s_2}$) contribute, but there are also non-pole contributions.
  • Method: Using the hidden zero with $(i, j) = (1, n)$, the author fixes the unknown constant $p$ in the ansatz for the non-pole term.
  • Result: The hidden zero condition uniquely determines $p = 1/4$, yielding the standard leading double-soft factor.
• Sub-leading Order ($O(\tau^1)$):
  • The author constructs the sub-leading behavior by expanding the currents and applying the hidden zero constraint to fix the unknown operators.
  • Result: The derived sub-leading soft factor matches the standard result involving the angular momentum-like operator $\hat{L}_{s_1 s_2}$.
  • Conclusion: Both leading and sub-leading double-soft theorems are completely determined by the three criteria.

C. Verification

• Hidden Zero Universality: The derived soft factors were verified to satisfy hidden zeros for all possible pairs $(i, j)$, not just the specific pair used for derivation.
• Momentum Conservation: The soft operators were proven to be consistent with momentum conservation (invariance under re-parameterization of external momenta).

4. Significance and Implications

1. Universal Determination: The paper provides strong evidence that Hidden Zeros act as a universal criterion $X$. The set $\{ \text{Locality, Unitarity, Hidden Zeros} \}$ is sufficient to completely determine tree-level amplitudes for both YM and NLSM theories.
2. On-Shell Reconstruction: This establishes a pathway to construct amplitudes purely from on-shell data without invoking gauge invariance (for YM) or specific Lagrangian symmetries (for NLSM) as primary inputs.
3. Comparison with 2-Splits: The author notes that while previous work used "2-split" factorization (involving off-shell currents) to construct soft theorems, the Hidden Zero approach is superior because it relies entirely on on-shell information, avoiding gauge-dependence complexities associated with off-shell currents.
4. Limitations and Future Work:
   • Logical Gap: The current proof relies on comparing the derived results with known soft theorems to confirm the "missing terms" ($R'$) are zero. For a completely new theory with no known soft theorem, the method cannot yet logically guarantee completeness without this comparison.
   • Future Direction: The author suggests that the strong self-consistency constraints (satisfying all hidden zeros and pole factorization simultaneously) might be sufficient to prove the non-existence of extra terms, potentially leading to a fully rigorous, model-independent construction method.

Summary

Kang Zhou demonstrates that by combining Locality, Unitarity, and the newly discovered Hidden Zeros, one can uniquely reconstruct the single-soft theorems of Yang-Mills theory and the double-soft theorems of the Nonlinear Sigma Model. Since these soft theorems are sufficient to build the full tree-level amplitudes, the paper concludes that these three principles form a complete and universal foundation for determining tree-level scattering amplitudes in these theories.