Strong coupling structure of $\mathcal{N}=4$ SYM observables with matrix Bessel kernel

This paper reveals a simple underlying structure in the strong coupling expansion of $\mathcal{N}=4$ SYM observables with a matrix Bessel kernel by reorganizing their transseries to relate exponentially suppressed corrections directly to perturbative series, thereby providing an efficient method to generate full transseries and a complete description of their resurgence structure.

The Gist

Imagine you are trying to predict the weather on a planet where the laws of physics change depending on how "hot" the sun is.

In the world of theoretical physics, specifically in a theory called N=4 Super Yang-Mills (SYM), scientists are trying to calculate the behavior of particles. They have a "thermometer" called the 't Hooft coupling (let's call it $g$).

• Weak Heat (Small $g$): When the coupling is small, the math is easy. It's like predicting a sunny day; you can just add up a few simple factors (perturbation theory) and get a good answer.
• Intense Heat (Large $g$): When the coupling gets huge, the math breaks down. The simple addition method fails because the numbers get too big and chaotic. It's like trying to predict a hurricane by just adding up wind speeds; the system is too complex.

For decades, physicists have been stuck trying to solve the "Intense Heat" problem. They knew the answer existed, but the standard tools couldn't reach it.

The Problem: The "Infinite Recipe"

The author of this paper, Bercel Boldi, is studying a specific type of mathematical object (a determinant with a "Bessel kernel") that describes these physical observables.

Think of the solution as a giant recipe.

1. The Main Dish (Perturbative Part): This is the base recipe. It works well for small heat.
2. The Secret Spices (Non-perturbative Corrections): When the heat is high, you need to add tiny, invisible "spices" (exponentially small terms) to the recipe to make it taste right. These spices are so small they are almost zero, but they are crucial.

The problem was that the recipe for the "Intense Heat" was a mess. It looked like a chaotic list of ingredients where some spices canceled each other out, and the relationship between the main dish and the secret spices was hidden and confusing.

The Breakthrough: Reorganizing the Kitchen

Boldi's paper is like finding a master chef's reorganization of the kitchen.

Instead of looking at the recipe as a chaotic list, he reorganizes it into a structured menu. He discovers that the "Secret Spices" aren't random. They follow a strict, beautiful pattern based on the "zeros" of a specific mathematical function (think of these zeros as the specific coordinates where the spices live).

Here is the new structure he found:

• The "First-Order" Rule: In the old chaotic view, you might have had to mix three different spices together to get the right flavor. In Boldi's new view, every spice is used at most once. You never mix the same "coordinate" twice. It's like a rule that says, "You can only add a pinch of salt from the left shelf, and a pinch of pepper from the right shelf, but never two pinches of salt from the same spot."
• The Translation Key: The most amazing part is that you don't need to calculate the secret spices from scratch. There is a simple translation key. If you know the recipe for the "Main Dish" (the easy part), you can generate all the secret spices just by shifting a few numbers and changing the ingredients slightly.
  • Analogy: Imagine you have a master blueprint for a house. Boldi found that to build the "secret rooms" (the hard-to-calculate parts), you don't need a new architect. You just take the master blueprint, move the walls a few feet to the left, and swap the windows for doors. The new rooms are instantly generated from the old ones.

The "Resurgence" Connection

The paper also talks about Resurgence. This is a fancy word for a deep connection between the beginning of a series and the end of it.

Imagine you are walking a path.

• The Perturbative part is your first few steps.
• The Non-perturbative parts are the distant mountains you can't see yet.

In the old view, the first few steps seemed unrelated to the distant mountains. But Boldi shows that the first few steps actually contain a map to the mountains. If you look closely at the "asymptotic" behavior (how the steps behave when you walk forever), they whisper the location of the mountains. The "spikes" in the math of the easy part point directly to the hidden "spices" of the hard part.

Why Does This Matter?

This isn't just about cleaning up a math equation. This structure applies to real physical phenomena in our universe, such as:

• The Cusp Anomalous Dimension: A measure of how energy is lost when particles scatter at sharp angles.
• Multi-gluon Scattering: How light particles (gluons) bounce off each other.
• The Octagon Form Factor: A specific shape of interaction in particle physics.

By using this new "reorganized kitchen," physicists can now calculate these complex, high-energy interactions with extreme efficiency. They can generate thousands of terms in the recipe instantly, rather than struggling to calculate them one by one.

Summary

Bercel Boldi took a messy, chaotic mathematical problem that describes the behavior of particles at extreme energies and found a hidden order.

He showed that:

1. The complex corrections are actually simple variations of the basic solution.
2. There is a direct "translation" rule to get from the easy part to the hard part.
3. The "hidden" parts of the math are perfectly connected to the "visible" parts, revealing a deep, universal structure in how nature works at its most extreme limits.

It's like realizing that a chaotic storm follows a simple, elegant spiral pattern that was there all along, waiting to be seen.

Technical Summary

1. Problem Statement

The paper addresses the challenge of computing observables in planar $\mathcal{N}=4$ Supersymmetric Yang–Mills (SYM) theory at finite 't Hooft coupling $\lambda$. While weak coupling expansions are well-understood via perturbation theory, and strong coupling limits are described by semiclassical string theory, obtaining exact results at finite coupling is difficult.

Specifically, the author focuses on a class of observables representable as a Fredholm determinant of a matrix Bessel kernel (Equation 1.1):
$$Z_\ell(g) = \det \left( \delta_{nm} + K_{nm}(\alpha) \right) \Big|_{1+\ell \le n,m < \infty}$$
where $g = \sqrt{\lambda}/(4\pi)$ is the effective coupling, $\alpha$ is a mixing angle, and the kernel involves Bessel functions. This determinant describes physical quantities such as:

• The cusp anomalous dimension ($\Gamma_{\text{cusp}}$).
• Multi-gluon scattering amplitudes and form factors.
• Correlation functions of heavy operators.

Previous work established that the strong coupling expansion of these observables is an asymptotic transseries involving exponentially suppressed corrections. However, the structure of these corrections was complex, with non-trivial cancellations and resurgence relations that were not fully understood or efficiently computable beyond low orders.

2. Methodology

The author employs a combination of resurgence theory, asymptotic analysis, and high-precision numerical computation to reorganize the strong coupling expansion.

• Reorganization of the Transseries: The paper moves away from the standard expansion in powers of $\Lambda^2_\pm$ (where $\Lambda_\pm$ are exponential scales derived from the zeros of the symbol function). Instead, it proposes a new parametrization where the expansion is a sum over finite sets of integers $\delta_+$ and $\delta_-$.
• Symbol Analysis: The analysis relies on the modified symbol function $\chi_\alpha(x)$ and its Wiener-Hopf decomposition into functions $\Phi_\pm(x)$. The zeros of these functions, denoted $x^\pm_j$, dictate the exponential scales of the non-perturbative corrections.
• Bridge Equations and Alien Calculus: The author utilizes the "Bridge equations" from resurgence theory to derive the Alien algebra governing the transseries. This connects the asymptotic behavior of perturbative coefficients to non-perturbative sectors.
• Numerical Verification: Using high-precision arithmetic (500 digits), the author computes hundreds of terms in the $1/g$ expansion for various parameters ($a=\alpha/\pi$ and $\ell$) to verify the analytic conjectures and extract Stokes constants.

3. Key Contributions

A. New Transseries Structure (Equation 3.9)

The primary contribution is a reorganization of the strong coupling expansion into a form where:

1. Exponential Weights: Each term corresponds to a unique combination of zeros $x^\pm_j$ of the symbol function.
2. First-Order Constraint: Every distinct exponential factor $e^{-8\pi g x^\pm_j}$ appears at most to the first power in any given term. This eliminates the degeneracy found in previous formulations where multiple combinations of $(n,m)$ could map to the same exponential order.
3. Universal Structure: The expansion takes the form:
   $$Z_\ell(g) = A_\ell(g) \sum_{\delta_+, \delta_-} (8\pi g)^{-\Delta(\Delta-2a)} e^{-8\pi g (\sum x)} e^{i\pi a \Delta} S(\delta_+, \delta_-) D(\delta_+, \delta_-)(g)$$
   where $\Delta = |\delta_+| - |\delta_-|$.

B. Efficient Generation of Non-Perturbative Corrections

The paper establishes a powerful recurrence rule (Equation 3.26) to generate all non-perturbative sectors from the perturbative one:

• Moment Shift: The coefficients of the non-perturbative functions $D(\delta_+, \delta_-)$ are obtained from the perturbative function $D(\{ \}, \{ \})$ by:
  1. Shifting the explicit parameter dependence: $a \to a - \Delta$.
  2. Modifying the moment integrals $I_n$ by adding/subtracting terms related to the zeros $x^\pm_j$ included in the sets $\delta_\pm$ (Equation 3.24).
• Stokes Constants: The author derives recurrence relations (Equations 3.42 and 3.43) for the Stokes constants $S(\delta_+, \delta_-)$, allowing them to be generated iteratively from the perturbative sector without independent calculation.

C. Complete Resurgence Structure

The paper provides a full description of the resurgence properties:

• Alien Derivatives: The author derives the Alien derivatives (Equation 4.9) which describe how the Borel transform of a sector jumps across singularities. It is shown that a sector $D(\delta_+, \delta_-)$ resurges only with sectors where one additional zero is added to $\delta_+$ or $\delta_-$.
• Median Resummation: The paper demonstrates that the physical observable is obtained via median resummation (Equation 4.25), which cancels the imaginary ambiguities inherent in lateral Borel resummations, yielding a real physical result.

4. Results

• Analytic Expressions: The author provides explicit analytic expressions for the strong coupling expansion of the cusp anomalous dimension ($\Gamma_{\text{cusp}}$) for $\alpha = \pi/4$ (where $a=1/4$) and $\ell=0, 1$. These include perturbative terms and non-perturbative corrections up to arbitrary orders in $1/g$ and exponential scales.
• Verification of Degeneracy: The new formulation explains the "missing" terms observed in previous studies (e.g., why certain $(n,m)$ combinations vanish). The vanishing is a natural consequence of the constraint that each exponential weight appears at most once.
• Stokes Constants: Explicit formulas for Stokes constants are derived, showing they depend on Gamma functions and the zeros of the symbol. The numerical verification confirms the recurrence relations up to high orders ($\Lambda^8_-\Lambda^8_+$).
• Asymptotic Behavior: The asymptotic growth of the coefficients $d_k$ is confirmed to be factorial, consistent with the presence of singularities in the Borel plane at the locations of the zeros $x^\pm_j$.

5. Significance

• Computational Efficiency: The proposed method transforms the calculation of strong coupling expansions from a difficult, order-by-order derivation into an algorithmic procedure. Once the perturbative sector is known, all non-perturbative corrections can be generated via simple algebraic shifts and recurrence relations.
• Unification: It places diverse observables in $\mathcal{N}=4$ SYM (cusp anomalous dimension, scattering amplitudes, form factors) under a universal strong coupling structure defined by the matrix Bessel kernel.
• Resurgence Insight: The paper clarifies the resurgence structure of these theories, showing that the "new" transseries form is more natural for resurgence analysis than the previous form. It resolves previous ambiguities regarding which sectors are directly connected via resurgence.
• Physical Predictions: By providing a complete and efficient framework, the paper enables the calculation of high-order corrections for physical observables, which is crucial for precision tests of the AdS/CFT correspondence and for understanding the non-perturbative dynamics of gauge theories.

In summary, Boldizsár Bercel provides a rigorous mathematical framework that decodes the complex strong coupling behavior of $\mathcal{N}=4$ SYM observables, revealing a simple underlying structure governed by the zeros of the Bessel kernel symbol and enabling the efficient computation of the full transseries.