Tolerant Linearity Testing and Locally Testable Codes

We study tolerant linearity testing under general distributions. Given groups G and H , a distribution μ on G , and oracle access to a function f :G ***H , we consider the task of approximating the smallest μ -distance of f to a homomorphism h :G ***H , where the μ -distance between f and h is the probability that $f(x) \ne h(x)$ when x is drawn according to the distribution μ . This question is intimately connected to local testability of linear codes. In this work, we give a general sufficient condition on the distribution μ for linearity to be tolerantly testable with a constant number of queries. Using this condition we show that linearity is tolerantly testable for several natural classes of distributions including low bias, symmetric and product distributions. This gives a new and simple proof of a result of Kaufman and Sudan which shows that sparse, unbiased linear codes over are locally testable.

[1]  S. Safra,et al.  Noise-Resistant Boolean-Functions are Juntas , 2003 .

[2]  Eyal Kushilevitz,et al.  Distribution-Free Property Testing , 2003, RANDOM-APPROX.

[3]  Marcos A. Kiwi Algebraic testing and weight distributions of codes , 2003, Theor. Comput. Sci..

[4]  Dana Ron,et al.  Testing polynomials over general fields , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[5]  Eli Ben-Sasson,et al.  Simple PCPs with poly-log rate and query complexity , 2005, STOC '05.

[6]  Or Meir,et al.  Combinatorial construction of locally testable codes , 2008, SIAM J. Comput..

[7]  Dana Ron,et al.  Property testing and its connection to learning and approximation , 1998, JACM.

[8]  Eli Ben-Sasson,et al.  Randomness-efficient low degree tests and short PCPs via epsilon-biased sets , 2003, STOC '03.

[9]  Oded Goldreich,et al.  Locally testable codes and PCPs of almost-linear length , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[10]  Testing low-degree polynomials over prime fields , 2009 .

[11]  Madhu Sudan,et al.  Algebraic property testing: the role of invariance , 2008, Electron. Colloquium Comput. Complex..

[12]  Venkatesan Guruswami,et al.  Tolerant Locally Testable Codes , 2005, APPROX-RANDOM.

[13]  Madhu Sudan,et al.  Sparse Random Linear Codes are Locally Decodable and Testable , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[14]  Atri Rudra,et al.  Testing Low-Degree Polynomials over Prime Fields , 2004, FOCS.

[15]  Ronitt Rubinfeld,et al.  Robust Characterizations of Polynomials with Applications to Program Testing , 1996, SIAM J. Comput..

[16]  Oded Goldreich,et al.  Three XOR-Lemmas - An Exposition , 1995, Electron. Colloquium Comput. Complex..

[17]  Ronitt Rubinfeld,et al.  Tolerant property testing and distance approximation , 2006, J. Comput. Syst. Sci..

[18]  Eli Ben-Sasson,et al.  Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding , 2004, SIAM J. Comput..

[19]  Manuel Blum,et al.  Self-testing/correcting with applications to numerical problems , 1990, STOC '90.

[20]  Irit Dinur,et al.  The importance of being biased , 2002, STOC '02.

[21]  Noga Alon,et al.  Testing Low-Degree Polynomials over GF(2( , 2003, RANDOM-APPROX.

[22]  Atri Rudra,et al.  Testing low-degree polynomials over prime fields , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.