{"id":"arxiv/2608.00449","url":"https://arxiv.org/abs/2608.00449","tags":["math.PR","math-ph"],"score":0,"title":"First-order phase transitions in the hard-core model","domain":"math.PR","source":"arxiv","authors":["Ewan Davies","Juspreet Singh Sandhu","Brian Tan"],"reviews":0,"subject":"math.PR","summary":"We give a rigorous proof that the hard-core model on a natural family of infinite graphs exhibits a first-order phase transition.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-01","reactions":{}}