On phase transition in the hard-core model on ${\bf Z}^d$
  It is shown that the hard-core model on ${\bf Z}^d$ exhibits a phase transition at activities above some function $\lambda(d)$ which tends to zero as $d\rightarrow \infty$ 
David Galvin and Jeff Kahn
math.CO math-ph math.MP