Phase coexistence for the hard-core model on Z^2

DOI10.1017/S0963548318000238MaRDI QIDQ5219308zbMATH OpenOpenAlexFDO

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

Publication date 11 March 2020

Published in Combinatorics, Probability and Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1611.01115

Mathematics Subject Classification ID

Combinatorial probability (60C05) Combinatorics in computer science (68R05)

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 $lambda$, and an independent set $I$ arises with probability proportional to $lambd{a}^{|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 ${mathbbZ}^2$ this model has a critical value $lambd{a}_{c}approx3.796$ with the property that if $lambda<lambd{a}_c$ then it exhibits uniqueness of phase, while if $lambda>lambd{a}_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, v{S}tefankoviv{c} and Yin showing that there is a unique Gibbs measure for all $lambda<2.538$. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs measures for all $lambda>5.3506$. There is some potential for lowering this bound, but with the methods we are using we cannot hope to replace $5.3506$ with anything below about $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 ${mathbbZ}^2$.

Recommendations

• Phase coexistence and slow mixing for the hard-core model on \(\mathbb Z^{2}\)
• On Phase Transition in the Hard-Core Model on ${\mathbb Z}^d$
• Uniqueness of Gibbs measures for continuous hardcore models

Cites work

• An Inversion Theorem for Cluster Decompositions of Sequences with Distinguished Subsequences
• Bounds for the connective constant of the hexagonal lattice
• Combinatorial criteria for uniqueness of Gibbs measures
• Counting independent sets up to the tree threshold
• Crystal Statistics. I. A Two-Dimensional Model with an Order-Disorder Transition
• Gibbs measures and phase transitions
• Graph homomorphisms and phase transitions
• scientific article; zbMATH DE number 3294019 (Why is no real title available?)
• scientific article; zbMATH DE number 964350 (Why is no real title available?)
• On Phase Transition in the Hard-Core Model on ${\mathbb Z}^d$
• On the Number of Self-Avoiding Walks
• Percolation and the hard-core lattice gas model
• Phase coexistence and slow mixing for the hard-core model on \(\mathbb Z^{2}\)
• Sampling independent sets in the discrete torus
• Slow mixing of glauber dynamics via topological obstructions
• Spatial mixing and the connective constant: optimal bounds
• The Dobrushin-Shlosman phase uniqueness criterion and applications to hard squares
• The Goulden—Jackson cluster method: extensions, applications and implementations
• The problem of uniqueness of a Gibbsian random field and the problem of phase transitions
• The self-dual point of the two-dimensional random-cluster model is critical for q 1
• Upper Bounds for the Connective Constant of Self-Avoiding Walks

Cited in

(12)

• Percolation and the hard-core lattice gas model
• Ergodicity of the hard-core model on \(\mathbb{Z}^ 2\) with parity-dependent activities
• A monotonicity result for hard-core and Widom-Rowlinson models on certain \(d\)-dimensional lattices
• Algorithmic Pirogov-Sinai theory
• Uniqueness of Gibbs measures for continuous hardcore models
• Phase coexistence and slow mixing for the hard-core model on \(\mathbb Z^{2}\)
• The multistate hard core model on a regular tree
• A second threshold for the hard‐core model on a Bethe lattice
• On Phase Transition in the Hard-Core Model on ${\mathbb Z}^d$
• Spectral independence in high-dimensional expanders and applications to the hardcore model
• Critical configurations of the hard-core model on square grid graphs
• Pirogov-Sinai theory for the hard-core model beyond lattices

This page was built for publication: Phase coexistence for the hard-core model on \(\mathbb{Z}^2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219308)