A lower bound for essential covers of the cube
arXiv:2105.13615
Abstract
Essential covers were introduced by Linial and Radhakrishnan as a model that captures two complementary properties: (1) all variables must be included and (2) no element is redundant. In their seminal paper, they proved that every essential cover of the -dimensional hypercube must be of size at least . Later on, this notion found several applications in complexity theory. We improve the lower bound to , and describe two applications.
10 pages, 1 figure