Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



TR10-200 | 14th December 2010 20:24

Towards lower bounds on locally testable codes via density arguments


Authors: Eli Ben-Sasson, Michael Viderman
Publication: 14th December 2010 20:24
Downloads: 3402


The main open problem in the area of locally testable codes (LTCs) is whether there exists an asymptotically good family of LTCs and to resolve this question it suffices to consider the case of query complexity $3$. We argue that to refute the existence of such an asymptotically good family one should prove that the number of dual codewords of weight at most $3$ is super-linear in the blocklength of the code.

The main technical contribution of this paper is an improvement of the combinatorial lemma of Goldreich et al. [2006] which bounds the rate of $2$-query locally decodable codes (LDCs) and is used in state-of-the-art rate-bounds for linear LDCs. The lemma of Goldreich et al. bounds the rate of $2$-query LDCs of blocklength $n$ in terms of the corruption parameter $\delta(n)$ --- this is the maximal number of corrupted codeword bits for which a ($2$-query) decoder can recover correctly every message bit (with high probability). Our combinatorial lemma gives nontrivial rate bounds for any corruption parameter $\delta(n)=\omega(1)$, whereas the previous lemma works only for corruption parameter larger than $\log n$. The study of LDCs with sublinear corruption parameter is also motivated by Dvir's [2010] observation that sufficiently strong bounds on the rate of such LDCs imply explicit constructions of rigid matrices.

ISSN 1433-8092 | Imprint