On the query complexity for Showing Dense Model

A theorem of Green, Tao, and Ziegler can be stated as follows: if R is a pseudorandom distribution, and D is a dense distribution of R, then D can be modeled as a distribution M which is dense in uniform distribution such that D and M are indistinguishable. The reduction involved in the proof has exponential loss in the distinguishing probability. Reingold et al give a new proof of the theorem with polynomial loss in the distinguishing probability. In this paper, we are focus on query complexity for showing dense model, and then give a optimal bound of the query complexity. We also follow the connection between Impagliazzo’s Hardcore Theorem and Tao’s Regularity lemma, and obtain a proof of L2-norm version Hardcore Theorem via Regularity lemma.

[1]  Terence Tao,et al.  Structure and Randomness in Combinatorics , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[2]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1995, EuroCOLT.

[3]  Avi Wigderson,et al.  Computational Analogues of Entropy , 2003, RANDOM-APPROX.

[4]  Emanuele Viola,et al.  Hardness amplification proofs require majority , 2008, SIAM J. Comput..

[5]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[6]  Madhur Tulsiani,et al.  Dense Subsets of Pseudorandom Sets , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[7]  Boaz Barak,et al.  The uniform hardcore lemma via approximate Bregman projections , 2009, SODA.

[8]  Ronen Shaltiel,et al.  Lower Bounds on the Query Complexity of Non-uniform and Adaptive Reductions Showing Hardness Amplification , 2012, computational complexity.

[9]  Russell Impagliazzo,et al.  Hard-core distributions for somewhat hard problems , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[10]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[11]  Terence Tao Szemerédi's regularity lemma revisited , 2006, Contributions Discret. Math..

[12]  T. Tao,et al.  The primes contain arbitrarily long arithmetic progressions , 2004, math/0404188.

[13]  Terence Tao A variant of the hypergraph removal lemma , 2006, J. Comb. Theory, Ser. A.

[14]  Rocco A. Servedio,et al.  Boosting and Hard-Core Set Construction , 2003, Machine Learning.

[15]  Rocco A. Servedio,et al.  Boosting and hard-core sets , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[16]  B. S. Kašin,et al.  DIAMETERS OF SOME FINITE-DIMENSIONAL SETS AND CLASSES OF SMOOTH FUNCTIONS , 1977 .

[17]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[18]  Chi-Jen Lu,et al.  On the Complexity of Hard-Core Set Constructions , 2007, ICALP.

[19]  Madhur Tulsiani,et al.  Regularity, Boosting, and Efficiently Simulating Every High-Entropy Distribution , 2009, 2009 24th Annual IEEE Conference on Computational Complexity.

[20]  Alan M. Frieze,et al.  Quick Approximation to Matrices and Applications , 1999, Comb..