⚛️ high-energy theory

Mass formula for topological boundary conditions from TQFT gravity

This paper establishes that the partition function of 3d TQFT gravity, interpreted as a mass formula, provides a generalized weighted count of topological boundary conditions that unifies and extends classical mass formulas for algebraic structures like lattices and codes across Abelian, non-Abelian, and higher-dimensional TQFTs.

Original authors: Anatoly Dymarsky, Alfred Shapere

Published 2026-02-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Anatoly Dymarsky, Alfred Shapere

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ 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

The Big Picture: Counting the "Ways" a Universe Can End

Imagine you have a magical, invisible box (a 3D universe) made of pure math. This box has a specific set of rules for how things interact inside it. In physics, we call this a Topological Quantum Field Theory (TQFT).

Now, imagine you want to put a "lid" on this box. But this isn't just any lid; it has to be a special kind of lid that fits perfectly with the rules inside the box without breaking them. In the paper, these special lids are called Topological Boundary Conditions (TBCs).

The authors of this paper asked a simple but deep question: "How many different valid lids can we put on this specific type of box?"

In mathematics, counting these things is often called calculating a "Mass." Don't think of mass as weight; think of it as a "weighted score." It's a way of counting how many unique solutions exist, giving extra credit to the ones that are more "symmetric" or "special."

The Magic Trick: The "All-Universes" Calculator

Usually, to count these lids, you have to list them one by one. But for complex boxes, there are too many to count manually. The authors discovered a clever shortcut.

They realized that if you take a mathematical "soup" and mix in every possible shape a 3D universe could have (spheres, donuts, pretzels, etc.), the result of that mixing process tells you exactly how many valid lids exist.

The Analogy: Imagine you want to know how many different keys fit a specific lock. Instead of trying every key in the world, you build a machine that simulates every possible shape of a keyhole. When you run the machine, the number of times it "clicks" successfully is the answer to your question.
The Paper's Claim: The "Mass" (the count of lids) is equal to the average of the box's behavior across all possible 3D shapes.

Breaking Down the Ingredients

1. The "Abelian" Boxes (The Simple Ones)

The paper starts with the simplest type of boxes, called Abelian theories.

The Connection to Codes: The authors show that for these simple boxes, counting the lids is exactly the same as counting a specific type of error-correcting code used in computer science (like the codes that keep your Wi-Fi signal strong).
The Result: They derived a formula that acts like a universal calculator. If you know the rules of the box, you can plug them into this formula, and it spits out the number of lids. They tested this on many examples (like "Toric Codes" and "U(1)" theories) and found the numbers matched what mathematicians already knew about codes.

2. The "Non-Abelian" Boxes (The Complex Ones)

Next, they looked at more complicated boxes where the rules are messier (Non-Abelian).

The Ising Example: They focused on a famous complex system called the Ising model (think of it as a grid of tiny magnets that can be up or down).
The Twist: In these complex boxes, not all lids are created equal. Some are "heavier" (more important) than others. The formula they developed accounts for this weight. They calculated the "Mass" for systems made of many copies of the Ising model and found the numbers matched previous, very difficult calculations done by other mathematicians.

3. The 5D Extension (The Extra Dimension)

Finally, the authors asked: "Does this work in 5 dimensions?"

The Analogy: Imagine the 3D box is a room. Now, imagine a 5D box is a hyper-room with extra directions we can't see.
The Result: They showed that the same "All-Universes" averaging trick works here too. They used it to count the number of valid "symmetry groups" (ways the rules can stay consistent) in these 5D theories.

Why "Gravity"?

The title mentions "TQFT gravity." This might sound scary, but here is the simple idea:

In our real world, gravity bends space.
In this mathematical world, the "gravity" is the act of summing over all shapes.
The authors are saying: "If you treat the sum of all possible 3D shapes as a kind of gravitational field, the 'Mass' we calculated is actually the renormalized partition function of that field."
Translation: The number of valid lids is the same as the total energy score of a universe where the geometry itself is fluctuating and changing.

Summary of Claims

The Formula: There is a single formula that calculates the number of valid boundary conditions (lids) for a topological theory by averaging the theory's behavior over every possible 3D shape.
The Code Link: For simple theories, this count is identical to counting specific types of computer codes.
The Verification: They proved this works for many specific examples (Toric codes, U(1) theories, Ising models) and found the results match known mathematical facts.
The Extension: This method works not just for 3D, but also for 5D theories involving "2-form" fields.

What the paper does NOT claim:

It does not claim to build a physical machine or a new type of battery.
It does not claim to solve problems in medicine or climate change.
It does not claim that our real universe is definitely one of these TQFTs (though it uses the language of gravity).
It is purely a mathematical discovery about how to count structures in abstract physics and coding theory.

In short, the paper provides a universal counting machine that uses the geometry of the universe itself to solve difficult counting problems in math and physics.

Technical Summary: Mass Formula for Topological Boundary Conditions from TQFT Gravity

Problem Statement
In mathematics, mass formulas are used to evaluate the total weighted count of algebraic structures, such as lattices or error-correcting codes. In the context of 3d Topological Quantum Field Theories (TQFTs), specifically those of the unitary modular tensor category type, there is a need to count and weight the topological boundary conditions (TBCs). While previous work established a holographic duality between TQFT gravity (a model of topological gravity defined by summing over all 3d topologies with a fixed boundary) and an ensemble of boundary theories, a general method to evaluate the "mass"—defined as the total weighted count of TBCs—for arbitrary Abelian and non-Abelian theories was lacking. Specifically, the paper addresses how to compute the renormalized partition function of TQFT gravity, which corresponds to this mass, by performing a sum over all closed 3d manifolds.

Methodology
The authors derive a mass formula by leveraging the properties of the mapping class group and the structure of TQFT Hilbert spaces on Riemann surfaces of genus $g$ .

Holographic Duality and Projectors: The core argument relies on the observation that states $|C\rangle$ defined by topological boundary conditions are invariant under the mapping class group. For sufficiently large genus $g$ , these states span the space of modular invariants and become mutually orthogonal. Consequently, the density matrix formed by summing over all boundary conditions acts as a projector onto the modular-invariant subspace. This projector can be equivalently expressed as a formal average over the mapping class group.
Sum over Topologies: The mass formula is derived by evaluating the matrix element of this projector between vacuum states. This transforms the problem of counting boundary conditions into calculating the TQFT partition function averaged over all possible closed connected 3d manifolds. The authors parametrize these manifolds using Heegaard splittings rather than the conventional link-in- $S^3$ approach.
Basis Transformation: To evaluate the sum over Heegaard splittings, the authors introduce a specific basis in the TQFT Hilbert space. This basis, constructed from Lagrangian subgroups (identified with even self-dual codes in the Abelian case), linearizes the action of the mapping class group. This simplifies the calculation of the partition function on manifolds generated by gluing handlebodies.
Factorization and Explicit Evaluation: The authors utilize the factorization of Abelian theories into prime-power components ( $T_{p^m}$ ). They reduce the infinite sum over topologies to a limit of finite sums over the symplectic group $Sp(2g, \mathbb{Z}_k)$ . By analyzing the coset representatives of the stabilizer of the vacuum state, they express the mass as a sum over invariants of symmetric matrices (related to Gauss sums).

Key Contributions and Results

General Mass Formula: The paper establishes the formula:
$N(T) = \sum_{C} 1 = \lim_{g\to\infty} \frac{D^g}{|Sp(2g, \mathbb{Z})|} \sum_{\gamma \in Sp(2g, \mathbb{Z})} {}_g\langle 0|U_\gamma|0\rangle_g$
where $D$ is the total quantum dimension, and the sum on the right represents the partition function averaged over all closed 3d manifolds (via Heegaard splittings). This quantity is interpreted as the renormalized partition function of TQFT gravity.
Abelian Case (Codes and Lattices): For Abelian theories, the TBCs correspond to Lagrangian subgroups, which map to classical even self-dual codes. The authors show that the derived mass formula reproduces known mass formulas for various families of codes (e.g., Type II codes).
- They provide explicit evaluations for theories with Frobenius-Schur exponent $k=p$ (prime), $k=p^m$ , and specific cases like $k=2, 4, 8$ .
- Specific examples include the level- $k$ toric code, $U(1)_k$ Chern-Simons theories, and combinations thereof. The results recover the number of self-dual codes over $\mathbb{Z}_p$ and doubly-even self-dual binary codes.
- The paper demonstrates that the existence of TBCs in Abelian bosonic theories is equivalent to the vanishing of all higher central charges, a result previously shown in [6] but here derived from the mass formula formalism.
Non-Abelian Generalization: The framework is extended to non-Abelian TQFTs. In this case, the mass is a weighted sum where the weight is inversely proportional to the size of the automorphism group of the boundary condition ($|Aut(C)|$).
- The authors compute the mass for $n + \bar{n}$ copies of the Ising modular tensor category ( $V_{ir}^{c=1/2}$ ).
- The result is expressed in terms of "D-codes" (triply-even linear binary codes), generalizing previous findings on framed Vertex Operator Algebras (VOAs).
Five-Dimensional Generalization: The construction is generalized to five-dimensional Abelian 2-form Chern-Simons theories (BF-type theories).
- The mass formula counts maximal non-anomalous subgroups of 2-form symmetries.
- The sum is performed over closed 5d geometries, involving the orthogonal group $O(n, n, \mathbb{Z}_k)$ , and the boundary conditions are identified with symplectic self-dual codes.

Significance
The paper provides a unified physical derivation of mathematical mass formulas for codes and lattices using the machinery of TQFT gravity. By interpreting the sum over topologies as a renormalized partition function, the authors offer a systematic method to evaluate the number of topological boundary conditions for any Abelian bosonic theory and specific non-Abelian cases. The work bridges the gap between the classification of algebraic structures (codes) and the holographic duality of topological gravity, demonstrating that the "mass" of boundary conditions is a fundamental observable in the dual gravitational theory. The explicit computations for various levels and dimensions serve as concrete checks of the holographic duality between TQFT gravity and ensembles of boundary CFTs.