paper

First-order phase transitions in the hard-core model

arXiv:2608.00449

Abstract

We give a rigorous proof that the hard-core model on a natural family of infinite graphs exhibits a first-order phase transition.

11 pages