Testing linear-invariant non-linear properties: A short report
Author(s)Bhattacharyya, Arnab; Chen, Victor; Sudan, Madhu; Xie, Ning
MetadataShow full item record
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad “features” of properties that make them testable? Kaufman and Sudan (STOC 2008) proposed the study of the relationship between the invariances satisfied by a property and its testability. Particularly, they studied properties that were invariant under linear transformations of the domain and gave a characterization of testability in certain settings. However, the properties that they examined were also linear. This led us to investigate linear-invariant properties that are not necessarily linear. Here we describe some of the resulting works which consider natural linear-invariant properties, specifically properties that are described by forbidden patterns of values that a function can take, and show testability under various settings.
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Springer Berlin / Heidelberg
Bhattacharyya, Arnab et al. “Testing Linear-Invariant Non-linear Properties: A Short Report.” Property Testing. Springer Berlin / Heidelberg, 2011. 260-268.
Author's final manuscript