Tree and $1$-loop fundamental BCJ relations from soft theorems

This paper derives the fundamental BCJ relation for bi-adjoint scalar tree amplitudes using soft theorems, extends this relation to one-loop Feynman integrands, and applies it to explain Adler's zero in non-linear Sigma and Born-Infeld theories.

The Gist

Imagine the universe as a giant, cosmic dance floor where particles are the dancers. When these dancers collide and scatter, they create a complex pattern of movement called a "scattering amplitude." Physicists spend their time trying to write down the exact choreography for these dances.

This paper is about finding a hidden rulebook that simplifies how we understand these dances, specifically for a theoretical model called "bi-adjoint scalar theory" (think of it as a simplified, abstract version of particle physics). The authors, Fang-Stars Wei and Kang Zhou, use a clever trick involving "soft particles" to discover a fundamental relationship between different dance moves, and then show that this rule holds true even when the dance gets more complicated (moving from a single round to a loop).

Here is a breakdown of their work using everyday analogies:

1. The "Soft" Trick (The Whispering Dancer)

In particle physics, a "soft theorem" describes what happens when one of the dancers moves so slowly it's almost standing still (their momentum is near zero). The paper argues that if you know how the dance behaves when one dancer whispers (moves very slowly), you can actually figure out the entire choreography for the whole group.

The authors use this "whispering" technique to derive a famous rule called the BCJ relation.

• The Analogy: Imagine you have a group of people standing in a circle holding hands. The BCJ relation is like a mathematical law that says: "If you shift the weight of one person slightly, the tension in the hands of the people next to them changes in a very specific, predictable way."
• The Discovery: The authors proved that this specific tension rule (the BCJ relation) isn't just a coincidence; it is a direct consequence of how the "whispering" dancer affects the group.

2. The Double-Color Order (The Two-Color Rope)

To make this work, the authors looked at a specific type of particle interaction where every particle has two different "colors" (like wearing a red shirt and blue pants simultaneously).

• The Analogy: Imagine a rope with beads on it. Usually, you look at the order of beads from left to right. But here, the beads are also arranged in a second, hidden order (maybe based on their weight). The "double color ordered" amplitude is like trying to describe the rope's shape while respecting both the visual order and the weight order at the same time.
• The Result: The authors showed that the "whispering" rule forces a specific mathematical balance between all the possible ways these double-colored ropes can be arranged.

3. From a Single Loop to a Figure-Eight (The 1-Loop Generalization)

The paper starts with a simple tree-like structure (a single path of dancers). Then, they wanted to see if this rule still works when the dancers form a loop (a circle or a figure-eight).

• The Analogy: Imagine a single-file line of dancers. Now, imagine the first dancer in the line grabs the hand of the last dancer, forming a circle. This is the "1-loop" level.
• The Challenge: Usually, turning a line into a circle breaks simple rules because the "ends" of the line disappear.
• The Solution: The authors used a technique called the "forward limit." They imagined taking a line of dancers, adding two invisible "off-stage" dancers at the ends, and then gluing those two ends together to make a circle. They proved that even in this circular formation, the fundamental BCJ rule still holds true. It's like proving that the tension rule for the rope works even if you tie the ends together to make a necklace.

4. Why This Matters: The "Adler's Zero" (The Vanishing Act)

Finally, the authors used their new rule to explain a phenomenon called Adler's zero.

• The Phenomenon: In certain theories (like the Non-linear Sigma Model and Born-Infeld theory), if you make one of the external particles "soft" (slow), the entire interaction amplitude vanishes—it becomes zero. It's like a magic trick where the whole dance disappears if one dancer stops moving.
• The Explanation: The authors showed that this "vanishing act" is actually a direct result of the BCJ rule they just derived. Because the tension in the "rope" is balanced in such a specific way (due to the soft theorem), when you pull one end to a stop, the whole structure collapses to zero.

Summary

In simple terms, this paper says:

1. The Whisper Reveals the Rule: By studying what happens when a particle moves very slowly, we can derive a fundamental mathematical rule (BCJ) that connects different particle interactions.
2. The Rule is Robust: This rule isn't just for simple, straight-line interactions; it also works for complex, circular interactions (loops).
3. The Rule Explains Magic: This same rule explains why certain particle interactions completely disappear when one particle slows down (Adler's zero).

The authors didn't invent new physics or predict new particles; rather, they found a deeper, more elegant mathematical reason why the existing rules of particle physics behave the way they do, using the behavior of "slow" particles as their key.

Technical Summary

Technical Summary: Tree and 1-loop fundamental BCJ relations from soft theorems

Problem Statement
The paper addresses the derivation and generalization of the fundamental Bern-Carrasco-Johansson (BCJ) relations among color-ordered scattering amplitudes. While soft theorems (describing the universal behavior of amplitudes when external momenta vanish) have been extensively studied and linked to asymptotic symmetries, and while BCJ relations are well-established via other methods (such as BCFW recursion or CHY formulas), the specific connection between soft theorems and the fundamental BCJ relations has not been fully explored as a derivation tool. Furthermore, extending these relations from tree level to the 1-loop level remains a non-trivial task. The authors aim to demonstrate that the fundamental BCJ relations can be derived solely from the leading-order soft theorems for external scalars and subsequently generalized to 1-loop Feynman integrands.

Methodology
The authors employ a recursive derivation strategy based on the properties of bi-adjoint scalar (BAS) theory:

1. Soft Theorem as a Determinant: The authors utilize the observation that tree-level BAS amplitudes, which consist solely of propagators, are uniquely determined by their leading-order soft behaviors. If a relation among amplitudes holds when any external leg is taken to be soft, the relation holds for the amplitudes themselves.
2. Derivation at Tree Level:
   • They consider double color-ordered BAS amplitudes.
   • By applying the leading-order soft theorem to an external scalar leg $s$, they derive an algebraic identity involving the sum of soft factors and momentum dot products.
   • This leads to the conjecture of the fundamental BCJ relation: $(k_s \cdot X_s) A_S(1, \{2, \dots, n-1\} \shuffle s, n) = 0$, where $X_s$ is the sum of momenta to the left of $s$ in the color ordering.
   • To prove this conjecture, they verify that the relation holds under the soft limit of any other external leg $i$. This verification reduces the $(n+1)$-point relation to the $n$-point relation, recursively terminating at the 4-point case, which is guaranteed by the definition of the ordering symbol $\delta_{ab}$.
3. Generalization to Massive Legs: To facilitate the loop extension, the authors first generalize the tree-level relation to a specific case where two external legs (1 and $n$) are massive ($k_1^2 = k_n^2 = m^2$) while the rest are massless. They argue that the structure of the propagators and the BCJ relation remain valid in this configuration because the massive legs do not alter the pole structure relevant to the soft limit derivation.
4. Extension to 1-Loop Level:
   • The authors utilize the forward limit method. This involves taking a tree-level amplitude with $n+2$ legs (including two off-shell legs $+$ and $-$ with $k_+ = -k_- = \ell$) and sewing them together to form a 1-loop integrand.
   • They apply the tree-level BCJ relation (derived for the massive leg case) to the tree amplitudes before taking the forward limit.
   • Since the operator $(k_s \cdot X'_s)$ commutes with the forward limit operation, the relation is preserved, yielding the fundamental BCJ relation for 1-loop Feynman integrands.
5. Application to Adler's Zero: The authors apply the derived fundamental BCJ relation to the expanded formulas of Non-linear Sigma Model (NLSM) and Born-Infeld (BI) amplitudes. These expansions express NLSM and BI amplitudes in terms of BAS and Yang-Mills (YM) amplitudes, respectively, weighted by kinematic factors.

Key Contributions and Results

• New Derivation of Fundamental BCJ: The paper provides a novel derivation of the fundamental BCJ relation for double color-ordered tree BAS amplitudes, relying exclusively on the leading-order soft theorem for external scalars. This establishes that the tree BAS amplitudes are completely fixed by their soft behaviors, and consequently, the BCJ relations are consequences of these soft limits.
• 1-Loop Generalization: The authors successfully generalize the fundamental BCJ relation to the 1-loop level for Feynman integrands. This is achieved by combining the tree-level relation (adapted for massive external legs) with the forward limit method. The resulting relation for 1-loop integrands matches previous findings in the literature (specifically Ref. [66]) but is derived here via the soft theorem framework.
• Understanding Adler's Zero: The paper demonstrates that the Adler's zero condition (the vanishing of amplitudes when an external momentum goes to zero) for tree-level NLSM and BI amplitudes can be understood as a direct consequence of the fundamental BCJ relation applied to their expanded forms. Specifically, the kinematic factors in the expansion, when combined with the BCJ relation, ensure the vanishing of the amplitude in the soft limit.
• Double Copy Consistency: The results are shown to be consistent with the double copy structure, allowing the generalization of the derived relations to Yang-Mills amplitudes.

Significance and Claims
The paper claims that the fundamental BCJ relations are not merely algebraic coincidences but are deeply rooted in the soft behavior of scattering amplitudes. By showing that these relations can be derived from soft theorems, the authors reinforce the idea that tree amplitudes are determined by their soft limits.

The significance of the work lies in:

1. Providing a unified perspective where soft theorems dictate amplitude relations (BCJ) and soft behaviors (Adler's zero).
2. Offering a systematic path to extend tree-level relations to loop level using the forward limit, bypassing the need for direct loop-level soft theorem derivations which can be complex.
3. Clarifying the mechanism behind the Adler's zero for effective field theories like NLSM and BI through the lens of BCJ relations.

The authors modestly note that while they have derived the fundamental BCJ relation via soft theorems, the derivation of general BCJ relations would likely require considering multiple soft limits (multiple soft behaviors), which is left as a direction for future work. They also pose the question of whether the expansion formulas for NLSM and BI amplitudes themselves can be uniquely determined by general soft behavior considerations, a topic they intend to address in subsequent work.