Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR07-069 | 29th July 2007 00:00

Low-end uniform hardness vs. randomness tradeoffs for AM

RSS-Feed




TR07-069
Authors: Ronen Shaltiel, Chris Umans
Publication: 31st July 2007 18:57
Downloads: 1403
Keywords: 


Abstract:

In 1998, Impagliazzo and Wigderson proved a hardness vs. randomness tradeoff for BPP in the {\em uniform setting}, which was subsequently extended to give optimal tradeoffs for the full range of possible hardness assumptions by Trevisan and Vadhan (in a slightly weaker setting). In 2003, Gutfreund, Shaltiel and Ta-Shma proved a uniform hardness vs. randomness tradeoff for AM, but that result only worked on the ``high-end' of possible hardness assumptions.

In this work, we give uniform hardness vs. randomness tradeoffs for AM that are near-optimal for the full range of possible hardness assumptions. Following Gutfreund et al. we do this by constructing a hitting-set-generator (HSG) for AM with ``resilient reconstruction.' Our construction is a recursive variant of the Miltersen-Vinodchandran HSG, the only known HSG construction with this required property. The main new idea is to have the reconstruction procedure operate implicitly and locally on superpolynomially large objects, using tools from PCPs (low-degree testing, self-correction) together with a novel use of extractors that are built from Reed-Muller codes for a sort of locally-computable error-reduction.

As a consequence we obtain gap theorems for AM (and AM $\cap$ coAM) that state, roughly, that either AM (or AM $\cap$ coAM) protocols running in time $t(n)$ can simulate all of EXP (``Arthur-Merlin games are powerful'), or else all of AM (or AM $\cap$ coAM) can be simulated in nondeterministic time $s(n)$ (``Arthur-Merlin games can be derandomized'), for a near-optimal relationship between $t(n)$ and $s(n)$. As in the paper of Gutfreund et al., the case of AM $\cap$ coAM yields a particularly clean theorem that is of special interest due to the wide array of cryptographic and other problems that lie in this class.



ISSN 1433-8092 | Imprint