Pseudorandom generators for width-3 branching programs

We construct pseudorandom generators of seed length Õ(log(n)· log(1/є)) that є-fool ordered read-once branching programs (ROBPs) of width 3 and length n. For unordered ROBPs, we construct pseudorandom generators with seed length Õ(log(n) · poly(1/є)). This is the first improvement for pseudorandom generators fooling width 3 ROBPs since the work of Nisan [Combinatorica, 1992]. Our constructions are based on the “iterated milder restrictions” approach of Gopalan et al. [FOCS, 2012] (which further extends the Ajtai-Wigderson framework [FOCS, 1985]), combined with the INW-generator [STOC, 1994] at the last step (as analyzed by Braverman et al. [SICOMP, 2014]). For the unordered case, we combine iterated milder restrictions with the generator of Chattopadhyay et al. [CCC, 2018]. Two conceptual ideas that play an important role in our analysis are: (1) A relabeling technique allowing us to analyze a relabeled version of the given branching program, which turns out to be much easier. (2) Treating the number of colliding layers in a branching program as a progress measure and showing that it reduces significantly under pseudorandom restrictions. In addition, we achieve nearly optimal seed-length Õ(log(n/є)) for the classes of: (1) read-once polynomials on n variables, (2) locally-monotone ROBPs of length n and width 3 (generalizing read-once CNFs and DNFs), and (3) constant-width ROBPs of length n having a layer of width 2 in every consecutive polylog(n) layers.

[1]  Emanuele Viola,et al.  More on bounded independence plus noise: Pseudorandom generators for read-once polynomials , 2017, Electron. Colloquium Comput. Complex..

[2]  Noga Alon,et al.  Simple construction of almost k-wise independent random variables , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[3]  Luca Trevisan,et al.  Better Pseudorandom Generators from Milder Pseudorandom Restrictions , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[4]  Avi Wigderson,et al.  Deterministic simulation of probabilistic constant depth circuits , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[5]  Ran Raz,et al.  Two Sides of the Coin Problem , 2014, APPROX-RANDOM.

[6]  Avishay Tal,et al.  Improved pseudorandomness for unordered branching programs through local monotonicity , 2017, Electron. Colloquium Comput. Complex..

[7]  A. Bonami Étude des coefficients de Fourier des fonctions de $L^p(G)$ , 1970 .

[8]  Noga Alon,et al.  Simple Construction of Almost k-wise Independent Random Variables , 1992, Random Struct. Algorithms.

[9]  Noam Nisan,et al.  Pseudorandomness for network algorithms , 1994, STOC '94.

[10]  Parikshit Gopalan,et al.  Inequalities and tail bounds for elementary symmetric polynomial , 2014, Electron. Colloquium Comput. Complex..

[11]  Anindya De,et al.  Pseudorandomness for Permutation and Regular Branching Programs , 2011, 2011 IEEE 26th Annual Conference on Computational Complexity.

[12]  Aravind Srinivasan,et al.  Chernoff-Hoeffding bounds for applications with limited independence , 1995, SODA '93.

[13]  Stanislav Zák,et al.  Almost k-Wise Independent Sets Establish Hitting Sets for Width-3 1-Branching Programs , 2011, CSR.

[14]  Michael A. Forbes,et al.  Pseudorandom Generators for Read-Once Branching Programs, in Any Order , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[15]  Emanuele Viola,et al.  Bounded independence plus noise fools products , 2016, Electron. Colloquium Comput. Complex..

[16]  Noga Alon,et al.  Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs , 1992, IEEE Trans. Inf. Theory.

[17]  Ran Raz,et al.  Pseudorandom Generators for Regular Branching Programs , 2014, SIAM J. Comput..

[18]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[19]  Thomas Steinke,et al.  Pseudorandomness and Fourier-Growth Bounds for Width-3 Branching Programs , 2014, Theory Comput..

[20]  Madhur Tulsiani,et al.  Improved Pseudorandom Generators for Depth 2 Circuits , 2010, APPROX-RANDOM.

[21]  Moni Naor,et al.  Small-Bias Probability Spaces: Efficient Constructions and Applications , 1993, SIAM J. Comput..

[22]  Amnon Ta-Shma,et al.  Constructing Small-Bias Sets from Algebraic-Geometric Codes , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[23]  John P. Steinberger The Distinguishability of Product Distributions by Read-Once Branching Programs , 2013, 2013 IEEE Conference on Computational Complexity.

[24]  Amnon Ta-Shma,et al.  Explicit, almost optimal, epsilon-balanced codes , 2017, Electron. Colloquium Comput. Complex..

[25]  Emanuele Viola The Sum of d Small-Bias Generators Fools Polynomials of Degree d , 2008, Computational Complexity Conference.

[26]  Russell Impagliazzo,et al.  Pseudorandomness from Shrinkage , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[27]  Shachar Lovett,et al.  Pseudorandom Generators from Polarizing Random Walks , 2018, Electron. Colloquium Comput. Complex..

[28]  Thomas Steinke,et al.  Pseudorandomness for Regular Branching Programs via Fourier Analysis , 2013, APPROX-RANDOM.

[29]  Zeev Dvir,et al.  Pseudorandomness for Width-2 Branching Programs , 2013, Theory Comput..

[30]  Ran Raz,et al.  Pseudorandom Generators for Regular Branching Programs , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[31]  T. Sanders,et al.  Analysis of Boolean Functions , 2012, ArXiv.

[32]  Shachar Lovett,et al.  Unconditional pseudorandom generators for low degree polynomials , 2008, Theory Comput..

[33]  Pavel Pudlák,et al.  Pseudorandom generators for group products: extended abstract , 2011, STOC '11.

[34]  Noam Nisan,et al.  Pseudorandom generators for space-bounded computation , 1992, Comb..

[35]  Thomas Steinke,et al.  Pseudorandomness and Fourier-Growth Bounds for Width-3 Branching Programs , 2017, Theory Comput..

[36]  Joshua Brody,et al.  The Coin Problem and Pseudorandomness for Branching Programs , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[37]  Daniel M. Kane,et al.  Pseudorandomness via the Discrete Fourier Transform , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.