Abstract:We study the Gibbs statistics of high-density hard-core configurations on a unit square lattice $\mathbb{Z}^2$, for a general Euclidean exclusion distance $D$. As a by-product, we solve the disk-packing problem on $\mathbb{Z}^2$ for disks of diameter $D$. The key point is an analysis of solutions to norm equations in $\mathbb{Z}[{\sqrt[6]{-1}}]$. We describe the ground states in terms of M-triangles, i.e., non-obtuse $\mathbb{Z}^2$-triangles of a minimal area with the side-lengths $\geq D$. There is a finite class (Class S) formed by values $D^2$ generating sliding, a phenomenon leading to countable families of periodic ground states. We identify all $D^2$ with sliding. Each of the remaining classes is proven to be infinite; they are characterized by uniqueness or non-uniqueness of a minimal triangle for a given $D^2$, up to $\mathbb{Z}^2$-congruencies. For values of $D^2$ with uniqueness (Class A) we describe the periodic ground states as admissible sub-lattices in $\mathbb{Z}^2$ of maximum density. By using the Pirogov-Sinai theory, it allows us to identify the extreme Gibbs measures (pure phases) for large values of fugacity and describe symmetries between them. Next, we analyze the values $D^2$ with non-uniqueness. For some $D^2$ all M-triangles are ${\mathbb{R}}^2$-congruent but not $\mathbb{Z}^2$-congruent (Class B0). For other values of $D^2$ there exist non-${\mathbb{R}}^2$-congruent M-triangles, with different collections of side-lengths (Class B1). Moreover, there are values $D^2$ for which both cases occur (Class B2). The large-fugacity phase diagram for Classes B0, B1, B2 is determined by dominant ground states. Classes A, B0-B2 are described in terms of cosets in $\mathbb{Z}[{\sqrt[6]{-1}}]$ by the group of units.

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to study the statistical mechanical properties of the high - density hard - core model on the two - dimensional integer lattice $ \mathbb{Z}^2 $, especially for the case of general Euclidean exclusion distance $ D $. Specifically, the paper focuses on the following aspects: 1. **Study of high - density hard - core configurations**: Explore the statistical properties of high - density hard - core configurations on the unit - square lattice $ \mathbb{Z}^2 $ when the exclusion distance is $ D $. This involves how to maximally fill non - overlapping "particles" (or discs) without violating the exclusion condition given the exclusion distance. 2. **Solution to the dense packing problem**: As a by - product, the paper solves the dense packing problem of discs with diameter $ D $ on $ \mathbb{Z}^2 $. This means finding a way to arrange these discs as densely as possible without overlapping. 3. **Connection between ground - state structure and algebraic number theory**: Describe the ground - state configuration by analyzing the connection between the ground - state structure and algebraic number theory, especially by using the solutions of the norm equation in the ring $ \mathbb{Z}[\sqrt{- 6}] $. The key is to understand how these mathematical tools help classify and explain different types of ground - states. 4. **Identification of the sliding phenomenon**: Identify and classify the values of the exclusion distance $ D $ that lead to the sliding phenomenon. Sliding means that some configurations can remain unchanged by translation, which will lead to an infinite number of periodic ground - states. The paper proves that only 39 values of $ D $ will produce the sliding phenomenon. 5. **Existence of phase transitions**: For all non - sliding values of $ D $, prove the existence of phase transitions due to the non - uniqueness of extreme Gibbs measures. This means that under high fugacity conditions, the system will exhibit different phases. 6. **Description of extreme Gibbs measures**: Use the Pirogov - Sinai theory and other mathematical tools to describe in detail the extreme Gibbs measures under large fugacity conditions and analyze the symmetries between these measures. 7. **Classification of different categories**: Divide $ D $ into several categories (Class A, B0, B1, B2 and S) according to different characteristics of the exclusion distance $ D $, and discuss the properties of each category and the corresponding ground - state configurations respectively. 8. **Complete description of the mathematical structure**: Finally, the paper provides the complete structure of the phase diagram of the high - density hard - core model on $ \mathbb{Z}^2 $ under large fugacity conditions, covering all non - sliding exclusion distances $ D $. Through these studies, the paper not only solves several important problems in the high - density hard - core model, but also reveals the complex behavior and potential mathematical structure of these models under different conditions.

High-density hard-core model on $\mathbb{Z}^2$ and norm equations in ring $\mathbb{Z} [{\sqrt[6]{-1}}]$

The hard-core model on $\mathbb{Z}^3$ and Kepler's conjecture

Geometrical Aspects of Critical Ising Configurations in Two Dimensions

On the density of 2D critical percolation gaskets and anchored clusters

Exact Spin Liquid Ground States of the Quantum Dimer Model on the Square and Honeycomb Lattices

Near-critical dimers and massive SLE

Gibbs measures for a Hard-Core model with a countable set of states

Lattice Fundamental Measure Theory beyond 0D Cavities: Dimers on Square Lattices

Critical Behavior in Rectangles with Mixed Boundaries

Geometric frustration and magnetization plateaus in quantum spin and Bose-Hubbard models on tubes

Restricted percolation critical exponents in high dimensions

Long-range order in discrete spin systems

Uniqueness and CLT for the Ground State of the Disordered Monomer-Dimer Model on $\mathbb{Z}^{d}$

Entanglement scaling behaviors of free fermions on hyperbolic lattices

High-Dimensional Lattice Gases

Hierarchical Cubes: Gibbs Measures and Decay of Correlations

Extremes of $2d$ Coulomb gas: universal intermediate deviation regime

On the transition between the disordered and antiferroelectric phases of the 6-vertex model

Emergence of Gauss' Law in a $Z_2$ Lattice Gauge Theory

A limit law for the maximum of subcritical DG-model on a hierarchical lattice