Note on tree NLSM amplitudes and soft theorems

This paper utilizes the universality of single soft behavior and the double copy structure to fully determine tree-level non-linear sigma model amplitudes via an expanded formula relating them to bi-adjoint scalar amplitudes, while also deriving the corresponding double soft factors.

The Gist

Imagine the universe as a giant, chaotic dance floor where invisible particles are constantly colliding, bouncing off each other, and scattering in every direction. Physicists call these collisions "scattering amplitudes." Calculating exactly how these particles behave is like trying to predict the exact path of every dancer in a crowded room just by watching them bump into one another. It's incredibly complex.

This paper is about finding a clever shortcut to predict the dance moves of a specific group of particles called "scalars" in a theory known as the Non-Linear Sigma Model (NLSM). The authors, Kang Zhou and Fang-Stars Wei, didn't just crunch numbers; they used a set of logical rules and a "copy-paste" trick to figure out the entire dance routine from scratch.

Here is the breakdown of their discovery using everyday analogies:

1. The "Soft" Trick: The Vanishing Dancer

In particle physics, there's a concept called a "soft theorem." Imagine a dancer on the floor who is moving so slowly (has so little energy) that they are practically standing still. If you remove this "soft" dancer from the scene, the rest of the dance floor (the other particles) usually reacts in a very predictable, universal way.

• The Problem: For most particles, if you remove the slow dancer, the remaining group just keeps dancing, and the slow dancer leaves behind a specific "signature" or "factor" that tells you how the group changed.
• The NLSM Twist: For the specific particles in this paper, something magical happens. If you try to make one of them "soft" (slow), the entire interaction vanishes. It's as if the slow dancer doesn't just leave a signature; they make the whole dance floor go silent. This is called Adler's Zero.
• The Discovery: The authors first proved this happens for a simple 4-dancer group. Then, they made a bold assumption: If this "silence" happens for the small group, it must happen for any size group. They used this "silence rule" as a blueprint to build the formulas for groups of any size.

2. The "Double Copy" Blueprint

To build these formulas, the authors used a tool called the Double Copy. Think of this like a translation dictionary.

• There is a very simple, boring theory called the Bi-Adjoint Scalar (BAS) theory. It's like a Lego set with only one type of block. You can easily calculate how these blocks connect.
• The NLSM (our complex dance) is much more complicated.
• The "Double Copy" idea says: "If you take the simple BAS Lego instructions and multiply them by a specific set of numbers (coefficients), you get the complex NLSM dance instructions."

The authors' job was to figure out exactly what those "numbers" (coefficients) are.

3. Solving the Puzzle

The authors asked: "What kind of numbers can we use that will make the dance go silent whenever we slow down one dancer?"

• The Constraints: They knew the numbers had to follow the laws of physics (mass dimensions) and had to treat all dancers equally (permutation symmetry).
• The Solution: They found that the only numbers that fit the "silence" rule were a specific pattern of multiplying the dancers' momenta (their speed and direction) together.
• The Result: They wrote down a single, master formula (Equation 3.15) that can generate the behavior of any number of these particles, as long as the number is even (4, 6, 8, etc.). They didn't need to look at the original, complicated physics equations (Lagrangians); they just used the "silence rule" and the "copy-paste" trick to derive it.

4. The "Double Soft" Surprise

Once they had their master formula, they tested it with a harder scenario: What happens if two dancers are slowed down at the same time?

• In the previous step, slowing down one dancer made the whole thing vanish.
• But if you slow down two dancers simultaneously, the silence breaks, and a new, specific interaction emerges.
• The authors used their new formula to calculate exactly how this "double silence" breaks. They found the "soft factors" (the mathematical description of this interaction) and confirmed they matched what other physicists had found using much more difficult methods.

Summary

In simple terms, the authors said:

1. Observation: When one of these specific particles is very slow, the interaction disappears.
2. Assumption: This rule applies to all sizes of interactions.
3. Method: Use a simple "translation" from a basic theory (BAS) and find the specific numbers that make the "disappearing" rule work.
4. Result: They successfully built the complete mathematical description for these particle collisions without needing the traditional, heavy machinery of the theory. They then used this new description to predict what happens when two particles are slow, confirming their method works.

It's like figuring out the rules of a complex board game just by knowing that "if a player rolls a zero, the game resets," and then using that one rule to deduce the entire rulebook.

Technical Summary

Technical Summary: Note on tree NLSM amplitudes and soft theorems

Problem Statement
The paper addresses the construction of tree-level scattering amplitudes for the Non-Linear Sigma Model (NLSM). A central challenge in amplitude construction is the logical circularity often found in deriving soft theorems: typically, one requires an explicit amplitude formula (e.g., via Feynman diagrams or CHY integrals) to derive soft factors, yet soft theorems are often used to construct amplitudes. The authors aim to resolve this by treating the universality of soft behavior as a fundamental principle to determine the amplitudes, rather than deriving soft factors from pre-existing amplitudes. Specifically, they focus on the NLSM, where the single soft limit exhibits "Adler's zero" (the amplitude vanishes), a behavior distinct from theories like Yang-Mills or Gravity where amplitudes factorize non-trivially.

Methodology
The authors employ a "soft bootstrap" approach, combining three key physical constraints:

1. Universality of Soft Behavior: The assumption that the single soft behavior (vanishing at leading and sub-leading orders) is universal across all N-point amplitudes.
2. Double Copy Structure: Utilizing the observation that NLSM amplitudes can be expanded into a basis of bi-adjoint scalar (BAS) amplitudes, where the expansion coefficients depend on momenta and one color ordering but are independent of the other.
3. Kinematic Constraints: Analyzing mass dimensions and Lorentz invariance to restrict the form of the expansion coefficients.

The core methodology involves expanding the NLSM amplitude $A_N$ into the KK (Kleiss-Kuijf) basis of double color-ordered BAS amplitudes $A_S$:
$$A_N(\sigma_n) = \sum_{\sigma'_{n-2}} C(\sigma'_{n-2}, k_i) A_S(1, \sigma'_{n-2}, n | \sigma_n)$$
The goal is to determine the coefficients $C(\sigma'_{n-2}, k_i)$ solely by imposing the condition that the total amplitude vanishes in the single soft limit ($k_i \to \tau k_i$ as $\tau \to 0$) up to order $\tau^0$.

Key Contributions and Results

1. Derivation of Adler's Zero:
   The authors first analyze the 4-point NLSM amplitude. By considering kinematics and mass dimensions, they demonstrate that the coefficient of the expansion must be of order $\tau^2$ in the soft limit, while the leading BAS amplitude is of order $\tau^{-1}$. Consequently, the product vanishes at orders $\tau^{-1}$ and $\tau^0$. This establishes Adler's zero for the 4-point case without assuming it a priori. They argue that the universality of this behavior implies that all un-vanishing NLSM tree amplitudes must have an even number of external legs.

2. Construction of General Tree Amplitudes:
   For $n \ge 6$, the authors impose the universality of the single soft behavior on the general expansion formula. By requiring the amplitude to vanish at $\tau^{-1}$ and $\tau^0$ orders for any soft leg, they derive the specific form of the coefficients. The solution requires the coefficients to contain factors of the form $k_i \cdot X_i$, where $X_i$ is the sum of momenta of legs to the left of $i$ in the color ordering.
   The resulting expanded formula for the $n$-point NLSM amplitude is:
   $$A_N(\sigma_n) = \sum_{\sigma'_{n-2}} \left( \prod_{i=2}^{n-1} k_i \cdot X_i \right) A_S(1, \sigma'_{n-2}, n | \sigma_n)$$
   This formula is shown to be unique under the assumption of manifest permutation invariance among the external legs $\{2, \dots, n-1\}$ and the absence of poles in the coefficients.

3. Derivation of Double Soft Factors:
   Using the derived expanded formula, the authors calculate the double soft limits (where two external scalars $a$ and $b$ become soft simultaneously, $k_a, k_b \to \tau k_{a,b}$).

   • Leading Order ($\tau^0$): They derive a double soft factor $S_N^{(0)}(a, b)$ that relates the $(n+2)$-point amplitude to the $n$-point amplitude. This result matches previous findings in the literature [29, 30].
   • Sub-leading Order ($\tau^1$): They perform a detailed analysis of Feynman diagrams (categorized by how the soft legs couple to vertices) to extract the sub-leading soft factor $S_N^{(1)}(a, b)$. This involves complex manipulations of derivatives with respect to momenta and angular momentum operators. The final result also coincides with existing literature.

Significance and Claims
The paper claims that the tree-level amplitudes of the NLSM are completely determined by the universality of the single soft behavior (Adler's zero) and the double copy structure, without needing to invoke the traditional Lagrangian or Feynman rules. The authors emphasize that Adler's zero is a deduced property of the constructed amplitudes rather than an initial assumption.

The significance of this work lies in extending the "soft bootstrap" program—previously successful for Yang-Mills, Einstein-Yang-Mills, and Gravity theories [22]—to the NLSM. The authors note that their method successfully reproduces known double soft factors, validating the expanded formula. They conclude that this approach provides a powerful, principle-based method for constructing tree amplitudes and suggest potential future applications to a wider range of theories and potentially to loop-level amplitudes.