Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints

This paper presents two-loop all-plus helicity amplitudes for a self-dual Higgs boson interacting with up to four positive-helicity gluons in the heavy top-quark limit, utilizing four-dimensional unitarity cuts and finite-field tensor reduction to derive compact expressions involving polylogarithms up to weight two and rational spinor-helicity functions.

The Gist

Imagine you are trying to solve a massive, multi-layered jigsaw puzzle. This puzzle represents the complex interactions between a special type of Higgs boson (a particle that gives mass to others) and a swarm of gluons (the particles that hold atomic nuclei together).

This paper is about the team of physicists who successfully assembled a very difficult, two-layer version of this puzzle. Here is how they did it, explained in everyday terms:

The Puzzle Pieces: A Special Higgs and Gluons

Usually, when physicists try to calculate how these particles interact, the math gets incredibly messy, like trying to untangle a knot of headphones while running a marathon.

However, this team focused on a specific, simplified version of the Higgs boson called the "self-dual" Higgs. Think of this as a special filter that removes most of the noise. In this filtered world, the simplest interactions (called "tree-level" amplitudes) between this Higgs and gluons that are all spinning in the same direction (all-plus helicity) simply vanish. They are zero.

This is actually a huge help. It's like trying to solve a maze where you know the starting point is empty. Because the simplest path is empty, the team could use a clever shortcut to figure out the rest of the maze.

The Shortcut: The "Unitarity Cut"

The team used a technique called unitarity cuts. Imagine you have a complex machine, and you want to know how it works, but you can't take it apart. Instead, you shine a light through it and look at the shadows it casts on the wall.

In physics, a "cut" means slicing the interaction in half to see what happens inside. Because the simplest interactions were zero, the team realized they could reconstruct the complex, two-layer puzzle by looking only at simpler, one-layer pieces (one-loop amplitudes) and gluing them together. This allowed them to calculate the "polylogarithmic" parts of the puzzle—these are the parts involving complex logarithms and curves that describe how the particles behave.

The Missing Piece: The Rational Remainder

Even with their shortcut, there was a piece of the puzzle missing. The "cut" method gave them the curved, logarithmic parts, but it left out a flat, rational piece (a simple fraction of numbers).

To find this missing piece, the team had to do the heavy lifting. They went back to the original, messy Feynman diagrams (the blueprints of the particle interactions) and performed a massive calculation. Instead of doing this with traditional algebra, which can get bogged down in huge numbers, they used a method called finite field reduction.

Think of this like checking a massive spreadsheet. Instead of calculating every single number exactly, they checked the numbers using a specific type of math (modulo a prime number) that acts like a digital fingerprint. This allowed them to verify the answer quickly and accurately without getting lost in the complexity.

The Result: A Clean, Compact Formula

By combining the "shadow" method (unitarity cuts) with the "fingerprint" method (finite fields), they produced a final, compact formula for how this special Higgs interacts with up to four gluons.

• What they found: The final answer is surprisingly simple. It uses standard mathematical functions (polylogarithms up to a certain weight) and clean rational numbers.
• Why it matters: In the world of particle physics, getting a clean formula for a two-loop interaction (which is like calculating the second layer of complexity) is a major achievement. It proves that even in a complex system, there are hidden patterns that make the math manageable.

The Final Check: Collinear Limits

Before declaring victory, the team had to make sure their new puzzle pieces fit with the old ones. They checked what happens when two gluons get extremely close to each other (a "collinear" limit). They confirmed that their new, complex formula smoothly transforms into the known, simpler formulas for fewer particles. This acted as a quality control check, ensuring their solution was consistent with the laws of physics.

Summary

In short, this paper describes how a team of physicists used a combination of clever shortcuts (looking at shadows) and powerful computer math (digital fingerprints) to solve a notoriously difficult two-layer particle interaction puzzle. They found that by focusing on a special, simplified version of the Higgs boson, they could derive a clean, elegant formula that describes how it interacts with up to four gluons, filling in a gap in our understanding of the subatomic world.

Technical Summary

Technical Summary: Two-Loop All-Plus Helicity Amplitudes for Self-Dual Higgs Boson with Gluons

Problem Statement
This work addresses the computation of two-loop QCD corrections for a self-dual Higgs boson ($\phi$) coupled to up to four positive-helicity gluons in the heavy top-quark limit. While scalar Higgs plus four-parton amplitudes at two loops are a priority for experimental precision, the specific "all-plus" helicity sector of the self-dual Higgs model presents unique theoretical challenges and opportunities. Unlike standard Higgs amplitudes in the heavy-top limit, tree-level amplitudes in this model with all-plus gluon helicities vanish. This vanishing property, analogous to supersymmetric Ward identities in Yang-Mills theory, implies that the one-loop amplitudes are purely rational. Consequently, the structure of the two-loop amplitude is expected to differ significantly from generic two-loop calculations, potentially exhibiting a "weight drop" in its transcendental functions. The primary goal is to construct compact analytic representations for these amplitudes, separating the cut-constructible polylogarithmic parts from the rational remainders.

Methodology
The authors employ a hybrid approach combining four-dimensional unitarity cuts with finite-field reduction techniques:

1. Cut-Constructible Contributions: Since tree-level amplitudes vanish for all-plus configurations, triple cuts are absent. The authors reconstruct the polylogarithmic parts of the two-loop amplitudes using four-dimensional unitarity cuts. These cuts involve products of vanishing tree-level amplitudes and rational one-loop amplitudes. The calculation relies on evaluating double cuts in various channels (e.g., $s_\phi$, $s_{i\phi}$) to isolate scalar integrals (bubbles, triangles, and boxes). The coefficients are determined by imposing on-shell conditions and utilizing spinor-helicity algebra.
2. Rational Remainder Extraction: The four-dimensional cuts miss the purely rational component of the amplitude. To determine this, the authors utilize the expansion in the spin dimension parameter $d_s = 4 - 2\epsilon$. In Yang-Mills theory, the rational part is often associated with the $(d_s-2)^2$ component of the amplitude, which involves only one-loop squared topologies. The authors investigate whether a similar simplification exists for the self-dual Higgs model.
3. Finite-Field Reduction: The rational remainder is extracted by performing a direct reduction of the two-loop Feynman diagrams over finite fields. The workflow involves:
   • Generating diagrams using QGRAF with non-standard Feynman rules for the self-dual operator.
   • Performing color decomposition and Lorentz contractions.
   • Mapping tensor integrals to a basis of master integrals (MIs) using Integration-by-Parts (IBP) reduction via the NeatIBPs package and the syzygy method.
   • Sampling kinematic variables (parameterized via momentum twistors) and the dimensional regulator $\epsilon$ over finite fields ($\mathbb{Z}_p$) using the FiniteFlow framework to reconstruct the analytic expressions.
4. Validation: The results are cross-checked against expected factorization properties in double and triple collinear limits.

Key Contributions and Results

• Analytic Expressions: The paper presents the first complete two-loop expressions for the self-dual Higgs boson with up to four positive-helicity gluons. The final results are expressed using polylogarithms up to weight two and compact rational functions of spinor-helicity products.
• Cut-Constructible Parts: Explicit formulas for the cut-constructible contributions ($A^{(2),cc}$) for $\phi + 2g$, $\phi + 3g$, and $\phi + 4g$ are derived. These parts contain logarithmic and dilogarithmic terms ($Li_2$) arising from the double cuts of tree-level and one-loop sub-amplitudes.
• Rational Remainder Structure: The authors find that the connection between the $(d_s-2)^2$ component and the rational remainder is less straightforward than in pure Yang-Mills theory. The $(d_s-2)^2$ component for the self-dual Higgs contains spurious singularities and logarithms that must be cancelled by weight-zero rational terms. Despite this, the $(d_s-2)^2$ subset of graphs provides a viable ansatz for the rational remainder, significantly reducing the computational cost of the reconstruction.
• Explicit Results:
  • For $\phi + 2g$, the rational remainder $R^{(2)}$ vanishes.
  • For $\phi + 3g$ and $\phi + 4g$, compact rational expressions are provided, involving sums over cyclic permutations of Mandelstam invariants and spinor products.
• Collinear Checks: The derived amplitudes satisfy the expected factorization in double and triple collinear limits, confirming the consistency of the cut-constructible and rational components.

Significance and Claims
The authors claim that this work demonstrates the feasibility of computing two-loop amplitudes for the self-dual Higgs model using modern unitarity and finite-field methods. The study highlights that while the vanishing tree-level amplitudes simplify the cut-constructible part (limiting it to weight-two functions), the extraction of the rational remainder requires careful handling of spurious poles and does not follow the simple "one-loop squared" pattern observed in Yang-Mills theory.

The paper posits that the observed structure suggests a potential path toward computing higher-multiplicity amplitudes in this sector, possibly by leveraging the $(d_s-2)^2$ subset to build ansätze or by using collinear limits to constrain the rational parts. Furthermore, the authors note that the reduction technology applied here is directly applicable to the phenomenologically relevant computation of the standard scalar Higgs plus four partons at two loops, although the latter would involve a more complex special-function basis and higher polynomial degrees. The work serves as a proof of concept for handling these specific helicity configurations and validates the utility of finite-field reconstruction for two-loop rational terms in models with vanishing tree-level amplitudes.