New recursive construction for tree NLSM and SG amplitudes, and new understanding of enhanced Adler zero

This paper proposes a new bottom-up recursive method to construct tree amplitudes for non-linear sigma model and special Galileon theories by extending them to off-shell configurations, thereby deriving their exact universal soft behaviors and providing a novel Lagrangian-free understanding of the enhanced Adler zero as a consequence of soft behaviors vanishing faster than naive power counting.

The Gist

Imagine you are trying to build a complex Lego castle, but you don't have the instruction manual (the Lagrangian) and you aren't allowed to look at the finished product. All you have are a few basic rules about how the bricks behave when you push them gently, and a secret rule that says the castle must be built from two identical halves glued together.

This is exactly what the author, Kang Zhou, does in this paper. He proposes a new way to calculate how particles smash into each other (scattering amplitudes) for specific theories of physics, without needing the traditional "blueprint" of the universe.

Here is the breakdown of his method using everyday analogies:

1. The Problem: Building Without a Blueprint

In physics, there are two main ways to figure out how particles interact:

• Top-Down: You start with a master equation (the Lagrangian) that describes the laws of the universe, and you calculate the results from there.
• Bottom-Up: You start with the results you see (the particles) and try to figure out the rules that must exist to create them.

The author is doing Bottom-Up. He wants to build the "castles" (the math describing particle collisions) using only two guiding principles:

1. Soft Behavior: If you gently nudge one of the particles (make its momentum very small, or "soft"), the whole interaction changes in a very predictable, universal way.
2. Double Copy: The structure of these interactions is like a sandwich where the filling is made of two identical layers of a simpler theory (Bi-adjoint Scalar theory) stuck together.

2. The Hurdle: The "Odd Number" Problem

The author tries to build these castles starting from the smallest ones (3 or 4 particles) and working up. However, he hits a wall:

• In the specific theories he is studying (Non-Linear Sigma Model and Special Galileon), the "castles" with an odd number of particles simply don't exist when the particles are real and physical. They vanish into thin air.
• It's like trying to build a staircase, but the first step (3 particles) disappears. If the first step is gone, you can't build the second step (4 particles) or the third (5 particles) because you have nothing to stand on.

3. The Solution: The "Ghost" Off-Shell Extension

To solve this, the author introduces a clever trick. He imagines a "ghost" version of the particles.

• On-Shell (Real): The particles follow all the strict laws of physics (like having a specific mass). In this world, odd-numbered castles vanish.
• Off-Shell (Ghost): He relaxes the rules slightly for the first and last particle in the chain, allowing them to be "off-shell" (not strictly following the usual mass rules).
• The Magic: In this "ghost" world, the odd-numbered castles do not vanish. They exist!

Now, the author can build the 3-particle "ghost" castle. Once he has that, he can use the "Soft Behavior" rule to figure out how to build the 4-particle ghost castle, then the 5-particle one, and so on. He is essentially climbing a ladder that only exists in the "ghost" world.

4. The Recursive Construction (The Assembly Line)

Once he has the small ghost castles (3 and 4 particles), he uses the universality of soft behavior as a machine.

• He asks: "If I take a 4-particle ghost castle and gently nudge one particle, how does it break apart?"
• He finds a pattern (a formula) that describes this breakage.
• He then assumes this pattern holds true for any size castle.
• Using this pattern, he can reverse-engineer the process: "If I know how a 5-particle castle breaks into a 4-particle one, I can build the 5-particle one from the 4-particle one."

He repeats this process, building larger and larger castles recursively. The result is a giant formula that describes the interaction of any number of particles, expressed as a combination of the simpler "Bi-adjoint Scalar" bricks.

5. The "Enhanced Adler Zero": The Vanishing Act

This is the most surprising part of the paper.

• The Expectation: Based on the "naive" rules of the game (counting how many times you have to push the particles), you would expect the interaction to get weaker in a certain way when you gently nudge a particle.
• The Reality: The author finds that the interaction doesn't just get weaker; it vanishes faster than anyone expected. It's like pushing a door that is already unlocked, but instead of opening, the door disappears entirely.
• The Explanation: In the "ghost" world, the math works out perfectly. But when he turns the "ghost" particles back into "real" particles (the on-shell limit), two things happen:
  1. The "odd-numbered" castles vanish (because they were never real to begin with).
  2. The math formula for the "soft nudge" hits a specific identity (a mathematical zero) that cancels everything out.

This explains the Enhanced Adler Zero: The reason the interaction vanishes so quickly isn't because of some hidden symmetry in a complex equation; it's simply because the mathematical structure of the "ghost" construction forces it to be zero when you return to reality.

6. What About Other Theories?

The author also looks at Born-Infeld (BI) and Dirac-Born-Infeld (DBI) theories.

• BI: The method doesn't work perfectly here because the "ghost" bricks don't fit together the same way (due to polarization issues), but the "vanishing act" (Adler zero) can still be understood using similar logic.
• DBI: The method fails completely for the "ghost" construction because the math requires an odd number of dimensions that can't be built with the available bricks. However, if you already know the answer from other methods, you can still use this logic to understand why the vanishing act happens.

Summary

The author built a new "bottom-up" factory to construct particle interaction formulas.

1. He created a temporary "ghost" world where impossible odd-numbered interactions could exist.
2. He used universal rules about how these interactions behave when nudged to build larger and larger structures.
3. He proved that when you return to the real world, the odd structures disappear, and the remaining structures vanish faster than expected (the Enhanced Adler Zero).
4. He showed that this "zero" isn't a mystery; it's a natural consequence of the mathematical building blocks he used.

This approach allows physicists to understand these complex theories without needing to start with the heavy, complicated "Lagrangian" blueprints.

Technical Summary

Technical Summary: New Recursive Construction for Tree NLSM and SG Amplitudes, and New Understanding of Enhanced Adler Zero

Problem Statement
The modern S-matrix program aims to construct scattering amplitudes directly from general principles like Lorentz invariance and unitarity, bypassing traditional Lagrangian formulations. While on-shell recursion (BCFW) and soft theorems have been successful, bottom-up constructions based on soft theorems typically require the exact soft behaviors (e.g., explicit soft factors or the assumption of Adler zeros) as input. This creates a circular dependency where the origin of these behaviors must be derived top-down from a Lagrangian to be understood. Previous attempts to bootstrap Non-Linear Sigma Model (NLSM) amplitudes using only the universality of soft behavior and the double copy structure failed to yield a unique solution due to the independence of bi-adjoint scalar (BAS) amplitudes. Furthermore, standard on-shell NLSM amplitudes vanish for odd numbers of external legs, complicating recursive constructions that rely on factorization into lower-point amplitudes.

Methodology
The authors propose a new bottom-up recursive method to construct tree-level amplitudes for NLSM and Special Galileon (SG) theories. The construction relies on two primary assumptions:

1. Universality of Soft Behaviors: The soft behavior observed in the lowest-point non-trivial amplitudes holds for all higher-point amplitudes.
2. Double Copy Structure: Amplitudes can be expanded into a basis of double color-ordered bi-adjoint scalar (BAS) amplitudes, where the expansion coefficients depend on kinematic variables and one color ordering (for NLSM) or two (for SG), but are independent of the specific ordering of the BAS basis.

To overcome the obstacle of vanishing odd-point on-shell amplitudes, the authors introduce an off-shell extension. They define off-shell amplitudes by allowing two external legs (typically $k_1$ and $k_n$) to be off-shell ($k^2 \neq 0$). This extension permits non-vanishing amplitudes with an odd number of external legs. The procedure involves:

• Bootstrapping Low-Point Amplitudes: Uniquely fixing the 3-point and 4-point off-shell amplitudes using physical conditions (mass dimension, pole structure, and symmetry) without assuming a Lagrangian.
• Deriving Soft Factors: Analyzing the 4-point off-shell amplitudes to derive the single soft behavior (leading order in soft momentum $\tau$).
• Recursive Construction: Inverting the derived soft theorems to construct $(m+1)$-point off-shell amplitudes from $m$-point amplitudes.
• Expansion to BAS Basis: Expressing the resulting general off-shell amplitudes as expansions into the KK (Kleiss-Kuijf) BAS basis.

Key Contributions and Results

• Recursive Construction of NLSM Amplitudes:

  • The authors successfully bootstrap the 4-point NLSM amplitude and extend it to off-shell 3-point and 4-point amplitudes.
  • They derive a universal soft factor $S^{(0)}_i$ for NLSM, which is a sum of adjacency indicators $\delta_{ji}$ over external legs.
  • Using this universality, they recursively construct the general $n$-point off-shell NLSM amplitude, finding a unique solution expressed as:
    $$\mathcal{A}_{\text{NLS}}(\sigma_n) = \sum_{\sigma_{n-2}} \left( \prod_{i=2}^{n-1} 2k_i \cdot L_i \right) \mathcal{A}_{\text{BAS}}(1, \sigma_{n-2}, n | \sigma_n)$$
    where $L_i$ is the sum of momenta to the left of leg $i$ in the color ordering.
  • In the on-shell limit ($k_1^2 = k_n^2 = 0$), amplitudes with odd $n$ vanish automatically due to BCJ relations, recovering standard physical NLSM amplitudes for even $n$.

• Recursive Construction of SG Amplitudes:

  • A parallel construction is applied to Special Galileon (SG) theory. The SG amplitudes are expanded with coefficients depending on two color orderings.
  • The recursive method yields the general off-shell SG amplitude:
    $$\mathcal{A}_{\text{SG}}(\{i\}_n) = \sum_{\sigma_{n-2}} \sum_{\bar{\sigma}_{n-2}} \left( \prod_{a=2}^{n-1} 2k_a \cdot L_a \right) \left( \prod_{b=2}^{n-1} 2k_b \cdot R_b \right) \mathcal{A}_{\text{BAS}}(1, \sigma_{n-2}, n | 1, \bar{\sigma}_{n-2}, n)$$
  • Similar to NLSM, odd-point on-shell amplitudes vanish, and even-point amplitudes match known results.

• New Understanding of Enhanced Adler Zero:

  • The paper provides a bottom-up interpretation of the "enhanced Adler zero," where amplitudes vanish at a higher order in soft momentum $\tau$ than naive power counting suggests.
  • For NLSM: Naive counting of the expansion formula suggests a $\tau^0$ leading behavior (since coefficients are $\tau^1$ and BAS basis is $\tau^{-1}$). However, the actual leading behavior is $\tau^1$. This vanishing at $\tau^0$ is explained by the simultaneous vanishing of two factors: the identity $\sum_{j \neq i} \delta_{ji} = 0$ (momentum conservation in the soft limit) and the vanishing of the $(n-1)$-point amplitude (which has an odd number of legs).
  • For SG: Naive counting suggests a $\tau^2$ behavior, but the actual leading behavior is $\tau^3$. The vanishing at $\tau^2$ is attributed to the vanishing of the sum $\sum_{\ell \neq j} k_j \cdot k_\ell = 0$ (due to momentum conservation and on-shell conditions) and the vanishing of the odd-point sub-amplitude.
  • The authors emphasize that these "zeros" possess explicit formulas derived from the expansion structure, rather than being assumed symmetries.

• Application to BI and DBI:

  • The authors note that their recursive construction method does not directly apply to Born-Infeld (BI) and Dirac-Born-Infeld (DBI) theories. For BI, coefficients depend on photon polarizations, preventing a pure Mandelstam variable bootstrap. For DBI, the mass dimension of coefficients for odd $n$ becomes odd, making it impossible to construct Lorentz-invariant off-shell amplitudes with odd legs using only momenta.
  • However, assuming the expansions of BI and DBI amplitudes into BAS bases are known (via other methods), the authors demonstrate that the enhanced Adler zero for these theories can be understood similarly: the vanishing of soft behavior is due to specific kinematic identities (e.g., $\sum \epsilon_j \cdot k_\ell = 0$ for BI) and the vanishing of odd-point sub-amplitudes.

Significance and Claims
The paper claims to offer a self-contained, bottom-up derivation of tree-level NLSM and SG amplitudes without relying on a Lagrangian or assuming exact soft behaviors as input. Instead, the exact soft behaviors are derived from the lowest-point amplitudes and the assumption of universality.

The primary significance lies in the new understanding of the enhanced Adler zero. The authors argue that this phenomenon is not merely a consequence of hidden symmetries in a Lagrangian but is a structural feature of the amplitude expansion itself. Specifically, the "zero" arises because the leading order terms in the soft expansion vanish due to simple kinematic identities and the vanishing of amplitudes with odd numbers of external legs. This provides a purely on-shell, algebraic explanation for why these "exceptional" effective theories exhibit enhanced soft behavior.

The work suggests that the universality of soft behavior, combined with the double copy structure, is a powerful constraint capable of uniquely determining amplitudes for a class of scalar effective theories. The authors acknowledge that while their specific recursive construction fails for BI and DBI due to dimensional and polarization constraints, the interpretative framework for their enhanced Adler zeros remains valid.