Null limit of large-charge correlators in planar $\mathcal{N}=4$ Super-Yang-Mills theory

Technical Summary: Null Limit of Large-Charge Correlators in Planar $\mathcal{N}=4$ Super-Yang-Mills

Problem Statement
The paper addresses the behavior of correlation functions of chiral primary operators in planar $\mathcal{N}=4$ Super-Yang-Mills (SYM) theory in the "null limit." Specifically, it investigates the double-logarithmic asymptotics of large-charge correlators, where a large $R$-charge is exchanged between neighboring operators. In this limit, the generating function for these correlators factorizes into the square of a polygon correlator, $M_n(\{x_i, y_i\})$. While the infrared (IR) behavior of massless scattering amplitudes is well-understood (governed by the universal cusp anomalous dimension $\Gamma_{\text{cusp}}$), the IR behavior of these polygon correlators in the null limit ($m_i^2 \to 0$) exhibits a distinct double-logarithmic structure that departs from standard Sudakov behavior. Previous results were limited to specific cases (e.g., the four-point "octagon" and one-loop $n$-point functions), lacking a general all-loop formula for arbitrary $n$.

Methodology
The authors propose a conjecture for the all-loop behavior of $\log M_n$ based on the following theoretical framework:

1. Symmetry Analysis: The authors utilize the discrete dihedral symmetry of the polygon (cyclic shifts and reflections) to constrain the form of the double-logarithmic contributions. This forces the leading divergent term to be a circulant quadratic form in the logarithms of the edge distances, $l_i = \log x_{i,i+1}^2$.
2. Fourier Diagonalization: By applying discrete Fourier analysis, the quadratic form is diagonalized. The eigenvalues of this form are conjectured to be governed by the tilted cusp anomalous dimension, $\Gamma_\alpha(g)$, a function of the coupling $g$ and a tilt angle $\alpha$.
3. Conformal Invariance: To ensure the result is physically meaningful, the authors construct a "minimal ansatz" that uplifts the quadratic form of distances to a function of conformal cross-ratios. This involves handling singularities that arise for specific $n$ (specifically $n=4k$) by subtracting a contribution controlled by the standard BDS ansatz and $\Gamma_{\text{cusp}}$.
4. Perturbative Expansion: The conjecture is expanded at weak coupling to derive explicit coefficients for the double-logarithmic terms up to four loops.

Key Contributions and Results

• All-Loop Conjecture: The central result is a formula for the double-logarithmic asymptotics of $\log M_n$ in the null limit:
  $$\log M_n \approx Q_n(\{l_i\}) + \dots$$
  where $Q_n$ is a quadratic form whose eigenvalues are determined by the tilted cusp anomalous dimension:
  $$\hat{b}_\alpha = -\frac{1}{4} \cos(2\alpha) \Gamma_\alpha(g)$$
  Here, $\alpha$ ranges over the $n$-th roots of unity. This formula generalizes previous results for the four-point octagon and one-loop $n$-point functions.

• Conformal Uplift and Decomposition: The authors provide a conformally invariant completion of the divergent part. For general $n$, the logarithm of the correlator decomposes as:
  $$\log M_n \approx \frac{1}{4}\Gamma_{\text{cusp}} M_n^{\text{1-loop}} + \Delta Q_n^{\text{min}} + R_n$$
  where $\Delta Q_n^{\text{min}}$ is a modified divergent term constructed using $\Delta \Gamma_\alpha = \Gamma_\alpha - \Gamma_{\text{cusp}}$, and $R_n$ is a finite remainder function. This decomposition mirrors the factorization seen in twist-two correlators (Wilson loops).

• Weak Coupling Verification:

  • The authors explicitly calculate the Fourier coefficients $\gamma_k(g)$ of $\Gamma_\alpha(g)$ up to order $g^8$ (four loops).
  • They apply this to the five-point function ($n=5$). By matching their general formula to the known basis of conformal invariants for $n=5$, they demonstrate perfect agreement with existing perturbative results up to three loops (from [21, 22]).
  • The paper provides predictions for the four-loop coefficients of the five-point function, which differ from previous conjectures that used different angle choices.

• Equal-Mass Limit Check: In the symmetric limit where all masses are equal ($m_i = m \to 0$), the formula correctly reproduces the expected factorization behavior governed solely by the octagon anomalous dimension $\Gamma_{\text{oct}}$, consistent with the dual amplitude description of massive amplitudes.

Significance and Claims
The paper claims to provide the first all-loop conjecture for the double-logarithmic behavior of large-charge correlators for an arbitrary number of points $n$. The significance of this work lies in:

1. Unification: It unifies the behavior of various polygon correlators under a single framework involving the tilted cusp anomalous dimension, extending the known duality between large-charge correlators and scattering amplitudes.
2. Structural Insight: It reveals that the IR divergences of these correlators are not governed by a single universal dimension but by a spectrum of tilted cusp dimensions $\Gamma_\alpha$, which encode the dependence on mass ratios (or cross-ratios) in the dual amplitude picture.
3. Predictive Power: The conjecture reproduces all available perturbative data (up to three loops for $n=5$) and offers specific, testable predictions for higher-loop orders (e.g., four loops for $n=5$) and higher multiplicities.
4. Connection to Integrability: The authors suggest that the result can be further tested using integrability techniques, particularly the hexagonalization approach, and that the finite remainder function $R_n$ likely shares the same transcendental structure as MHV scattering amplitudes.

The authors remain modest regarding the finite remainder $R_n$, noting that while it likely coincides with the remainder of massless amplitudes, the presence of many particles on the boundary of the large-charge correlator (as opposed to a single fast particle in the twist-two Wilson loop case) may complicate a direct Wilson-loop interpretation.