Dispersers for Affine Sources with Sub-polynomial Entropy

We construct an explicit disperser for affine sources over $\F_2^n$ with entropy $k=2^{\log^{0.9} n}=n^{o(1)}$. This is a polynomial time computable function $D:\F_2^n \ar \B$ such that for every affine space $V$ of $\F_2^n$ that has dimension at least $k$, $D(V)=\set{0,1}$. This improves the best previous construction of Ben-Sasson and Kop party (STOC 2009) that achieved $k = \Omega(n^{4/5})$.Our technique follows a high level approach that was developed in Barak, Kindler, Shaltiel, Sudakov and Wigderson (J. ACM 2010) and Barak, Rao, Shaltiel and Wigderson (STOC 2006) in the context of dispersers for two independent general sources. The main steps are:\begin{itemize}\item Adjust the high level approach to make it suitable for affine sources. \item Implement a ``challenge-response game'' for affine sources (in the spirit of the two aforementioned papers that introduced such games for two independent general sources).\item In order to implement the game, we construct extractors for affine block-wise sources. For this we use ideas and components by Rao (CCC 2009). \item Combining the three items above, we obtain dispersers for affine sources with entropy larger than $\sqrt{n}$.We use a recursive win-win analysis in the spirit of Rein gold, Shaltiel and Wigderson (SICOMP 2006) and Barak, Rao, Shaltiel and Wigderson (STOC 2006) to get affine dispersers with entropy less than $\sqrt{n}$.\end{itemize}

[1]  Xin Li,et al.  A New Approach to Affine Extractors and Dispersers , 2011, 2011 IEEE 26th Annual Conference on Computational Complexity.

[2]  Ronen Shaltiel,et al.  How to Get More Mileage from Randomness Extractors , 2006, 21st Annual IEEE Conference on Computational Complexity (CCC'06).

[3]  Salil P. Vadhan,et al.  Randomness extractors and their many guises , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[4]  Anup Rao,et al.  Extractors for Low-Weight Affine Sources , 2009, 2009 24th Annual IEEE Conference on Computational Complexity.

[5]  Noam Nisan,et al.  Extracting randomness: how and why. A survey , 1996, Proceedings of Computational Complexity (Formerly Structure in Complexity Theory).

[6]  Matt DeVos,et al.  Simple Affine Extractors Using Dimension Expansion , 2010, 2010 IEEE 25th Annual Conference on Computational Complexity.

[7]  Avi Wigderson,et al.  Extracting Randomness via Repeated Condensing , 2006, SIAM J. Comput..

[8]  Ran Raz,et al.  Deterministic extractors for affine sources over large fields , 2008, Comb..

[9]  Guy Kindler,et al.  Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors , 2005, STOC '05.

[10]  Anup Rao,et al.  Extractors for a constant number of polynomially small min-entropy independent sources , 2006, STOC '06.

[11]  Eli Ben-Sasson,et al.  From affine to two-source extractors via approximate duality , 2011, STOC '11.

[12]  Ronen Shaltiel,et al.  How to Get More Mileage from Randomness Extractors , 2006, 21st Annual IEEE Conference on Computational Complexity (CCC'06).

[13]  Avi Wigderson,et al.  2-source dispersers for sub-polynomial entropy and Ramsey graphs beating the Frankl-Wilson construction , 2006, STOC '06.

[14]  Xin Li,et al.  Improved Constructions of Three Source Extractors , 2011, 2011 IEEE 26th Annual Conference on Computational Complexity.

[15]  Jean Bourgain,et al.  On the Construction of Affine Extractors , 2007 .

[16]  Ronen Shaltiel,et al.  An Introduction to Randomness Extractors , 2011, ICALP.

[17]  Christopher Umans,et al.  Simple extractors for all min-entropies and a new pseudorandom generator , 2005, JACM.

[18]  Ronen Shaltiel,et al.  Recent Developments in Explicit Constructions of Extractors , 2002, Bull. EATCS.

[19]  Luca Trevisan,et al.  Extractors and pseudorandom generators , 2001, JACM.

[20]  Salil P. Vadhan,et al.  The unified theory of pseudorandomness: guest column , 2007, SIGA.

[21]  Eli Ben-Sasson,et al.  Affine dispersers from subspace polynomials , 2009, STOC '09.

[22]  Ronen Shaltiel,et al.  Increasing the Output Length of Zero-Error Dispersers , 2008, APPROX-RANDOM.

[23]  Alexander S. Kulikov,et al.  An Elementary Proof of a 3n - o(n) Lower Bound on the Circuit Complexity of Affine Dispersers , 2011, MFCS.

[24]  Amir Yehudayoff,et al.  Affine extractors over prime fields , 2011, Comb..

[25]  Salil P. Vadhan,et al.  The unified theory of pseudorandomness , 2010 .