Independent sets in the discrete hypercube

Abstract

In this expository note we describe a proof due to A. Sapozhenko that the number of independent sets in the discrete $d$-dimensional hypercube $Q_d$ is asymptotically $2\sqrt{e}{2}^{2^{d-1}}$ as $d$ tends to infinity.

arXiv admin note: text overlap with arXiv:0807.0836, arXiv:1206.3152