🔢 mathematics

Inequalities involving polynomials and quasimodular forms

This paper investigates the monotonicity of functions combining polynomials and quasimodular forms, using these results to construct new positive quasimodular forms and provide alternative proofs for key inequalities used in the study of optimal sphere packings.

Original authors: Seewoo Lee

Published 2026-02-12

📖 4 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 a master architect trying to design the most efficient way to pack oranges into a crate. You want zero wasted space. In mathematics, this is a famous problem called "sphere packing." For decades, mathematicians have struggled to prove that certain patterns—like the way atoms arrange themselves in a diamond or how certain high-dimensional shapes fit together—are the absolute "best" possible ways to pack space.

This paper, written by Seewoo Lee, provides a new set of "mathematical measuring tapes" to help prove that these patterns are indeed perfect.

Here is the breakdown of the paper using everyday analogies.

1. The "Magic Functions" (The Perfect Blueprint)

To prove a packing is optimal, mathematicians use something called "magic functions." Think of these as a perfectly weighted blueprint. If you can find a blueprint that satisfies very strict rules (specifically, that it stays positive and behaves predictably), you have effectively proven that no other arrangement of spheres can beat your current one.

In the past, proving these blueprints worked was incredibly hard. It was like trying to prove a bridge is safe by manually checking every single atom in the steel. Mathematicians had to use massive computers and "numerical analysis"—essentially, very intense guessing and checking—to make sure the math didn't break.

2. Quasimodular Forms (The "Wobbly" Measuring Tapes)

The paper focuses on objects called quasimodular forms.

Imagine you have a standard ruler (a Modular Form). It is perfectly straight, rigid, and predictable. Now, imagine a ruler made of high-tech rubber that stretches and bends in a very specific, mathematical way as you move it (a Quasimodular Form).

Even though this rubber ruler is "wobbly," it isn't chaotic. It follows very strict rules of "stretching." Lee’s paper is essentially a manual on how to use these "wobbly rulers" to measure things with extreme precision.

3. Monotonicity (The "One-Way Street")

The core of the paper is about monotonicity.

Imagine you are walking down a hill. If the hill is "monotone decreasing," it means you are always going down; you never accidentally walk uphill, even for a second.

Lee discovered that if you take these "wobbly rulers" (quasimodular forms) and multiply them by certain powers of time or distance, they create a "one-way street." By proving that these functions always move in one direction (always increasing or always decreasing), he can prove that the "magic functions" used in sphere packing never accidentally dip into negative numbers. If they never dip below zero, the "blueprint" is valid, and the packing is proven to be perfect.

4. Why does this matter? (The "Universal Optimality")

The paper doesn't just re-prove old results; it provides a more elegant, "algebraic" way to do it. Instead of using a computer to check a billion points (the "brute force" method), Lee uses pure logic and formulas (the "conceptual" method).

He applies this to the Leech Lattice—a legendary, incredibly complex pattern in 24-dimensional space. He helps prove that this pattern is "universally optimal." This means it’s not just the best way to pack spheres; it’s the best way to arrange points for almost any kind of physical force or potential function you can imagine.

Summary: The Toolbox

If the quest to find perfect patterns in the universe is a construction project, Seewoo Lee hasn't just built a house; he has invented a new, more precise set of tools.

The Old Way: Using a sledgehammer and a calculator to check if a wall is straight.
Lee’s Way: Using a laser level that is mathematically guaranteed to never lie to you.

By mastering these "wobbly" mathematical shapes, he has made it easier for future mathematicians to prove that the most beautiful patterns in geometry are, indeed, the best ones possible.

Technical Summary: Inequalities Involving Polynomials and Quasimodular Forms

Author: Seewoo Lee
Subject Area: Number Theory (Modular Forms, Quasimodular Forms, Sphere Packing)

1. Problem Statement

The paper addresses the challenge of proving inequalities involving quasimodular forms (QMFs) on the positive imaginary axis. These inequalities are critical in the field of discrete geometry, specifically in the proofs of the optimality of the $E_8$ and Leech lattice sphere packings and their universal optimality.

The original proofs provided by Viazovska et al. relied heavily on rigorous numerical analysis and interval arithmetic. The central problem this paper tackles is to move away from purely numerical methods toward a conceptual and algebraic framework for proving the monotonicity of functions of the form:
$t \mapsto t^m F(it)$
where $F$ is a quasimodular form and $m > 0$ . Proving this monotonicity is equivalent to proving the positivity of certain combinations of the form and its derivatives.

2. Methodology

The author develops a multi-pronged approach to establish monotonicity, categorized into two main technical strategies:

Lambert Series Expansion (Section 3.1): For low-weight QMFs, the author expands $F(z)$ into Lambert series of the form $\sum b_n q^n (1-q^n)^{-k}$ . If the coefficients $b_n$ are non-negative, the monotonicity of the QMF reduces to checking the monotonicity of elementary real-valued functions (e.g., $t^m e^{-t}(1-e^{-t})^{-k}$ ), which can be handled via calculus.
Differential/Algebraic Framework (Section 3.2): For more complex forms (like extremal QMFs), the author introduces a sufficient condition based on the Rankin–Cohen bracket. Specifically, if $F$ and $F'$ are positive and a specific differential expression—related to the second Rankin–Cohen bracket $[F, F]_{m,m}$ —is positive, then $t^m F(it)$ is monotone decreasing. This allows the problem to be treated within the ring of modular forms.

3. Key Contributions and Results

A. General Framework for Monotonicity:
The paper establishes formal criteria (Proposition 3.7) to determine the largest possible exponent $m$ for which $t^m F(it)$ remains monotone. This provides a systematic way to handle "magic functions" used in sphere packing bounds.

B. Construction of Positive Quasimodular Forms:
The author provides a method to construct infinitely many positive QMFs of level $\Gamma_0(N) > 1$ . By utilizing the monotonicity results, the author shows that if $t^m F(it)$ is monotone, then $F(z) - N^m F(Nz)$ is a positive QMF. The paper distinguishes between positive QMFs (non-negative on the imaginary axis) and completely positive QMFs (non-negative Fourier coefficients), providing explicit examples of both.

C. Alternative Algebraic Proofs of Major Results:

Leech Lattice Packing: The author provides an alternative, algebraic proof for the modular form inequalities required for the optimality of the Leech lattice packing, bypassing the need for the heavy numerical machinery used in previous literature.
Universal Optimality: The paper provides a direct algebraic proof of the inequality used in the proof of the universal optimality of the Leech lattice. This is achieved by showing that the required inequality is a direct consequence of the monotonicity of $t^{11} X_{12,1}(it)$ , where $X_{12,1}$ is an extremal QMF of weight 12 and depth 1.

D. Conjectures and Open Questions:
The paper proposes new conjectures regarding the density of positive Fourier coefficients in positive QMFs (suggesting a lower bound of $1/2$ ) and the monotonicity of extremal QMFs of higher weights.

4. Significance

This work is significant for several reasons:

Mathematical Rigor and Elegance: It replaces "black-box" numerical verifications with "white-box" algebraic proofs, making the results in sphere packing theory more conceptually transparent.
Unification: It links the theory of quasimodular forms, Rankin–Cohen brackets, and the geometry of lattices into a single analytical framework.
Tool Development: The construction of positive QMFs of higher levels provides new objects for study in number theory and potentially new tools for solving optimization problems in higher dimensions.