Cap amplitudes in random matrix models

This paper introduces the cap amplitude $\psi(b)$ as an expansion coefficient in one-matrix models and demonstrates that the dilaton equation and genus-$g$ free energy can be derived by gluing this amplitude to boundaries of the moduli space of Riemann surfaces.

The Gist

The Big Picture: Building a Universe from Lego

Imagine you are trying to understand the shape of the entire universe, or perhaps just a very complex, multi-layered cake. In physics, specifically in the study of Random Matrix Models, scientists use giant grids of numbers (matrices) to simulate these complex systems.

For a long time, calculating the properties of these systems (like their total energy or "free energy") has been like trying to build a castle by hand, brick by brick, for every single possible shape. It's tedious and messy.

This paper introduces a new, elegant tool called the "Cap Amplitude" (denoted as $\psi(b)$). Think of this as a universal Lego cap. Once you have the right cap, you don't need to build the whole castle from scratch. You just snap the cap onto the top of your structure, and the math tells you exactly what the whole building looks like.

---

The Main Characters

To understand the paper, let's meet the cast of characters using a Travel and Architecture analogy:

1. The Matrix Model: Imagine a giant, invisible city made of numbers. We want to know the "volume" or "energy" of this city.
2. The Spectral Curve: This is the blueprint or the map of the city. It tells us where the buildings (numbers) are located.
3. Boundaries (The $b$'s): Imagine the city has open edges or "ports" where you can enter or exit. In the math, these are called boundaries.
4. The Discrete Volume ($N_{g,n}$): This is the "size" of a city with a specific number of holes (genus $g$) and specific port sizes ($n$).
5. The Cap Amplitude ($\psi(b)$): This is the magic lid. It's a specific piece that fits perfectly over a port of size $b$. When you put this lid on, the port disappears, and the edge becomes a smooth, closed surface.

---

The Core Discovery: The "Capping" Trick

The most important finding in the paper is a simple rule the author calls the Dilaton Equation.

The Old Way:
Previously, if you wanted to calculate the properties of a city with 3 ports, you had to do a massive, complicated calculation. If you wanted to know what happens when you close one port, you had to start over and do a new massive calculation.

The New Way (The Cap Amplitude):
The author discovered that you can think of "closing a port" as simply gluing a cap onto it.

• The Analogy: Imagine you have a bucket with a hole in the bottom (a port). To stop the water from leaking, you don't need to rebuild the bucket. You just slap a specific lid (the Cap Amplitude) over the hole.
• The Math Magic: The paper proves that if you take all possible sizes of these lids (from size 0 to infinity) and glue them onto a city with $n+1$ ports, the result is mathematically identical to the city with $n$ ports.

In simple terms:

"To find the size of a world with $n$ holes, just take a world with $n+1$ holes, try gluing every possible 'cap' onto one of the holes, and add up the results. The math works out perfectly."

This turns a complex, high-level calculation into a simple "gluing" operation.

---

Why is this a Big Deal?

1. It's the "Source Code"

The paper shows that the Cap Amplitude is the most basic building block.

• The "Moments" (which are like the raw ingredients of the matrix model) are actually just combinations of these caps.
• The "Free Energy" (the total energy of the system) is just the result of gluing a cap onto a specific shape.
• Conclusion: If you know the Cap Amplitude, you know everything about the system. You don't need to know the complicated potential or the density of numbers; the cap holds all the secret information.

2. It Connects Different Worlds

The paper applies this to two very different types of "cities":

• The Gaussian Model: This is the simplest, most standard city (like a perfect sphere). The author shows their method works here, confirming the math is correct.
• The ETH Matrix Model (for DSSYK): This is a much stranger, more complex city related to quantum gravity and black holes (specifically the "Sachdev-Ye-Kitaev" model).
  • Why it matters: This model is a candidate for describing how gravity works in a 2D universe. By using the Cap Amplitude, the author can calculate the energy of this quantum gravity system much more easily than before.

3. The "Hartle-Hawking" Connection

In the discussion, the author hints at a deep connection to Quantum Cosmology.

• Imagine the "Cap" not just as a lid, but as the Big Bang.
• In physics, the "Hartle-Hawking state" is a theory about how the universe started without a boundary (no edge).
• The paper suggests that the Cap Amplitude is the mathematical representation of this "no-boundary" state. It's the piece that turns an open, messy edge into a smooth, closed beginning.

---

Summary: The Takeaway

Kazumi Okuyama has found a universal key for a very complex lock.

Instead of solving a giant, scary equation to understand the shape of a quantum universe, we can now think of it as a game of gluing lids.

1. Identify the "Cap Amplitude" (the shape of the lid) for your specific universe.
2. Glue it onto the edges of your shape.
3. The math automatically tells you the volume, the energy, and the history of that universe.

It transforms a nightmare of calculus into a satisfying puzzle where you just have to find the right piece to close the loop. This makes studying the holographic nature of gravity (how a 2D surface can describe a 3D universe) much more accessible and elegant.

Technical Summary

1. Problem Statement

Random matrix models are fundamental tools in theoretical physics, particularly in the study of 2D quantum gravity and holography (e.g., JT gravity and the DSSYK model). While the topological recursion framework (Eynard-Orantin) allows for the systematic computation of genus expansions of free energies ($F_g$) and correlation functions, the geometric interpretation of the expansion coefficients of the spectral curve's 1-form ($ydx$) has remained somewhat abstract.

Specifically, recent work on the ETH matrix model (dual to DSSYK) suggested that expanding the potential in Chebyshev polynomials yields coefficients that determine the genus-zero free energy. However, the geometric meaning of these coefficients, particularly the constant term ($b=0$), was not fully explored. The paper aims to:

1. Define a geometric object called the "cap amplitude" ($\psi(b)$) derived from the spectral curve.
2. Establish a direct link between $\psi(b)$ and the dilaton equation governing the discrete volumes ($N_{g,n}$) of moduli spaces.
3. Demonstrate that all higher-genus free energies and discrete volumes are completely determined by $\psi(b)$.

2. Methodology

The author employs the formalism of topological recursion for Hermitian one-matrix models in the large $N$ limit, specifically focusing on the one-cut case.

• Spectral Curve & Joukowsky Map: The matrix model is defined by a spectral curve $y^2 = \frac{1}{4}V'(x)^2 - P(x)$. The author utilizes the Joukowsky map $x(z) = \gamma(z + z^{-1}) + \delta$ to uniformize the spectral curve, mapping the branch cut $[a, b]$ to the unit circle $|z|=1$.
• Definition of Cap Amplitude: The core innovation is defining the cap amplitude $\psi(b)$ as the expansion coefficients of the 1-form $ydx$ on the spectral curve:
  $$ydx = -\frac{dz}{2z} \sum_{b=0}^{\infty} \psi(b) (z^b + z^{-b})$$
  The normalization condition $\text{Res}_{z=0}(ydx) = -1$ fixes $\psi(0)=1$.
• Topological Recursion & Contour Deformation: The author re-derives the dilaton equation (a fundamental relation in topological recursion) by performing partial integration and contour deformation on the spectral curve. This transforms the equation from a statement about residues of differential forms into a summation over the discrete boundary lengths $b$.
• Moment Expansion: The paper connects $\psi(b)$ to the standard "moments" ($M_k, J_k$) used in previous literature (e.g., Eynard, Orantin) by expanding the function $Q(x)$ (which defines the spectral curve) around the branch points.

3. Key Contributions

A. Geometric Interpretation of the Dilaton Equation

The paper provides a clear geometric picture for the dilaton equation. Traditionally, the dilaton equation relates the volume of a moduli space with $n$ boundaries to one with $n+1$ boundaries. The author shows that:
$$\sum_{b=0}^{\infty} \psi(b) N_{g,n+1}(b, b_1, \dots, b_n) = (2 - 2g - n) N_{g,n}(b_1, \dots, b_n)$$
Interpretation: The operation of summing over $\psi(b)$ corresponds to gluing a "cap" (a disk with a boundary of length $b$) to one of the boundaries of a Riemann surface. This "caps" the boundary, reducing the number of boundaries by one ($n+1 \to n$) and closing the surface.

B. The Cap Amplitude as a Fundamental Building Block

The author proves that the moments $M_k$ and $J_k$, which traditionally determine the free energy, are themselves linear combinations of the cap amplitudes $\psi(b)$. Consequently:

• The discrete volumes $N_{g,n}$ are determined by $\psi(b)$.
• The free energy $F_g$ is determined by $\psi(b)$.
• The potential $V(x)$ can be reconstructed directly from $\psi(b)$ using Chebyshev polynomials.

C. Resolution of the $b=0$ Ambiguity

In previous literature (e.g., Ref [12]), the expansion of the potential did not naturally include the $b=0$ term. The author's definition via the 1-form $ydx$ naturally fixes $\psi(0)=1$ (the residue at infinity), which is crucial for the consistency of the dilaton equation and the correct counting of topological terms.

4. Key Results

General Formulas

• Free Energy ($g \ge 2$):
  $$F_g = \frac{1}{2-2g} \sum_{b=0}^{\infty} \psi(b) N_{g,1}(b)$$
  This expresses the genus-$g$ free energy as the result of capping a single-boundary surface.
• Genus-Zero Free Energy:
  $$F_0 = \sum_{b=1}^{\infty} \frac{1}{2b} \psi(b)^2 + \log \gamma$$
• Eigenvalue Density: The density $\rho_0(x)$ is expressed simply as a Fourier series of $\psi(b)$:
  $$\mu(\theta) = \sum_{b=0}^{\infty} \psi(b) 2 \cos(b\theta)$$

Specific Examples

1. Gaussian Matrix Model:
   • The cap amplitudes are $\psi(0)=1, \psi(2)=-1$, and $\psi(b)=0$ otherwise.
   • The derived free energy $F_g$ matches the known result involving Bernoulli numbers: $F_g = \frac{B_{2g}}{2g(2g-2)}$.
2. ETH Matrix Model (DSSYK):
   • Applied to the Double-Scaled Sachdev-Ye-Kitaev (DSSYK) model.
   • The cap amplitudes are non-zero only for even $b$ and involve $q$-deformed factors: $\psi(2r) \propto (-1)^r q^{r^2/2}(q^{r/2} + q^{-r/2})$.
   • The author computes $F_0, F_1, F_2$ explicitly in terms of $q$-deformed zeta functions.
   • Validation: A small $q$ expansion of the partition function computed via standard perturbation theory matches the expansion derived from the cap amplitude formalism, confirming the validity of the new $\psi(b)$ definition.

5. Significance and Future Directions

• Unification: The paper unifies the description of random matrix models by showing that the "cap amplitude" is the fundamental data from which all topological invariants ($N_{g,n}, F_g$) and the potential itself can be derived.
• Holographic Interpretation: The geometric picture of "capping" a boundary aligns with holographic interpretations in quantum gravity. Specifically, the cap amplitude $\psi(b)$ is suggested to correspond to the Hartle-Hawking no-boundary state in de Sitter JT gravity, where the boundary length $b$ relates to the size of the future boundary.
• Computational Efficiency: By reducing the calculation of high-genus free energies to sums over $\psi(b)$, the formalism offers a potentially more efficient route for computing observables in complex matrix models like DSSYK compared to traditional moment-based recursion.
• Open Questions: The author suggests future work on the "string equation" in terms of $\psi(b)$, the Conformal Field Theory (CFT) interpretation of the cap amplitude, and applications to quantum cosmology.

In summary, Okuyama introduces a powerful geometric framework where the cap amplitude serves as the primary building block of random matrix models, offering a transparent link between spectral curve data, topological recursion, and the holographic description of quantum gravity.