Summary
In this chapter we construct explicit deterministic extractors from polynomial sources, namely from distributions sampled by low-degree multivariate polynomials over finite fields. This naturally generalizes previous work on extraction from affine sources (which are degree 1 polynomials). A direct consequence is a deterministic extractor for distributions sampled by polynomial-size arithmetic circuits over exponentially large fields.
The steps in our extractor construction, and the tools (mainly from algebraic geometry) that we use for them, are of independent interest.
The first step is a construction of rank extractors, which are polynomial mappings that “extract” the algebraic rank from any system of low-degree polynomials. More precisely, for any n polynomials, k of which are algebraically independent, a rank extractor outputs k algebraically independent polynomials of slightly higher degree. The rank extractors we construct are applicable not only over finite fields but also over fields of characteristic zero.
The next step is relating algebraic independence to min-entropy. We use a theorem of Wooley to show that these parameters are tightly connected. This allows replacing the algebraic assumption on the source (above) by the natural information-theoretic one. It also shows that a rank extractor is already a high-quality condenser for polynomial sources over polynomially large fields.
Finally, to turn the condensers into extractors, we employ a theorem of Bombieri, giving a character sum estimate for polynomials defined over curves. It allows extracting all the randomness (up to a multiplicative constant) from polynomial sources over exponentially large fields.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We can safely ignore the technicality that \(p^{k-1}\) is not a power of 2.
- 2.
A recent work of Kayal [38] makes progress on several of these issues.
References
B. Barak, R. Impagliazzo, and A. Wigderson. Extracting randomness using few independent sources. SIAM J. Comput, 36(4):1095–1118, 2006.
B. Barak, A. Rao, R. Shaltiel, and A. Wigderson. 2-source dispersers for sub-polynomial entropy and Ramsey graphs beating the Frankl–Wilson construction. In Proceedings of the 38th Annual ACM Symposium on Theory of Computing, pages 671–680, 2006.
E. Bombieri. On exponential sums in finite fields.American Journal of Mathematics, 88:71–105, 1966.
J. Bourgain. On the construction of affine extractors.Geometric And Functional Analysis, 17(1):33–57, 2007.
R. Ehrenborg and G. Rota. Apolarity and canonical forms for homogeneous polynomials.Europ. J. Combinatorics, 14:157–181, 1993.
F. R. Gantmacher.The Theory of Matrices, volume 1. New York, NY, 1959.
O. Goldreich. Three XOR-lemmas - an exposition.Electronic Colloquium on Computational Complexity (ECCC), 2(056), 1995.
N. Kayal. The complexity of the annihilating polynomial.Manuscript, 2007.
R. Lide and H. Niederreiter.Finite fields. Cambridge University Press, New York, NY, USA, 1997.
M. S. L’vov. Calculation of invariants of programs interpreted over an integrality domain. Kibernetika, (4):23–28, 1984.
N. Nisan and D. Zuckerman. More deterministic simulation in logspace. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pages 235–244, New York, NY, USA, 1993. ACM Press.
A. Rao. An exposition of Bourgain’s 2-source extractor. Technical Report TR07-034, ECCC, 2007.
R. Raz, O. Reingold, and S. Vadhan. Error reduction for extractors. In Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science, 1999.
J. T. Schwartz. Fast probabilistic algorithms for verification of polynomial identities. J. ACM, 27(4):701–717, 1980.
L. Trevisan and S. Vadhan. Extracting randomness from samplable distributions. In Proceedings of the 41st Annual Symposium on Foundations of Computer Science, pages 32–42, 2000b.
T. Wooley. A note on simultaneous congruences. J. Number Theory, 58:288–297, 1996.
R. Zippel. Probabilistic algorithms for sparse polynomials. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 216–226. Springer-Verlag, 1979.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gabizon, A. (2011). Extractors and Rank Extractors for Polynomial Sources. In: Deterministic Extraction from Weak Random Sources. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14903-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-14903-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14902-3
Online ISBN: 978-3-642-14903-0
eBook Packages: Computer ScienceComputer Science (R0)