English

Essential covers of the hypercube require many hyperplanes

Combinatorics 2025-04-30 v1

Abstract

We prove a new lower bound for the almost 20 year old problem of determining the smallest possible size of an essential cover of the nn-dimensional hypercube {±1}n\{\pm 1\}^n, i.e. the smallest possible size of a collection of hyperplanes that forms a minimal cover of {±1}n\{\pm 1\}^n and such that furthermore every variable appears with a non-zero coefficient in at least one of the hyperplane equations. We show that such an essential cover must consist of at least 102n2/3/(logn)2/310^{-2}\cdot n^{2/3}/(\log n)^{2/3} hyperplanes, improving previous lower bounds of Linial-Radhakrishnan, of Yehuda-Yehudayoff and of Araujo-Balogh-Mattos.

Keywords

Cite

@article{arxiv.2310.05775,
  title  = {Essential covers of the hypercube require many hyperplanes},
  author = {Lisa Sauermann and Zixuan Xu},
  journal= {arXiv preprint arXiv:2310.05775},
  year   = {2025}
}
R2 v1 2026-06-28T12:44:44.106Z