Every locally characterized affine-invariant property is testable
- Author(s): Bhattacharyya, A
- Fischer, E
- Hatami, H
- Hatami, P
- Lovett, S
- et al.
Published Web Locationhttps://arxiv.org/pdf/1212.3849v2.pdf
Set F = Fp for any fixed prime p ≥ 2. An affine-invariant property is a property of functions over Fn that is closed under taking affine transformations of the domain. We prove that all affine-invariant properties having local characterizations are testable. In fact, we show a proximity-oblivious test for any such property P, meaning that given an input function f, we make a constant number of queries to f, always accept if f satisfies P, and otherwise reject with probability larger than a positive number that depends only on the distance between f and P. More generally, we show that any affine-invariant property that is closed under taking restrictions to subspaces and has bounded complexity is testable. We also prove that any property that can be described as the property of decomposing into a known structure of lowdegree polynomials is locally characterized and is, hence, testable. For example, whether a function is a product of two degree-d polynomials, whether a function splits into a product of d linear polynomials, and whether a function has low rank are all examples of degree-structural properties and are therefore locally characterized. Our results depend on a new Gowers inverse theorem by Tao and Ziegler for low characteristic fields that decomposes any polynomial with large Gowers norm into a function of a small number of low-degree non-classical polynomi- als. We establish a new equidistribution result for high rank non-classical polynomials that drives the proofs of both the testability results and the local characterization of degreestructural properties. Copyright 2013 ACM.