Title :
Strong LTCs with Inverse Polylogarithmic Rate and Soundness
Author :
Viderman, Michael
Author_Institution :
Comput. Sci. Dept., Technion - Israel Inst. of Technol., Haifa, Israel
Abstract :
An error-correcting code C ⊆ Fn is called (q, ε)-strong locally testable code (LTC) if there exists a randomized algorithm (tester) that makes at most q queries to the input word. This algorithm accepts all codewords with probability 1 and rejects all non-codewords x ∉ C with probability at least ε · δ(x, C), where δ(x, C) denotes the relative Hamming distance between the word x and the code C. The parameter q is called the query complexity and the parameter ε is called soundness. A well-known open question in the area of LTCs (Goldreich and Sudan, J.ACM 2006) asks whether there exist strong LTCs with constant query complexity, constant soundness and inverse polylogarithmic rate. In this paper, we construct strong LTCs with query complexity 3, inverse polylogarithmic soundness and inverse polylogarithmic rate.
Keywords :
Hamming codes; computational complexity; error correction codes; probability; LTC; error correcting code; inverse polylogarithmic rate; inverse polylogarithmic soundness; locally testable code; probability; query complexity; relative Hamming distance; Complexity theory; Linear code; Robustness; Standards; Tensile stress; Testing; error-correcting codes; locally testable codes;
Conference_Titel :
Computational Complexity (CCC), 2013 IEEE Conference on
Conference_Location :
Stanford, CA
DOI :
10.1109/CCC.2013.34