On depth-3 circuits and covering number: an explicit counter-example
Abstract
We give a simple construction of n× n Boolean matrices with (n4/3) zero entries that are free of 2 × 2 all-zero submatrices and have covering number O(4(n)). This construction provides an explicit counterexample to a conjecture of Pudl\'ak, R\"odl and Savick\'y and Research Problems 1.33, 4.9, 11.17 of Jukna [Boolean function complexity]. These conjectures were previously refuted by Katz using a probabilistic construction.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.