Unified criteria for crystallization in hard-core lattice systems with applications to polyomino fluids and multi-component mixtures

TL;DR

This paper introduces a unified set of criteria for crystallization in hard-core lattice systems, applicable to various polyomino and multi-component mixtures, using advanced theoretical methods.

Contribution

It extends previous crystallization criteria to a broader class of models with complex particle shapes and interactions, employing a systematic Pirogov--Sinai theory extension.

Findings

Criteria apply to polyomino models with discrete rotational degrees of freedom

Applicable to chiral mixtures and multi-component systems with diverse shapes

Proof leverages recent advances in Pirogov--Sinai theory for infinite interactions

Abstract

We present a unified extension of two sets of criteria for high-fugacity crystallization in hard-core lattice systems developed previously by Jauslin, Lebowitz, and the author. Our new criterion is formulated in terms of the existence of a volume allocation rule with desirable optimization and screening properties, in analogy to the scoring function constructed in Hales' proof of the Kepler conjecture. Notably, our result applies to a large class of polyomino models with discrete rotational degrees of freedom and their chiral mixtures, as well as multi-component mixtures featuring several geometrically distinct particle shapes. The proof uses a recent systematic extension of Pirogov--Sinai theory to systems with infinite interactions by Mazel--Stuhl--Suhov.