Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas. - Alves, Rogério; Procacci, Aldo (Journal of Statistical Physics, 2014)