The double copy effective action: a quantum (chromodynamics) approach to space-time

This paper presents a constructive framework that elevates gauge-invariant scattering amplitudes to define quantum field theory actions by promoting color-dual numerators to operators, thereby systematically deriving gravitational effective actions from gauge-theory components and extending color-kinematics duality from amplitudes to the operator level.

The Gist

Imagine you are trying to understand how a complex machine works, like a high-end car engine. Traditionally, physicists look at the blueprint (the Lagrangian or Action) to see how the parts are connected. They try to guess the blueprint by looking at the parts and hoping the math adds up.

But this paper proposes a completely different, almost magical way to reverse-engineer the machine. Instead of starting with the blueprint, the authors say: "Let's just watch the car drive, record every single turn and acceleration, and then build the blueprint backwards from that data."

Here is a simple breakdown of their method, using everyday analogies.

1. The Problem: The "Hidden" Blueprint

In physics, we have two main theories:

• Gauge Theory (like Yang-Mills): Think of this as the "engine" of the universe, governing particles like electrons and quarks. It's complicated but manageable.
• Gravity (Einstein's General Relativity): Think of this as the "chassis and suspension" that holds the universe together. It is notoriously difficult to write down in a simple mathematical formula, especially when you try to combine it with quantum mechanics.

For years, physicists have known a secret trick called the "Double Copy." It turns out that if you take the math describing the "engine" (Gauge Theory) and multiply it by itself in a very specific way, you get the math for "gravity." It's like saying: Engine × Engine = Car.

However, this trick usually only works when calculating scattering amplitudes. This is a fancy way of saying: "If I shoot two particles at each other, what happens?" It works great for the result (the collision), but it doesn't give us the blueprint (the Action/Lagrangian) that describes how the particles interact at every moment.

2. The Solution: The "Amplitude-to-Action" Elevator

The authors of this paper built an elevator that takes you from the collision data (Amplitudes) straight to the blueprint (Action).

Here is how their elevator works, step-by-step:

Step A: The "Shadow" vs. The "Real Thing"

Imagine you are looking at a shadow puppet show. You see the shadows on the wall (the scattering amplitudes). You know the shadows are made by real hands moving behind a screen.

• Traditional Method: Physicists try to guess what the hands look like by staring at the shadow. They guess a hand shape, check if the shadow matches, and if not, they guess again. This is slow and messy.
• This Paper's Method: They say, "We know exactly how the shadow is made. Let's just reverse the light." They take the shadow data and mathematically "promote" it into a real hand (a local operator).

Step B: The "Cut" and the "Contact"

This is the most clever part. When you watch a collision, some of the action is just particles passing through each other (like cars merging on a highway). This is predictable and boring.

• The "Cut": This is the part of the collision that is just the sum of smaller, simpler collisions. It's like a car crash that is just two smaller fender-benders happening at once.
• The "Contact": This is the new stuff. The part where the cars actually smash into each other in a way that couldn't have happened by just merging. This is the "novel" physics.

The authors use a technique called "Maximal Cuts" (think of it as a super-precise X-ray). They look at the collision data and surgically remove all the "predictable" parts (the cuts). What is left over? The pure, raw "contact" interaction.

Step C: Building the Blueprint

Once they isolate that pure "contact" interaction, they translate it directly into a mathematical rule (an operator) for the blueprint.

• They take the math describing the collision.
• They swap "momentum" (how fast things move) for "derivatives" (how things change in space).
• They swap "polarization" (the direction of the wave) for "fields" (the actual particles).

Suddenly, they have a new piece of the blueprint that describes exactly how these particles interact, derived entirely from the collision data.

3. The "Double Copy" Magic

Here is the best part. Because they are using the "Double Copy" method, they don't need to do this hard work for Gravity separately.

1. They take the "engine" data (Yang-Mills).
2. They build the blueprint for the engine.
3. They take that blueprint and "double copy" it (multiply it by itself).
4. Poof! They instantly have the blueprint for Gravity.

It's like having a recipe for a simple cake. If you know the rule that "Double Cake = Cake + Cake," you don't need to bake a giant cake to find the recipe. You just double the ingredients of the small cake, and you have the recipe for the giant one.

4. Why This Matters

• No More Guessing: Traditionally, building the "Effective Field Theory" (the list of rules for how particles interact) is like trying to build a house by guessing where the bricks go. This paper gives you a 3D printer that builds the house brick-by-brick based on the finished structure.
• Simpler Gravity: It shows that the incredibly complex rules of Einstein's gravity are actually just "doubled" versions of the simpler rules of particle physics. It demystifies gravity.
• String Theory Connection: They even show how to use this to write down the rules for String Theory (the theory that says particles are tiny vibrating strings). They can take the complex math of string collisions and turn them into a set of rules for a "field theory" that looks like our universe but includes all those extra stringy effects.

The Big Picture Metaphor

Imagine you are a detective trying to solve a crime.

• Old Way: You look at the crime scene, guess what the weapon was, and try to write down the criminal's manual.
• This Paper's Way: You have a "Time-Reversal Machine." You feed it the video of the crime (the collision data). The machine automatically reverses the video, strips away the background noise, and prints out the criminal's exact instruction manual (the Action).

The authors have built this machine. They showed that if you know how particles bounce off each other, you can mathematically reconstruct the entire "Law of Physics" that governs them, and in doing so, they proved that Gravity is just a "double" version of the other forces, written in the language of the blueprint itself.

Technical Summary

1. Problem Statement

Traditional Lagrangian formulations of gauge and gravity theories prioritize compactness and off-shell symmetries, often obscuring the underlying structure of on-shell physical observables. While the Color-Kinematics (CK) Duality and the Double Copy relationship (where gravity amplitudes are the "square" of gauge theory amplitudes) are well-established at the level of scattering amplitudes, constructing the corresponding local effective actions that generate these amplitudes has been challenging.

Existing approaches to incorporating CK duality at the Lagrangian level often rely on:

• Postulating field-level ansätze and fixing coefficients by matching to known amplitudes (inefficient at high multiplicity).
• Introducing auxiliary fields or non-local higher-valency interaction terms to make duality manifest in Feynman rules.
• Recursive definitions that may obscure the locality of fundamental operators.

The authors ask: How can one systematically derive the minimal set of local operators in an effective action that reproduces structured, color-dual scattering amplitudes, specifically for double-copy theories like Einstein Gravity?

2. Methodology: The Operator Promotion Framework

The authors propose a constructive, inverse map from on-shell S-matrix data to local field-theory actions. The core philosophy is to treat structured amplitudes as the primary input and "promote" them to operators. The methodology consists of four key steps:

A. Separation of Contact Terms (Generalized Maximal Cuts)

The first challenge is distinguishing novel local contact interactions from contributions that are reconstructible from lower-multiplicity physics via unitarity cuts.

• An $m$-point amplitude $A_m$ is decomposed into a cut-constructible part $\mathring{A}_m$ (reconstructible from lower-point amplitudes) and a genuine contact part $C_m$.
• $C_m = A_m - \mathring{A}_m$.
• The authors utilize a generalized maximal cut strategy. By decomposing kinematic numerators $n(g)$ of cubic graphs into terms proportional to subsets of inverse propagators, they isolate the term proportional to the product of all inverse propagators. This term corresponds to the local contact interaction.
• This process is recursive: one subtracts contributions from all possible cuts (factorization channels) to isolate the purely local $m$-field contact term.

B. Operator Promotion

Once the contact numerator $C_m$ is isolated, it is promoted to a position-space operator $\hat{O}(C_m)$.

• Momentum to Derivative: Momenta $k_i$ are replaced by derivatives $\partial_i$ acting on specific field operators.
• Polarization to Fields: Polarization vectors $\epsilon_i$ are replaced by explicit field insertions (e.g., $A_\mu$).
• Propagators to Inverse Derivatives: Propagator denominators $1/d_g$ are promoted to inverse differential operators (e.g., $1/\hat{s}$).
• Auxiliary Coordinates: To handle the specific assignment of derivatives to specific fields (crucial for maintaining locality and duality), the authors introduce auxiliary spacetime coordinates $x_i$ for each field, constrained by Dirac delta functions $\delta(x-x_i)$. This allows for a "field-space" operator where derivatives act selectively (e.g., $\partial_{2\mu}$ acts only on the second field).

C. Redundancy Removal (The Slashed Operator)

A naive promotion of the full amplitude $A_m$ to an operator would result in a non-local object containing propagator structures that should belong to lower-point vertices.

• The authors define a slashed operator $\mathring{\hat{O}}(\mathring{A}_m)$ which represents the promotion of the cut-constructible part.
• The physical local Lagrangian term is defined as the difference:
  $$L_m = \hat{O}(A_m) - \mathring{\hat{O}}(\mathring{A}_m)$$
• Crucially, the inverse-derivative structures (non-localities) in $\hat{O}(A_m)$ and $\mathring{\hat{O}}(\mathring{A}_m)$ cancel exactly, leaving a manifestly local operator $L_m$.

D. Double Copy at the Operator Level

The framework naturally extends to double-copy theories. If the input amplitudes are $A_m = \sum \frac{n_i \tilde{n}_i}{d_i}$, the promoted operators are constructed by promoting the numerators $n_i$ and $\tilde{n}_i$ to separate operator factors (e.g., color factors become scalar fields, kinematic numerators become vector fields) and multiplying them. The resulting gravitational operators inherit the double-copy structure.

3. Key Contributions and Results

A. Systematic Construction of Einstein-Hilbert Action

The authors demonstrate the construction of the operator expansion for $\sqrt{-g}R$ (Einstein-Hilbert action) directly from Yang-Mills amplitudes.

• Yang-Mills: At tree level, Yang-Mills has no contact terms beyond 4 points ($L_{YM}^{m>4} = 0$). All higher-point amplitudes are generated by cubic graphs.
• Gravity: When double-copying Yang-Mills numerators ($n \times \tilde{n}$), cross-terms arise where poles from one copy cancel poles from the other (e.g., $s_{12} \times s_{45}$ in the numerator cancels the $1/s_{12} \times 1/s_{45}$ in the denominator).
• Result: This mechanism generates non-vanishing local contact terms for gravity at every multiplicity $m \geq 3$, systematically reconstructing the full perturbative expansion of General Relativity without postulating the metric field $g_{\mu\nu}$ initially.

B. Higher-Derivative Operators and String Theory

The framework is applied to higher-derivative corrections, specifically:

• Z-Theory and Open Superstrings: The authors construct operators for the $\alpha'$ expansion of open superstring amplitudes. They show that the infinite tower of higher-derivative gluonic operators can be encoded compactly by promoting the disk integrals (or their expansions) directly into operators.
• Born-Infeld Theory: They recover the Born-Infeld action as the double copy of Yang-Mills and the Non-Linear Sigma Model (NLSM), demonstrating the method's ability to handle complex effective field theories (EFTs).

C. State-Level Double Copy

The paper extends the double-copy concept from amplitudes to quantum states.

• A graviton state $|GR\rangle$ is defined as the symmetric-traceless (ST) projection of the tensor product of two Yang-Mills states: $|GR\rangle \sim (|YM\rangle \otimes |YM\rangle)_{ST}$.
• This provides a Fock-space basis for quantum gravity constructed entirely from gauge-theoretic constituents, enforcing linearized diffeomorphism invariance via the projection.

4. Significance and Implications

• Bridge Between Amplitudes and Actions: The work provides a concrete, algorithmic bridge between structured scattering amplitudes and local effective actions, offering a physically grounded alternative to traditional EFT basis-building (ansatz methods).
• Manifest Locality and Duality: It resolves the tension between the manifest CK duality of amplitudes and the locality of the Lagrangian. The resulting operators are local, yet their construction explicitly preserves the double-copy structure.
• Automation Potential: The procedure is highly systematic and amenable to automation, potentially revolutionizing the construction of EFTs for complex theories with many fields or high derivative orders.
• Quantum Gravity Insights: By framing gravity as a double copy of gauge theory at the level of both actions and quantum states, the paper offers a new perspective on quantum gravity. It suggests that difficult gravitational phenomena (e.g., black hole information paradox, Hawking radiation) might be tractable by mapping them to dual problems in flat-space Yang-Mills theory.
• Beyond Perturbation Theory: While the current work focuses on tree-level amplitudes, the authors argue that since loop integrands can be constructed from tree data via generalized unitarity, this operator construction framework is compatible with loop-level unitarity and can be extended to higher orders.

In summary, Carrasco and Zekioğlu present a powerful "bottom-up" approach where the fundamental building blocks of gravity are not postulated geometric fields, but are emergent from the algebraic structure of gauge-theory scattering amplitudes, systematically promoted to local quantum operators.