Premium
A unified framework for testing linear‐invariant properties
Author(s) -
Bhattacharyya Arnab,
Grigorescu Elena,
Shapira Asaf
Publication year - 2015
Publication title -
random structures and algorithms
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.314
H-Index - 69
eISSN - 1098-2418
pISSN - 1042-9832
DOI - 10.1002/rsa.20507
Subject(s) - boolean function , testability , conjecture , mathematics , invariant (physics) , discrete mathematics , property testing , graph property , simple (philosophy) , boolean expression , parity function , lemma (botany) , graph , algorithm , philosophy , statistics , epistemology , voltage graph , line graph , mathematical physics , ecology , poaceae , biology
In the study of property testing, a particularly important role has been played by linear invariant properties, i.e., properties of Boolean functions on the hypercube which are closed under linear transformations of the domain. Examples of such properties include linearity, Reed‐Muller codes, and Fourier sparsity. In this work, we describe a framework that can lead to a unified analysis of the testability of all linear‐invariant properties, drawing on techniques from additive combinatorics and from graph theory. Our main contributions here are the following: We introduce a simple combinatorial condition, which we call subspace‐heredity , and conjecture that any property of Boolean functions satisfying it can be efficiently tested. Verifying this conjecture will unify many individual results in this area. We show that if our conjecture holds, then one can obtain a simple combinatorial characterization of properties of Boolean functions that can be efficiently tested with one‐sided error, thus addressing a challenge posed by Sudan recently. We introduce a new technique for proving the testability of Boolean functions. The main tool we develop is an extension of Green's arithmetic regularity lemma. Using it, we verify a special case of the conjecture. Our approach here is motivated by techniques that proved to be very successful previously in studying the testability of graph properties.© 2013 Wiley Periodicals, Inc. Random Struct. Alg., 46, 232–260, 2015