ECCC-Report TR23-028https://eccc.weizmann.ac.il/report/2023/028Comments and Revisions published for TR23-028en-usWed, 15 Mar 2023 23:40:54 +0200
Paper TR23-028
| An Algorithmic Approach to Uniform Lower Bounds |
Rahul Santhanam
https://eccc.weizmann.ac.il/report/2023/028We propose a new family of circuit-based sampling tasks, such that non-trivial algorithmic solutions to certain tasks from this family imply frontier uniform lower bounds such as ``NP is not in uniform ACC^0" and ``NP does not have uniform polynomial-size depth-two threshold circuits". Indeed, the most general versions of our sampling tasks have implications for central open problems such as NP vs P and PSPACE vs P.
We argue the soundness of our approach by showing that the non-trivial algorithmic solutions we require do follow from standard cryptographic assumptions. In addition, we give evidence that a version of our approach for uniform circuits is necessary in order to separate NP from P or PSPACE from P. We give an algorithmic characterization for the PSPACE vs P question: PSPACE is not equal to P iff either E has sub-exponential time non-uniform algorithms infinitely often or there are non-trivial space-efficient solutions to our sampling tasks for uniform Boolean circuits.
We show how to use our framework to capture uniform versions of known non-uniform lower bounds, as well as classical uniform lower bounds such as the space hierarchy theorem and Allender's uniform lower bound for the Permanent. We also apply our framework to prove new lower bounds: NP does not have uniform polynomial-size AC^0 circuits with a bottom layer of MOD 6 gates, nor does it have uniform polynomial-size AC^0 circuits with a bottom layer of threshold gates.
Our proofs exploit recently defined probabilistic time-bounded variants of Kolmogorov complexity [Lu-Oliveira-Zimand22, Goldberg-Kabanets-Lu-Oliveira22, Lu-Oliveira22].Wed, 15 Mar 2023 23:40:54 +0200https://eccc.weizmann.ac.il/report/2023/028