The classical direct product theorem for circuits says that if a Boolean function $f:\{0,1\}^n\to\{0,1\}$ is somewhat hard to compute on average by small circuits, then the corresponding $k$-wise direct product function $f^k(x_1,\dots,x_k)=(f(x_1),\dots,f(x_k))$ (where each $x_i\in\{0,1\}^n$) is significantly harder to compute on average by slightly smaller circuits. We prove a fully uniform version of the direct product theorem with information-theoretically optimal parameters, up to constant factors. Namely, we show that for given $k$ and $\epsilon$, there is an efficient randomized algorithm $A$ with the following property. Given a circuit $C$ that computes $f^k$ on at least $\epsilon$ fraction of inputs, the algorithm $A$ outputs with probability at least $3/4$ a list of $O(1/\epsilon)$ circuits such that at least one of the circuits on the list computes $f$ on more than $1-\delta$ fraction of inputs, for $\delta=O((\log1/\epsilon)/k)$; moreover, each output circuit is an $\mathsf{AC}^0$ circuit (of size $\mathrm{poly}(n,k,\log1/\delta,1/\epsilon)$), with oracle access to the circuit $C$. Using the Goldreich-Levin decoding algorithm [O. Goldreich and L. A. Levin, A hard-core predicate for all one-way functions, in Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, Seattle, 1989, pp. 25-32], we also get a fully uniform version of Yao's XOR lemma [A. C. Yao, Theory and applications of trapdoor functions, in Proceedings of the Twenty-Third Annual IEEE Symposium on Foundations of Computer Science, Chicago, 1982, pp. 80-91] with optimal parameters, up to constant factors. Our results simplify and improve those in [R. Impagliazzo, R. Jaiswal, and V. Kabanets, Approximately list-decoding direct product codes and uniform hardness amplification, in Proceedings of the Forty-Seventh Annual IEEE Symposium on Foundations of Computer Science, Berkeley, CA, 2006, pp. 187-196]. Our main result may be viewed as an efficient approximate, local, list-decoding algorithm for direct product codes (encoding a function by its values on all $k$-tuples) with optimal parameters. We generalize it to a family of “derandomized” direct product codes, which we call intersection codes, where the encoding provides values of the function only on a subfamily of $k$-tuples. The quality of the decoding algorithm is then determined by sampling properties of the sets in this family and their intersections. As a direct consequence of this generalization we obtain the first derandomized direct product result in the uniform setting, allowing hardness amplification with only constant (as opposed to a factor of $k$) increase in the input length. Finally, this general setting naturally allows the decoding of concatenated codes, which further yields nearly optimal derandomized amplification.
[1]
Russell Impagliazzo,et al.
Hard-core distributions for somewhat hard problems
,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
[2]
Omer Reingold,et al.
Assignment testers: towards a combinatorial proof of the PCP-theorem
,
2004,
45th Annual IEEE Symposium on Foundations of Computer Science.
[3]
Rahul Santhanam,et al.
Making hard problems harder
,
2006,
21st Annual IEEE Conference on Computational Complexity (CCC'06).
[4]
Luca Trevisan,et al.
Pseudorandom generators without the XOR Lemma
,
1999,
Electron. Colloquium Comput. Complex..
[5]
Luca Trevisan,et al.
Pseudorandomness and average-case complexity via uniform reductions
,
2002,
Proceedings 17th IEEE Annual Conference on Computational Complexity.
[6]
Leonid A. Levin,et al.
One way functions and pseudorandom generators
,
1987,
Comb..
[7]
Russell Impagliazzo,et al.
Chernoff-Type Direct Product Theorems
,
2007,
Journal of Cryptology.
[8]
Luca Trevisan,et al.
On uniform amplification of hardness in NP
,
2005,
STOC '05.
[9]
Oded Goldreich,et al.
A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem
,
1997,
SIAM J. Comput..
[10]
Andrew Chi-Chih Yao,et al.
Theory and application of trapdoor functions
,
1982,
23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).
[11]
Russell Impagliazzo,et al.
Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification
,
2006,
FOCS.
[12]
Madhu Sudan,et al.
Improved Low-Degree Testing and its
Applications
,
2003,
Comb..
[13]
Russell Impagliazzo,et al.
Hardness as randomness: a survey of universal derandomization
,
2003,
ArXiv.
[14]
Avi Wigderson,et al.
P = BPP if E requires exponential circuits: derandomizing the XOR lemma
,
1997,
STOC '97.
[15]
Guy N. Rothblum,et al.
Verifying and decoding in constant depth
,
2007,
STOC '07.
[16]
Ran Raz,et al.
A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP
,
1997,
STOC '97.
[17]
David Zuckerman,et al.
Randomness-optimal oblivious sampling
,
1997,
Random Struct. Algorithms.
[18]
Mihir Bellare,et al.
Randomness in interactive proofs
,
2005,
computational complexity.
[19]
Noam Nisan,et al.
On Yao's XOR-Lemma
,
1995,
Electron. Colloquium Comput. Complex..
[20]
Leonid A. Levin,et al.
A hard-core predicate for all one-way functions
,
1989,
STOC '89.
[21]
W. Hoeffding.
Probability Inequalities for sums of Bounded Random Variables
,
1963
.