Abstract
A basic goal in property testing is to identify a minimal set of features that make a property testable. For the case when the property to be tested is membership in a binary linear error-correcting code, Alon et al. (Trans Inf Theory, 51(11):4032–4039, 2005) had conjectured that the presence of a single low-weight codeword in the dual, and “2-transitivity” of the code (i.e., the code being invariant under a 2-transitive group of permutations on the coordinates of the code) suffice to get local testability. We refute this conjecture by giving a family of error-correcting codes where the coordinates of the codewords form a large field of characteristic two, and the code is invariant under affine transformations of the domain. This class of properties was introduced by Kaufman & Sudan (STOC, 2008) as a setting where many results in algebraic property testing generalize. Our result shows a complementary virtue: This family also can be useful in producing counterexamples to natural conjectures.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Noga Alon, Eldar Fischer, IlanNewman Asaf Shapira (2009) A Combinatorial Characterization of the Testable Graph Properties: It’s All About Regularity. SIAM Journal of Computing 39(1): 143–167
Noga Alon, Tali Kaufman, Michael Krivelevich, Simon Litsyn, Dana Ron (2005) Testing Reed-Muller codes. IEEE Transactions on Information Theory 51(11): 4032–4039
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy (1998) Proof verification and the hardness of approximation problems. Journal of the ACM 45(3): 501–555
Sanjeev Arora, Shmuel Safra (1998) Probabilistic checking of proofs: A new characterization of NP. Journal of the ACM 45(1): 70–122
László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy (1991a). Checking computations in polylogarithmic time. In The Annual ACM Symposium on Theory of Computing, 21–32.
László Babai, Lance Fortnow & Carsten Lund (1991b). Non-Deterministic Exponential Time has Two-Prover Interactive Protocols. Computational Complexity 1(1): 3–40
Eli Ben-Sasson, Elena Grigorescu, Ghid Maatouk, Amir Shpilka, Madhu Sudan (2011a). On Sums of Locally Testable Affine Invariant Properties. Electronic Colloquium on Computational Complexity (ECCC) 18, 79. (Conference version appeared in RANDOM, 2011).
Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodnikova (2005) Some 3CNF properties are hard to test. SIAM Journal on Computing 35(1): 1–21
Eli Ben-Sasson, Ghid Maatouk, Amir Shpilka, Madhu Sudan (2011b). Symmetric LDPC Codes are not Necessarily Locally Testable. In IEEE Conference on Computational Complexity, 55–65.
Manuel Blum, Michael Luby, Ronitt Rubinfeld (1993) Self-Testing/Correcting with Applications to Numerical Problems. Journal of Computer and System Sciences 47(3): 549–595
Christian Borgs, Jennifer T. Chayes, László Lovász, Vera T. Sós, Balázs Szegedy, Katalin Vesztergombi (2006). Graph limits and parameter testing. In The Annual ACM Symposium on Theory of Computing, 261–270.
Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra, Mario Szegedy (1996). Interactive proofs and the hardness of approximating cliques. Journal of the ACM 43(2): 268–292
Oded Goldreich, Shafi Goldwasser, Dana Ron (1998). Property testing and its connection to learning and approximation. Journal of the ACM 45(4), 653–750. ISSN 0004-5411.
Elena Grigorescu (2010). Symmetries in Algebraic Property Testing. Ph.D. thesis, MIT.
Elena Grigorescu, Tali Kaufman, Madhu Sudan (2009). Succinct representation of codes with applications to testing. In Proceedings of RANDOM-APPROX 2009, volume 5687 of Lecture Notes in Computer Science, 534–547. Springer.
Tali Kaufman, Shachar Lovett (2011). New Extension of the Weil Bound for Character Sums with Applications to Coding. In The Annual IEEE Symposium on Foundations of Computer Science, 788–796.
Tali Kaufman, Dana Ron (2006) Testing Polynomials over General Fields. SIAM Journal of Computing. 36(3): 779–802
Tali Kaufman, Madhu Sudan (2008). Algebraic property testing: the role of invariance. In The Annual ACM Symposium on Theory of Computing, 403–412.
F. J. MacWilliams, NeilJ. A. Sloane (1981) The Theory of Error-Correcting Codes. Elsevier/North-Holland, Amsterdam
Ronitt Rubinfeld, Madhu Sudan (1996) Robust characterizations of polynomials with applications to program testing. SIAM Journal on Computing 25(2): 252–271
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Grigorescu, E., Kaufman, T. & Sudan, M. 2-Transitivity is Insufficient for Local Testability. comput. complex. 22, 137–158 (2013). https://doi.org/10.1007/s00037-012-0055-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00037-012-0055-3