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.

Freiheitssatz and phase transition for the density model of random groups

Phase Glass and Zero-Temperature Phase Transition in a Randomly Frustrated Two-Dimensional Quantum Rotor Model

First-order sentences in random groups I: universal sentences

Sentences over Random Groups I: Existential Sentences

Phase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions

Normal to Poisson phase transition for subgraph counting in the random-connection model

Density of growth-rates of subgroups of a free group and the non-backtracking spectrum of the configuration model

Exotic local limit theorems at the phase transition in free products

Density of quotient orders in groups and applications to locally-transitive graphs

Sentences over Random Groups II: Sentences of Minimal Rank

The theorems on freedom for relatively free groups with a relations

On sets with missing differences in compact abelian groups

Topological Phases in the Plaquette Random-Cluster Model and Potts Lattice Gauge Theory

Phase transition for the vacant set of random walk and random interlacements

Random walks on a finite group and the Frobenius-Schur theorem

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

Parallel geodesics and minimal stable length of random groups

The connectivity and phase transition in inhomogeneous random graphs of finite types

Phase transition for the vacant set left by random walk on the giant component of a random graph

Phase transition for the late points of random walk

Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem