🔢 mathematics

Algebraic proof of modular form inequalities for optimal sphere packings

This paper provides algebraic proofs for the modular form inequalities established by Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska, which are fundamental to the solutions for optimal sphere packings in 8 and 24 dimensions.

Original authors: Seewoo Lee

Published 2026-05-06

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Seewoo Lee

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 trying to pack oranges into a giant, invisible box. You want to fit as many as possible without crushing them. In the real world (3D dimensions), we know how to do this pretty well (stacking them like cannonballs). But mathematicians have been trying to solve this puzzle in "higher dimensions"—spaces we can't see, like 8-dimensional or 24-dimensional space.

For a long time, the best guesses for the most efficient packing in these high dimensions were based on specific, beautiful patterns called the $E_8$ lattice (in 8D) and the Leech lattice (in 24D). But proving that these patterns are truly the best possible was incredibly hard.

In 2016, mathematicians Viazovska and her colleagues finally proved these patterns were optimal. However, their proof relied heavily on complex computer calculations and numerical approximations. They showed the numbers worked out, but it felt a bit like checking a massive spreadsheet rather than understanding the deep "why" behind it.

Enter Seewoo Lee's new paper.

Lee's goal was to provide a purely algebraic proof. Think of it as swapping a messy spreadsheet for a clean, logical story. He wanted to prove the same results using only the inherent rules of the mathematical objects involved, without needing a computer to crunch numbers or check if a value is "close enough."

Here is how he did it, using some creative metaphors:

1. The Mathematical "Ingredients"

The proof relies on special mathematical functions called modular forms. You can think of these as highly structured, rhythmic waves that behave very predictably when you change your point of view (mathematically speaking, when you transform the space).

In the original proofs, the mathematicians had to compare two of these waves to see which one was "bigger" at every single point. It was like trying to prove that one runner is always faster than another by checking their speed at every single millisecond of a race.

2. The "Magic Ratio" Trick

Lee's breakthrough was realizing that instead of checking every single point, he could look at the ratio between the two waves.

Imagine two runners, Runner A and Runner B. Instead of checking who is faster at every second, Lee looked at the ratio of their speeds. He proved two simple things:

The Limit: As the race starts (mathematically, as time goes to zero), the ratio of their speeds settles on a specific, known number (like 36 divided by $\pi^2$ ).
The Trend: As the race goes on, this ratio strictly decreases. It never goes up; it only goes down.

Because the ratio starts at a specific number and only goes down, it can never cross a certain threshold. This simple logic proves the inequality for the entire race without needing to check every single moment. It's like knowing a ball thrown in the air will always come down because gravity is constant, rather than measuring its height every millisecond.

3. The "Monotone" Slide

To prove that the ratio only goes down, Lee used a tool called the Serre derivative. Think of this as a special microscope that looks at how these mathematical waves change.

He showed that if you apply this "microscope" to the difference between the two waves, the result is always positive. In our analogy, this is like proving that the slope of a slide is always pointing downward. If you know the slide always points down, you know you can't accidentally slide back up.

4. The "Extremal" Forms

A key part of his proof involved a class of mathematical objects called extremal quasimodular forms. These are like the "champions" of their category—they are the most efficient waves possible for their specific rules.

Lee proved a long-standing guess (conjecture) that these champion waves always have "positive" ingredients (their Fourier coefficients are all positive). This is crucial because if you add up positive numbers, you always get a positive result. This positivity was the secret sauce that allowed him to prove the "slide" always points down.

5. The "Hard" Inequality

The paper tackles three inequalities. Two were relatively straightforward using the "ratio" trick. The third one was much trickier because it involved a "non-modular" term (something that doesn't follow the perfect rhythmic rules of the others, like a polynomial or an exponential function).

To handle this, Lee had to be clever. He replaced the messy exponential term with a known mathematical bound (a "safety net") and then used the same "monotone slide" logic to show that even with this messiness, the inequality still holds true.

The Bottom Line

Seewoo Lee didn't just re-prove that the $E_8$ and Leech lattice packings are optimal. He stripped away the need for heavy computer calculations and numerical approximations.

Instead of saying, "The computer says these numbers are greater than zero," he said, "The mathematical structure of these waves forces them to be greater than zero." He turned a complex, numerical verification into a clean, logical argument based on the natural behavior of these mathematical objects. It's a shift from "checking the math" to "understanding the math."

Technical Summary: Algebraic Proof of Modular Form Inequalities for Optimal Sphere Packings

Problem Statement
The paper addresses the verification of specific inequalities involving modular and quasimodular forms that are central to the proof of the optimality of sphere packings in dimensions 8 and 24. These inequalities were originally established by Viazovska (for dimension 8) and Cohn, Kumar, Miller, Radchenko, and Viazovska (for dimension 24) as part of the Cohn–Elkies linear programming bound. The original proofs relied heavily on numerical analysis, including interval arithmetic and approximations of Fourier coefficients, to verify that certain linear combinations of modular forms remain positive or negative on the imaginary axis. The author seeks to provide a purely algebraic and conceptual proof for these inequalities, eliminating the need for numerical approximations.

Methodology
The author develops a general theory of quasimodular forms that are positive on the imaginary axis or possess nonnegative Fourier coefficients. The core methodological tools include:

Serre Derivatives and Anti-Serre Derivatives: The paper utilizes the Serre derivative operator, $\partial_k$ , and its inverse properties. A key insight is that while differentiation does not generally preserve positivity, the "anti-Serre derivative" (solving differential equations of the form $\partial_k F = G$ ) preserves positivity under specific conditions. Specifically, if a derivative is positive and the function behaves correctly at the cusp, the original function is positive.
Monotonicity of Quotients: For the "hard" inequalities (where two modular forms of different weights are compared), the author proves that the ratio of the two forms, $F(it)/G(it)$, is a strictly monotone function of $t$ . The constants appearing in the inequalities (e.g., $36/\pi^2$ and $432/\pi^2$ ) are identified as the limits of these quotients as $t \to 0^+$ .
Extremal Quasimodular Forms: The paper connects the specific modular forms in the sphere packing problem to "extremal quasimodular forms" defined by Kaneko and Koike. These forms are characterized by having the maximum possible order of vanishing at the cusp for a given weight and depth.
Algebraic Identities: The proofs rely on establishing exact algebraic identities between modular forms, often expressing derivatives of the target forms as linear combinations of products of other modular forms (specifically extremal forms with nonnegative coefficients). These identities are verified using the polynomial ring structure of quasimodular forms (generators $E_2, E_4, E_6$ ).

Key Contributions and Results

Algebraic Proofs for Dimension 8: The paper provides a new proof for the inequalities in Theorem 1.1.
- For the inequality $\phi_0(it) - \frac{36}{\pi^2}\psi_S(it) > 0$ , the author proves that the ratio of the associated forms is strictly decreasing and converges to $18/\pi^2$ (after normalization) as $t \to 0^+$ .
- For the more difficult inequality $\phi_0(it) + \frac{36}{\pi^2}\psi_S(it) > 0$ , the author shows that the derivative of the ratio is negative by expressing the numerator of the derivative as a product of positive modular forms involving the extremal form $X_{4,2}$ .
Algebraic Proofs for Dimension 24: The paper proves the three inequalities in Theorem 1.2.
- The "easy" inequality is resolved by showing the positivity of the numerator forms using Corollary 3.6 and the complete positivity of extremal forms.
- The "hard" inequality is handled similarly to the dimension 8 case, utilizing the monotonicity of the quotient and limits at $t \to 0^+$ .
- The "hardest" inequality (involving non-modular polynomial and exponential terms) is reduced to a comparison of monotone functions. The exponential term is bounded using the discriminant form $\Delta$ , and the resulting inequality is proven by analyzing the monotonicity of a difference function, ultimately reducing the problem to the positivity of specific quasimodular forms.
Resolution of a Conjecture: As a byproduct of the methodology, the author proves the Kaneko–Koike conjecture regarding the complete positivity (nonnegative Fourier coefficients) of extremal quasimodular forms of depth 1 (Corollary 4.4). This is achieved by deriving a new recurrence relation (Equation 38) for these forms.

Significance and Claims
The paper claims to provide "simple and algebraic proofs" of the modular form inequalities that underpin the optimality of the $E_8$ and Leech lattice sphere packings. The significance lies in the removal of numerical analysis and interval arithmetic from the verification process, replacing them with structural properties of modular forms, such as monotonicity and the positivity of extremal forms.

The author notes that while the original proofs used computer-assisted calculations to check finite intervals, this work relies on "pen-and-paper" style algebraic identities (which can be verified by computer algebra systems like SageMath but are conceptually independent of numerical approximation). The paper does not claim to solve the sphere packing problem in other dimensions or to provide new bounds, but rather to offer a more conceptual understanding of the inequalities already known to be true. The work also establishes a link between sphere packing magic functions and the theory of extremal quasimodular forms, proving their complete positivity in the depth 1 case.