Multi-trace YMS amplitudes from soft behavior

This paper derives the tree-level multi-trace Yang-Mills-scalar amplitude expansion formula by first establishing the double-trace pure scalar amplitude and then systematically incorporating additional scalars and gluons through double-soft and single-soft behavior constraints.

The Gist

Imagine the universe as a giant, chaotic dance floor where particles are the dancers. Physicists try to predict exactly how these dancers will move and interact when they bump into each other. These predictions are called "scattering amplitudes."

For a long time, calculating these interactions was like trying to solve a massive jigsaw puzzle by looking at every single piece individually. It was slow, messy, and prone to errors.

This paper introduces a smarter way to solve the puzzle. Instead of looking at the whole picture at once, the authors use a "bottom-up" approach, similar to how you might build a house: you start with the foundation, add a few walls, and then build the rest of the structure based on how those initial parts behave.

Here is the story of their discovery, broken down into simple concepts:

1. The "Soft" Clue

The key to their method is something called "soft behavior." Imagine a dancer on the floor who is moving so slowly they are almost standing still. In physics, when a particle's momentum drops to near zero (becomes "soft"), the complex dance of the whole group simplifies. The whole group's movement can be predicted by looking at the remaining dancers and a simple "soft factor" (a rule that describes how the slow dancer affects the others).

The authors realized that if you know how a group behaves when one dancer is slow, you can actually work backward to figure out how the whole group behaves when everyone is moving fast. It's like knowing how a crowd reacts when one person stops, and using that to predict how the whole crowd moves when they are all running.

2. The Problem with "Multi-Trace" Dances

The authors were tackling a specific type of dance called "Multi-trace Yang-Mills-scalar" (YMS) amplitudes.

• The Analogy: Imagine the dancers are wearing different colored shirts. In some dances, everyone is in one big circle (single-trace). In others, they are split into several smaller circles (multi-trace).
• The Issue: Previous methods worked great for the single big circle. But when the dancers were split into multiple circles, the "soft" clues didn't work as easily. It was like trying to figure out the rules for a game with two separate teams, but you only knew the rules for a game with one team. The standard "soft" clue failed because a circle with only two dancers didn't give enough information to start the puzzle.

3. The "Bottom-Up" Solution

The authors decided to build their solution from the ground up, step-by-step:

• Step 1: The Simplest Case (The Foundation)
  They started with the absolute simplest version of the multi-circle dance: two circles, with only two dancers in each. They didn't just guess the rules; they derived them by looking at a known 4-dancer dance and "shrinking" the dimensions (a mathematical trick called dimensional reduction) to see what the simplest version looked like.

• Step 2: Adding More Dancers (Single-Soft)
  Once they had the rules for the two-dancer circles, they used the "soft" rule to add more dancers to one of the circles. It's like saying, "If we know how a circle of two works, and we know how adding a slow dancer changes things, we can figure out how a circle of three, four, or five works."

• Step 3: The "Double-Soft" Breakthrough
  This was the tricky part. They needed to add a second circle to the dance. The standard "soft" rule (one slow dancer) couldn't do it. So, they invented a new rule: the "Double-Soft" theorem.
  They looked at what happened when two dancers (one from each of the two small circles) became slow at the same time. This specific interaction revealed the hidden rules for how to connect two separate circles together.

• Step 4: Building the Rest
  With the "Double-Soft" rule in hand, they could now build amplitudes with many circles. They used the rules they just discovered to add more circles, and then used the "Single-Soft" rules again to fill those circles with more dancers. Finally, they added "gluons" (another type of particle, like a different style of dancer) into the mix using the same logic.

4. The Result

By following this step-by-step construction, the authors derived a master formula. This formula allows physicists to calculate the behavior of these complex, multi-circle particle interactions by breaking them down into simpler, known pieces.

Why is this cool?

• No Guessing: They didn't assume the answer; they built it from the ground up using logical steps.
• Universality: They showed that the rules governing these complex interactions are consistent and can be derived from simple principles.
• Gauge Invariance: A fancy way of saying their formulas respect the fundamental symmetries of the universe automatically, without needing extra fixes.

In short, the paper says: "We couldn't solve the multi-circle puzzle with the old tools, so we built a new tool (the Double-Soft theorem) starting from the simplest possible case. Now, we can solve the whole puzzle by stacking these simple cases on top of each other."

Technical Summary

Technical Summary: Multi-trace YMS Amplitudes from Soft Behavior

Problem Statement
Tree-level scattering amplitudes in Yang-Mills-scalar (YMS) theory exhibit universal soft behaviors, where amplitudes factorize when an external particle's momentum vanishes. Previous work established that single-trace YMS amplitudes could be reconstructed from the universality of soft behavior and their expansion into bi-adjoint scalar (BAS) amplitudes. However, extending this "bottom-up" reconstruction to multi-trace YMS amplitudes proved non-trivial. The primary obstacle was that the standard recursive expansion relies on determining the expansion basis via soft limits; yet, a scalar trace containing only two scalars does not yield a non-trivial single-soft limit for a scalar particle, preventing the direct generation of additional traces using single-soft theorems alone.

Methodology
The authors propose a bottom-up construction that bypasses the need for a pre-assumed expansion basis. The methodology proceeds through the following logical steps:

1. Base Case Construction: The construction begins with the simplest multi-trace configuration: the 4-point double-trace amplitude where each trace contains exactly two scalars. This amplitude is not uniquely fixed by general physical constraints (mass dimension, Lorentz invariance) due to interaction freedom. Instead, it is uniquely determined by performing a dimensional reduction on the 4-point pure Yang-Mills (YM) amplitude.
2. Single-Soft Insertion: Using the leading single-soft theorem for BAS scalars, the authors insert additional scalars into one of the two traces. This generates a double-trace amplitude where one trace has length $>2$ and the other remains length-2.
3. Derivation of Double-Soft Theorem: By analyzing the soft limit where the two scalars in the length-2 trace become soft simultaneously ($k_a, k_b \to \tau k_{a,b}$), the authors derive a specific double-soft theorem for this configuration. This involves calculating both leading ($\tau^{-2}$) and subleading ($\tau^{-1}$) contributions, identifying specific Feynman diagrams where the soft particles couple to a common vertex or internal lines.
4. Recursive Expansion: The derived double-soft theorem is inverted to construct amplitudes with an arbitrary number of traces, provided each new trace contains only two scalars.
5. Generalization: Finally, the leading single-soft theorem is used to insert more scalars into the length-2 traces, and the subleading single-soft theorem for gluons is inverted to introduce external gluons. This yields the general expansion formula for arbitrary multi-trace YMS amplitudes.

Key Contributions and Results

• Derivation of the Expansion Formula: The paper derives the recursive expansion formula for tree-level multi-trace YMS amplitudes, expressing them in terms of BAS amplitudes and kinematic coefficients. The general formula (Eq. 5.12) expands an amplitude with $m$ traces and $h$ gluons into a sum of terms involving fewer traces and/or gluons.
• Double-Soft Theorem for Length-2 Traces: A central technical result is the explicit derivation of the double-soft factor for a trace containing two scalars. The authors demonstrate that this factor includes a differential operator part ($S^{(1)ab}_{diff}$) and a factorization part ($S^{(1)ab}_{fac}$), which are essential for reconstructing the amplitude structure.
• Basis Independence: The construction naturally leads to an expansion where the coefficients depend only on the ordering of the scalar traces and the gluons, but not on the second ordering carried by the BAS amplitudes. This recovers the Kleiss-Kuijf (KK) basis structure without assuming it a priori.
• Gauge Invariance: The construction ensures that the resulting amplitudes are manifestly gauge invariant for external gluons, as the soft insertion of gluons is performed in a gauge-invariant manner.
• Alternative Representations: The paper notes that the order of steps (e.g., inserting gluons before or after traces) or the choice of the starting 4-point amplitude can lead to different but equivalent expansion formulas, providing a unified understanding of previously distinct representations found in literature (e.g., Ref. [36]).

Significance and Claims
The paper claims to fill a gap in the "soft behavior" program by successfully generalizing the bottom-up reconstruction of amplitudes from single-trace to multi-trace cases. By establishing a method to generate multi-trace amplitudes starting from the simplest double-trace scalar configuration, the authors demonstrate that the universality of soft behavior is sufficient to determine the full structure of YMS amplitudes without assuming the expansion basis.

Furthermore, the authors note that since YMS amplitudes are related to Einstein-Yang-Mills (EYM) amplitudes via the double-copy relation, their construction implicitly confirms that EYM amplitudes satisfy the same expansion formulas. The work suggests that this approach, which avoids momentum shifts (unlike BCFW recursion), could serve as an effective tool for studying helicity amplitudes and potentially extending to loop levels, though these are presented as future directions rather than immediate results.