Some closure features of locally testable affine-invariant properties

We prove that the class of locally testable affine-invariant properties is closed under sums, intersections and “lifts”. The sum and intersection are two natural operations on linear spaces of functions, where the sum of two properties is simply their sum as a vector space. The “lift” is a less natural property that has been studied before. Previously such results were known for “single-orbit characterized” affine-invariant properties, which known to be a subclass of locally testable ones, and are potentially a strict subclass. The fact that the intersection of locallytestable affine-invariant properties are locally testable could have been derived from previously known general results on closure of property testing under set-theoretic operations, but was not explicitly observed before. The closure under sum and lifts is implied by an affirmative answer to a central question attempting to characterize locally testable affine-invariant properties, but the status of that question remains wide open. Affine-invariant properties are clean abstractions of commonly studied, and extensively used, algebraic properties such linearity and low-degree. Thus far it is not known what makes affineinvariant properties locally testable — no characterizations are known, and till this work it was not clear if they satisfied any closure properties . This work shows that the class of locally testable affine-invariant properties are closed under some very natural operations. Our techniques use ones previously developed for the study of “single-orbit characterized” properties, but manage to apply them to the potentially more general class of all locally testable ones via a simple connection that may be of broad interest in the study of affine-invariant properties. ∗CSAIL, Massachusetts Institute of Technology, 32 Vassar Street, Cambridge, MA, USA. aguo@mit.edu. Research supported in part by NSF grants CCF-0829672, CCF-1065125, and CCF-6922462. †Microsoft Research New England, One Memorial Drive, Cambridge, MA 02139, USA. madhu@mit.edu.

[1]  Madhu Sudan,et al.  Property Testing via Set-Theoretic Operations , 2011, ICS.

[2]  Eli Ben-Sasson,et al.  On Sums of Locally Testable Affine Invariant Properties , 2011, APPROX-RANDOM.

[3]  Madhu Sudan Invariance in Property Testing , 2010, Electron. Colloquium Comput. Complex..

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

[5]  Dana Ron,et al.  Property testing and its connection to learning and approximation , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[6]  Madhu Sudan,et al.  Succinct Representation of Codes with Applications to Testing , 2009, SIAM J. Discret. Math..

[7]  Eli Ben-Sasson,et al.  Some 3CNF properties are hard to test , 2003, STOC '03.

[8]  Eli Ben-Sasson,et al.  Limits on the Rate of Locally Testable Affine-Invariant Codes , 2011, APPROX-RANDOM.

[9]  Madhu Sudan,et al.  Optimal Testing of Reed-Muller Codes , 2009, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[10]  Noga Alon,et al.  Testing Reed-Muller codes , 2005, IEEE Transactions on Information Theory.

[11]  Eli Ben-Sasson,et al.  Sparse Affine-Invariant Linear Codes Are Locally Testable , 2012, FOCS.

[12]  Eli Ben-Sasson,et al.  Symmetric LDPC Codes are not Necessarily Locally Testable , 2011, 2011 IEEE 26th Annual Conference on Computational Complexity.

[13]  Madhu Sudan,et al.  Algebraic property testing: the role of invariance , 2008, STOC '08.

[14]  Dana Ron,et al.  Testing Polynomials over General Fields , 2006, SIAM J. Comput..

[15]  Madhu Sudan,et al.  Optimal Testing of Multivariate Polynomials over Small Prime Fields , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[16]  Alan Guo,et al.  New affine-invariant codes from lifting , 2012, ITCS '13.

[17]  Madhu Sudan,et al.  2-Transitivity Is Insufficient for Local Testability , 2008, Computational Complexity Conference.