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.

A Marstrand type slicing theorem for subsets of $\mathbb{Z}^2 \subset \mathbb{R}^2$ with the mass dimension

Marstrand type slicing statements in $\mathbb{Z}^{2}\subset \mathbb{R}^{2}$ are false for the counting dimension

Bisecting masses with families of parallel hyperplanes

Two-dimensional Błocki, $L^p$-Mahler, and Bourgain conjectures

A variant of Marstrand's theorem for projections of cartesian products

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Entropy, slicing problem and functional Mahler's conjecture

Growth and Distortion Theorems for Slice Monogenic Functions

Anzahl theorems for trivially intersecting subspaces generating a non-singular subspace I: symplectic and hermitian forms

How much can heavy lines cover?

Anzahl theorems for disjoint subspaces generating a non-degenerate subspace II: quadratic forms

Variétés abéliennes et théorème de Minkowski-Hlawka

Singular multipliers on multiscale Zygmund sets

A new approach to slice analysis via slice topology

A Minkowski theorem for Meyer sets

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Extremal affine subspaces and Khintchine-Jarník type theorems

Intersecting the dimension filtration with the slice one for (relative) motivic categories

Slices of the Takagi function

A generalization of Marstrand's theorem and some geometric applications

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