Derandomizing Arthur-Merlin Games under Uniform Assumptions

Abstract

We study how the nondeterminism versus determinism problem and the time versus space problem are related to the problem of derandomization. In particular, we show two ways of derandomizing the complexity class AM under uniform assumptions, which was only known previously under non-uniform assumptions [13],[14]. First, we prove that either AM = NP or it appears to any nondeterministic polynomial time adversary that NP is contained in deterministic subexponential time infinitely often. This implies that to any nondeterministic polynomial time adversary, the graph non-isomorphism problem appears to have subexponential-size proofs infinitely often, the first nontrivial derandomization of this problem without any assumption. Next, we show that either all BPP = P, AM = NP, and PH ⊆ ⊕P hold, or for any t(n) = 2^Ω(n), DTIME (t(n)) ⊆ DSPACE(t ^∈(n)) infinitely often for any constant ∈ > 0. Similar tradeoffs also hold for a whole range of parameters. This improves previous results [17]