A new recursion relation for tree-level NLSM amplitudes based on hidden zeros

This paper proposes a novel BCFW-like recursion relation for tree-level non-linear sigma model amplitudes that utilizes recently discovered hidden zeros to eliminate boundary terms, thereby uniquely determining all such amplitudes and reproducing their key features, including the Adler zero, $\delta$-shift construction, and expansion into bi-adjoint scalar amplitudes.

The Gist

Imagine you are trying to predict the outcome of a complex game of billiards, but instead of just two balls, you have dozens of them colliding at once. In the world of particle physics, this is what calculating "scattering amplitudes" is like: figuring out the probability of particles bouncing off each other in specific ways.

For decades, physicists have used a powerful mathematical tool called the BCFW recursion to solve these puzzles. Think of this tool as a "Lego builder." Instead of trying to build a giant, complicated castle all at once, the tool tells you to build smaller, simpler towers first, and then snap them together to make the big one.

However, there's a catch. When physicists tried to use this "Lego builder" on a specific type of theory called the Non-Linear Sigma Model (NLSM)—which describes how particles like pions interact—they hit a wall. The instructions kept leading to "ghost pieces" (mathematical terms called boundary terms) that didn't fit anywhere. These ghost pieces were like extra, unexplained bricks that appeared out of nowhere, making the final castle impossible to build correctly.

The New Discovery: "Hidden Zeros"

In this paper, the authors (Xiaodi Li and Kang Zhou) propose a clever new way to fix the Lego builder. They discovered a secret rule in the NLSM game called "Hidden Zeros."

Here is the analogy: Imagine you are walking through a maze. Usually, you have to check every single path to make sure you don't hit a dead end. But, the authors found that in this specific maze, there are certain "invisible walls." If you try to walk through these specific spots, you don't just hit a wall; you simply vanish. The path doesn't exist at all.

In math terms, these "invisible walls" are specific configurations of particle energies where the probability of the event becomes exactly zero.

The New Recipe

The authors combined this "vanishing act" (Hidden Zeros) with the standard "Lego building" (factorization on physical poles) to create a new recipe.

1. The Old Problem: The old method tried to build the castle but kept getting stuck with those annoying "ghost pieces" (boundary terms) that ruined the structure.
2. The New Trick: The authors realized that if they shifted the variables in their math in a very specific way, those "ghost pieces" would land exactly on the "invisible walls" (the Hidden Zeros).
3. The Result: Because the ghost pieces vanish at these spots, they disappear from the equation entirely. The math becomes clean, and the "Lego builder" works perfectly again without needing any extra, messy pieces.

What Did They Prove?

Using this new, clean method, the authors showed that they could rebuild three famous features of the NLSM game from scratch, proving their method works:

• The "Soft" Rule (Adler Zero): They proved that if you make one of the particles in the collision extremely slow (almost stopping), the whole interaction disappears. It's like if you gently tap a billiard ball instead of hitting it, nothing happens.
• The "Translation" Trick (δ-shift): They showed you can take a completely different, simpler game (called Tr(ϕ3)) and translate its rules into the NLSM game just by stretching the numbers in a specific way. It's like taking a recipe for a cake and realizing that if you double the sugar and triple the flour, you suddenly have a recipe for a pie.
• The Universal Blueprint (Expansion): They demonstrated that the complex NLSM game can be broken down into a universal set of simpler "bi-adjoint" building blocks. It's like showing that every complex building in a city is just made of the same few types of standard bricks arranged in different patterns.

Why Does This Matter?

The authors claim that their new method is special because it is independent of the number of dimensions (it works whether the universe has 3, 4, or 10 dimensions) and it doesn't require calculating "off-shell" objects (which are like trying to measure a ball while it's still in the air, before it hits the table).

In short, they found a way to use the "vanishing" nature of the universe to simplify the math, allowing them to reconstruct the entire behavior of these particles using only the simplest, most fundamental rules. They didn't just find a new way to do the math; they showed that the "Hidden Zeros" and the standard rules of physics are enough to uniquely determine how these particles behave, with no extra ingredients needed.

Technical Summary

Technical Summary: A New Recursion Relation for Tree-Level NLSM Amplitudes Based on Hidden Zeros

Problem Statement
The modern S-matrix program aims to construct scattering amplitudes directly from physical principles like locality and unitarity, bypassing traditional Lagrangian formulations. While the Britto-Cachazo-Feng-Witten (BCFW) recursion relation successfully reconstructs tree-level amplitudes for theories like Yang-Mills and gravity by utilizing factorization on physical poles, it encounters significant obstacles when applied to Effective Field Theories (EFTs), specifically the Non-Linear Sigma Model (NLSM). The primary difficulty is the presence of non-vanishing boundary terms at infinity, arising from contact terms that lack propagators. Previous attempts to resolve this included:

1. Incorporating Adler zeros (vanishing amplitudes in the soft limit), which successfully eliminated boundary terms but imposed a restrictive constraint on spacetime dimension ($D \leq 2n-1$).
2. Utilizing smooth splitting properties to shift Mandelstam variables rather than momenta, which removed dimension dependence but introduced off-shell amputated currents, making computations non-trivial.

The central problem addressed in this work is the development of a recursion relation for tree-level NLSM amplitudes that avoids boundary terms, remains independent of spacetime dimension, and relies solely on on-shell lower-point amplitudes without requiring off-shell objects.

Methodology
The authors propose a novel BCFW-like recursion relation that synthesizes two key concepts:

1. Mandelstam Variable Shifting ($z$-shift): Following the approach in [4], the external momenta are not shifted directly. Instead, Mandelstam variables are deformed linearly: $s_{ij}(z) = s_{ij} + z r_{ij}$, where $r_{ij}$ are auxiliary scalar variables satisfying momentum conservation-like conditions.
2. Hidden Zeros: The authors exploit a recently discovered property of NLSM amplitudes where they vanish on specific loci in kinematic space (hidden zeros). Specifically, for a chosen pair of non-adjacent legs $\{\tilde{i}, \tilde{j}\}$, the amplitude vanishes when all Mandelstam variables $s_{ab}$ connecting legs in set $A$ (between $\tilde{i}$ and $\tilde{j}$) and set $B$ (the complement) are zero.

Construction of the Recursion:

• Contour Integral: The amplitude $A_{2n}^{\text{NLSM}}$ is recovered via a contour integral of $A_{2n}^{\text{NLSM}}(z) / [z(1-z^2)]$. The factor $1/(1-z^2)$ is introduced to suppress the residue at $z=\infty$ (addressing the boundary term issue).
• Elimination of $z = \pm 1$ Poles: The factor $1/(1-z^2)$ introduces poles at $z = \pm 1$. To ensure these do not contribute to the recursion (which would require evaluating off-shell currents), the authors choose the deformation parameters $r_{ij}$ such that the kinematics at $z = \pm 1$ correspond to the configurations of two distinct hidden zeros.
• Vanishing Residues: Because the amplitude vanishes at these hidden zero configurations, the residues at $z = \pm 1$ are zero.
• Resulting Formula: The recursion reduces the $2n$-point amplitude to a sum over residues at finite physical poles ($z^*$ where a planar Mandelstam invariant $S(z^*) = 0$). The formula involves only products of on-shell lower-point NLSM amplitudes:
  $$A_{2n}^{\text{NLSM}} = \sum_{z^*: S(z^*)=0} \frac{A_{2n_1}^{\text{NLSM}}(z^*)}{[1-(z^*)^2]S} A_{2n+2-2n_1}^{\text{NLSM}}(z^*)$$

Key Contributions and Results
The paper demonstrates that this new recursion relation uniquely determines all tree-level NLSM amplitudes and is used to provide recursive proofs for three fundamental properties:

1. Adler Zero: The authors prove that the amplitude vanishes when any external momentum becomes soft ($k_1 \to 0$). The proof relies on the observation that the hidden zero condition is a generalization of the Adler zero condition; since the recursion is built upon hidden zeros, the soft limit behavior is naturally preserved.
2. $\delta$-Shift Construction: The paper provides a recursive proof that NLSM amplitudes can be constructed from $\text{Tr}(\phi^3)$ amplitudes. By applying a specific $\delta$-shift to $\text{Tr}(\phi^3)$ amplitudes and taking the limit $\delta \to \infty$ (or equivalently, extracting the coefficient of a specific power of $\delta$ via contour integration), one recovers the NLSM amplitude. The proof utilizes the fact that $\text{Tr}(\phi^3)$ amplitudes also exhibit hidden zeros at the same kinematic loci.
3. Universal Expansion into Bi-Adjoint Scalar (BAS) Amplitudes: The authors prove the expansion of NLSM amplitudes into a basis of bi-adjoint scalar amplitudes with universal coefficients involving kinematic factors ($k_i \cdot X_i$). The proof relies on the property that the BAS expansion also respects the hidden zero kinematics and satisfies specific shuffle relations (Kleiss-Kuijf relations) that cause the residues at $z=\pm 1$ to vanish.

Significance and Claims
The authors claim that their work establishes a minimal set of physical principles sufficient to uniquely determine tree-level NLSM amplitudes:

• Factorization on physical poles: The standard requirement for locality.
• Hidden Zeros: A new principle that replaces the need for off-shell currents or dimension-dependent constraints.

The significance of this approach lies in its conciseness and generality. Unlike previous methods, it:

• Does not require off-shell amputated currents.
• Is independent of spacetime dimension.
• Treats numerators and denominators of Mandelstam variables on equal footing (unlike surface recursion).
• Automatically fixes contact terms (vertices without poles) through the recursion of lower-point amplitudes.

The paper concludes that the combination of hidden zeros and physical pole factorization provides a complete and self-contained framework for NLSM amplitudes, offering a promising avenue for extending these techniques to loop-level integrands and other EFTs in future work.