Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



TR10-115 | 17th July 2010 21:07

Bounded-depth circuits cannot sample good codes


Authors: Shachar Lovett, Emanuele Viola
Publication: 18th July 2010 13:58
Downloads: 3553


We study a variant of the classical circuit-lower-bound problems: proving lower bounds for sampling distributions given random bits. We prove a lower bound of $1-1/n^{\Omega(1)}$ on the statistical distance between (i) the output distribution of any small constant-depth (a.k.a.~$\mathrm{AC}^0$) circuit $f : \{0,1\}^{\mathrm{poly}(n)} \to \{0,1\}^n$, and (ii) the uniform distribution over any code $\mathcal{C} \subseteq \{0,1\}^n$ that is ``good'', i.e.~has relative distance and rate both $\Omega(1)$. This seems to be the first lower bound of this kind.

We give two simple applications of this result: (1) any data structure for storing codewords of a good code $\mathcal{C} \subseteq \{0,1\}^n$ requires redundancy $\Omega(\log n)$, if each bit of the codeword can be retrieved by a small $\mathrm{AC}^0$ circuit; (2) for some choice of the underlying combinatorial designs, the output distribution of Nisan's pseudorandom generator against $\mathrm{AC}^0$ circuits of depth $d$ cannot be sampled by small $\mathrm{AC}^0$ circuits of depth less than $d$.

ISSN 1433-8092 | Imprint