Title :
List-decoding using the XOR lemma
Author_Institution :
Comput. Sci. Div., U.C. Berkeley, CA, USA
Abstract :
We show that Yao´s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good list-decoding algorithms from error-correcting codes having weak unique-decoding algorithms. To get codes with good rate and efficient list decoding algorithms, one needs a proof of the Direct Product Lemma that, respectively, is strongly derandomized, and uses very small advice. We show how to reduce advice in Impagliazzo´s proof of the Direct Product Lemma for pairwise independent inputs, which leads to error-correcting codes with O(n2) encoding length, 0˜(n2) encoding time, and probabilistic 0˜(n) list-decoding time. (Note that the decoding time is sub-linear in the length of the encoding.) Back to complexity theory, our advice-efficient proof of Impagliazzo´s hard-core set results yields a (weak) uniform version of O´Donnell results on amplification of hardness in NP. We show that if there is a problem in NP that cannot be solved by BPP algorithms on more than a 1 - 1/(log n)c fraction of inputs, then there is a problem in NP that cannot be solved by BPP algorithms on more than a 3/4 + 1/(log n)c fraction of inputs, where c > 0 is an absolute constant.
Keywords :
computational complexity; decoding; error correction codes; polynomials; randomised algorithms; theorem proving; BPP algorithm; NP hardness; XOR lemma; direct product lemma; encoding length; encoding time; error-correcting code; list-decoding algorithm; pairwise independent input; probabilistic list-decoding time; unique-decoding algorithm; Boolean functions; Code standards; Complexity theory; Computer science; Decoding; Distributed computing; Encoding; Error correction codes;
Conference_Titel :
Foundations of Computer Science, 2003. Proceedings. 44th Annual IEEE Symposium on
Print_ISBN :
0-7695-2040-5
DOI :
10.1109/SFCS.2003.1238187