Strong Average-Case Circuit Lower Bounds from Non-trivial
Derandomization We prove that, unconditionally, for all constants
a, NQP = NTIME[n^polylog(n)] cannot be (1/2 + 2^(-log^a n)
)-approximated by 2^(log^a n)-size ACC^0 circuits. Previously,
it...
Read More