Large independent sets via neighborhood block dynamics, Glauber dynamics, and local occupancy

Ewan Davies, Brian Tan

Local occupancy can be used to bound the expected size of a hard-core independent set. The framework of locally stationary distributions shows that for triangle-free graphs, despit…