ACM Home Page
Please provide us with feedback. Feedback
Simple extractors for all min-entropies and a new pseudorandom generator
Full text PdfPdf (324 KB)
Source Journal of the ACM (JACM) archive
Volume 52 ,  Issue 2  (March 2005) table of contents
Pages: 172 - 216  
Year of Publication: 2005
ISSN:0004-5411
Authors
Ronen Shaltiel  University of Haifa, Haifa, Israel
Christopher Umans  California Institute of Technology, Pasadena, CA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 5,   Downloads (12 Months): 62,   Citation Count: 6
Additional Information:

abstract   references   cited by   index terms   review   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1059513.1059516
What is a DOI?

ABSTRACT

A “randomness extractor” is an algorithm that given a sample from a distribution with sufficiently high min-entropy and a short random seed produces an output that is statistically indistinguishable from uniform. (Min-entropy is a measure of the amount of randomness in a distribution.) We present a simple, self-contained extractor construction that produces good extractors for all min-entropies. Our construction is algebraic and builds on a new polynomial-based approach introduced by Ta-Shma et al. [2001b]. Using our improvements, we obtain, for example, an extractor with output length m = k/(log n)O(1/α) and seed length (1 + α)log n for an arbitrary 0 < α ≤ 1, where n is the input length, and k is the min-entropy of the input distribution.A “pseudorandom generator” is an algorithm that given a short random seed produces a long output that is computationally indistinguishable from uniform. Our technique also gives a new way to construct pseudorandom generators from functions that require large circuits. Our pseudorandom generator construction is not based on the Nisan-Wigderson generator [Nisan and Wigderson 1994], and turns worst-case hardness directly into pseudorandomness. The parameters of our generator match those in Impagliazzo and Wigderson [1997] and Sudan et al. [2001] and in particular are strong enough to obtain a new proof that P = BPP if E requires exponential size circuits.Our construction also gives the following improvements over previous work:---We construct an optimal “hitting set generator” that stretches O(log n) random bits into sΩ(1) pseudorandom bits when given a function on log n bits that requires circuits of size s. This yields a quantitatively optimal hardness versus randomness tradeoff for both RP and BPP and solves an open problem raised in Impagliazzo et al. [1999].---We give the first construction of pseudorandom generators that fool nondeterministic circuits when given a function that requires large nondeterministic circuits. This technique also give a quantitatively optimal hardness versus randomness tradeoff for AM and the first hardness amplification result for nondeterministic circuits.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
 
2
 
3
4
 
5
 
6
 
7
Bellare, M., and Rompel, J. 1994. Randomness-efficient oblivious sampling. In Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science.
 
8
 
9
Buhrman, H., and Fortnow, L. 1999. One-sided versus two-sided error in probabilistic computation. In Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science.
 
10
Furer, M., Goldreich, O., Mansour, Y., Sipser, M., and Zachos, S. 1989. On completeness and soundness in interactive proof systems. In Randomness and Computation, S. Micali, Ed. Advances in Computing Research, vol. 5, JAI Press, Greenwich, CT, 429--442.
11
 
12
 
13
Goldreich, O., Vadhan, S., and Wigderson, A. 2000. Simplified derandomization of BPP using a hitting set generator. Tech. Rep. TR00-004. Electronic Colloquium on Computational Complexity. Go to Web site www.eccc.uni-trier.de/eccc.
 
14
Goldreich, O., and Zuckerman, D. 1997. Another proof that BPP subseteq PH (and more). Tech. Rep. TR97-045. Electronic Colloquium on Computational Complexity. Go to Web site www.eccc.uni-trier.de/eccc.
 
15
16
 
17
Guruswami, V., and Sudan, M. 2001. Extensions to the Johnson bound. Unpublished Manuscript.
 
18
 
19
20
21
 
22
Kabanets, V. 2002. Derandomization: A brief overview. Bullet. European Assoc. Theoret. Comput. Sci. 76, 88--103.
 
23
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31
 
32
 
33
 
34
Shaltiel, R. 2002. Recent developments in explicit constructions of extractors. Bull. EATCS 77, 67--95.
 
35
Shaltiel, R., and Umans, C. 2004. Pseudorandomness for approximate counting and sampling. Tech. Rep. TR04-086. Electronic Colloquium on Computational Complexity. Go to Web site www.eccc.uni-trier.de/eccc.
 
36
Shoup, V. 1990. New algorithms for finding irreducible polynomials over finite fields. Math. Computat. 54, 435--447.
 
37
Shoup, V. 1992. Searching for primitive roots in finite fields. Math. Computat. 58, 369--380.
 
38
 
39
 
40
 
41
 
42
43
44
 
45
Ta-Shma, A., and Zuckerman, D. 2004. Extractor codes. IEEE Trans. Inform. Theor. 50, 12 (Dec.), 3015--3025.
 
46
47
 
48
49
 
50
Wigderson, A., and Zuckerman, D. 1999. Expanders that beat the eigenvalue bound: Explicit construction and applications. Combinatorica 19, 1, 125--138.
 
51
Yao, A. C. 1982. Theory and applications of trapdoor functions. In Proceedings of the 23rd Annual IEEE Symposium on Foundations of Computer Science. 80--91.
 
52
 
53



REVIEW

"Bruce E. Litow : Reviewer"

This paper continues an investigation into constructions of extractors and pseudorandom number generators (PNGs). The authors present a simple GF(q)[x] polynomial-based unified approach to p  more...

Collaborative Colleagues:
Ronen Shaltiel: colleagues
Christopher Umans: colleagues