Independent sets in hypergraphs can be encoded as 0-1 configurations on the set of vertices such that each hyperedge is adjacent to at least one 0. This model has been studied in the CS community for its large gap between efficient MCMC algorithms (previously d O(2^{k/2}) ), where d is the largest degree of vertices and k is the minimum size of hyperedges. In this talk we provide a percolation...