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

Publication date: 28 December 2021

Abstract: We perform a rigorous study of the identical sphere packing problem in

m a t h b b Z^{3}

and of phase transitions in the corresponding hard-core model. The sphere diameter

D > 0

and the fugacity

u g g 1

are the varying parameters of the model. We solve the sphere packing problem for values

D^{2} = 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 2 e l l^{2}

,

e l l i n m a t h b b N

. For values

D^{2} = 2, 3, 5, 8, 9, 10, 12, 2 e l l^{2}

,

e l l i n m a t h b b N

and

u > u^{0} (D)

we establish the diagram of periodic pure phases, completely or partially. For the case

D^{2} = 2 e l l^{2}

,

e l l i n m a t h b b N

we use results from Hales' proof of Kepler's conjecture.

This page was built for publication: Kepler's conjecture and phase transitions in the high-density hard-core model on $\mathbb{Z}^3$