On the hard sphere model and sphere packings in high dimensions

Matthew Jenssen, Felix Joos, Will Perkins

We prove a lower bound on the entropy of sphere packings of ${\mathbb{R}}^d$ of density $\Theta (d\cdot 2^{-d})$. The entropy measures how plentiful such packings are, and our result is si…