Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) s... more Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set of Kolmogorov-random strings? Although this might seem improbable, a series of papers has recently provided evidence that this may be the case. In particular, it is known that there is a class of problems C defined in terms of polynomial-time truth-table reducibility to R K (the set of Kolmogorov-random strings) that lies between BPP and PSPACE . In this paper, we investigate improving this upper bound from PSPACE to PSPACE ∩ P/poly. More precisely, we present a collection of true statements in the language of arithmetic, (each provable in ZF) and show that if these statements can be proved in certain extensions of Peano arithmetic, then BPP ⊆ C ⊆ PSPACE ∩ P/poly.
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) s... more Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set of Kolmogorov-random strings? Although this might seem improbable, a series of papers has recently provided evidence that this may be the case. In particular, it is known that there is a class of problems C defined in terms of polynomial-time truth-table reducibility to R K (the set of Kolmogorov-random strings) that lies between BPP and PSPACE . In this paper, we investigate improving this upper bound from PSPACE to PSPACE ∩ P/poly. More precisely, we present a collection of true statements in the language of arithmetic, (each provable in ZF) and show that if these statements can be proved in certain extensions of Peano arithmetic, then BPP ⊆ C ⊆ PSPACE ∩ P/poly.
Uploads
Papers by E. Allender