2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (2011)

Palm Springs, California USA

Oct. 22, 2011 to Oct. 25, 2011

ISSN: 0272-5428

ISBN: 978-0-7695-4571-4

pp: 240-246

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2011.57

ABSTRACT

We give an explicit construction of a pseudorandom generator for read-once formulas whose inputs can be read in arbitrary order. For formulas in n inputs and arbitrary gates of fan-in at most d = O(n/ log n), the pseudorandom generator uses (1 - O(1))n bits of randomness and produces an output that looks 2-O(n)-pseudorandom to all such formulas. Our analysis is based on the following lemma. Let P=M z + e, where M is the parity-check matrix of a sufficiently good binary error-correcting code of constant rate, z is a random string, e is a small-bias distribution, and all operations are modulo 2. Then for every pair of functions f, g : {0, 1}n/2?{0, 1} and every equipartition (I,J) of [n], the distribution P is pseudorandom for the pair (f (x|I ), g(x|J )), where x|I and x|J denote the restriction of x to the coordinates in I and J, respectively. More generally, our result applies to read-once branching programs of bounded width with arbitrary ordering of the inputs. We show that such branching programs are more powerful distinguishers than those that read their inputs in sequential order: There exist (explicit) pseudorandom distributions that separate these two types of branching programs.

INDEX TERMS

pseudorandomness, bounded space computation, branching programs, boolean formulas

CITATION

A. Bogdanov, A. Wan and P. A. Papakonstaninou, "Pseudorandomness for Read-Once Formulas,"

*2011 IEEE 52nd Annual Symposium on Foundations of Computer Science(FOCS)*, Palm Springs, California USA, 2011, pp. 240-246.

doi:10.1109/FOCS.2011.57

CITATIONS