2000 character limit reached
On depth-3 circuits and covering number: an explicit counter-example
Published 15 Oct 2022 in cs.CC and math.CO | (2210.08300v1)
Abstract: We give a simple construction of $n\times n$ Boolean matrices with $\Omega(n{4/3})$ zero entries that are free of $2 \times 2$ all-zero submatrices and have covering number $O(\log4(n))$. This construction provides an explicit counterexample to a conjecture of Pudl\'{a}k, R\"{o}dl 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.