Independent sets of a given size and structure in the hypercube
We determine the asymptotics of the number of independent sets of size in the discrete hypercube for any fixed as , extending a result of Galvin for . Moreover, we prove a multivariate local central limit theorem for structural features of independent sets in drawn according to the hard core model at any fixed fugacity . In proving these results we develop several general tools for performing combinatorial enumeration using polymer models and the cluster expansion from statistical physics along with local central limit theorems.