On the Semantics of Local Characterizations for Linear-Invariant Properties

A property of functions on a vector space is said to be linear-invariant if it is closed under linear transformations of the domain. Linear-invariant properties are some of the most well-studied pr ...

[1]  Carsten Lund,et al.  Non-deterministic exponential time has two-prover interactive protocols , 1992, computational complexity.

[2]  Madhu Sudan,et al.  Testing Linear-Invariant Non-Linear Properties , 2009, STACS.

[3]  B. Green.  A Szemerédi-type regularity lemma in abelian groups, with applications , 2003, math/0310476.

[4]  Robin J. Wilson,et al.  An Introduction to Matroid Theory , 1973 .

[5]  Arnab Bhattacharyya,et al.  Separations of Matroid Freeness Properties , 2010, Electron. Colloquium Comput. Complex..

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

[7]  Ryan O'Donnell,et al.  Testing Fourier Dimensionality and Sparsity , 2009, ICALP.

[8]  Noga Alon,et al.  Homomorphisms in Graph Property Testing , 2006 .

[9]  Asaf Shapira,et al.  A Unified Framework for Testing Linear-Invariant Properties , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

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

[11]  Dana Ron,et al.  On proximity oblivious testing , 2009, STOC '09.

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

[13]  Noga Alon,et al.  A combinatorial characterization of the testable graph properties: it's all about regularity , 2006, STOC '06.

[14]  Madhu Sudan,et al.  Testing Linear-Invariant Non-linear Properties: A Short Report , 2010, Property Testing.

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

[16]  Ronitt Rubinfeld,et al.  Sublinear Time Algorithms , 2011, SIAM J. Discret. Math..

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

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

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

[20]  D. Král,et al.  A removal lemma for systems of linear equations over finite fields , 2008, 0809.1846.

[21]  Oded Goldreich,et al.  Proximity Oblivious Testing and the Role of Invariances , 2011, APPROX-RANDOM.

[22]  Asaf Shapira.  Green's Conjecture and Testing Linear Invariant Properties , 2010, Property Testing.

[23]  Dana Ron,et al.  Algorithmic and Analysis Techniques in Property Testing , 2010, Found. Trends Theor. Comput. Sci..

[24]  Carsten Lund,et al.  Non-deterministic exponential time has two-prover interactive protocols , 2005, computational complexity.