# The Sphere Packing Problem in Dimension 4 and the Twenty-Four-Cell Conjecture

Preprint · Deep Bhattacharjee, Ushashi Bhattacharya, Priyabrata Mandal, Shounak Bhattacharya

- Archive id: arxiv:2609.25120
- Published: 2026-09-20
- arXiv: https://arxiv.org/abs/2609.25120
- Source URL: https://arxiv.org/abs/2609.25120
- PDF: https://arxiv.org/pdf/2609.25120
- Provenance: arxiv

## Abstract

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 the second level of the semidefinite hierarchy with its equality case, the positive kernel verified in exact arithmetic.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.