Abstract:SIAM Journal on Computing, Ahead of Print. Following the seminal work of [R. R. Williams, J. ACM, 61 (2014)], in a recent breakthrough, [C. D. Murray and R. R. Williams, STOC 2018] proved that [math] (nondeterministic quasi-polynomial time) does not have polynomial-size [math] circuits (constant depth circuits consisting of [math]/[math]/[math] gates for a fixed constant [math], a frontier class in circuit complexity). We strengthen the above lower bound to an average-case one, by proving that for all constants [math], there is a language in [math] that cannot be [math]-approximated by polynomial-size [math] circuits. Our work also improves the average-case lower bound for [math] against polynomial-size [math] circuits by [R. Chen, I. C. Oliveira, and R. Santhanam, LATIN 2018, pp. 317–330]. Our new lower bound builds on several interesting components, including the following: 1. Barrington's theorem and the existence of an [math]-complete language that is random self-reducible. 2. The subexponential witness-size lower bound for [math] against [math] and the conditional nondeterministic pseudorandom generator (PRG) construction in [R. R. Williams, SIAM J. Comput., 45 (2016), pp. 497–529]. 3. An "almost" almost-everywhere [math] average-case lower bound (which strengthens the corresponding worst-case lower bound in [C. D. Murray and R. R. Williams, STOC 2018]). 4. A [math]-complete language that is downward self-reducible, same-length checkable, error-correctable, and paddable. Moreover, all its reducibility properties have corresponding low-depth nonadaptive oracle circuits. Our construction builds on [L. Trevisan and S. P. Vadhan, Comput. Complexity, 16 (2007), pp. 331–364]. Like other lower bounds proved via the "algorithmic approach," the only property of [math] exploited by us is the existence of a nontrivial [math] algorithm for [math] [R. R. Williams, J. ACM, 61 (2014)]. Therefore, for any typical circuit class [math], our results apply to [math] as well if a nontrivial [math] (in fact, [math]) algorithm for [math] is discovered.

Towards Deterministic Algorithms for Constant-Depth Factors of Constant-Depth Circuits

Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Constant-Depth Arithmetic Circuits for Linear Algebra Problems

Pseudo-Deterministic Construction of Irreducible Polynomials over Finite Fields

Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits

Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

Randomized Black-Box PIT for Small Depth +-Regular Non-commutative Circuits

Nondeterministic Quasi-Polynomial Time is Average-Case Hard for [math] Circuits

Symmetric Exponential Time Requires Near-Maximum Circuit Size: Simplified, Truly Uniform

Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era

Faster Mixing of Higher-Dimensional Random Reversible Circuits

Exact polynomial factorization by approximate high degree algebraic numbers

Faster Quantum Number Factoring via Circuit Synthesis

Determinantal Sieving

Lower Bounds for Symmetric Circuits for the Determinant

Identity Testing for +-Regular Noncommutative Arithmetic Circuits

Exponentially Reduced Circuit Depths Using Trotter Error Mitigation

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Separation of AC$^0[\oplus]$ Formulas and Circuits

Anti-factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)