The Widom-Rowlinson model, the hard-core model and the extremality of the complete graph

Emma Cohen, Péter Csikvári, Will Perkins +1

Let $H_{\mathrm{WR}}$ be the path on $3$ vertices with a loop at each vertex. D. Galvin conjectured, and E. Cohen, W. Perkins and P. Tetali proved that for any $d$-regular simple g…