Phase Coexistence for the Hard-Core Model on ℤ 2

Antonio Blanca Pimentel, Yuxuan Chen, David Galvin, Dana Randall, Prasad Tetali

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter λ, and an independent set I arises with probability proportional to λ |I| . On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures. It has long been conjectured that on ℤ 2 this model has a critical value λ c ≈ 3.796 with the property that if λ < λ c then it exhibits uniqueness of phase, while if λ > λ c then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all λ < 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all λ > 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771. Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ℤ 2 .

Original languageEnglish (US)
Pages (from-to)1-22
Number of pages22
JournalCombinatorics Probability and Computing
Volume28
Issue number1
DOIs
StatePublished - Jan 1 2019

Fingerprint

Hard-core Model
Phase Coexistence
Gibbs Measure
Independent Set
Uniqueness
Computer science
Infinite Graphs
Physics
Self-avoiding Walk
Innovation
Lattice Gas
Statistical Physics
Boundary conditions
Discrete mathematics
Finite Graph
Conditional probability
Critical value
Computer Science
Directly proportional
Gases

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Statistics and Probability
  • Computational Theory and Mathematics
  • Applied Mathematics

Cite this

Pimentel, Antonio Blanca ; Chen, Yuxuan ; Galvin, David ; Randall, Dana ; Tetali, Prasad. / Phase Coexistence for the Hard-Core Model on ℤ 2 In: Combinatorics Probability and Computing. 2019 ; Vol. 28, No. 1. pp. 1-22.
@article{e7ea8ba79481488398742ae18995befb,
title = "Phase Coexistence for the Hard-Core Model on ℤ 2",
abstract = "The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter λ, and an independent set I arises with probability proportional to λ |I| . On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures. It has long been conjectured that on ℤ 2 this model has a critical value λ c ≈ 3.796 with the property that if λ < λ c then it exhibits uniqueness of phase, while if λ > λ c then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all λ < 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all λ > 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771. Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Koteck{\'y} and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ℤ 2 .",
author = "Pimentel, {Antonio Blanca} and Yuxuan Chen and David Galvin and Dana Randall and Prasad Tetali",
year = "2019",
month = "1",
day = "1",
doi = "10.1017/S0963548318000238",
language = "English (US)",
volume = "28",
pages = "1--22",
journal = "Combinatorics Probability and Computing",
issn = "0963-5483",
publisher = "Cambridge University Press",
number = "1",

}

Phase Coexistence for the Hard-Core Model on ℤ 2 . / Pimentel, Antonio Blanca; Chen, Yuxuan; Galvin, David; Randall, Dana; Tetali, Prasad.

In: Combinatorics Probability and Computing, Vol. 28, No. 1, 01.01.2019, p. 1-22.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Phase Coexistence for the Hard-Core Model on ℤ 2

AU - Pimentel, Antonio Blanca

AU - Chen, Yuxuan

AU - Galvin, David

AU - Randall, Dana

AU - Tetali, Prasad

PY - 2019/1/1

Y1 - 2019/1/1

N2 - The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter λ, and an independent set I arises with probability proportional to λ |I| . On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures. It has long been conjectured that on ℤ 2 this model has a critical value λ c ≈ 3.796 with the property that if λ < λ c then it exhibits uniqueness of phase, while if λ > λ c then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all λ < 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all λ > 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771. Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ℤ 2 .

AB - The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter λ, and an independent set I arises with probability proportional to λ |I| . On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures. It has long been conjectured that on ℤ 2 this model has a critical value λ c ≈ 3.796 with the property that if λ < λ c then it exhibits uniqueness of phase, while if λ > λ c then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all λ < 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all λ > 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771. Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ℤ 2 .

UR - http://www.scopus.com/inward/record.url?scp=85047202260&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85047202260&partnerID=8YFLogxK

U2 - 10.1017/S0963548318000238

DO - 10.1017/S0963548318000238

M3 - Article

AN - SCOPUS:85047202260

VL - 28

SP - 1

EP - 22

JO - Combinatorics Probability and Computing

JF - Combinatorics Probability and Computing

SN - 0963-5483

IS - 1

ER -