High-Fugacity Expansion and Crystallization in Non-sliding Hard-Core Lattice Particle Models Without a Tiling...

In this paper, we prove the existence of a crystallization transition for a family of hard-core particle models on periodic graphs in dimension $$ . We consider only models featuring a single species of particles, which in particular forbids the particles from rotation and reflection, and establish a criterion under which crystallization occurs at sufficiently high densities. The criterion is more general than that in Jauslin and Lebowitz (Commun Math Phys 364:655-682, 2018), as it allows models in which particles do not tile the space in the close-packing configurations, such as discrete hard-disk models. To prove crystallization, we prove that the pressure is analytic in the inverse of the fugacity for large enough complex fugacities, using Pirogov-Sinai theory. One of the main new tools used for this result is the definition of a local density, based on a discrete generalization of Voronoi cells. We illustrate the criterion by proving that it applies to three examples: staircase models and the radius 2.5 hard-disk model on $$ , and a heptacube model on $$ .