Derandomizing Arthur-Merlin Games under Uniform Assumptions

• Authors: Chi-Jen Lu
• Venue: ISAAC '00 Proceedings of the 11th International Conference on Algorithms and Computation
• Year: 2000

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,5] and seems to be the first example of an interesting condition that implies three derandomiztion results at once.