Abstract:The approximate degree of a Boolean function $f\colon\{0,1\}^n\to\{0,1\}$ is the minimum degree of a real polynomial $p$ that approximates $f$ pointwise: $|f(x)-p(x)|\leq1/3$ for all $x\in\{0,1\}^n.$ For every $\delta>0,$ we construct CNF and DNF formulas of polynomial size with approximate degree $\Omega(n^{1-\delta}),$ essentially matching the trivial upper bound of $n.$ This improves polynomially on previous lower bounds and fully resolves the approximate degree of constant-depth circuits ($\text{AC}^0$), a question that has seen extensive research over the past 10 years. Previously, an $\Omega(n^{1-\delta})$ lower bound was known only for $\text{AC}^0$ circuits of depth that grows with $1/\delta$ (Bun and Thaler, FOCS 2017). Moreover, our CNF and DNF formulas are the simplest possible in that they have constant width. Our result holds even for one-sided approximation, and has the following further consequences. (i) We essentially settle the communication complexity of $\text{AC}^0$ circuits in the bounded-error quantum model, $k$-party number-on-the-forehead randomized model, and $k$-party number-on-the-forehead nondeterministic model: we prove that for every $\delta>0$, these models require $\Omega(n^{1-\delta})$, $\Omega(n/4^kk^2)^{1-\delta}$, and $\Omega(n/4^kk^2)^{1-\delta}$, respectively, bits of communication even for polynomial-size constant-width CNF formulas. (ii) In particular, we show that the multiparty communication class $\text{coNP}_k$ can be separated essentially optimally from $\text{NP}_k$ and $\text{BPP}_k$ by a particularly simple function, a polynomial-size constant-width CNF. (iii) We give an essentially tight separation, of $O(1)$ versus $\Omega(n^{1-\delta})$, for the one-sided versus two-sided approximate degree of a function; and $O(1)$ versus $\Omega(n^{1-\delta})$ for the one-sided approximate degree of a function $f$ versus its negation $\neg f$.

A Note on the Approximability of Deepest-Descent Circuit Steps

Pure-Circuit: Tight Inapproximability for PPAD

Approximate Directed Minimum Degree Spanning Tree in Polynomial Time

Revisiting Tardos's Framework for Linear Programming: Faster Exact Solutions using Approximate Solvers

A Polyhedral Model for Enumeration and Optimization over the Set of Circuits

The Approximate Degree of DNF and CNF Formulas

On the Minimum Depth of Circuits with Linear Number of Wires Encoding Good Codes

A Polylogarithmic Approximation for Directed Steiner Forest in Planar Digraphs

Purely Combinatorial Algorithms for Approximate Directed Minimum Degree Spanning Trees

On Circuit Diameter Bounds via Circuit Imbalances

On Lev Gordeev's "On P Versus NP"

Almost Tight Approximation Hardness for Single-Source Directed k-Edge-Connectivity

Polynomial Integrality Gaps for Strong SDP Relaxations of Densest K-Subgraph

Faster Mixing of Higher-Dimensional Random Reversible Circuits

A New Approach for Approximating Directed Rooted Networks

Shallower CNOT circuits on realistic quantum hardware

Approximating rectangles by juntas and weakly-exponential lower bounds for LP relaxations of CSPs

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Polyhedral Aspects of Feedback Vertex Set and Pseudoforest Deletion Set

Low-depth Clifford circuits approximately solve MaxCut