A solvable model of 3d quantum gravity

Imagine you are trying to understand the shape of the entire universe, but instead of looking at stars and galaxies, you are looking at the fundamental rules of gravity in a world with only three dimensions. This is a bit like trying to understand the rules of a complex video game by looking at the code, but the code is written in a language so difficult that it breaks whenever you try to run it on certain maps.

This paper, "A solvable model of 3d quantum gravity," by Anatoly Dymarsky, proposes a new way to play this game. It builds a simplified, "toy" version of the universe that the author can actually solve and understand, revealing some surprising secrets about how gravity might work.

Here is a breakdown of the paper's ideas using everyday analogies:

1. The Problem: A Broken Map

Physicists have long tried to describe 3D gravity using a "holographic" idea: that a 3D universe is like a shadow of a 2D surface (like a hologram on a credit card). However, when they try to calculate the total "weight" or energy of this universe by adding up all possible shapes it could take, the math breaks down. It gives negative numbers for energy, which makes no sense in the real world. It's like trying to count the total number of apples in a basket, but your calculator keeps telling you you have negative apples.

2. The Solution: A "Toy" Universe

The author builds a specific, simplified model of this universe. Instead of using the complex, broken rules of standard gravity, he uses a set of rules based on something called "Virasoro TQFT" (think of this as a very specific, rigid set of instructions for how Lego bricks can snap together).

He creates a universe made of n copies of a simple building block (related to the famous "Ising model" in physics, which describes how magnets align). He then asks: "If we build this universe in every possible shape (every possible topology) and add them all up, what do we get?"

3. The Secret Code: Binary Patterns

To solve this, the author discovers that the different shapes of this universe can be described using binary codes.

The Analogy: Imagine you have a set of light switches (on/off, 1/0). A "code" is just a specific pattern of switches being on or off.
The paper shows that the complex math of the 3D universe is actually equivalent to counting and averaging over all possible patterns of these switches.
Specifically, the universe is made of "triply-even" codes. Think of these as patterns where the switches are arranged in such a way that they satisfy very strict, almost magical rules (like a puzzle where every row and column must have an even number of lights, but with extra layers of rules).

4. The "Off-Shell" Fix: Curing the Negative Energy

One of the biggest headaches in gravity is that if you only look at the "smooth" shapes of the universe (like a perfect sphere or a donut), you get those negative energy numbers.

The Paper's Discovery: The author shows that if you include all possible shapes—including the weird, jagged, "off-shell" ones (like a sphere with a sharp spike or a knot)—the negative numbers cancel out perfectly.
The Analogy: Imagine you are trying to balance a scale. If you only put heavy weights on one side, it tips. But if you add the "invisible" weights (the off-shell shapes) that were previously ignored, the scale balances perfectly. The "off-shell" topologies are the secret ingredient that makes the math work.

5. The Big Picture: The "Holographic Code"

When the universe gets very large (a "large central charge"), the model simplifies dramatically.

The Phase Change: The complex universe "condenses" into a simpler, "Abelian" phase. Think of this like water freezing into ice. The messy, complex liquid becomes a structured, predictable crystal.
The Interface: In this simplified state, the 3D universe acts like a "holographic code." Imagine a thick slab of material near the edge of the universe. This slab acts as a translator or an interface. It takes the complex, high-energy information from the edge (the boundary) and compresses it into a simpler, lower-energy code inside the bulk.
This is a toy version of the "Holographic Principle," suggesting that the complex information of our universe might be stored on a lower-dimensional surface, much like a 2D barcode containing the data for a 3D object.

6. Wormholes and Transitions

The model also successfully predicts two famous phenomena expected in real gravity:

The Hawking-Page Transition: This is like a phase transition where the universe suddenly changes from a cold, empty state to a hot, black-hole-filled state. The model shows this happening naturally.
Wormholes: The paper calculates the probability of "wormholes" (tunnels connecting two different points in space). It finds that these are extremely rare (exponentially suppressed), which matches what we expect in a stable universe.

Summary

In short, this paper builds a simplified, solvable model of a 3D universe using a mix of gravity rules and binary codes. By summing up every possible shape this universe can take, the author proves that:

Including "weird" shapes fixes the math errors (negative energy).
The universe behaves like a giant error-correcting code.
In the limit of a large universe, it simplifies into a predictable, structured phase that mimics the behavior of real semiclassical gravity.

It doesn't solve the mysteries of our actual universe, but it provides a working "test drive" that shows how a consistent theory of quantum gravity might look, offering a new way to think about the relationship between the shape of space and the information it contains.

Technical Summary: A Solvable Model of 3d Quantum Gravity

Problem and Motivation
Three-dimensional quantum gravity with a negative cosmological constant remains a subject of intense study, yet a non-perturbative definition beyond the semiclassical limit is elusive. Holographic approaches face the obstacle that no known large-central-charge ( $c$ ), large-spectral-gap Conformal Field Theories (CFTs) exist to serve as duals to semiclassical gravity. Conversely, defining 3d gravity as dual to an ensemble of all large- $c$ CFTs encounters difficulties in defining the ensemble itself. Furthermore, reformulating gravity as a Virasoro Topological Quantum Field Theory (TQFT) yields ill-defined results for "off-shell" topologies (non-hyperbolic manifolds), despite these contributions being necessary for a well-defined theory. This paper proposes a solvable model, $V^n_{1/2}$ TQFT gravity, which sits between the holographic and Virasoro TQFT approaches. The model aims to address these challenges by providing a well-defined bulk theory (summing over all 3d topologies) and a dual boundary ensemble, exhibiting qualitative features of semiclassical gravity.

Methodology
The model is defined within the framework of TQFT gravity, where the bulk theory is a topological quantum field theory summed over all 3d manifolds with a fixed boundary. Specifically, the bulk TQFT consists of $n$ chiral and $\bar{n}$ anti-chiral copies of the rational Virasoro TQFT with central charge $c=1/2$ (the Ising theory), supplemented by $(E_8)_1$ theories to cancel the chiral central charge. The authors focus primarily on the case $\bar{n}=n$ .

The core methodology involves:

Sum over Topologies: The bulk partition function is defined as an average over all generalized Heegaard splittings of the boundary Riemann surface $\Sigma_g$ . This is formalized as a sum over all topological boundary conditions (TBCs) of the bulk TQFT, weighted by the inverse size of their automorphism groups.
Coding Theory Mapping: The authors map the TBCs and the resulting states in the TQFT Hilbert space to binary linear codes. For the $V^n_{1/2}$ model, these are identified as triply-even binary codes (denoted as $\mathcal{D}$ -codes) of length $n+\bar{n}$ that include the all-ones codeword.
Genus Reduction and Averaging: The partition function is computed by averaging the TQFT wavefunction over the Mapping Class Group (MCG) in the limit of large genus ( $g \to \infty$ ) and then reducing to lower genera. This involves classifying orbits of states under the symplectic group action and evaluating the resulting enumerator polynomials.
Large $c$ Limit: The authors analyze the limit $n \to \infty$ (where $c = n/2$ ), demonstrating that the theory "condenses" into an Abelian phase described by $n$ copies of the Toric Code (Abelian Chern-Simons theory with level $p=2$ ).

Key Contributions and Results

Explicit Partition Functions: The paper derives explicit expressions for the partition function of $V^n_{1/2}$ TQFT gravity.
- Mass (Genus 0): The mass, representing the total number of boundary theories (weighted), is calculated as a sum over $\mathcal{D}$ -codes.
- Torus and Higher Genus: The partition functions are expressed as sums over the enumerator polynomials of these $\mathcal{D}$ -codes. For the torus ( $g=1$ ), the result is a sum over $\mathcal{D}$ -codes of terms involving modified enumerator polynomials $W_D$ .
- Large $c$ Limit: In the limit $n \gg 1$ , the sum simplifies significantly. The partition function is dominated by "zero-weight" codes (where the difference between left and right Hamming weights vanishes). The result admits a closed-form expression resembling a Poincaré series over the modular group $\Gamma_0(2)$ , with a seed function determined by the Ising characters.
Holographic Duality Verification: The authors confirm the holographic duality between the bulk sum and the boundary ensemble for small $n$ ( $n < 8$ ).
- They establish a map between the TBCs of the Doubled Ising theory ($DIn$) and the TBCs of the Toric Code ( $TC_n$ ) via topological interfaces.
- They prove that the ensemble-averaged boundary partition function, when summed over specific interfaces and codes, matches the bulk sum over $\mathcal{D}$ -codes. This is verified analytically for $n < 8$ and via computer algebra for $n \le 5$ .
Resolution of Negative Density of States: The paper demonstrates that the inclusion of all 3d topologies (the full sum) cures the negative density of states that arises when summing only over handlebodies (the "naive" bulk sum).
- The naive sum over handlebodies yields negative coefficients when expanded in Ising characters.
- The full sum over all topologies, organized by $\mathcal{D}$ -codes, results in a manifestly positive density of states. This is attributed to the contribution of "off-shell" topologies (represented by non-handlebody geometries or line operator insertions in the TQFT language).
Semiclassical Features: In the large central charge limit, the model exhibits several features expected in semiclassical 3d gravity:
- Hawking-Page Transition: The partition function structure is consistent with three saddle-point contributions, indicating a phase transition.
- Wormhole Amplitude: The connected part of the two-torus partition function (wormhole amplitude) is calculated. It is found to be exponentially suppressed ( $\sim e^{-O(c)}$ ), consistent with the self-averaging nature of the boundary ensemble.
- Holographic Code: The model provides a toy example of a holographic code. In the large $c$ limit, the complex bulk theory condenses to an Abelian phase separated from the boundary by an interface. This interface embeds the Hilbert space of the effective Abelian theory (Toric Code) into the full Hilbert space of the boundary CFT, mimicking the structure of holographic error-correcting codes.

Significance and Claims
The paper claims that $V^n_{1/2}$ TQFT gravity serves as a solvable, controllable toy model for 3d quantum gravity. Its primary significance lies in:

Non-perturbative Definition: It provides a concrete, non-perturbative definition of 3d gravity via a sum over topologies that is well-defined for all genera.
Resolution of Pathologies: It explicitly demonstrates how summing over all topologies (including off-shell ones) resolves the issue of negative density of states, a known problem in semiclassical gravity approaches.
Effective Theory Perspective: The authors suggest that Virasoro TQFT (and by extension, semiclassical gravity) should be viewed as an effective theory. They argue that the ill-defined nature of Virasoro TQFT on off-shell topologies can be understood as a limit of a sequence of well-defined, regularized theories (like the compact Abelian CS theory used here). In this view, a single semiclassical saddle point corresponds to a sum over an infinite class of topologies in the regularized theory.
Connection to Coding Theory: The work deepens the connection between 3d gravity, CFT ensembles, and coding theory, showing that the partition functions are governed by the statistics of specific binary codes.

The authors remain modest regarding the generalization to arbitrary $n$ and $\bar{n}$ , noting that a rigorous proof of the duality for all $n$ requires further work, particularly for codes with non-zero weight that appear when $n \ge 8$ . However, the model successfully captures the qualitative features of semiclassical gravity in a mathematically rigorous setting.