High-fugacity expansion and crystallization in non-sliding hard-core lattice particle models without a tiling constraint

Qidong He, Ian Jauslin

In this paper, we prove the existence of a crystallization transition for a family of hard-core particle models on periodic graphs in arbitrary dimensions. We establish a criterion…