|
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
|
Alexander E. Andreev , Andrea E. F. Clementi , José D. P. Rolim , Luca Trevisan, Weak Random Sources, Hitting Sets, and BPP Simulations, SIAM Journal on Computing, v.28 n.6, p.2103-2116, Dec. 1999
[doi> 10.1137/S0097539797325636]
|
| |
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
|
Oded Goldreich , R. L. Graham , B. Korte, Modern Cryptography, Probabilistic Proofs, and Pseudorandomness, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
|
| |
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
|
Russell Impagliazzo , Ronen Shaltiel , Avi Wigderson, Extractors and pseudo-random generators with optimal seed length, Proceedings of the thirty-second annual ACM symposium on Theory of computing, p.1-10, May 21-23, 2000, Portland, Oregon, United States
[doi> 10.1145/335305.335306]
|
 |
21
|
|
| |
22
|
Kabanets, V. 2002. Derandomization: A brief overview. Bullet. European Assoc. Theoret. Comput. Sci. 76, 88--103.
|
| |
23
|
|
 |
24
|
Chi-Jen Lu , Omer Reingold , Salil Vadhan , Avi Wigderson, Extractors: optimal up to constant factors, Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, June 09-11, 2003, San Diego, CA, USA
[doi> 10.1145/780542.780630]
|
| |
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
|
Amnon Ta-Shma , Christopher Umans , David Zuckerman, Loss-less condensers, unbalanced expanders, and extractors, Proceedings of the thirty-third annual ACM symposium on Theory of computing, p.143-152, July 2001, Hersonissos, Greece
[doi> 10.1145/380752.380790]
|
| |
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...
|