Kepler's conjecture and phase transitions in the high-density hard-core model on ${\mathbb{Z}}^3$

A. Mazel, I. Stuhl, Y. Suhov

We perform a rigorous study of the identical sphere packing problem in ${\mathbb{Z}}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and t…