{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:44:00Z","timestamp":1753886640437},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T00:00:00Z","timestamp":1526860800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Combinator. Probab. Comp."],"published-print":{"date-parts":[[2019,1]]},"abstract":"<jats:p>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 \u03bb, and an independent set<jats:italic>I<\/jats:italic>arises with probability proportional to \u03bb<jats:sup>|<jats:italic>I<\/jats:italic>|<\/jats:sup>. 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,<jats:italic>i.e.<\/jats:italic>, existence of multiple Gibbs measures.<\/jats:p><jats:p>It has long been conjectured that on \u2124<jats:sup>2<\/jats:sup>this model has a critical value \u03bb<jats:sub><jats:italic>c<\/jats:italic><\/jats:sub>\u2248 3.796 with the property that if \u03bb &lt; \u03bb<jats:sub><jats:italic>c<\/jats:italic><\/jats:sub>then it exhibits uniqueness of phase, while if \u03bb &gt; \u03bb<jats:sub><jats:italic>c<\/jats:italic><\/jats:sub>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, \u0160tefankovi\u010d and Yin showing that there is a unique Gibbs measure for all \u03bb &lt; 2.538. Here we explore the other direction and prove that there are multiple Gibbs measures for all \u03bb &gt; 5.3506. We also show that with the methods we are using we cannot hope to replace 5.3506 with anything below 4.8771.<\/jats:p><jats:p>Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Koteck\u00fd 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 \u2124<jats:sup>2<\/jats:sup>.<\/jats:p>","DOI":"10.1017\/s0963548318000238","type":"journal-article","created":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T09:27:39Z","timestamp":1526894859000},"page":"1-22","source":"Crossref","is-referenced-by-count":8,"title":["Phase Coexistence for the Hard-Core Model on \u2124<sup>2<\/sup>"],"prefix":"10.1017","volume":"28","author":[{"given":"ANTONIO","family":"BLANCA","sequence":"first","affiliation":[]},{"given":"YUXUAN","family":"CHEN","sequence":"additional","affiliation":[]},{"given":"DAVID","family":"GALVIN","sequence":"additional","affiliation":[]},{"given":"DANA","family":"RANDALL","sequence":"additional","affiliation":[]},{"given":"PRASAD","family":"TETALI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,5,21]]},"reference":[{"key":"S0963548318000238_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548300000547"},{"key":"S0963548318000238_ref9","volume-title":"FOCS: 40th IEEE Annual Symposium on Foundations of Computer Science","author":"Borgs","year":"1999"},{"key":"S0963548318000238_ref27","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970029"},{"key":"S0963548318000238_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01009964"},{"key":"S0963548318000238_ref21","first-page":"117","article-title":"Crystal statistics, I: A two-dimensional model with an order-disorder transition","volume":"65","author":"Onsager","year":"1944","journal-title":"Phys. Rev. Lett."},{"key":"S0963548318000238_ref7","unstructured":"Blanca A. , Galvin D. , Randall D. and Tetali P. (2013) Phase coexistence and slow mixing for the hard-core model on \u21242 In Approximation, Randomization, and Combinatorial Optimization, Vol. 8096 of Lecture Notes in Computer Science, Springer, pp. 379\u2013394."},{"key":"S0963548318000238_ref22","unstructured":"Pantone J. Personal communication."},{"key":"S0963548318000238_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40328-6_48"},{"key":"S0963548318000238_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01075682"},{"key":"S0963548318000238_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-012-0421-8"},{"key":"S0963548318000238_ref17","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/5\/9\/001"},{"key":"S0963548318000238_ref13","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20223"},{"key":"S0963548318000238_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-011-0353-8"},{"key":"S0963548318000238_ref18","doi-asserted-by":"publisher","DOI":"10.1063\/1.1704022"},{"key":"S0963548318000238_ref2","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/37\/3\/001"},{"key":"S0963548318000238_ref31","doi-asserted-by":"publisher","DOI":"10.1201\/b10576"},{"key":"S0963548318000238_ref19","unstructured":"Koteck\u00fd R. Personal communication."},{"key":"S0963548318000238_ref20","doi-asserted-by":"publisher","DOI":"10.1080\/10236199908808197"},{"key":"S0963548318000238_ref15","doi-asserted-by":"publisher","DOI":"10.1515\/9783110850147"},{"key":"S0963548318000238_ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1109557.1109653"},{"key":"S0963548318000238_ref12","doi-asserted-by":"publisher","DOI":"10.1137\/1113026"},{"key":"S0963548318000238_ref29","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20073"},{"key":"S0963548318000238_ref10","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1999.1899"},{"key":"S0963548318000238_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548303006035"},{"key":"S0963548318000238_ref30","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/1132516.1132538","volume-title":"STOC: 38th ACM Symposium on the Theory of Computing","author":"Weitz","year":"2006"},{"key":"S0963548318000238_ref16","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-20.3.567"},{"key":"S0963548318000238_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01012867"},{"key":"S0963548318000238_ref8","unstructured":"Borgs C. Personal communication."},{"key":"S0963548318000238_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-4149(94)90132-5"},{"key":"S0963548318000238_ref6","unstructured":"Blanca A. , Chen E. , Galvin D. , Randall D. and Tetali P. Taxi walks computations. http:\/\/nd.edu\/~dgalvin1\/TD\/"},{"key":"S0963548318000238_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-016-0708-2"}],"container-title":["Combinatorics, Probability and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0963548318000238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T18:50:15Z","timestamp":1693680615000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0963548318000238\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,21]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["S0963548318000238"],"URL":"https:\/\/doi.org\/10.1017\/s0963548318000238","relation":{},"ISSN":["0963-5483","1469-2163"],"issn-type":[{"value":"0963-5483","type":"print"},{"value":"1469-2163","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,21]]}}}