$c=1$ strings as a matrix integral

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand how tiny, vibrating strings interact with each other in a universe that has only two dimensions: one of space and one of time. This is the world of the $c=1$ string theory.

For decades, physicists have had two main ways to describe this world:

The Worldsheet View: Looking at the strings as they wiggle and tear through a 2D surface (like a soap film). This is mathematically beautiful but incredibly messy to calculate.
Matrix Quantum Mechanics (MQM): A completely different approach where the strings are replaced by a giant, fluctuating matrix (a grid of numbers) bouncing in a special potential. This was known to work, but it felt like a magic trick—nobody knew why the two views were the same.

This paper, by Collier, Eberhardt, and Rodriguez, introduces a third way and proves that all three are actually the same thing. They call this a "Triality."

Here is the breakdown of their discovery using simple analogies.

1. The Problem: The "Pixelated" Universe

When the authors tried to calculate how these strings scatter (bounce off each other) using standard geometry, they hit a wall. The math suggested that in this specific universe, space isn't smooth and continuous like a flowing river. Instead, it behaves like a digital grid or a pixelated screen.

In a normal river, you can measure a distance of 1.5 meters. In this "pixelated" string world, momentum (how fast something is moving) is only conserved in "chunks." It's like trying to walk across a room where you can only take steps of exactly 1 meter, or 2 meters, or 3 meters. If you try to take a 1.5-meter step, the universe says, "Nope, that's not allowed."

2. The Solution: The "Matrix Integral"

The authors discovered a new mathematical tool to describe this pixelated world: a Matrix Integral.

Think of this not as a complex equation, but as a giant, infinite dice game.

Imagine you have a table covered in millions of dice.
The "Matrix Integral" is a rulebook that tells you how to roll these dice and sum up the results to predict what happens when strings collide.
Crucially, this rulebook is based on a specific shape called a Spectral Curve.

The Spectral Curve Analogy:
Imagine a piece of paper with a circle drawn on it. Now, imagine that paper is wrapped around a cylinder, and then wrapped around that cylinder again, infinitely many times, creating a spiral staircase that goes up forever.

The authors found that the "shape" of this infinite spiral staircase (the spectral curve) is defined by a simple equation involving cosine and sine waves: $x = 2\sqrt{2}\cos(z)$ and $y = \sin(z)$ .
This shape acts like a master map. By following the paths on this map, you can calculate exactly how the strings interact, without ever needing to do the messy "Worldsheet" calculations.

3. The "Brillouin Zone": Finding the Real World

Here is the tricky part. The "Matrix Integral" and the "Pixelated" math they derived describe a universe where momentum is only conserved in chunks. But our real physical universe (even in this simplified 2D model) has smooth, continuous momentum.

How do they get from the "chunky" math to the "smooth" reality?

The Analogy: Think of a piano. It has discrete keys (white and black). You can only play specific notes. But if you play a chord, it sounds like a smooth, continuous sound.
The authors realized that the "chunky" math contains all possible versions of the interaction. To find the "real" physical answer, you have to look at a specific section of the math called the "First Brillouin Zone."
This is like looking at just the first octave of the piano. If you restrict your view to this zone, the "pixelation" disappears, and you get the smooth, continuous physics we expect.

4. The "Triality": Three Faces of the Same Coin

The paper's biggest achievement is proving that these three descriptions are identical:

The String (Worldsheet): The original, messy, geometric view.
The Matrix (MQM): The quantum mechanics view with the giant grid of numbers.
The Matrix Integral (New): The new "infinite dice game" based on the spectral curve.

The authors showed that if you take the "Worldsheet" view, apply a specific mathematical filter (residue), you get the "Matrix Integral." If you take the "Matrix Integral," you get the "Matrix Quantum Mechanics." It's like looking at a sculpture from the front, the side, and the top; they look different, but they are the same object.

5. Why Does This Matter?

Unitarity (Conservation of Probability): In physics, the total probability of all outcomes must add up to 100%. Proving this for string theory is notoriously hard. The authors used their new "Matrix Integral" rules to prove that probability is conserved, essentially showing that the "dice game" never cheats.
A New Language: They provided a new set of "Feynman rules" (instructions for calculating particle interactions) that are much simpler than the old ones. Instead of integrating over complex shapes, you just sum over graphs and use simple polynomials (like $x^2 + 1$ ).
The "Pixel" Insight: They showed that the "pixelation" of space isn't a bug; it's a feature. It's a natural consequence of the deep mathematical structure of the theory, and it actually makes the calculations finite and well-behaved.

Summary

The authors found a new, simpler language (a Matrix Integral based on a specific spiral shape) to describe how strings in a 2D universe interact. They proved this new language is mathematically identical to the old, messy geometric language and the quantum matrix language. They also showed that the "weirdness" of this universe (momentum coming in chunks) is just a hidden layer of reality that, when viewed correctly, reveals the smooth physics we know.

It's like discovering that the complex, swirling patterns of a storm are actually just the result of a simple, repeating rhythm that you can predict with a single, elegant equation.

1. Problem Statement

The $c=1$ string theory is a fundamental model of string theory with a dynamical target space, describing strings in a $(1+1)$ -dimensional background with a Liouville wall. While the theory is well-understood through two distinct frameworks:

Worldsheet Description: Defined by coupling a timelike free boson to $c=25$ Liouville CFT.
Matrix Quantum Mechanics (MQM): Described as the double-scaling limit of $N \times N$ Hermitian matrix quantum mechanics in an inverted harmonic oscillator potential.

A third, unifying framework has been missing. While minimal string theories and the Complex Liouville String (CLS) have established dualities with double-scaled matrix integrals governed by topological recursion on a spectral curve, the $c=1$ string has not been successfully embedded in this paradigm. Direct evaluation of worldsheet moduli space integrals for $c=1$ is technically challenging, obscuring features like unitarity and the polynomial structure of amplitudes. The authors aim to close this gap by deriving a matrix integral description for $c=1$ strings, thereby establishing a triality between the worldsheet, MQM, and a matrix integral.

2. Methodology

The authors employ a multi-step approach combining algebraic geometry, intersection theory, and matrix model techniques:

Residue Extraction from Complex Liouville String (CLS):
The starting point is the CLS, a theory with complex central charges $c = 13 \pm iR$ . The authors observe that $c=1$ amplitudes arise as residues of CLS amplitudes when the background charge of one Liouville factor is saturated (resonance poles). By taking the limit $b \to 1$ (where $b$ parametrizes the Liouville coupling) after extracting the residue, they recover the $c=1$ worldsheet theory.
Intersection Theory and Stable Graphs:
They utilize the known intersection number expressions for CLS amplitudes (sums over "colored" stable graphs). By performing the residue extraction and the $b \to 1$ limit graph-by-graph, they derive closed-form Feynman rules for $c=1$ amplitudes.
Discretization and Brillouin Zones:
The resulting formulas naturally describe a theory with a discretized target space, where momentum is conserved only modulo an integer ( $p \in \mathbb{R}/\mathbb{Z}$ ). The authors identify the physical $c=1$ amplitudes as the restriction of these "discretized" amplitudes to the first Brillouin zone ( $|p| < 1$ ), followed by analytic continuation to Lorentzian kinematics.
Spectral Curve and Topological Recursion:
They identify a specific spectral curve governing the perturbative expansion of a double-scaled matrix integral. Using Topological Recursion (Eynard-Orantin), they generate the resolvents of this matrix integral and map them to the string amplitudes.
Unitarity Proofs:
They provide a direct proof of perturbative spacetime unitarity using the "holomorphic cutting rules" applied to the intersection number expressions, demonstrating that the discontinuities (branch cuts) arise solely from edge factors (Bernoulli polynomials) and factorize correctly.

3. Key Contributions

A. Intersection Number Expressions for $c=1$ Amplitudes

The authors derive the first closed-form expressions for $c=1$ string amplitudes as intersection numbers on the moduli space of Riemann surfaces ( $\mathcal{M}_{g,n}$ ).

Feynman Rules: The amplitudes are expressed as sums over stable graphs.
- Vertices: Carry a "color" $m_v \in \mathbb{Z}$ (representing a discretized position).
- Propagators: Depend on the color difference between vertices and involve Bernoulli polynomials $B_{2d+2}(\{p\})$ of the fractional parts of momenta.
- Vertex Factors: Related to the quantum volumes of the Virasoro Minimal String (VMS) at $c=25$ .
Discretized Amplitudes: The formulas compute amplitudes $s_{g,n}$ where total momentum is conserved modulo an integer. The physical S-matrix $S_{g,n}$ is recovered by restricting to the first Brillouin zone and Wick rotating.

B. The $c=1$ Spectral Curve and Matrix Integral

The paper identifies the specific spectral curve that governs the $c=1$ matrix integral:
$x(z) = 2\sqrt{2} \cos(z), \quad y(z) = \sin(z)$
This curve describes an ellipse $x^2/8 + y^2 = 1$ but is realized as an infinite-sheeted covering of the plane due to the $2\pi$ periodicity of $z$ .

Branch Points: Located at $z^*_m = \pi m$ for $m \in \mathbb{Z}$ .
Topological Recursion: The perturbative resolvents $\omega_{g,n}$ are generated by topological recursion on this curve. The recursion involves summing residues over all branch points, which corresponds to a discrete Fourier transform from the "sheet index" (lattice position) to momentum space.

C. Mirzakhani-Type Recursion Relation

The authors derive a recursion relation for the discretized amplitudes $\hat{s}_{g,n}$ that mirrors Mirzakhani's recursion for Weil-Petersson volumes.

It is a three-term relation corresponding to the three ways a pair of pants can be embedded in a surface (creating a handle, splitting the surface, or joining legs).
Crucially, the recursion does not close on physical amplitudes (where momentum is strictly conserved); it requires the full set of discretized amplitudes (allowing "Umklapp" scattering where momentum changes by integers) to function. This highlights the necessity of the discretized framework for the recursive structure.

D. Proof of Perturbative Unitarity

Using the intersection number expressions, the authors prove spacetime unitarity directly. They show that the branch cuts of the physical amplitudes originate entirely from the edge factors (Bernoulli polynomials). The discontinuities at integer momenta factorize into products of lower-point on-shell amplitudes, satisfying the optical theorem order-by-order in the genus expansion without invoking the MQM description.

E. Polynomial Structure and Zeros

The physical amplitudes exhibit a reduced polynomial degree of $4g - 3 + n$ , significantly lower than the naive bound $6g - 6 + 2n$ suggested by the dimension of moduli space. This implies massive cancellations within the intersection theory. The amplitudes also display a specific pattern of zeros in the total outgoing momentum, naturally explained by the free-fermion description in MQM but obscured in the worldsheet formulation.

4. Results

Triality Established: The paper confirms a triality between:
1. Worldsheet CFT.
2. Matrix Quantum Mechanics (MQM).
3. A Double-Scaled Matrix Integral (governed by the spectral curve $x=2\sqrt{2}\cos z, y=\sin z$ ).
Agreement with MQM: The derived amplitudes match known MQM results (computed via the Moore-Plesser-Ramgoolam free-fermion formalism) up to genus 5 and various multiplicities.
Cohomological Field Theory (CohFT): The integrand of the amplitude is shown to define an infinite-dimensional CohFT, providing a structural link to the topological recursion of the dual matrix integral.
Generalization: The framework is shown to generalize to $b \neq 1$ (linear dilaton backgrounds) and potentially to $N=1$ superstring theories (Type 0A/0B).

5. Significance

Unification: This work completes the triality for $c=1$ strings, placing them on the same footing as minimal strings and JT gravity regarding their matrix integral descriptions.
Computational Power: The intersection number formulas provide a new, efficient method for calculating string amplitudes that avoids the technical difficulties of direct worldsheet integration.
Conceptual Insight: The discovery that the physical theory emerges from a discretized target space (with momentum conservation modulo integers) and that the "Umklapp" sectors are essential for the recursive structure offers deep insights into the non-perturbative geometry of string theory.
Future Directions: The paper opens avenues for studying non-perturbative effects (ZZ-instantons) in the matrix integral context, though the presence of zero modes in the $c=1$ spectral curve presents new challenges. It also suggests a potential connection to a new 3D Topological Quantum Field Theory (TQFT) built from Virasoro conformal blocks.

In summary, the paper successfully bridges the gap between the worldsheet and matrix integral descriptions of $c=1$ strings, utilizing advanced techniques in intersection theory and topological recursion to reveal a rich underlying structure characterized by discretization, spectral curves with infinite sheets, and a novel recursion relation.

c=1c=1c=1 strings as a matrix integral