Advertisement

Abstract

Despite its many applications, to program checking, probabilistically checkable proofs, locally testable and locally decodable codes, and cryptography, “algebraic property testing” is not well-understood. A significant obstacle to a better understanding, was a lack of a concrete definition that abstracted known testable algebraic properties and reflected their testability. This obstacle was removed by [Kaufman and Sudan, STOC 2008] who considered (linear) “affine-invariant properties”, i.e., properties that are closed under summation, and under affine transformations of the domain. Kaufman and Sudan showed that these two features (linearity of the property and its affine-invariance) play a central role in the testability of many known algebraic properties. However their work does not give a complete characterization of the testability of affine-invariant properties, and several technical obstacles need to be overcome to obtain such a characterization. Indeed, their work left open the tantalizing possibility that locally testable codes of rate dramatically better than that of the family of Reed-Muller codes (the most popular form of locally testable codes, which also happen to be affine-invariant) could be found by systematically exploring the space of affine-invariant properties.

In this work we rule out this possibility and show that general (linear) affine-invariant properties are contained in Reed-Muller codes that are testable with a slightly larger query complexity. A central impediment to proving such results was the limited understanding of the structural restrictions on affine-invariant properties imposed by the existence of local tests. We manage to overcome this limitation and present a clean restriction satisfied by affine-invariant properties that exhibit local tests. We do so by relating the problem to that of studying the set of solutions of a certain nice class of (uniform, homogenous, diagonal) systems of multivariate polynomial equations. Our main technical result completely characterizes (combinatorially) the set of zeroes, or algebraic set, of such systems.

Keywords

Property testing Symmetries Direct sums Error-correcting codes 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alon, N., Fischer, E., Newman, I., Shapira, A.: A combinatorial characterization of the testable graph properties: it’s all about regularity. In: STOC 2006, pp. 251–260 (2006)Google Scholar
  2. 2.
    Alon, N., Kaufman, T., Krivelevich, M., Litsyn, S., Ron, D.: Testing Reed-Muller codes. IEEE Transactions on Information Theory 51(11), 4032–4039 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. Journal of the ACM 45(3), 501–555 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Arora, S., Safra, S.: Probabilistic checking of proofs: A new characterization of NP. Journal of the ACM 45(1), 70–122 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Babai, L., Fortnow, L., Levin, L.A., Szegedy, M.: Checking computations in polylogarithmic time. In: STOC 1991, pp. 21–32 (1991)Google Scholar
  6. 6.
    Ben-Sasson, E., Guruswami, V., Kaufman, T., Sudan, M., Viderman, M.: Locally testable codes require redundant testers. In: CCC 2009, pp. 52–61 (2009)Google Scholar
  7. 7.
    Ben-Sasson, E., Harsha, P., Raskhodnikova, S.: Some 3CNF properties are hard to test. SIAM J. Comput. 35(1), 1–21 (2005)Google Scholar
  8. 8.
    Ben-Sasson, E., Maatouk, G., Shpilka, A., Sudan, M.: Symmetric LDPC codes are not necessarily locally testable. In: CCC (2011)Google Scholar
  9. 9.
    Ben-Sasson, E., Sudan, M.: Simple PCPs with poly-log rate and query complexity. In: STOC 2005, pp. 266–275 (2005)Google Scholar
  10. 10.
    Bhattacharyya, A., Kopparty, S., Schoenebeck, G., Sudan, M., Zuckerman, D.: Optimal testing of Reed-Muller codes. In: FOCS 2010, pp. 488–497 (2010)Google Scholar
  11. 11.
    Blum, M., Luby, M., Rubinfeld, R.: Self-testing/correcting with applications to numerical problems. In: STOC 1982, pp. 73–83 (1982)Google Scholar
  12. 12.
    Borgs, C., Chayes, J.T., Lovász, L., Sós, V.T., Szegedy, B., Vesztergombi, K.: Graph limits and parameter testing. In: STOC 2006, pp. 261–270 (2006)Google Scholar
  13. 13.
    Chor, B., Goldreich, O., Kushilevitz, E., Sudan, M.: Private information retrieval. Journal of the ACM 45, 965–981 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Dinur, I.: The PCP theorem by gap amplification. Journal of the ACM 54(3), 12:1–12:44 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Efremenko, K.: 3-query locally decodable codes of subexponential length. In: STOC 2009, pp. 39–44 (2009)Google Scholar
  16. 16.
    Goldreich, O., Goldwasser, S., Ron, D.: Property testing and its connection to learning and approximation. J. ACM 45(4), 653–750 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Goldreich, O., Sudan, M.: Locally testable codes and PCPs of almost-linear length. J. ACM 53(4), 558–655 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Grigorescu, E., Kaufman, T., Sudan, M.: 2-transitivity is insufficient for local testability. In: CCC 2008, pp. 259–267 (2008)Google Scholar
  19. 19.
    Jutla, C.S., Patthak, A.C., Rudra, A., Zuckerman, D.: Testing low-degree polynomials over prime fields. In: FOCS 2004, pp. 423–432 (2004)Google Scholar
  20. 20.
    Kasami, T., Lin, S., Peterson, W.: Some results on cyclic codes which are invariant under the affine group and their applications. Information and Control 11(5-6), 475–496 (1967)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Katz, J., Trevisan, L.: On the efficiency of local decoding procedures for error-correcting codes. In: STOC 2000, pp. 80–86 (2000)Google Scholar
  22. 22.
    Kaufman, T., Ron, D.: Testing polynomials over general fields. In: FOCS 2004, pp. 413–422 (2004)Google Scholar
  23. 23.
    Kaufman, T., Sudan, M.: Algebraic property testing: the role of invariance. In: STOC 2008, pp. 403–412 (2008)Google Scholar
  24. 24.
    Polishchuk, A., Spielman, D.A.: Nearly-linear size holographic proofs. In: STOC 1994, pp. 194–203 (1994)Google Scholar
  25. 25.
    Rubinfeld, R., Sudan, M.: Robust characterizations of polynomials with applications to program testing. SIAM J. Comput. 25(2), 252–271 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Samorodnitsky, A.: Low-degree tests at large distances. In: STOC 2007, pp. 506–515 (2007)Google Scholar
  27. 27.
    Sudan, M.: Efficient checking of polynomials and proofs and the hardness of approximation problems. PhD thesis, UC Berkeley (1992)Google Scholar
  28. 28.
    Woodruff, D.: New lower bounds for general locally decodable codes. In: Electronic Colloquium on Computational Complexity (ECCC), vol. (006) (2007)Google Scholar
  29. 29.
    Yekhanin, S.: Towards 3-query locally decodable codes of subexponential length. Journal of the ACM 55, 1–16 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Yekhanin, S.: Locally decodable codes. In: Foundations and Trends in Theoretical Computer Science (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Eli Ben-Sasson
  • Madhu Sudan

There are no affiliations available

Personalised recommendations