Authors
Eli Ben-Sasson, Noga Ron-Zewi, Madhu Sudan
Publication date
2017/3
Journal
computational complexity
Volume
26
Pages
37-77
Publisher
Springer International Publishing
Description
We show that sparse affine-invariant linear properties over arbitrary finite fields are locally testable with a constant number of queries. Given a finite field and an extension field , a property is a set of functions mapping to . The property is said to be affine-invariant if it is invariant under affine transformations of , linear if it is an -vector space, and sparse if its size is polynomial in the domain size. Our work completes a line of work initiated by Grigorescu et al. (2009) and followed by Kaufman & Lovett (2011). The latter showed such a result for the case when q was prime. Extending to non-prime cases turns out to be non-trivial, and our proof involves some detours into additive combinatorics, as well as a new calculus for building property testers for affine-invariant linear properties.
Total citations
2009201020112012201320142015201620172018201920202021202211522311
Scholar articles
E Ben-Sasson, N Ron-Zewi, M Sudan - computational complexity, 2017