On Viazovska's modular form inequalities.

Romik, Dan · Proc Natl Acad Sci U S A · 2023

Where this comes from

Abstract

Viazovska proved that the [Formula: see text] lattice sphere packing is the densest sphere packing in [Formula: see text] dimensions. Her proof relies on two inequalities between functions defined in terms of modular and quasimodular forms. We give a direct proof of these inequalities that does not rely on computer calculations.