Non-perturbative data for Weil-Petersson volumes and intersection numbers using ordinary differential equations

This paper extends a method combining Gel'fand-Dikii and string equations to extract non-perturbative data, including transseries coefficients and mixed brane effects, for Weil-Petersson volumes and intersection numbers, successfully validating the approach against known results and proving a conjecture regarding the large-order growth of volumes in JT supergravity.

The Gist

Imagine you are trying to understand the shape of a vast, invisible landscape. In the world of theoretical physics, this landscape is made of "Riemann surfaces"—complex, multi-holed shapes that represent the fabric of space and time in a simplified 2D universe. Physicists want to know the "volume" of these shapes, but calculating them is like trying to count every grain of sand on a beach while the tide is coming in.

This paper, written by Clifford Johnson and João Rodrigues, introduces a new, powerful tool to map this landscape. They use a method based on Ordinary Differential Equations (ODEs)—mathematical recipes that describe how things change—to find not just the obvious parts of the landscape, but the hidden, "non-perturbative" secrets that other methods miss.

Here is a breakdown of their work using simple analogies:

1. The Problem: The "Blurry" Map

For a long time, physicists have used a technique called Topological Recursion to calculate the volumes of these shapes. Think of this like trying to draw a map of a mountain range by looking at it through a foggy window. You can see the general shape (the big peaks), but the details are blurry.

Mathematically, this method produces a series of numbers (a "perturbative expansion"). It works great for the first few terms, but if you try to calculate too many, the numbers start going crazy (they grow infinitely large). This is like a recipe that works for a small cake but explodes if you try to bake a giant one. The "crazy" behavior tells us there are hidden forces at play that the standard recipe ignores.

2. The New Tool: The "X-Ray" ODE

The authors propose a different approach. Instead of just looking at the blurry window, they use a specific mathematical equation (the Gel'fand-Dikii equation) that acts like an X-ray machine.

• The Old Way: You calculate the volume step-by-step, getting closer and closer, but you eventually hit a wall where the math breaks down.
• The New Way: They treat the whole problem as a single, continuous equation. By solving this equation, they can "see" through the fog. They don't just get the blurry approximation; they get the exact solution, including the hidden parts.

3. The Hidden Secrets: "Brane" Ghosts and Instantons

In the world of string theory (the physics behind this math), there are invisible objects called D-branes. Think of these as invisible walls or membranes floating in the landscape.

• ZZ-branes: These are like tiny, invisible islands that pop in and out of existence.
• FZZT-branes: These are like long, thin threads stretching across the landscape.

Previous methods could only see the "main" landscape and maybe one type of invisible island. They couldn't see the threads, and they definitely couldn't see what happens when an island and a thread interact.

The authors' new method is like putting on a pair of super-glasses. It allows them to see:

1. The standard landscape.
2. The invisible islands (ZZ effects).
3. The invisible threads (FZZT effects).
4. Crucially: The messy, complex interactions where islands and threads touch (Mixed ZZ-FZZT effects). This is the first time anyone has been able to calculate this "mixed" interaction systematically.

4. The "Transseries": A Complete Recipe

To describe these hidden effects, the authors use something called a Transseries.

• Imagine a standard recipe for soup (the perturbative part). It tells you how much water and salt to add.
• But the soup also has a secret "ghost" flavor that only appears if you cook it for a very long time.
• A Transseries is a "Super-Recipe." It includes the standard ingredients plus a special section that says: "If you add a pinch of 'ghost spice' (an instanton), the flavor changes in this specific way."

The authors figured out how to write down the entire Super-Recipe for these 2D gravity models. They didn't just guess the ghost spices; they derived them mathematically from the ODE.

5. Why Does This Matter? (The "Growth" Prediction)

The most powerful part of their discovery is a prediction about growth.
If you look at the numbers in their recipe, they get bigger and bigger as you go further down the list. The authors found a precise formula for how fast they grow.

• Analogy: Imagine you are counting the number of ways to stack blocks. At first, it's easy. But as the stack gets higher, the number of ways to stack them explodes. The authors found the exact rule for that explosion.
• The Test: They tested this rule on JT Gravity (a popular model for black holes) and Supergravity (gravity with extra "super" dimensions).
  • For standard JT Gravity, their rule matched what was already known (a good sign!).
  • For N=1 Supergravity, they proved a famous guess (conjecture) made by physicists Stanford and Witten.
  • For N=2 and N=4 Supergravity, they provided brand new formulas that no one had ever seen before.

Summary

In short, Johnson and Rodrigues have built a new mathematical engine.

• Old Engine: Good for smooth, simple roads, but stalls when the road gets bumpy or hidden.
• New Engine: Can drive over any terrain, seeing the hidden "ghost" features of the universe that were previously invisible.

They used this engine to map the hidden geometry of 2D universes, prove a major guess about black holes, and write down new rules for how complex systems grow. It's a significant step forward in understanding the deep, hidden structure of the universe.

Technical Summary

1. Problem Statement

The paper addresses the challenge of computing non-perturbative corrections to the one-point correlation function in 2D quantum gravity models, specifically those dual to double-scaled random matrix models (RMMs).

• Context: The partition function of 2D gravity (e.g., Jackiw-Teitelboim (JT) gravity and its supersymmetric extensions) can be expanded in a topological series (genus expansion) involving Weil-Petersson volumes ($V_{g,1}(b)$) of the moduli space of Riemann surfaces.
• Limitation of Existing Methods:
  • Topological Recursion: While highly effective for computing perturbative coefficients (genus $g$), standard topological recursion struggles to systematically access non-perturbative effects (instanton corrections) without complex saddle-point expansions of matrix integrals.
  • Asymptotic Nature: The perturbative series is asymptotic (factorially divergent). A complete physical description requires a transseries structure, which includes non-perturbative sectors associated with ZZ-branes (eigenvalue tunneling), FZZT-branes (boundary conditions), and mixed ZZ-FZZT effects.
• Gap: There was no systematic, efficient method to compute the full transseries (including mixed sectors) for the one-point function directly from the underlying differential equations, particularly for mixed ZZ-FZZT effects which were previously an open problem.

2. Methodology

The authors extend a recently introduced method that utilizes Ordinary Differential Equations (ODEs) to compute these quantities.

• Core Equations: The method relies on two coupled ODEs:
  1. The String Equation: Determines the potential $u(x)$ of the auxiliary quantum mechanics problem (related to the specific heat).
  2. The Gel'fand-Dikii Resolvent Equation: A non-linear ODE for the diagonal resolvent $\hat{R}(x, E)$ of the Hamiltonian $H = -\hbar^2 \partial_x^2 + u(x)$.
• The Transseries Ansatz: Instead of assuming a simple power series in $\hbar$ (perturbative), the authors propose a transseries ansatz for the resolvent $\hat{R}(x, E)$ and the potential $u(x)$. This ansatz includes:
  • A perturbative sector ($\hbar$ expansion).
  • Exponential terms (transmonomials) of the form $\exp(-A/\hbar)$, where $A$ represents instanton actions (ZZ, FZZT, or mixed).
  • Transseries parameters ($\sigma_{ZZ}, \sigma_{FZZT}$) acting as integration constants.
• Recursive Solution: By substituting the transseries ansatz into the Gel'fand-Dikii equation and collecting terms order-by-order in $\hbar$ and the transseries parameters, the authors derive a system of linear algebraic and differential equations. These are solved recursively to determine all coefficients of the transseries.
• Extraction: The one-point correlation function $W_1(E)$ is obtained by integrating the resolvent $\hat{R}(x, E)$ over the domain $x \in (-\infty, \mu]$.

3. Key Contributions

The paper makes several significant methodological and theoretical advances:

1. Unified Non-Perturbative Framework: The authors demonstrate that the Gel'fand-Dikii ODE naturally encodes all non-perturbative sectors (ZZ, FZZT, and mixed ZZ-FZZT) within a single recursive framework.
2. First Computation of Mixed ZZ-FZZT Effects: They provide the first systematic prescription for computing transseries coefficients associated with mixed ZZ-FZZT effects. Previous methods could not easily access these mixed sectors.
3. Efficiency and Simplicity: The ODE method is shown to be significantly simpler and more direct than the "non-perturbative topological recursion," which requires intricate matrix integral saddle-point expansions. The ODE approach reduces the problem to solving linear algebraic equations recursively.
4. Validation: The results are rigorously validated by:
   • Matching known perturbative results from topological recursion.
   • Matching non-perturbative ZZ-sector results derived from non-perturbative topological recursion.
   • Matching FZZT-sector results derived from WKB expansions.
5. Large Order Growth Predictions: The authors derive fully generic, analytic expressions for the large-order growth of the perturbative coefficients ($V_{g,1}(b)$) as $g \to \infty$. This growth is governed by the instanton actions and Stokes constants of the non-perturbative sectors.

4. Key Results

The authors apply their method to the (2, 3) minimal string as a case study and then generalize to various gravity models:

• (2, 3) Minimal String:
  • Explicitly computed transseries coefficients for the specific heat, free energy, partition function, and one-point correlation function.
  • Verified exact agreement with non-perturbative topological recursion for ZZ sectors and WKB expansions for FZZT sectors.
  • Provided explicit formulas for the leading coefficients of mixed ZZ-FZZT sectors.
• Large Order Growth Formulas:
  • Derived a general formula (Eq. 4.16) relating the large-$g$ behavior of Weil-Petersson volumes to the instanton actions ($A_{ZZ}, A_{FZZT}$) and Stokes constants.
  • JT Gravity: Reproduced known large-order growth results, confirming consistency with previous literature.
  • N=1 JT Supergravity: Proved a conjecture by Stanford and Witten regarding the large-order growth of volumes in N=1 supergravity.
  • N=2 and N=4 JT Supergravity: Provided new analytic growth formulae for these cases, which were previously unknown.
• Specific Predictions:
  • For N=1 JT supergravity, the large-order growth of $V_{g,1}(b)$ is dominated by FZZT effects with a specific polynomial dependence on $b$.
  • For N=2 and N=4, the growth involves complex dependencies on the spectral curve parameters (e.g., $E_0$, $J$), yielding new growth rates of the form $b^{6g-4}$ or similar, depending on the specific model.

5. Significance

• Theoretical Unification: The work bridges the gap between integrable systems (via Gel'fand-Dikii equations) and modern resurgence theory (transseries), showing that the ODE structure naturally contains the full non-perturbative data of the theory.
• Computational Power: It offers a powerful, algorithmic tool for computing non-perturbative data in 2D gravity and matrix models, bypassing the technical difficulties of matrix integral saddle-point methods.
• New Physics: The ability to compute mixed ZZ-FZZT effects opens new avenues for understanding the interplay between different types of D-branes in the holographic duals of 2D gravity.
• Conjecture Resolution: By proving the Stanford-Witten conjecture for N=1 and providing new results for N=2 and N=4, the paper significantly advances the understanding of supersymmetric JT gravity and its matrix model duals.

In summary, this paper establishes the Gel'fand-Dikii ODE method as a superior and comprehensive tool for extracting non-perturbative data in 2D gravity, providing explicit formulas for previously inaccessible mixed sectors and resolving open questions regarding the asymptotic behavior of moduli space volumes in various supergravity theories.