A Lower Bound for Essential Covers of the Cube

Gal Yehuda, Amir Yehudayoff

Research output: Contribution to journalArticlepeer-review


The amount of hyperplanes that are needed in order to cover the Boolean cube has been studied in various contexts. Linial and Radhakrishnan introduced the notion of essential covers. An essential cover is a collection of hyperplanes that form a minimal cover of the vertices of the hypercube, and every coordinate is influential in at least one of the hyperplanes. Linial and Radhakrishnan proved using algebraic tools that every essential cover of the n-cube must be of size at least Ω(n). We devise a stronger lower bound method, and show that the size of every essential cover is at least Ω(n0.52). This result has implications in proof complexity, because essential covers have been used to prove lower bounds for several proof systems.

Original languageEnglish
StateAccepted/In press - 2024


  • 05B99
  • 05D99
  • 68R01
  • 68R05
  • Boolean cube
  • Covering problems
  • Lower bounds

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics
  • Computational Mathematics


Dive into the research topics of 'A Lower Bound for Essential Covers of the Cube'. Together they form a unique fingerprint.

Cite this