-
The Pirogov-Sinai Theory for Infinite Interactions
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
The purpose of this note is to consider a number of straightforward generalizations of the Pirogov-Sinai theory which can be covered by minor additions to the canonical texts. These generalizations are well-known among the adepts of the Pirogov-Sinai theory but are lacking formal references.
The purpose of this note is to consider a number of straightforward generalizations of the Pirogov-Sinai theory which can be covered by minor additions to the canonical texts. These generalizations are well-known among the adepts of the Pirogov-Sinai theory but are lacking formal references.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
The hard-core model on $\mathbb{Z}^3$ and Kepler's conjecture
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We study the hard-core model of statistical mechanics on a unit cubic lattice $\mathbb{Z}^3$, which is intrinsically related to the sphere-packing problem for spheres with centers in $\mathbb{Z}^3$. The model is defined by the sphere diameter $D>0$ which is interpreted as a Euclidean exclusion distance between point particles located at spheres centers. The second parameter of the underlying model…
▽ More
We study the hard-core model of statistical mechanics on a unit cubic lattice $\mathbb{Z}^3$, which is intrinsically related to the sphere-packing problem for spheres with centers in $\mathbb{Z}^3$. The model is defined by the sphere diameter $D>0$ which is interpreted as a Euclidean exclusion distance between point particles located at spheres centers. The second parameter of the underlying model is the particle fugacity $u$. For $u>1$ the ground states of the model are given by the dense-packings of the spheres. The identification of such dense-packings is a considerable challenge, and we solve it for $D^2=2, 3, 4, 5, 6, 8, 9, 10, 11, 12$ as well as for $D^2=2\ell^2$, where $\ell\in\mathbb{N}$. For the former family of values of $D^2$ our proofs are self-contained. For $D^2=2\ell^2$ our results are based on the proof of Kepler's conjecture. Depending on the value of $D^2$, we encounter three physically distinct situations: (i) finitely many periodic ground states, (ii) countably many layered periodic ground states and (iii) countably many not necessarily layered periodic ground states. For the first two cases we use the Pirogov-Sinai theory and identify the corresponding periodic Gibbs distributions for $D^2=2,3,5,8,9,10,12$ and $D^2=2\ell^2$, $\ell\in\mathbb{N}$, in a high-density regime $u>u_*(D^2)$, where the system is ordered and tends to fluctuate around some ground states. In particular, for $D^2=5$ only a finite number out of countably many layered periodic ground states generate pure phases.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Kepler's conjecture and phase transitions in the high-density hard-core model on $\mathbb{Z}^3$
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We perform a rigorous study of the identical sphere packing problem in $\mathbb{Z}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and the fugacity $u\gg 1$ are the varying parameters of the model. We solve the sphere packing problem for values $D^2= 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 2\ell^2$, $\ell\in\mathbb{N}$. For values…
▽ More
We perform a rigorous study of the identical sphere packing problem in $\mathbb{Z}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and the fugacity $u\gg 1$ are the varying parameters of the model. We solve the sphere packing problem for values $D^2= 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 2\ell^2$, $\ell\in\mathbb{N}$. For values $D^2=2, 3, 5, 8, 9, 10, 12, 2\ell^2$, $\ell\in\mathbb{N}$ and $u>u^0(D)$ we establish the diagram of periodic pure phases, completely or partially. For the case $D^2=2\ell^2$, $\ell\in\mathbb{N}$ we use results from Hales' proof of Kepler's conjecture.
△ Less
Submitted 13 April, 2023; v1 submitted 28 December, 2021;
originally announced December 2021.
-
The hard-core model on planar lattices: the disk-packing problem and high-density phases
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
Abstract:
We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$ and a value of fugacity $u>0$. We use the Pirogov-Sinai theory to study the Gibbs distributions for a general $D$ when $u$ is large: $u>u_0(D)$. For infinite seq…
▽ More
We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$ and a value of fugacity $u>0$. We use the Pirogov-Sinai theory to study the Gibbs distributions for a general $D$ when $u$ is large: $u>u_0(D)$. For infinite sequences of values $D$ we describe a complete high-density phase diagram: it exhibits a multitude of co-existing pure phases, and their number grows as $O(D^2)$. For the remaining values of $D$, except for those with sliding, the number of co-existing pure phases is still of the form $E(D)\geq O(D^2)$; however, the exact identification of the pure phases requires an additional analysis. Such an analysis is performed for a number of typical examples, which involves computer-assisted proofs. Consequently, for all values $D>0$ where sliding does not occur, we establish the existence of a phase transition.
The crucial steps in the study are (i) the identification of periodic ground states and (ii) the verification of the Peierls bound. This is done by using connections with algebraic number theory. In particular, a complete list of so-called sliding values of $D$ has been specified. As a by-product, we solve the disk-packing problem on the lattices under consideration. The number and structure of maximally-dense packings depend on the disk-diameter $D$, unlike the case of $\mathbb{R}^2$.
△ Less
Submitted 10 October, 2022; v1 submitted 28 November, 2020;
originally announced November 2020.
-
High-density hard-core model on $\mathbb{Z}^2$ and norm equations in ring $\mathbb{Z} [{\sqrt[6]{-1}}]$
Authors:
A. Mazel,
I. Stuhl,
Y. Suhov
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-triangl…
▽ More
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.
△ Less
Submitted 22 June, 2023; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Dominance of most tolerant species in multi-type lattice Widom-Rowlinson models
Authors:
A. Mazel,
Yu. Suhov,
I. Stuhl,
S. Zohren
Abstract:
We analyse equilibrium phases in a multi-type lattice Widom-Rowlinson model with (i) four particle types, (ii) varying exclusion diameters between different particle types and (iii) large values of fugacity. Contrary to an expectation, it is not the most "aggressive" species, with largest diameters, which dominates the equilibrium measure, but the "most tolerant" one, which has smallest exclusion…
▽ More
We analyse equilibrium phases in a multi-type lattice Widom-Rowlinson model with (i) four particle types, (ii) varying exclusion diameters between different particle types and (iii) large values of fugacity. Contrary to an expectation, it is not the most "aggressive" species, with largest diameters, which dominates the equilibrium measure, but the "most tolerant" one, which has smallest exclusion diameters. Results of numerical simulations are presented, showing densities of species in equilibrium phases and confirming the theoretical picture.
△ Less
Submitted 23 October, 2016; v1 submitted 23 March, 2014;
originally announced March 2014.
-
A classical WR model with $q$ particle types
Authors:
A. Mazel,
Yu. Suhov,
I. Stuhl
Abstract:
A version of the Widom--Rowlinson model is considered, where particles of $q$ types coexist, with a given collection of hard-core exclusion diameters. For $q\leq 4$, in the case of large equal fugacities, we give a complete description of the pure phase picture, based on the theory of dominant ground states.
A version of the Widom--Rowlinson model is considered, where particles of $q$ types coexist, with a given collection of hard-core exclusion diameters. For $q\leq 4$, in the case of large equal fugacities, we give a complete description of the pure phase picture, based on the theory of dominant ground states.
△ Less
Submitted 26 July, 2014; v1 submitted 31 October, 2013;
originally announced November 2013.
-
FK-DLR properties of a quantum multi-type bose-gas with a repulsive interaction
Authors:
Y. Suhov,
I. Stuhl
Abstract:
The paper extends earlier results from \cite{SK}, \cite{SKS} about infinite-volume quantum bosonic states (FK-DLR states) to the case of multi-type particles with non-negative interactions. (An example is a quantum Widom--Rowlinson model.) Following the strategy from \cite{SK}, \cite{SKS}, we establish that, for the values of fugacity $z\in (0,1)$ and inverse temperature $β>0$, finite-volume Gibbs…
▽ More
The paper extends earlier results from \cite{SK}, \cite{SKS} about infinite-volume quantum bosonic states (FK-DLR states) to the case of multi-type particles with non-negative interactions. (An example is a quantum Widom--Rowlinson model.) Following the strategy from \cite{SK}, \cite{SKS}, we establish that, for the values of fugacity $z\in (0,1)$ and inverse temperature $β>0$, finite-volume Gibbs states form a compact family in the thermodynamic limit. Next, in dimension two we show that any limit-point state (an FK-DLR state in the terminology adopted in \cite{SK}, \cite{SKS}) is translation-invariant.
△ Less
Submitted 13 November, 2013; v1 submitted 28 June, 2013;
originally announced July 2013.
-
Shift-invariance for FK-DLR states of a 2D quantum bose-gas
Authors:
Y. Suhov,
M. Kelbert,
I. Stuhl
Abstract:
This paper continues the work Y. Suhov, M. Kelbert. FK-DLR states of a quantum bose-gas, arXiv:1304.0782 [math-ph], and focuses on infinite-volume bosonic states for a quantum system (a quantum gas) in a plane. We work under similar assumptions upon the form of local Hamiltonians and the type of the (pair) interaction potential as in the reference above. The result of the paper is that any infinit…
▽ More
This paper continues the work Y. Suhov, M. Kelbert. FK-DLR states of a quantum bose-gas, arXiv:1304.0782 [math-ph], and focuses on infinite-volume bosonic states for a quantum system (a quantum gas) in a plane. We work under similar assumptions upon the form of local Hamiltonians and the type of the (pair) interaction potential as in the reference above. The result of the paper is that any infinite-volume FK-DLR functional corresponding to the Hamiltonians is shift-invariant, regardless of whether this functional is unique or not.
△ Less
Submitted 15 April, 2013;
originally announced April 2013.
