# On the hard sphere model and sphere packings in high dimensions

Preprint · Matthew Jenssen, Felix Joos, Will Perkins

- Archive id: arxiv:1707.00476
- Published: 2017-07-03
- Venue: Forum of Mathematics, Sigma 7 (2019) e1
- DOI: https://doi.org/10.1017/fms.2018.25
- arXiv: https://arxiv.org/abs/1707.00476
- Source URL: https://arxiv.org/abs/1707.00476
- PDF: https://arxiv.org/pdf/1707.00476
- Provenance: arxiv

## Abstract

We prove a lower bound on the entropy of sphere packings of $\\mathbb R^d$ of density $Θ(d \\cdot 2^{-d})$. The entropy measures how plentiful such packings are, and our result is significantly stronger than the trivial lower bound that can be obtained from the mere existence of a dense packing. Our method also provides a new, statistical-physics-based proof of the $Ω(d \\cdot 2^{-d})$ lower bound on the maximum sphere packing density by showing that the expected packing density of a random configuration from the hard sphere model is at least $(1+o\_d(1)) \\log(2/\\sqrt{3}) d \\cdot 2^{-d}$ when the ratio of the fugacity parameter to the volume covered by a single sphere is at least $3^{-d/2}$. Such a bound on the sphere packing density was first achieved by Rogers, with subsequent improvements to the leading constant by Davenport and Rogers, Ball, Vance, and Venkatesh.

_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.