pith. machine review for the scientific record. sign in

arxiv: 2406.14659 · v4 · submitted 2024-06-20 · 🧮 math.NT

Recognition: unknown

Algebraic proof of modular form inequalities for optimal sphere packings

Seewoo Lee

Authors on Pith no claims yet
classification 🧮 math.NT
keywords algebraicforminequalitiesmodularoptimalpackingsspherecohn-kumar-miller-radchenko-viazovska
0
0 comments X
read the original abstract

We give algebraic proofs of Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska's modular form inequalities for 8 and 24-dimensional optimal sphere packings.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

    math.MG 2026-04 unverdicted novelty 5.0

    The sphere packing problem in dimension 8 has been formally verified in the Lean theorem prover, with the final stages completed by the AI model Gauss.