Constructing tree amplitudes of scalar EFT from double soft theorem

This paper proposes a novel method based on the double soft theorem to construct tree-level scalar amplitudes for theories like the non-linear sigma model and its higher-derivative extensions, uniquely determining the double soft factor during the process to overcome the limitations of the traditional Adler zero.

The Gist

Imagine the universe as a giant, cosmic dance floor. In this dance, particles are the dancers, and the rules of their movement are governed by something called "Effective Field Theories" (EFTs). Physicists usually try to write down a "rulebook" (a Lagrangian) to predict how these dancers will interact. But sometimes, writing the rulebook is messy and complicated.

This paper proposes a clever new way to figure out the dance moves without needing the full rulebook. Instead, the author, Kang Zhou, uses a special trick based on how the dancers behave when they move very, very slowly.

Here is the breakdown of the paper's ideas using simple analogies:

1. The Problem: The "Silent" Dancer

In a specific type of particle physics model called the Non-Linear Sigma Model (NLSM), which describes particles called "pions" (think of them as the messengers of the strong nuclear force), there is a famous rule called Adler's Zero.

• The Analogy: Imagine a dancer who, if they slow down to a near-stop, simply vanishes from the dance floor. Their contribution to the dance becomes zero.
• The Limitation: For a long time, physicists used this "vanishing act" to predict how pions dance when there are only a few of them. However, this trick fails when the dance gets more complex or when the dancers have "higher-derivative interactions" (which is like adding complex, jerky moves to the choreography). The "vanishing" rule isn't strong enough to fix the whole routine.

2. The New Trick: The "Double Slow-Motion"

The author suggests a new method: instead of watching just one dancer slow down, watch two dancers slow down at the exact same time.

• The Analogy: If one dancer stops, they disappear. But if two dancers slow down together, they don't vanish; instead, they create a specific, predictable ripple or "soft factor" in the dance floor. It's like two people leaning on each other; they don't disappear, but they create a specific tension that tells you exactly how the rest of the group is moving.
• The Innovation: The paper doesn't just assume what this "double slow-motion" ripple looks like. Instead, the author builds the dance routine step-by-step and discovers the shape of the ripple as they go. It's like solving a puzzle where you figure out the shape of the missing piece by seeing how the surrounding pieces fit together.

3. The Construction Process: Building a Tower

The paper describes a "bottom-up" construction method, which is like building a tower of blocks:

1. The Base (4 Points): First, the author figures out the simplest possible dance move involving four particles. They show that this simple move can be understood as a mix of pions and another type of particle called "bi-adjoint scalars" (BAS). Think of BAS as the "scaffolding" or the invisible grid that holds the pions in place.
2. Adding More Blocks: Using the "single slow-motion" rule for the scaffolding (BAS), they add more particles to the dance floor one by one.
3. The Double Slow-Motion Key: Once they have a dance with two pions and many scaffolding pieces, they look at what happens when the two pions slow down together. This reveals the "Double Soft Theorem."
4. Inverting the Theorem: This is the magic step. Usually, you use a rule to predict the future. Here, the author does the reverse: they take the rule (the double slow-motion ripple) and work backward to build the entire dance routine for any number of particles. They essentially say, "If the ripple looks like this, then the dance must have been that."

4. The Results: Universal Patterns

By using this "inverted double slow-motion" method, the author successfully reconstructs:

• Standard Pion Dances: The basic interactions of pions.
• Complex Pion Dances: Interactions where pions are coupled with the scaffolding particles.
• Advanced Dances: The paper also constructs the simplest version of "complex" dances (those with higher-derivative corrections). These are like dances where the pions have to perform a specific, jerky spin. The author found that even for these complex moves, there is a unique, predictable pattern that can be built from the ground up.

5. The "Magic" Connection

A surprising discovery in the paper is that all these complex dance routines can be written as a "universal expansion."

• The Analogy: Imagine that no matter how complex the dance gets, you can describe the whole performance just by listing how the dancers move relative to the invisible scaffolding (the BAS basis).
• Why it matters: This automatically satisfies a very difficult mathematical constraint known as the BCJ relations. It's as if the author built a house using a specific type of brick, and because of the shape of the brick, the house automatically stands up straight without needing extra beams or glue. The complex rules of physics are satisfied naturally by the structure of the solution.

Summary

In short, this paper introduces a new way to predict how subatomic particles interact. Instead of relying on a complicated rulebook, the author uses the behavior of particles when they move very slowly (specifically, two at a time) to reverse-engineer the entire interaction. This method works for standard particle interactions and even for more complex, "jerky" interactions, providing a clean, universal formula that fits all the pieces together perfectly.

Technical Summary

Technical Summary: Constructing Tree Amplitudes of Scalar EFT from Double Soft Theorem

Problem Statement
The paper addresses a gap in the modern S-matrix program regarding the construction of tree-level scattering amplitudes for Effective Field Theories (EFTs), specifically the Non-Linear Sigma Model (NLSM). While the Adler zero (the vanishing of amplitudes in the single soft limit) is sufficient to uniquely determine tree-level NLSM amplitudes, it fails to fix amplitudes involving higher-derivative corrections. Previous attempts to resolve this, such as imposing Bern-Carrasco-Johansson (BCJ) relations as constraints, represent one approach. This paper proposes an alternative method that avoids assuming specific soft factor forms a priori, aiming to construct amplitudes for NLSM, NLSM coupled to bi-adjoint scalars (BAS), and NLSM with leading higher-derivative corrections using a bottom-up approach based on soft theorems.

Methodology
The core methodology involves "inverting" the double soft theorem. The authors leverage the observation that while single soft limits vanish (Adler zero), the simultaneous double soft limit of two external pions yields a well-defined, non-vanishing double soft theorem with universal soft factors.

The construction proceeds through the following steps:

1. Bootstrap 4-point Amplitudes: The authors first determine the 4-point NLSM amplitudes using physical constraints (mass dimension, symmetry, and BCJ/KK relations). These are reinterpreted as equivalent NLSM $\oplus$ BAS amplitudes involving two external pions and two external BAS scalars.
2. Derive Double Soft Factors: By constructing $(n+2)$-point NLSM $\oplus$ BAS amplitudes (with $n$ BAS scalars and 2 pions) via the inversion of the single soft theorem for BAS scalars, the authors derive the explicit form of the double soft factor for pions. Crucially, the explicit form of the soft factor is determined during the construction process rather than assumed at the outset.
3. Invert Double Soft Theorem: Assuming the universality of the derived double soft behavior, the authors invert the theorem to construct general tree amplitudes. This involves taking the known lower-point amplitudes and applying the inverse of the double soft operator to generate amplitudes with additional external pions.
4. Higher-Derivative Corrections: For amplitudes with leading higher-derivative corrections (mass dimension $D+4$), the authors first bootstrap the unique 4-point solution satisfying BCJ relations. They then demonstrate that diagrams where soft pions attach to higher-derivative vertices do not contribute at the subleading ($\tau^1$) order, allowing the standard double soft theorem to be inverted to construct higher-point amplitudes.

Key Contributions and Results

• Universal Expansion Formulas: The paper derives universal expansion formulas for tree-level NLSM $\oplus$ BAS amplitudes and pure NLSM amplitudes. These amplitudes are expressed as expansions over a basis of pure BAS amplitudes.
  • For NLSM $\oplus$ BAS with $2m$ pions, the amplitude is expanded as a sum over ordered subsets of pions, weighted by kinematic tensors (products of momenta) acting on BAS amplitudes.
  • For pure NLSM amplitudes, the result is an expansion over BAS amplitudes where the coefficients depend solely on one ordering, ensuring the automatic satisfaction of BCJ relations.
• Derivation of Double Soft Factors: The authors provide a self-contained derivation of the subleading double soft factors for pions, decomposing them into a differential operator part ($S_D$) and a non-differential part ($S_C$).
• Higher-Derivative Corrections: The paper constructs the simplest pion amplitudes receiving leading higher-derivative corrections (mass dimension $D+4$). These are shown to correspond to a single insertion of a local higher-derivative operator. The construction confirms that these amplitudes also admit a universal expansion to the BAS basis.
• Automatic BCJ Satisfaction: A significant result is that the constructed amplitudes automatically satisfy BCJ relations. This is a consequence of the expansion structure where coefficients depend on a single ordering, and the basis amplitudes (BAS) inherently satisfy these relations.

Significance and Claims
The paper claims that inverting the double soft theorem offers a broader range of applicability than methods relying solely on the Adler zero. The primary significance lies in the methodology's "bottom-up" nature:

• Universality: The method relies only on the universality of soft behavior as a priori assumption. The explicit forms of soft factors are derived, not assumed.
• Self-Containment: The approach reconstructs known NLSM amplitudes and NLSM $\oplus$ BAS amplitudes, validating the method against existing literature.
• Extension to Higher Derivatives: The method successfully extends to amplitudes with higher-derivative interactions, a regime where Adler zero alone is insufficient.
• Modest Scope: The authors explicitly state that the paper focuses on verifying the applicability of the method for specific cases (NLSM, NLSM $\oplus$ BAS, and leading higher-derivative corrections). The evaluation of more general higher-dimensional pion amplitudes and the construction of amplitudes with multiple higher-derivative insertions are left for future work. The paper notes that for mass dimensions beyond $D+4h$ (specifically $h \ge 6$), the uniqueness of the 4-point solution is lost, which may limit the direct applicability of this specific bootstrap approach without further constraints.

In summary, the paper presents a systematic technique to construct scalar EFT tree amplitudes by exploiting the information contained in double soft limits, resulting in universal expansions that naturally incorporate BCJ relations and extend to higher-derivative corrections.