First-order phase transitions in the hard-core model

Ewan Davies, Juspreet Singh Sandhu, Brian Tan

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