Notes on off-shell conformal integrals and correlation functions at five points

This paper constructs a basis of uniform-transcendental pure integrals for five-point off-shell conformal integrals in maximally supersymmetric Yang-Mills theory and computes their two-loop integrated results to provide symbol-level expressions for half-BPS correlation functions.

The Gist

Imagine you are trying to understand the weather patterns of a tiny, invisible universe. In the world of theoretical physics, specifically a theory called N=4 Super Yang-Mills, scientists try to predict how particles interact. Usually, they look at how four particles scatter (bounce off each other). But in this paper, the authors tackle a much harder puzzle: what happens when five particles interact?

Here is the story of their journey, explained through simple analogies.

1. The Problem: The "Five-Point" Traffic Jam

Think of particle interactions like a complex dance.

• The Easy Dance (4 points): Scientists have been dancing this routine for years. They know the steps perfectly, even for very complex, high-energy dances (loops).
• The Hard Dance (5 points): Now, imagine adding a fifth dancer. Suddenly, the choreography becomes a nightmare. The number of variables explodes. It's like trying to solve a Sudoku puzzle where the grid suddenly doubles in size, but the rules also change.

For a long time, physicists could only calculate the "script" of this dance (the integrand)—the instructions for how the particles should move. But they couldn't calculate the result (the integrated correlator)—the actual final position of the particles after the dance is over. The math was too messy, filled with "off-shell" variables (particles that aren't quite real or stable during the interaction), making the calculation impossible with existing tools.

2. The Solution: Building a "Lego Set" of Pure Shapes

The authors realized they couldn't just brute-force the math. They needed a better way to build the solution. They decided to construct a custom Lego set specifically for this five-point dance.

• The "Pure" Bricks (Uniform Transcendental Integrals): In physics, calculations often get messy with different types of numbers mixed together (like mixing apples, oranges, and rocks). The authors wanted to build their solution using only "pure" bricks. They created a set of six special shapes (topologies) that are mathematically "pure."

  • Analogy: Imagine trying to build a house. Instead of using random scraps of wood, metal, and plastic, they invented six specific types of perfect, uniform bricks. If you use only these bricks, the house is guaranteed to be structurally sound and easy to measure.

• Finding the Right Bricks (Leading Singularities): How did they find these six shapes? They looked at the "shadows" the shapes cast when hit by light (mathematical cuts). They adjusted the shapes until their shadows were perfect and simple. This ensured that when they combined these shapes, the messy parts would cancel out, leaving a clean result.

3. The Shortcut: Changing the Perspective

Once they had their six perfect bricks, they still had a problem: calculating the final shape of the house was still hard.

• The Frame Fix: The authors realized that their "five-point" dance could be viewed from a different angle. By sending one of the dancers infinitely far away (a mathematical trick called fixing the conformal frame), the complex five-point dance suddenly looked exactly like a known four-point dance with heavy weights.
  • Analogy: Imagine you are trying to solve a complex 3D puzzle. You realize that if you tilt your head to a specific angle, the puzzle suddenly looks like a 2D puzzle you've already solved in a previous book.
  • Because they had already solved the "heavy four-point" puzzle in a previous study, they could simply map their new five-point bricks onto the old four-point solutions.

4. The Result: The Final Score

By combining their new "pure bricks" with the known solutions for the four-point puzzle, they finally calculated the integrated result for the five-point interaction.

• The Symbol: They didn't just get a number; they got a "symbol." In this field, a symbol is like a DNA sequence or a barcode for the mathematical function. It tells you the essential structure of the answer without getting bogged down in the messy details.
• Two Versions: They solved this for two different "sectors" of the dance:
  1. Maximal Sector: The most complex, high-energy version of the dance.
  2. Non-Maximal Sector: A slightly simpler version.

Why Does This Matter?

Think of this paper as the first time someone successfully mapped the entire route of a five-person relay race, rather than just guessing the starting positions.

• For Physics: It opens the door to understanding more complex interactions in the "perfect" universe of N=4 SYM. This theory is a testing ground for understanding our own universe, including gravity and black holes (via the AdS/CFT correspondence).
• For Math: It shows that even when things look impossibly complex, there is often a hidden, simple structure (a "pure basis") waiting to be found if you look at it from the right angle.

In a nutshell: The authors built a custom set of perfect mathematical tools, realized they could view the problem through a "lens" that turned it into an easier, known problem, and used that to finally solve a five-year-old puzzle about how five particles interact in a supersymmetric universe.

Technical Summary

1. Problem Statement

The paper addresses a significant gap in the study of maximally supersymmetric Yang-Mills ($\mathcal{N}=4$ SYM) theory: the calculation of integrated correlation functions beyond the four-point case and beyond one loop.

• Context: While integrand-level results for multi-point correlators have been obtained using hidden symmetries and twistor-space reformulations, obtaining the fully integrated results is extremely difficult.
• Challenges:
  • Kinematic Complexity: For $N \ge 5$ operators, the number of kinematic variables grows rapidly ($4N-15$), involving off-shell external legs.
  • Non-Planarity: In the dual space, the integrands are generally non-planar.
  • Transcendental Complexity: The functions involved grow rapidly in complexity, often exceeding the capabilities of tools developed for scattering amplitudes (which typically rely on multiple polylogarithms).
  • Current Limit: Prior to this work, fully computed integrated correlators were limited to four-point cases (up to three loops) or general $N$ only at one loop.

The specific goal of this paper is to present the first integrated results for five-point, two-loop half-BPS correlation functions in $\mathcal{N}=4$ SYM, covering both maximal and non-maximal sectors.

2. Methodology

The authors employ a systematic approach combining geometric insights, unitarity methods, and modern integration techniques:

A. Construction of a Uniform-Transcendental (UT) Basis

The core of the methodology is the construction of a basis of "pure" integrals with uniform transcendental weight.

1. Topology Enumeration: They identified eight distinct candidate topologies for two-loop five-point integrals. Six were selected as independent, while two were excluded (one due to Gram determinant redundancies, the other because it lacks a maximal residue and integrates to lower weight).
2. Diagonalizing Leading Singularities: To ensure the basis integrals are UT and have unit residues, the authors diagonalized the leading singularities subject to conformal invariance.
   • Scalar Integrals: For double-box and kissing-box topologies, numerators were fixed by normalizing the scalar integrals to their maximal residues.
   • Penta-box Integrals: Numerators were constructed to ensure unit residues on maximal penta-box cuts and vanishing residues on specific double-box sub-cuts.
   • Double-Pentagon Integrals: This required a more complex numerator involving Gram determinants and square-root terms to cancel spurious singularities and ensure rational residues on all cuts.
3. Resulting Basis: A basis of six distinct UT integrals was established:
   • $B_{1,23,45}$ (Double-box)
   • $h_{12,34}$ (Ladder/Degenerate limit)
   • $\Pi_{1,23,45}$ (Penta-box)
   • $F_{4\times5}, F_{5\times5}$ (Products of one-loop boxes)
   • $H_{12,345}$ (Double-pentagon)

B. Mapping to Known Master Integrals

Direct integration via Feynman parameters was deemed intractable due to the complexity of the conformal kinematics. Instead, the authors utilized a conformal frame fixing strategy:

1. Frame Fixing: By sending one external dual point to infinity ($x_1 \to \infty$), the five-point conformal kinematics were mapped to a four-point, four-massive kinematics setup.
2. Identification: The constructed conformal basis integrals were identified with known two-loop four-mass master integrals (MIs) from a previous study [60].
3. Reduction: Using the Integration-by-Parts (IBP) reduction tool Kira, the authors reduced the specific integrands of the five-point correlators onto this known basis of MIs.

C. Integration and Symbol Level Results

• The integrated results were obtained using Canonical Differential Equations (CDE) applied to the known four-mass MIs.
• The final results were presented at the symbol level, which captures the transcendental structure of the functions without specifying the full functional form (simplifying the presentation of complex square roots).

3. Key Contributions

• First Integrated Five-Point Results: This is the first calculation of integrated two-loop five-point half-BPS correlators in $\mathcal{N}=4$ SYM.
• New UT Basis: The construction of a six-element basis of pure, uniform-transcendental conformal integrals for five off-shell legs. This basis is applicable to a wide class of observables beyond just half-BPS correlators.
• Sector Decomposition: The paper provides explicit expansions for both the maximal sector ($G_{5,1}$, involving the universal nilpotent prefactor) and the non-maximal sector ($G_{5,0}$), expressing them in terms of the new UT basis.
• Symbolic Results: The authors provide the full symbol-level results for these correlators, identifying 106 symbol letters and 20 distinct square roots (including 15 new square roots arising from the five-point kinematics).

4. Results

• Integrand Expansion: The authors successfully expanded the known two-loop integrands (previously derived via f-graphs and twistor space) onto their new UT basis. The expansion coefficients are rational functions of kinematic variables.
• Integrated Formulas:
  • The maximal sector result ($f^{(2)}_{max}$) and non-maximal sector results ($f^{(2)}_{23}, f^{(2)}_{5}$) are expressed as linear combinations of the six basis integrals.
  • The basis integrals were mapped to the known four-mass MIs ($I_{17}, I_1, I_3, I_9, I_4, I_{73}$, etc.) via specific kinematic identifications (e.g., $B_{1,23,45} \to I_{17}$).
• Symbol Structure: The results reveal a rich algebraic structure involving 106 symbol letters. Notably, 75 of these letters and 15 square roots are new features specific to the five-point two-loop geometry, distinct from the one-loop four-point results.

5. Significance and Future Outlook

• Benchmark for Higher Loops/Points: This work establishes a crucial benchmark for understanding the complexity of integrated correlators at higher loops and points, demonstrating that even with off-shell legs, a pure UT basis can be constructed and integrated.
• Correlahedron Extension: The results provide data to test whether the "Correlahedron" geometric framework (successful for four points) can be extended to higher-point non-maximal sectors.
• Elliptic Structures: The paper notes that while the current results are polylogarithmic, higher-point non-maximal sectors are expected to involve elliptic integrals. The methods developed here serve as a foundation for tackling those more complex structures.
• Physical Applications: The half-BPS correlators are linked to other physical quantities, such as energy correlation functions and supergravity amplitudes in $AdS_5 \times S^5$, making these results valuable for the AdS/CFT correspondence and quantum gravity studies.

In summary, this paper bridges the gap between integrand-level symmetries and integrated physical observables for five-point correlators, providing a robust mathematical framework (UT basis + frame fixing) that can be generalized to more complex scenarios in $\mathcal{N}=4$ SYM.