computational complexity

, Volume 21, Issue 1, pp 3–61

Pseudorandom Generators, Typically-Correct Derandomization, and Circuit Lower Bounds

  • Jeff Kinne
  • Dieter van Melkebeek
  • Ronen Shaltiel
Article

Abstract

The area of derandomization attempts to provide efficient deterministic simulations of randomized algorithms in various algorithmic settings. Goldreich and Wigderson introduced a notion of “typically-correct” deterministic simulations, which are allowed to err on few inputs. In this paper, we further the study of typically-correct derandomization in two ways.

First, we develop a generic approach for constructing typically-correct derandomizations based on seed-extending pseudorandom generators, which are pseudorandom generators that reveal their seed. We use our approach to obtain both conditional and unconditional typically-correct derandomization results in various algorithmic settings. We show that our technique strictly generalizes an earlier approach by Shaltiel based on randomness extractors and simplifies the proofs of some known results. We also demonstrate that our approach is applicable in algorithmic settings where earlier work did not apply. For example, we present a typically-correct polynomial-time simulation for every language in BPP based on a hardness assumption that is (seemingly) weaker than the ones used in earlier work.

Second, we investigate whether typically-correct derandomization of BPP implies circuit lower bounds. Extending the work of Kabanets and Impagliazzo for the zero-error case, we establish a positive answer for error rates in the range considered by Goldreich and Wigderson. In doing so, we provide a simpler proof of the zero-error result. Our proof scales better than the original one and does not rely on the result by Impagliazzo, Kabanets, and Wigderson that NEXP having polynomialsize circuits implies that NEXP coincides with EXP.

Keywords

Typically-correct derandomization pseudorandom generators circuit lower bounds randomized algorithms 

Subject classification

68Q10 68Q15 68Q17 68Q25 03D15 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel AG 2011

Authors and Affiliations

  • Jeff Kinne
    • 1
  • Dieter van Melkebeek
    • 2
  • Ronen Shaltiel
    • 3
  1. 1.Department of Math and Computer ScienceIndiana State UniversityTerre HauteUSA
  2. 2.Department of Computer SciencesUniversity of Wisconsin-MadisonMadisonUSA
  3. 3.Department of Computer ScienceUniversity of HaifaHaifaIsrael

Personalised recommendations