Skip to main content

Pseudorandom Pseudo-distributions with Near-Optimal Error for Read-Once Branching Programs

Author(s): Braverman, Mark; Cohen, Gil; Garg, Sumegha

To refer to this page use:
Abstract: Nisan [Combinatorica, 12 (1992), pp. 449--461] constructed a pseudorandom generator for length $n$, width $n$ read-once branching programs (ROBPs) with error $\varepsilon$ and seed length $O(\log^2{n} + \log{n} \cdot \log(1/\varepsilon))$. A major goal in complexity theory is to reduce the seed length, hopefully, to the optimal $O(\log{n}+\log(1/\varepsilon))$, or to construct improved hitting sets, as these would yield stronger derandomization of ${BPL}$ and ${RL}$, respectively. In contrast to a successful line of work in restricted settings, no progress has been made for general, unrestricted, ROBPs. Indeed, Nisan's construction is the best pseudorandom generator and, prior to this work, also the best hitting set for unrestricted ROBPs. In this work, we make the first improvement for the general case by constructing a hitting set with seed length $\widetilde{O}(\log^2{n}+\log(1/\varepsilon))$. That is, we decouple $\varepsilon$ and $n$, and obtain near-optimal dependence on the former. The regime of parameters in which our construction strictly improves upon prior works, namely, $\log(1/\varepsilon) \gg \log{n}$, is also motivated by the work of Saks and Zhou [J. Comput. System Sci., 58 (1999), pp. 376--403], who use pseudorandom generators with error $\varepsilon$, for length $n$, width $w$ ROBPs, such that $w,1/\varepsilon = 2^{(\log{n})^{2}}$ in their proof for ${BPL} \subseteq \mathbf{L}^{3/2}$. In fact, we introduce and construct a new type of primitive we call pseudorandom pseudo-distributions. Informally, this is a generalization of pseudorandom generators in which one may assign negative and unbounded weights to paths, as opposed to working with probability distributions. We show that such a primitive yields hitting sets and, for derandomization purposes, can be used to derandomize two-sided error algorithms.
Publication Date: 2019
Citation: Braverman, Mark, Gil Cohen, and Sumegha Garg. "Pseudorandom Pseudo-distributions with Near-Optimal Error for Read-Once Branching Programs." SIAM Journal on Computing 49, no. 5 (2019). doi:10.1137/18M1197734
DOI: 10.1137/18M1197734
ISSN: 0097-5397
EISSN: 1095-7111
Type of Material: Journal Article
Journal/Proceeding Title: SIAM Journal on Computing
Version: Author's manuscript

Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.