the hard-core model in discrete 2dpeledron/horowitz_seminar/stuhl_slides.pdf · the hard-core model...
TRANSCRIPT
![Page 1: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/1.jpg)
The hard-core model in
discrete 2D
Izabella Stuhl
This is a joint work with Alexander Mazel and Yuri Suhov
May 18, 2020
![Page 2: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/2.jpg)
Dense disk-packing in a popular culture
![Page 3: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/3.jpg)
Dense disk-packing on unit lattices: (a) triangular, (b) square
![Page 4: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/4.jpg)
Dense disk-packing on triangular lattice
Inscribed/inclined triangular/hexagonal arrangement
depending on the value of D .
![Page 5: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/5.jpg)
Dense disk-packing on triangular lattice
Inscribed/inclined triangular/hexagonal arrangement
depending on the value of D .
![Page 6: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/6.jpg)
Dense disk-packing on square lattice
D = 2
Lattice and non-lattice: all have the same particle
density 1/4.
![Page 7: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/7.jpg)
Dense disk-packing on square lattice
First surprises: the disks do not want to touch each
other (at least, partially). And they do not want to
form squares (for D2 ≥ 20).
D = 5,√32
![Page 8: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/8.jpg)
The object of investigation: the hard-core model
The hard-core model was introduced in late 1940s and
early 1950s in theoretical chemistry, for a gas where
the particles
- have non-negligible diameters,
- cannot overlap.
The impact of the model spread out to many areas:
theoretical and mathematical physics, dynamical systems,
computer science, network theory, social sciences, etc.
![Page 9: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/9.jpg)
The object of investigation: the hard-core model
The hard-core model was introduced in late 1940s and
early 1950s in theoretical chemistry, for a gas where
the particles
- have non-negligible diameters,
- cannot overlap.
The impact of the model spread out to many areas:
theoretical and mathematical physics, dynamical systems,
computer science, network theory, social sciences, etc.
![Page 10: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/10.jpg)
The hard-core model
The model is about probability measures on the set of
admissible configurations.
- The key parameters characterizing the model: the
underlying set W, the hard-core diameter D > 0 and
the fugacity u.
(a)
Let W ⊂ Rd be a countable set. We say that a configurationφ ∈ {0, 1}W is D-admissible if ρ(x , y) ≥ D ∀ pairs of ‘occupied’points x , y ∈W with φ(x) = φ(y) = 1. The set of D-admissibleconfigurations is denoted by A = A(W,D). The notion of aD-admissible configuration can be given ∀ finite set V ⊂ Rd .
![Page 11: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/11.jpg)
The hard-core model
The model is about probability measures on the set of
admissible configurations.
- The key parameters characterizing the model: the
underlying set W, the hard-core diameter D > 0 and
the fugacity u.
(a)
Let W ⊂ Rd be a countable set. We say that a configurationφ ∈ {0, 1}W is D-admissible if ρ(x , y) ≥ D ∀ pairs of ‘occupied’points x , y ∈W with φ(x) = φ(y) = 1. The set of D-admissibleconfigurations is denoted by A = A(W,D). The notion of aD-admissible configuration can be given ∀ finite set V ⊂ Rd .
![Page 12: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/12.jpg)
The hard-core model
The model is about probability measures on the set of
admissible configurations.
- The key parameters characterizing the model: the
underlying set W, the hard-core diameter D > 0 and
the fugacity u.
(a)
Let W ⊂ Rd be a countable set. We say that a configurationφ ∈ {0, 1}W is D-admissible if ρ(x , y) ≥ D ∀ pairs of ‘occupied’points x , y ∈W with φ(x) = φ(y) = 1. The set of D-admissibleconfigurations is denoted by A = A(W,D). The notion of aD-admissible configuration can be given ∀ finite set V ⊂ Rd .
![Page 13: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/13.jpg)
Concatenated configurations, W: a triangular lattice
D = 5
![Page 14: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/14.jpg)
Concatenated configurations, W: a triangular lattice
![Page 15: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/15.jpg)
Concatenated configurations, W: a triangular lattice
![Page 16: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/16.jpg)
The hard-core model
(b)
Let V ⊂W be a finite set, and φ ∈ A be a D-admissibleconfiguration. We say that a finite configuration ψV ∈ {0, 1}V iscompatible with φ if the concatenated configurationψV ∨ (φ �W\V ) ∈ A.Given u > 0, consider a probability measure µV |W( · ‖φ) on {0, 1}Vgiven by
µV |W(ψV ‖φ) =
u](ψ
V )
Z (V |W;φ), if ψV and φ are compatible,
0, otherwise.
(i) ](ψV ) is the number of occupied sites in ψV ,
(ii) Z (V |W;φ) =∑
ψV∈{0,1}Vu](ψ
V )1(ψV compatible with φ
)the partition function in V with the boundary condition φ.
![Page 17: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/17.jpg)
The hard-core model
(c)
A probability measure µ on {0, 1}W is called a D-hard-coreGibbs/DLR-measure on {0, 1}W if ∀ finite V ⊂W and a functionf : φ ∈ {0, 1}W 7→ f (φ) ∈ C depending only on the restriction φ �V ,the integral µ(f ) =
∫{0,1}W f (φ)dµ(φ) has the form
µ(f ) =
∫{0,1}W
∫{0,1}V
f (ψV ∨ φ �W\V )dµV |W(ψV ‖φ)dµ(φ).
It means that under µ, the probability of a configuration in a finitesubset V ⊂W conditional on a configuration φ �W\V coincides withµV |W(ψV ‖φ), for µ-a.a. φ.
![Page 18: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/18.jpg)
Hard-core Gibbs measures: uniqueness vs non-uniqueness
One of the main questions: verify, for given W, D and
u, whether there is a unique hard-core Gibbs measure
or many.
In the latter case it would be interesting to describe
extreme Gibbs measures since every Gibbs measure is a
mixture of these.
![Page 19: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/19.jpg)
Hard-core Gibbs measures: uniqueness vs non-uniqueness
One of the main questions: verify, for given W, D and
u, whether there is a unique hard-core Gibbs measure
or many.
In the latter case it would be interesting to describe
extreme Gibbs measures since every Gibbs measure is a
mixture of these.
![Page 20: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/20.jpg)
We focus upon W = A2,Z2,H2 .
� The exclusion diameter D is measured in the Euclidean
metric ρ.
![Page 21: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/21.jpg)
We focus upon W = A2,Z2,H2 .
� The exclusion diameter D is measured in the Euclidean
metric ρ.
![Page 22: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/22.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 23: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/23.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 24: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/24.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 25: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/25.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 26: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/26.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 27: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/27.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 28: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/28.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 29: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/29.jpg)
What we know:
For W = Zd , with nearest-neighbor repulsion D =√2:
- Suhov (1967): d = 2, Dobrushin (1968): d ≥ 2. Existence
of multiple hard-core measures for sufficiently
large u.
- Peled & Samotij (2014): non-uniqueness for
u & Cd−1/3(log d)2 .
...
- Sinclair, et al. (2016); Blanca, et al. (2016): for d = 2,2.538 < ucr < 5.3506.
For W = A2:
- Heilmann & Praestgaard (1973): non-uniqueness for
large u, for a large collection of values of D .
- Baxter (1980): The critical value for D =√3 is
ucr =12(11 + 5
√5).
![Page 30: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/30.jpg)
W = A2,Z2,H2
I’ll address the question about the number of extreme hard-coreGibbs/DLR measures on A2, Z2 and H2 in a large fugacity regime(u >> ucr ∨ 1) for any D .
� We consider attainable values of the hard-core
diameter D .
• Z2: Gaussian integers; Fermat
decomposition: D2 = a2 + b2 where a, b ∈ Z+ .
• A2,H2: Eisenstein integers; Loschian
numbers: D2 = a2 + b2 + ab where a, b ∈ Z+ .
� As was said, we are interested in the extremeGibbs/DLR measures µ which cannot be written as a
non-trivial convex linear combination αµ1 + (1− α)µ2 of
Gibbs measures µ1 and µ2 .
![Page 31: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/31.jpg)
W = A2,Z2,H2
I’ll address the question about the number of extreme hard-coreGibbs/DLR measures on A2, Z2 and H2 in a large fugacity regime(u >> ucr ∨ 1) for any D .
� We consider attainable values of the hard-core
diameter D .
• Z2: Gaussian integers; Fermat
decomposition: D2 = a2 + b2 where a, b ∈ Z+ .
• A2,H2: Eisenstein integers; Loschian
numbers: D2 = a2 + b2 + ab where a, b ∈ Z+ .
� As was said, we are interested in the extremeGibbs/DLR measures µ which cannot be written as a
non-trivial convex linear combination αµ1 + (1− α)µ2 of
Gibbs measures µ1 and µ2 .
![Page 32: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/32.jpg)
W = A2,Z2,H2
I’ll address the question about the number of extreme hard-coreGibbs/DLR measures on A2, Z2 and H2 in a large fugacity regime(u >> ucr ∨ 1) for any D .
� We consider attainable values of the hard-core
diameter D .
• Z2: Gaussian integers; Fermat
decomposition: D2 = a2 + b2 where a, b ∈ Z+ .
• A2,H2: Eisenstein integers; Loschian
numbers: D2 = a2 + b2 + ab where a, b ∈ Z+ .
� As was said, we are interested in the extremeGibbs/DLR measures µ which cannot be written as a
non-trivial convex linear combination αµ1 + (1− α)µ2 of
Gibbs measures µ1 and µ2 .
![Page 33: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/33.jpg)
W = A2,Z2,H2
I’ll address the question about the number of extreme hard-coreGibbs/DLR measures on A2, Z2 and H2 in a large fugacity regime(u >> ucr ∨ 1) for any D .
� We consider attainable values of the hard-core
diameter D .
• Z2: Gaussian integers; Fermat
decomposition: D2 = a2 + b2 where a, b ∈ Z+ .
• A2,H2: Eisenstein integers; Loschian
numbers: D2 = a2 + b2 + ab where a, b ∈ Z+ .
� As was said, we are interested in the extremeGibbs/DLR measures µ which cannot be written as a
non-trivial convex linear combination αµ1 + (1− α)µ2 of
Gibbs measures µ1 and µ2 .
![Page 34: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/34.jpg)
W = A2,Z2,H2
I’ll address the question about the number of extreme hard-coreGibbs/DLR measures on A2, Z2 and H2 in a large fugacity regime(u >> ucr ∨ 1) for any D .
� We consider attainable values of the hard-core
diameter D .
• Z2: Gaussian integers; Fermat
decomposition: D2 = a2 + b2 where a, b ∈ Z+ .
• A2,H2: Eisenstein integers; Loschian
numbers: D2 = a2 + b2 + ab where a, b ∈ Z+ .
� As was said, we are interested in the extremeGibbs/DLR measures µ which cannot be written as a
non-trivial convex linear combination αµ1 + (1− α)µ2 of
Gibbs measures µ1 and µ2 .
![Page 35: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/35.jpg)
Pirogov, Sinai, Zahradnik
Pirogov-Sinai theory:
periodic extreme Gibbs measures are generated by dominantperiodic ground states, with the help of a Peierls bound andpolymer expansion.
(I) A finite set of periodic ground states: admissible
configurations ϕ ∈ A with certain
properties.
(II) A Peierls bound: a bound for the probability
for a deviation from the periodic ground
states in a Gibbs measure.
Dobrushin-Shlosman: in 2D, non-periodic ground states
do not generate extreme Gibbs measures.
![Page 36: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/36.jpg)
Pirogov, Sinai, Zahradnik
Pirogov-Sinai theory:
periodic extreme Gibbs measures are generated by dominantperiodic ground states, with the help of a Peierls bound andpolymer expansion.
(I) A finite set of periodic ground states: admissible
configurations ϕ ∈ A with certain
properties.
(II) A Peierls bound: a bound for the probability
for a deviation from the periodic ground
states in a Gibbs measure.
Dobrushin-Shlosman: in 2D, non-periodic ground states
do not generate extreme Gibbs measures.
![Page 37: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/37.jpg)
Pirogov, Sinai, Zahradnik
Pirogov-Sinai theory:
periodic extreme Gibbs measures are generated by dominantperiodic ground states, with the help of a Peierls bound andpolymer expansion.
(I) A finite set of periodic ground states: admissible
configurations ϕ ∈ A with certain
properties.
(II) A Peierls bound: a bound for the probability
for a deviation from the periodic ground
states in a Gibbs measure.
Dobrushin-Shlosman: in 2D, non-periodic ground states
do not generate extreme Gibbs measures.
![Page 38: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/38.jpg)
Pirogov, Sinai, Zahradnik
Pirogov-Sinai theory:
periodic extreme Gibbs measures are generated by dominantperiodic ground states, with the help of a Peierls bound andpolymer expansion.
(I) A finite set of periodic ground states: admissible
configurations ϕ ∈ A with certain
properties.
(II) A Peierls bound: a bound for the probability
for a deviation from the periodic ground
states in a Gibbs measure.
Dobrushin-Shlosman: in 2D, non-periodic ground states
do not generate extreme Gibbs measures.
![Page 39: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/39.jpg)
(Periodic) Ground States
A ground state: a D-admissible configuration ϕ on the
lattice which cannot be improved locally: for any
D-admissible configuration ψ that differs from ϕ on a
finite set of lattice sites V
]V(ϕ) > ]V(ψ).
A ground state ϕ is called periodic if there exist linearly
independent vectors e1, e2 such that ϕ is invariant
under lattice shifts Sei :
Seiϕ = ϕ, i = 1, 2.
![Page 40: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/40.jpg)
(Periodic) Ground States
A ground state: a D-admissible configuration ϕ on the
lattice which cannot be improved locally: for any
D-admissible configuration ψ that differs from ϕ on a
finite set of lattice sites V
]V(ϕ) > ]V(ψ).
A ground state ϕ is called periodic if there exist linearly
independent vectors e1, e2 such that ϕ is invariant
under lattice shifts Sei :
Seiϕ = ϕ, i = 1, 2.
![Page 41: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/41.jpg)
W = A2 : Periodic ground states = D-sublattices
Any ordered pair of integers (a, b) solving the equationD2 = a2 + b2 + ab defines a D-sublattice in A2 containing theorigin and the following 6 sites:(a, b); (−b, a+ b); (−a− b, a); (−a,−b); (b,−a− b); (a+ b,−a)
The periodic ground states are obtained from the
sublattices by shifts along the fundamental parallelogramsand rotations.
Each periodic ground state
is completely determined by
just two occupied sites x , ywith ρ(x , y) = D .
This is a ‘rigidity’ property
of A2; it simplifies the anal-
ysis on A2 comparing to Z2 .
![Page 42: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/42.jpg)
W = A2 : Periodic ground states = D-sublattices
Any ordered pair of integers (a, b) solving the equationD2 = a2 + b2 + ab defines a D-sublattice in A2 containing theorigin and the following 6 sites:(a, b); (−b, a+ b); (−a− b, a); (−a,−b); (b,−a− b); (a+ b,−a)
The periodic ground states are obtained from the
sublattices by shifts along the fundamental parallelogramsand rotations.
Each periodic ground state
is completely determined by
just two occupied sites x , ywith ρ(x , y) = D .
This is a ‘rigidity’ property
of A2; it simplifies the anal-
ysis on A2 comparing to Z2 .
![Page 43: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/43.jpg)
W = A2 : Periodic ground states = D-sublattices
Any ordered pair of integers (a, b) solving the equationD2 = a2 + b2 + ab defines a D-sublattice in A2 containing theorigin and the following 6 sites:(a, b); (−b, a+ b); (−a− b, a); (−a,−b); (b,−a− b); (a+ b,−a)
The periodic ground states are obtained from the
sublattices by shifts along the fundamental parallelogramsand rotations.
Each periodic ground state
is completely determined by
just two occupied sites x , ywith ρ(x , y) = D .
This is a ‘rigidity’ property
of A2; it simplifies the anal-
ysis on A2 comparing to Z2 .
![Page 44: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/44.jpg)
W = A2 : Periodic ground states = D-sublattices
Any ordered pair of integers (a, b) solving the equationD2 = a2 + b2 + ab defines a D-sublattice in A2 containing theorigin and the following 6 sites:(a, b); (−b, a+ b); (−a− b, a); (−a,−b); (b,−a− b); (a+ b,−a)
The periodic ground states are obtained from the
sublattices by shifts along the fundamental parallelogramsand rotations.
Each periodic ground state
is completely determined by
just two occupied sites x , ywith ρ(x , y) = D .
This is a ‘rigidity’ property
of A2; it simplifies the anal-
ysis on A2 comparing to Z2 .
![Page 45: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/45.jpg)
Eisenstein integer ring
Eisenstein integers:
z = a+ bω ∈ C, where ω = −1
2+ i
√3
2, a, b ∈ Z.
Eisenstein primes:
- 1− ω- integer primes of the form 3k − 1
- (a+ bω) such that a2 − ab + b2 is prime in Z
D2 = c2 + d2 + cd = ε(1 − ω)α∏
i≥0 piβi
∏j≥0(aj − bjω)
γj∏
k≥0(ak − bkω2)δk
![Page 46: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/46.jpg)
Eisenstein integer ring
Eisenstein integers:
z = a+ bω ∈ C, where ω = −1
2+ i
√3
2, a, b ∈ Z.
Eisenstein primes:
- 1− ω- integer primes of the form 3k − 1
- (a+ bω) such that a2 − ab + b2 is prime in Z
D2 = c2 + d2 + cd = ε(1 − ω)α∏
i≥0 piβi
∏j≥0(aj − bjω)
γj∏
k≥0(ak − bkω2)δk
![Page 47: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/47.jpg)
Eisenstein integer ring
Eisenstein integers:
z = a+ bω ∈ C, where ω = −1
2+ i
√3
2, a, b ∈ Z.
Eisenstein primes:
- 1− ω- integer primes of the form 3k − 1
- (a+ bω) such that a2 − ab + b2 is prime in Z
D2 = c2 + d2 + cd = ε(1 − ω)α∏
i≥0 piβi
∏j≥0(aj − bjω)
γj∏
k≥0(ak − bkω2)δk
![Page 48: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/48.jpg)
Eisenstein integer ring
Eisenstein integers:
z = a+ bω ∈ C, where ω = −1
2+ i
√3
2, a, b ∈ Z.
Eisenstein primes:
- 1− ω- integer primes of the form 3k − 1
- (a+ bω) such that a2 − ab + b2 is prime in Z
D2 = c2 + d2 + cd = ε(1 − ω)α∏
i≥0 piβi
∏j≥0(aj − bjω)
γj∏
k≥0(ak − bkω2)δk
![Page 49: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/49.jpg)
A2 : Extreme Gibbs measures
Theorem 1There are m · D2 periodic ground states, where m = 1 or 2 dependingon the Eisenstein prime decomposition of D2. There existsu0 ∈ (1,∞) such that for all u ≥ u0 the following properties hold.
- (a) Each of m ·D2 periodic ground states ϕ generates an extremeGibbs/DLR measure µϕ. The measures µϕ are pair-wise disjoint.
- (b) Any Gibbs/DLR measure µ is a convex linear combination ofmeasures µϕ.
We say that an extreme Gibbs/DLR measure µ is
generated by a periodic ground state ϕ if
µ = w − limV↗A2
µV |A2( · ||ϕ).
Physically, it means that µϕ is supported on
configurations that percolate to infinity along ϕ but
NOT along any other periodic ground state.
![Page 50: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/50.jpg)
A2 : Extreme Gibbs measures
Theorem 1There are m · D2 periodic ground states, where m = 1 or 2 dependingon the Eisenstein prime decomposition of D2. There existsu0 ∈ (1,∞) such that for all u ≥ u0 the following properties hold.
- (a) Each of m ·D2 periodic ground states ϕ generates an extremeGibbs/DLR measure µϕ. The measures µϕ are pair-wise disjoint.
- (b) Any Gibbs/DLR measure µ is a convex linear combination ofmeasures µϕ.
We say that an extreme Gibbs/DLR measure µ is
generated by a periodic ground state ϕ if
µ = w − limV↗A2
µV |A2( · ||ϕ).
Physically, it means that µϕ is supported on
configurations that percolate to infinity along ϕ but
NOT along any other periodic ground state.
![Page 51: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/51.jpg)
A2 : Extreme Gibbs measures
Theorem 1There are m · D2 periodic ground states, where m = 1 or 2 dependingon the Eisenstein prime decomposition of D2. There existsu0 ∈ (1,∞) such that for all u ≥ u0 the following properties hold.
- (a) Each of m ·D2 periodic ground states ϕ generates an extremeGibbs/DLR measure µϕ. The measures µϕ are pair-wise disjoint.
- (b) Any Gibbs/DLR measure µ is a convex linear combination ofmeasures µϕ.
We say that an extreme Gibbs/DLR measure µ is
generated by a periodic ground state ϕ if
µ = w − limV↗A2
µV |A2( · ||ϕ).
Physically, it means that µϕ is supported on
configurations that percolate to infinity along ϕ but
NOT along any other periodic ground state.
![Page 52: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/52.jpg)
A2 : Extreme Gibbs measures
Theorem 1There are m · D2 periodic ground states, where m = 1 or 2 dependingon the Eisenstein prime decomposition of D2. There existsu0 ∈ (1,∞) such that for all u ≥ u0 the following properties hold.
- (a) Each of m ·D2 periodic ground states ϕ generates an extremeGibbs/DLR measure µϕ. The measures µϕ are pair-wise disjoint.
- (b) Any Gibbs/DLR measure µ is a convex linear combination ofmeasures µϕ.
We say that an extreme Gibbs/DLR measure µ is
generated by a periodic ground state ϕ if
µ = w − limV↗A2
µV |A2( · ||ϕ).
Physically, it means that µϕ is supported on
configurations that percolate to infinity along ϕ but
NOT along any other periodic ground state.
![Page 53: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/53.jpg)
![Page 54: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/54.jpg)
![Page 55: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/55.jpg)
A2 : Extreme Gibbs measures
For a general D , not all periodic ground states
generate extreme Gibbs measures only the dominantones.
Theorem 2.If there exist M ≥ 1 dominant types of periodic ground states then,for a large u, the number of extreme Gibbs/DLR measures is
D2M∑j=1
mj ,
where mj ∈ {1, 2} is determined by the Eisenstein primedecomposition of D2.
![Page 56: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/56.jpg)
A2 : Extreme Gibbs measures
For a general D , not all periodic ground states
generate extreme Gibbs measures only the dominantones.
Theorem 2.If there exist M ≥ 1 dominant types of periodic ground states then,for a large u, the number of extreme Gibbs/DLR measures is
D2M∑j=1
mj ,
where mj ∈ {1, 2} is determined by the Eisenstein primedecomposition of D2.
![Page 57: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/57.jpg)
Z2 : a misleading picture
![Page 58: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/58.jpg)
Periodic vs. non-periodic, lattice vs. non-lattice ground
states
![Page 59: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/59.jpg)
Z2 : sliding
On Z2 for some values of D there is a phenomenon of
sliding, with countably many periodic ground states.
Sliding occurs when we can shift a 1D array of occupied
sites without violating the non-overlapping condition.
This generates a characteristic pattern of ’competing’
fundamental triangles.
![Page 60: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/60.jpg)
Z2 : sliding
On Z2 for some values of D there is a phenomenon of
sliding, with countably many periodic ground states.
Sliding occurs when we can shift a 1D array of occupied
sites without violating the non-overlapping condition.
This generates a characteristic pattern of ’competing’
fundamental triangles.
![Page 61: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/61.jpg)
Z2 : sliding vs. non-sliding, D2 = 4, 5
![Page 62: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/62.jpg)
Z2 : sliding for D2 = 8, 9
![Page 63: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/63.jpg)
Values of D with sliding
For the values of D with sliding the Pirogov-Sinai
theory is not applicable, and we will simply disregard such
Ds in what follows.
Theorem S.There are 39 sliding values and they are listed below.
D2 = 4, 8, 9, 18, 20, 29, 45, 72, 80, 106, 121, 157, 160, 218, 281, 392,521, 698, 821, 1042, 1325, 1348, 1517, 1565, 2005, 2792, 3034, 3709,4453, 4756, 6865, 11449, 12740, 13225, 15488, 22784, 29890, 37970.
Krachun (2019): proved that the number of sliding
instances is finite.
¿ We expect that sliding leads to uniqueness of a Gibbs/DLR measurefor large enough u. ?
![Page 64: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/64.jpg)
Values of D with sliding
For the values of D with sliding the Pirogov-Sinai
theory is not applicable, and we will simply disregard such
Ds in what follows.
Theorem S.There are 39 sliding values and they are listed below.
D2 = 4, 8, 9, 18, 20, 29, 45, 72, 80, 106, 121, 157, 160, 218, 281, 392,521, 698, 821, 1042, 1325, 1348, 1517, 1565, 2005, 2792, 3034, 3709,4453, 4756, 6865, 11449, 12740, 13225, 15488, 22784, 29890, 37970.
Krachun (2019): proved that the number of sliding
instances is finite.
¿ We expect that sliding leads to uniqueness of a Gibbs/DLR measurefor large enough u. ?
![Page 65: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/65.jpg)
Values of D with sliding
For the values of D with sliding the Pirogov-Sinai
theory is not applicable, and we will simply disregard such
Ds in what follows.
Theorem S.There are 39 sliding values and they are listed below.
D2 = 4, 8, 9, 18, 20, 29, 45, 72, 80, 106, 121, 157, 160, 218, 281, 392,521, 698, 821, 1042, 1325, 1348, 1517, 1565, 2005, 2792, 3034, 3709,4453, 4756, 6865, 11449, 12740, 13225, 15488, 22784, 29890, 37970.
Krachun (2019): proved that the number of sliding
instances is finite.
¿ We expect that sliding leads to uniqueness of a Gibbs/DLR measurefor large enough u. ?
![Page 66: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/66.jpg)
Z2 : Optimization problem for fundamental triangles
The key part of our approach is the following
optimization problem:
miminize the area of a Z2-lattice triangle with anglesα1 ≥ α2 ≥ α3 and side-lengths `0 ≥ `1 ≥ `2, subject
to the restrictions that α1 ≤ π/2 and `2 ≥ D .(∗)
Here a solution always exists but can be non-unique.
Each solution can serve as a fundamental triangle of a
sublattice in Z2 which we call a D-min-area sublattice.
For D ≥√20, it is a D-min-area sublattice, not a square arrangement,
which determines a periodic ground state for a given D on Z2.
![Page 67: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/67.jpg)
Z2 : Optimization problem for fundamental triangles
The key part of our approach is the following
optimization problem:
miminize the area of a Z2-lattice triangle with anglesα1 ≥ α2 ≥ α3 and side-lengths `0 ≥ `1 ≥ `2, subject
to the restrictions that α1 ≤ π/2 and `2 ≥ D .(∗)
Here a solution always exists but can be non-unique.
Each solution can serve as a fundamental triangle of a
sublattice in Z2 which we call a D-min-area sublattice.
For D ≥√20, it is a D-min-area sublattice, not a square arrangement,
which determines a periodic ground state for a given D on Z2.
![Page 68: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/68.jpg)
Z2 : Optimization problem for fundamental triangles
The key part of our approach is the following
optimization problem:
miminize the area of a Z2-lattice triangle with anglesα1 ≥ α2 ≥ α3 and side-lengths `0 ≥ `1 ≥ `2, subject
to the restrictions that α1 ≤ π/2 and `2 ≥ D .(∗)
Here a solution always exists but can be non-unique.
Each solution can serve as a fundamental triangle of a
sublattice in Z2 which we call a D-min-area sublattice.
For D ≥√20, it is a D-min-area sublattice, not a square arrangement,
which determines a periodic ground state for a given D on Z2.
![Page 69: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/69.jpg)
Z2 : Optimization problem for fundamental triangles
The key part of our approach is the following
optimization problem:
miminize the area of a Z2-lattice triangle with anglesα1 ≥ α2 ≥ α3 and side-lengths `0 ≥ `1 ≥ `2, subject
to the restrictions that α1 ≤ π/2 and `2 ≥ D .(∗)
Here a solution always exists but can be non-unique.
Each solution can serve as a fundamental triangle of a
sublattice in Z2 which we call a D-min-area sublattice.
For D ≥√20, it is a D-min-area sublattice, not a square arrangement,
which determines a periodic ground state for a given D on Z2.
![Page 70: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/70.jpg)
Z2 : Optimization problem for fundamental triangles
The key part of our approach is the following
optimization problem:
miminize the area of a Z2-lattice triangle with anglesα1 ≥ α2 ≥ α3 and side-lengths `0 ≥ `1 ≥ `2, subject
to the restrictions that α1 ≤ π/2 and `2 ≥ D .(∗)
Here a solution always exists but can be non-unique.
Each solution can serve as a fundamental triangle of a
sublattice in Z2 which we call a D-min-area sublattice.
For D ≥√20, it is a D-min-area sublattice, not a square arrangement,
which determines a periodic ground state for a given D on Z2.
![Page 71: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/71.jpg)
Values D with uniqueness
X The D-min-area sub-lattices are obtained from each
other via rotations by ±π/2 and reflections about the
axes.
X This defines an equivalence class of sub-lattices with
a given triple (`0, `1, `2). We say we have uniqueness in
(∗) if the equivalence class is unique. It may contain a
single sublattice (m = 1) or two sublattices (m = 2) or
four (m = 4).
![Page 72: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/72.jpg)
Values D with non-uniqueness
The non-uniqueness in (∗) has a two-fold character:
(i) There may be more than one triple (`0, `1, `2)solving (∗). We found one attainable Dwith 5 different triples.
(ii) For a given triple (`0, `1, `2) there may be
several ways to inscribe the triangle into
Z2, which generates several equivalence
classes. So far, the maximal number of
equivalence classes observed is 4.
Uniqueness and both non-uniqueness forms have
infinite occurrences of D .
![Page 73: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/73.jpg)
Values D with non-uniqueness
The non-uniqueness in (∗) has a two-fold character:
(i) There may be more than one triple (`0, `1, `2)solving (∗). We found one attainable Dwith 5 different triples.
(ii) For a given triple (`0, `1, `2) there may be
several ways to inscribe the triangle into
Z2, which generates several equivalence
classes. So far, the maximal number of
equivalence classes observed is 4.
Uniqueness and both non-uniqueness forms have
infinite occurrences of D .
![Page 74: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/74.jpg)
Values D with non-uniqueness
The non-uniqueness in (∗) has a two-fold character:
(i) There may be more than one triple (`0, `1, `2)solving (∗). We found one attainable Dwith 5 different triples.
(ii) For a given triple (`0, `1, `2) there may be
several ways to inscribe the triangle into
Z2, which generates several equivalence
classes. So far, the maximal number of
equivalence classes observed is 4.
Uniqueness and both non-uniqueness forms have
infinite occurrences of D .
![Page 75: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/75.jpg)
- Frame (A): D2 = 425, (S = 375). The optimal squared
side lengths are 425, 425, 450, with two
non-equivalent Z2 implementations.
- Frame (B): D2 = 65, (S = 60). The optimal squared
side-lengths are 65, 65, 80 (blue) and 68, 68, 72 (black);
both triangles admit a unique implementation up
to Z2-symmetries.
![Page 76: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/76.jpg)
Z2 : Solutions to the optimization problem
X If S/2 is the minimal area in (∗) then S gives
the number of the lattice points in a
fundamental parallelogram of a sub-lattice.
X It is clear that S ≤ D2 but in fact for all Dwith 20 < D2 ≤ 9990017 we have S < D2; as
our computations show, the difference
D2 − S grows monotonically with D .
X Another feature is that side-length l3 is
often > D : we call the value of D with this
property non-tessellating.
![Page 77: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/77.jpg)
Z2 : Solutions to the optimization problem
X If S/2 is the minimal area in (∗) then S gives
the number of the lattice points in a
fundamental parallelogram of a sub-lattice.
X It is clear that S ≤ D2 but in fact for all Dwith 20 < D2 ≤ 9990017 we have S < D2; as
our computations show, the difference
D2 − S grows monotonically with D .
X Another feature is that side-length l3 is
often > D : we call the value of D with this
property non-tessellating.
![Page 78: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/78.jpg)
Z2 : Solutions to the optimization problem
X If S/2 is the minimal area in (∗) then S gives
the number of the lattice points in a
fundamental parallelogram of a sub-lattice.
X It is clear that S ≤ D2 but in fact for all Dwith 20 < D2 ≤ 9990017 we have S < D2; as
our computations show, the difference
D2 − S grows monotonically with D .
X Another feature is that side-length l3 is
often > D : we call the value of D with this
property non-tessellating.
![Page 79: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/79.jpg)
Z2 : A count of periodic ground states.
For D2 = 25: l21 = 29, l22 = 26, l23 = 25. For D2 = 32: l21 = 36, l22 = l23 = 34.
![Page 80: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/80.jpg)
Z2 : Extreme Gibbs measures: uniqueness in (∗)
Theorem 3.Suppose that for a given D , the optimization problem (∗) produces aunique triple (`0, `1, `2), unique equivalence class (hence nosliding). Then the number of extreme Gibbs measures for u largeenough matches the number of the periodic ground states: it equals
mS
where
- (a) m = 1 if D = 1,√2 (here the fundamental parallelogram is a
square),
- (b) m = 2 if the fundamental triangle is isosceles,
- (c) m = 4 if the fundamental triangle is non-isosceles.
The extreme Gibbs measures are generated by periodic ground states.
![Page 81: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/81.jpg)
Z2 : Extreme Gibbs measures: non-uniqueness in (∗)
In general, not all periodic ground states generate
extreme Gibbs measures only the dominant ones.
Theorem 4.Suppose that D is non-sliding and generates non-uniqueness in (∗). Ifthere exist M ≥ 1 dominant types of periodic ground states then, for alarge u, the number of extreme Gibbs/DLR measures is
SM∑j=1
mj ,
where mj ∈ {2, 4} is determined by the shape of the dominantfundamental triangle (isosceles or not).
![Page 82: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/82.jpg)
Z2 : Extreme Gibbs measures: non-uniqueness in (∗)
In general, not all periodic ground states generate
extreme Gibbs measures only the dominant ones.
Theorem 4.Suppose that D is non-sliding and generates non-uniqueness in (∗). Ifthere exist M ≥ 1 dominant types of periodic ground states then, for alarge u, the number of extreme Gibbs/DLR measures is
SM∑j=1
mj ,
where mj ∈ {2, 4} is determined by the shape of the dominantfundamental triangle (isosceles or not).
![Page 83: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/83.jpg)
The queen of math, again
We can prove that the classes of D2 which are
referred to in Theorems 3 and 4 are both infinite.
The idea is to approximate an equilateral triangle by
Z2-triangles. It leads to norm equations in the cyclotomic
integer ring Z[ζ], where ζ is a primitive 12th root of
unity.
t2 = 3s2 + r , s, t ∈ Z.
Here r is given positive integer. A famous example is
the Pell equation, with r = 1.
The solutions to the norm equation have to be
analyzed both geometrically and algebraically. This leads
to infinite sequences of values of D of both types.
![Page 84: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/84.jpg)
The queen of math, again
We can prove that the classes of D2 which are
referred to in Theorems 3 and 4 are both infinite.
The idea is to approximate an equilateral triangle by
Z2-triangles. It leads to norm equations in the cyclotomic
integer ring Z[ζ], where ζ is a primitive 12th root of
unity.
t2 = 3s2 + r , s, t ∈ Z.
Here r is given positive integer. A famous example is
the Pell equation, with r = 1.
The solutions to the norm equation have to be
analyzed both geometrically and algebraically. This leads
to infinite sequences of values of D of both types.
![Page 85: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/85.jpg)
The queen of math, again
We can prove that the classes of D2 which are
referred to in Theorems 3 and 4 are both infinite.
The idea is to approximate an equilateral triangle by
Z2-triangles. It leads to norm equations in the cyclotomic
integer ring Z[ζ], where ζ is a primitive 12th root of
unity.
t2 = 3s2 + r , s, t ∈ Z.
Here r is given positive integer. A famous example is
the Pell equation, with r = 1.
The solutions to the norm equation have to be
analyzed both geometrically and algebraically. This leads
to infinite sequences of values of D of both types.
![Page 86: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/86.jpg)
Z2 : Extreme Gibbs measures: non-uniqueness in (∗)
The smallest values of D2 from Theorem 4 are
D2 = 65, 130, 324. The analysis of dominance can be done
on a case-by-case basis, by counting local excitationswhere we vacate some occupied sites in a periodic
ground state and attempt to insert ’new particles’
while maintaining admissibility.
![Page 87: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/87.jpg)
Z2, D2 = 130 = 112 + 32 = 92 + 72 : local excitations
![Page 88: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/88.jpg)
W = H2
![Page 89: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/89.jpg)
W = H2, Class I
First we divide the attainable values D2 = a2 + b2 + ab in
to two classes:
I. 3 |D2,
II. 3 - D2 .
In Class I the problem reduces to the case of the
triangular lattice A2 . It leads to a further division into
3 subclasses based on the same Eisenstein prime
decomposition of D . It yields the respective formulas
for the number of extreme Gibbs measures
2
3D2,
4
3D2,
2
3D2
M∑j=1
mj , with mj ∈ {1, 2}.
![Page 90: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/90.jpg)
W = H2, Class I
D2 = 48 left frame, D2 = 39 right frame.
![Page 91: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/91.jpg)
W = H2, Class II
Class II admits a further partition.
– There are 13 exceptional values forming a finite
subclass:
D2 = 1, 4, 7, 13, 16, 28, 49, 64, 67, 97, 133, 157, 256.
– And there is an infinite subclass containing all
remaining Loschian numbers not divisible by 3.
For non-exceptional values D , minimal-area triangles
can be found via a discrete optimization problem.
However, they do not generate a tiling of H2 . Hence,
one needs to consider sub-optimal triangles which
tessellate H2 . The first among them is an equilateral
D∗-triangle, where D∗ > D is the closest value with
3 |D∗ . Then the formulas for Class I apply with D∗
replacing D .
![Page 92: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/92.jpg)
W = H2, Exceptional non-sliding values
Exceptional non-sliding values of D
D2 = 1, 13, 28, 49, 64, 97, 157, 16, 256, 67.
Ground states: involve non-equilateral and equilateral triangles inspecific combinations/arrangements.
These values of D require a case-by-case analysis, with
the help of a computer. (Informally we call them a Zoo.)
Each ground state generates an extreme Gibbs
measure for u large enough. Except for D2 = 67: here
again we have an issue of dominance, and some
periodic ground states are suppressed.
![Page 93: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/93.jpg)
W = H2, Exceptional non-sliding examples
D2 = 13
D2 = 67
![Page 94: The hard-core model in discrete 2Dpeledron/Horowitz_seminar/Stuhl_slides.pdf · The hard-core model was introduced in late 1940s and early 1950s in theoretical chemistry, for a gas](https://reader033.vdocument.in/reader033/viewer/2022050108/5f45f1faacbd377db3506b11/html5/thumbnails/94.jpg)
W = H2, Exceptional values: sliding
Sliding
D2 = 4, 7, 133.
D2 = 4 left frame D2 = 7 right frame