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.

On Average P Vs. Average NP

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

Average-case deterministic query complexity of boolean functions with fixed weight

On the Analysis of Average Time Complexity of Estimation of Distribution Algorithms

The Average-Value Allocation Problem

Nonuniform Reductions and NP-Completeness

Pointwise convergence of bilinear polynomial averages over the primes

Computability vs. Nondeterministic and P vs. NP

Average cost Markov decision processes with countable state spaces

Average-case optimization analysis for distributed consensus algorithms on regular graphs

On randomized counting versus randomised decision

Average-Case Local Computation Algorithms

Deterministic load balancing in computer networks

Polynomial-Time Random Oracles and Separating Complexity Classes

A Novel Approach to Probability

On P Versus NP

Randomization and quantization for average consensus

Inverse monoids associated with the complexity class NP

P not equal to NP

On Polynomial Time Approximation Bounded Solution for TSP and NP Complete Problems

On Basing One-way Permutations on NP-hard Problems under Quantum Reductions