← Back to Timeline

Computational Mirror Symmetry

Theoretical Physics

Authors

Mehmet Demirtas, Manki Kim, Liam McAllister, Jakob Moritz, Andres Rios-Tascon

Abstract

We present an efficient algorithm for computing the prepotential in compactifications of type II string theory on mirror pairs of Calabi-Yau threefolds in toric varieties. Applying this method, we exhibit the first systematic computation of genus-zero Gopakumar-Vafa invariants in compact threefolds with many moduli, including examples with up to 491 vector multiplets.

Concepts

calabi-yau geometry gopakumar-vafa invariants string theory picard-fuchs equations symmetry preservation toric geometry quantum field theory scattering amplitudes inverse problems surrogate modeling monte carlo methods

The Big Picture

Imagine trying to count the number of ways a rubber band can wrap around a donut, but the donut exists in six extra dimensions, is twisted by quantum mechanics, and you have 491 different ways to deform it. That, roughly, is the challenge at the heart of this paper.

In string theory, the universe has more than the four dimensions we observe. The extra six are curled up into tiny geometric shapes called Calabi-Yau spaces. The precise shape determines the physics we see, so characterizing the geometry of these spaces is central to string theory. One powerful approach uses Gopakumar-Vafa (GV) invariants: integers that count the different ways strings can wrap around curves inside these spaces, each wrapping contributing a distinct quantum correction. For decades, computing these invariants in realistic, large-scale examples has been out of reach, not for lack of mathematical theory, but for lack of computational muscle.

Mirror symmetry offers a shortcut. Physicists discovered in the early 1990s that every Calabi-Yau space has a “mirror twin,” a geometrically distinct space that encodes the same physics. Quantum effects that are brutally hard to compute on one space become straightforward classical calculations on its mirror. It’s like discovering that a fiendishly hard differential equation is equivalent to measuring the area under a much simpler curve.

But even this shortcut breaks down for spaces with many moduli (the parameters controlling the shape of the extra dimensions). With more than a handful of such parameters, the mirror translation becomes a computational nightmare: the required calculations grow exponentially.

A team of researchers from Northeastern, MIT, and Cornell has cracked this problem. They present an algorithm that makes the mirror translation tractable for Calabi-Yau spaces of any complexity, including the largest known examples with up to 491 moduli.

The paper solves two long-standing bottlenecks (non-simplicial Mori cones and exponentially large lattice sums), enabling the first systematic computation of GV invariants in compact Calabi-Yau threefolds with hundreds of moduli.

How It Works

The goal is to compute the prepotential, a single function encoding all the physics of the particle sector in a string compactification. In type IIA string theory, the prepotential receives quantum corrections from worldsheet instantons: stringy loops that wrap around curves in the Calabi-Yau geometry. These corrections are exactly what GV invariants count, one curve class at a time.

Mirror symmetry converts this quantum problem into a classical one. On the mirror Calabi-Yau, the prepotential can be read off from periods, integrals of a special geometric quantity over three-dimensional cycles in the space. Periods are classical objects, governed by differential equations called the Picard-Fuchs system. So the strategy is: solve those equations, extract the periods, apply the mirror map to translate between the two geometries, and decode the GV invariants from the resulting expansion.

Three obstacles have historically blocked this approach for large Calabi-Yau spaces:

  1. Computing intersection numbers of a threefold with many Kähler moduli (the parameters describing how the space curves in different directions). This was solved in prior work by the software package CYTools.
  2. Non-simplicial Mori cones. The standard HKTY method for connecting a Calabi-Yau to its mirror requires the Mori cone (the space of effective curve classes) to be simplicial, having as many generating directions as its dimension. This condition almost never holds when the number of moduli is large. The authors generalize the HKTY construction to handle arbitrary Mori cones.
  3. Exponential lattice sums. Extracting GV invariants requires scanning lattice points in the Mori cone, and the number of such points grows exponentially with the number of moduli. The authors develop a truncation strategy, proving that contributions from curve classes above a certain degree can be safely dropped. This makes the sum finite and manageable.

The truncation argument is clean. Rather than summing over infinitely many contributions, the authors show that GV invariants for curves that are “too big” cannot contribute to the prepotential at any given order in the expansion. This lets them prune the search space systematically.

For geometries with non-simplicial Mori cones, the team introduces an extension of the fundamental period (a power series whose coefficients encode the topology of the mirror space) together with a generalization of the Picard-Fuchs equations. This construction, previously known only in the simplicial case, is the paper’s main mathematical contribution.

Why It Matters

The string theory landscape contains an astronomically large number of Calabi-Yau threefolds, most with many moduli. Computing GV invariants in these spaces is not just a mathematical exercise. These invariants shape our understanding of how quantum corrections modify the effective physical theories from string compactifications, with potential connections to particle physics and cosmology. Without tools like the one presented here, most of this territory stays unexplored.

Mirror symmetry draws equally on physics, mathematics, and computation. GV invariants are objects of pure mathematics, studied by algebraic geometers as enumerative invariants, but they are most efficiently computed using physics-inspired methods. This work extends those methods to Calabi-Yau spaces with hundreds of moduli, a regime that was previously out of reach.

Future directions include extending the algorithm to complete intersection Calabi-Yau spaces, computing higher-genus invariants, and integrating these tools with large-scale surveys of string vacua.

The algorithm computes genus-zero Gopakumar-Vafa invariants in compact Calabi-Yau threefolds with up to 491 vector multiplets, making quantitative study of quantum corrections across the string theory landscape practical for the first time.

IAIFI Research Highlights

Interdisciplinary Research Achievement
This work connects algebraic geometry, string theory, and computational mathematics, turning mirror symmetry into a practical algorithm that runs on a laptop for spaces previously considered intractable.
Impact on Artificial Intelligence
While not directly an AI paper, the efficient lattice enumeration and symbolic period computation developed here are natural targets for the AI-physics methods being developed at IAIFI.
Impact on Fundamental Interactions
For the first time, the algorithm allows systematic calculation of genus-zero Gopakumar-Vafa invariants in compact Calabi-Yau threefolds with up to 491 vector multiplets, making quantitative study of quantum corrections across the string theory landscape practical.
Outlook and References
Future work will extend these methods to higher-genus invariants and more general Calabi-Yau geometries; the paper is available at [arXiv:2303.00757](https://arxiv.org/abs/2303.00757).

Original Paper Details

Title
Computational Mirror Symmetry
arXiv ID
2303.00757
Authors
["Mehmet Demirtas", "Manki Kim", "Liam McAllister", "Jakob Moritz", "Andres Rios-Tascon"]
Abstract
We present an efficient algorithm for computing the prepotential in compactifications of type II string theory on mirror pairs of Calabi-Yau threefolds in toric varieties. Applying this method, we exhibit the first systematic computation of genus-zero Gopakumar-Vafa invariants in compact threefolds with many moduli, including examples with up to 491 vector multiplets.