🔢 mathematics

Critical modular lattices in the Gaussian core model

This paper investigates the local analysis of Gaussian potential energy in modular lattices, demonstrating that specific examples like the Barnes-Wall and Coxeter-Todd lattices are locally universally optimal while other $2$- and $3$-modular lattices fail to meet these criticality or optimality criteria.

Original authors: Arian Joharian, Frank Vallentin, Marc Christian Zimmermannn

Published 2026-02-20

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Arian Joharian, Frank Vallentin, Marc Christian Zimmermannn

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

Imagine you are a master architect trying to build the most efficient, stable, and beautiful structure possible using a limited amount of space. In the world of mathematics, these "structures" are called lattices—infinite grids of points stretching out in every direction.

This paper is about finding the "perfect" lattice, not just for building houses, but for a very specific, invisible force field called the Gaussian Core Model.

Here is the breakdown of what the authors did, explained with everyday analogies.

1. The Problem: The "Repelling Balloons" Game

Imagine you have a room filled with invisible balloons. These balloons don't just float; they have a special rule: the closer two balloons get, the harder they push each other away. This push gets exponentially stronger the closer they are.

In physics and math, this is the Gaussian Core Model. The "energy" of the system is the total amount of pushing happening between all the balloons.

High Energy: The balloons are crowded and pushing hard against each other.
Low Energy: The balloons have found a sweet spot where they are spaced out just right to minimize the pushing.

The goal is to find the arrangement of points (a lattice) that minimizes this energy for every possible strength of the repelling force. If a lattice can do this, it is called "Universally Optimal." It's the ultimate champion of spacing.

2. The Challenge: Finding the Local Champions

We already know a few "perfect" lattices (like the $E_8$ lattice in 8 dimensions and the Leech lattice in 24 dimensions). These are the undisputed kings of their dimensions.

But what about other dimensions? What about dimensions where we don't have a "perfect" lattice yet?
The authors decided to investigate a specific family of lattices called Modular Lattices.

Analogy: Think of standard lattices as regular floor tiles. Modular lattices are like floor tiles that have a special "mirror property." If you shrink the room by a certain factor and look at the reflection, the pattern looks exactly the same. This symmetry makes them mathematically special and easier to study.

3. The Method: The "Seesaw" Test

To see if a lattice is a local champion (a "critical point"), the authors had to check its stability. They used a mathematical tool called the Hessian.

The Analogy: Imagine the lattice is a ball sitting on a landscape.
- If the ball is at the bottom of a valley, it's a local minimum (stable, optimal).
- If the ball is on top of a hill, it's a local maximum (unstable).
- If the ball is on a saddle (like a horse's back or a Pringles chip), it's stable in one direction but unstable in another. This is a saddle point.

The authors developed a new "calculator" (a theorem) to figure out exactly where the ball is sitting. They looked at the shells of the lattice (concentric rings of points around the center).

The Secret Sauce: They found that if these rings of points form a perfect spherical design (meaning the points are distributed so evenly that they look like a perfect sphere from any angle), the math becomes much simpler.
- If the rings are 4-designs (super-evenly distributed), the lattice is almost always a local champion.
- If they are only 2-designs (less even), the math gets messy, and the lattice might be a saddle point or even unstable.

4. The Discoveries: Winners, Losers, and "Almost" Winners

The authors ran their new calculator on various modular lattices in dimensions up to 20. Here is what they found:

The Superstars (Locally Universally Optimal):
They confirmed that two famous lattices are indeed local champions:
1. The Coxeter-Todd Lattice (12 dimensions): A 3-modular lattice.
2. The Barnes-Wall Lattice (16 dimensions): A 2-modular lattice.
- Why? Because their rings of points are so perfectly distributed (they are 4-designs and 7-designs, respectively) that they minimize the "balloon pushing" energy perfectly.
The Saddle Points (The "Pringles" Lattices):
They found many other lattices that are not champions. Instead, they are saddle points.
- Analogy: These lattices are like a tightrope walker. They are balanced perfectly in one direction, but if you nudge them slightly the other way, they fall apart. They are not the best possible arrangement.
The "Not Even Critical" Lattices:
In a surprising twist, they found some lattices that aren't even balanced! They are like a ball sitting on a steep slope. If you nudge them, they roll away immediately. They are not optimal in any sense.
- Example: They found a specific 2-modular lattice in 12 dimensions that fails to be a critical point at all. This was a big deal because, until now, people thought these symmetric lattices were always at least "stable."

5. Why Does This Matter?

You might ask, "Who cares about invisible balloons in 12 dimensions?"

Physics: These models help us understand how particles interact in complex materials, like superconductors or quantum fluids.
Mathematics: It helps us understand the geometry of high-dimensional space. We are trying to map the "landscape" of all possible shapes to see where the peaks and valleys are.
Coding and Cryptography: Lattices are used in error-correcting codes (to send data without errors) and cryptography. Knowing which lattices are "stable" helps us build better, more secure systems.

Summary

The authors built a new mathematical microscope to look at the stability of special, symmetric grids of points. They discovered that while some of these grids are perfect local champions (minimizing energy), others are just "okay" (saddle points), and a few are actually unstable.

They proved that perfect symmetry in the arrangement of points (specifically, forming 4-designs) is the key to being a local champion. If the points aren't distributed perfectly, the lattice might not be the best it can be, even if it looks symmetric on the surface.

It's a bit like realizing that just because a building has a symmetrical facade doesn't mean the foundation is perfectly balanced; you have to check the math underneath to be sure.

1. Problem Statement

The paper investigates the local optimality of lattice configurations in the Gaussian Core Model (GCM).

Context: In the GCM, the potential energy of a lattice $L \subset \mathbb{R}^n$ is defined as $E(\alpha, L) = \sum_{x \in L \setminus \{0\}} e^{-\alpha \|x\|^2}$ for $\alpha > 0$ . A configuration is universally optimal if it minimizes energy for all completely monotonic functions of squared distance (which, for lattices, is equivalent to minimizing $E(\alpha, L)$ for all $\alpha > 0$ ).
Gap: While global optimality is known for specific lattices (e.g., $E_8$ , Leech lattice $\Lambda_{24}$ ), local analysis (critical points, local minima/maxima, or saddle points) is less understood, especially for lattices that are not unimodular.
Focus: The authors extend the local analysis from even unimodular lattices (studied in their previous work [16]) to the broader class of $\ell$ -modular lattices. These are lattices satisfying $L \cong \sqrt{\ell} L^\#$ , where $L^\#$ is the dual lattice. The paper specifically targets extremal $\ell$ -modular lattices (those with the highest possible minimal norm for their dimension and level) for levels $\ell=2$ and $\ell=3$ .

2. Methodology

The authors develop a rigorous analytical framework to compute the gradient and Hessian of the energy function $E(\alpha, L)$ on the manifold of lattices with fixed point density.

A. Theoretical Framework

Gradient and Hessian Formulation:
- The gradient vanishes (making $L$ a critical point) if all shells (sets of vectors with equal norm) of $L$ form spherical 2-designs.
- The Hessian (second derivative) determines stability. If all shells form spherical 4-designs, the Hessian eigenvalues are all identical, simplifying the analysis significantly.
Modular Forms Connection:
- The theta series $\Theta_L(\tau)$ of an even $\ell$ -modular lattice is a modular form for the Fricke group $\Gamma^*(\ell)$ .
- For lattices where shells are only 2-designs (not 4-designs), the authors utilize theta series with spherical coefficients (associated with harmonic polynomials of degree 4). These series correspond to cusp forms of weight $n/2 + 4$ .
Eigenvalue Computation (The Core Strategy):
- The authors derive a formula (Theorem 3.3) for the eigenvalues of the Hessian. This involves:
  - Decomposing the theta series into Eisenstein series and cusp forms.
  - Expressing the Hessian eigenvalues in terms of the coefficients of these modular forms and the eigenvalues of auxiliary quadratic forms $Q_{2m}$ derived from the lattice shells.
- Key Assumption: The quadratic forms associated with different shells are simultaneously diagonalizable. This is verified numerically for all cases studied.

B. Technical Tools

Explicit Bounds: To make the infinite series in the Hessian eigenvalue formulas computable and rigorous, the authors derive explicit upper bounds for the coefficients of:
- Eisenstein series (using divisor sum estimates).
- Cusp forms (using Deligne's theorem on Hecke eigenforms).
Design Strength Analysis: They use the harmonic Molien series of the lattice's orthogonal group to determine the design strength of the shells (i.e., whether they are 2, 3, 4, or higher designs).

3. Key Contributions

Generalization to Modular Lattices: The paper moves beyond unimodular lattices to analyze $\ell$ -modular lattices, addressing dimensions where unimodular lattices do not exist.
Rigorous Hessian Analysis for Non-4-Designs: A major technical contribution is the method to handle lattices whose shells are not spherical 4-designs. Previous methods relied heavily on 4-design properties. The authors successfully compute Hessian eigenvalues for cases where only 2-design properties hold, utilizing the theory of cusp forms.
Asymptotic Behavior Theorem: They establish Theorem 3.7, which describes the asymptotic behavior of extremal $\ell$ -modular lattices as $\alpha \to \infty$ . It proves that such lattices are either local minima or saddle points depending on the eigenvalues of the quadratic form associated with the minimal shell.
Rigorous Proof of Non-Criticality: The paper provides the first rigorous proof that certain extremal modular lattices are not critical points in the GCM (specifically, an extremal 2-modular lattice in dimension 12). This contrasts with previous findings where non-criticality was only shown for non-extremal lattices.

4. Main Results

The authors applied their strategy to all known extremal 2-modular lattices (dimensions $\le 20$ ) and 3-modular lattices (dimensions $\le 18$ ).

A. Locally Universally Optimal Lattices

The authors prove that the following lattices are locally universally optimal (local minima for all $\alpha$ ):

Coxeter-Todd Lattice ( $K_{12}$ ): A 3-modular lattice in dimension 12.
Barnes-Wall Lattice ( $BW_{16}$ ): A 2-modular lattice in dimension 16.
General Criterion (Theorem 5.3): Any extremal $\ell$ $ℓ$ -modular lattice where all shells are 4-designs is locally universally optimal if $\ell \ge 3$ $ℓ \geq 3$ , or if $\ell=2$ $ℓ = 2$ and the dimension is in $\{4, 16, 20, 32, 48\}$ ${4, 16, 20, 32, 48}$ .
- Note: These lattices are also the best-known sphere packings in their dimensions, supporting the intuition that energy minimization converges to sphere packing as $\alpha \to \infty$ .

B. Saddle Points and Non-Critical Points

Saddle Points: Many extremal lattices (e.g., in dimensions 8, 14, 16, 18 for $\ell=3$ ) are found to be saddle points (unstable in some directions, stable in others).
Non-Critical Points:
- In dimension 12, there are three isometry classes of extremal 2-modular lattices.
- One is a universal critical point (shells are 3-designs).
- Two are not critical: The authors rigorously prove that for one specific lattice (and by extension, the other non-critical one), the gradient of the energy function is non-zero for certain $\alpha$ (specifically $\alpha=10$ ). This is because the minimal shell fails to be a spherical 2-design.

C. Numerical vs. Rigorous

While much of the data in Tables 4 and 5 is based on numerical evidence, the authors demonstrate how to convert these into rigorous proofs. They provide a full rigorous proof for the 16-dimensional 3-modular lattice (Proposition 5.4) showing it is a saddle point at $\alpha=1$ , and for the non-critical 12-dimensional 2-modular lattice (Proposition 5.6).

5. Significance

Deepening Universal Optimality Theory: The paper clarifies the landscape of local optimality, showing that "extremal" (in the sense of sphere packing) does not automatically imply "universally optimal" or even "critical" in the Gaussian core model.
Methodological Advancement: The technique of using modular form coefficients and cusp form bounds to analyze the Hessian of energy functions provides a powerful tool for studying lattice stability in high dimensions where direct computation is impossible.
Counter-Examples: The discovery of extremal lattices that are not critical points challenges the heuristic that "good sphere packers are good energy minimizers" in all regimes. It highlights the subtle dependence on the geometric structure of the minimal shells (specifically their design strength).
Foundation for Future Work: The paper outlines a strategy applicable to higher levels ( $\ell > 3$ ) and other modular forms, setting the stage for a comprehensive classification of critical modular lattices.

In summary, this work bridges the gap between the theory of modular forms and the geometric optimization of lattice energies, providing both new theoretical criteria for local optimality and concrete, rigorous classifications for low-dimensional modular lattices.