{"id":"arxiv/2609.25120","url":"https://arxiv.org/abs/2609.25120","tags":["math.NT"],"score":0,"title":"The Sphere Packing Problem in Dimension 4 and the Twenty-Four-Cell Conjecture","domain":"math.NT","source":"arxiv","authors":["Deep Bhattacharjee","Ushashi Bhattacharya","Priyabrata Mandal","Shounak Bhattacharya"],"reviews":0,"subject":"math.NT","summary":"We prove that every Voronoi cell of a unit-ball packing of $\\mathbb{R}^4$ has volume at least $8$, with equality only at the $D_4$ configuration, so that the twenty-four-cell conjecture holds and the density of a sphere packing in four dimensions is at most $π^2/16$. The proof runs through the number of contacts of a cell. Up to twenty-two a covering estimate suffices; at twenty-three the cell is bounded through an exact volume identity inside a ball and a semidefinite certificate for one inequality between pair angles; at twenty-four the configuration is the root system, which we prove from…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-20","reactions":{}}