English

Estimating the distance from testable affine-invariant properties

Computational Complexity 2013-06-05 v1

Abstract

Let P\cal{P} be an affine invariant property of functions Fpn[R]\mathbb{F}_p^n \to [R] for fixed pp and RR. We show that if P\cal{P} is locally testable with a constant number of queries, then one can estimate the distance of a function ff from P\cal{P} with a constant number of queries. This was previously unknown even for simple properties such as cubic polynomials over F2\mathbb{F}_2. Our test is simple: take a restriction of ff to a constant dimensional affine subspace, and measure its distance from P\cal{P}. We show that by choosing the dimension large enough, this approximates with high probability the global distance of ff from \cP\cP. The analysis combines the approach of Fischer and Newman [SIAM J. Comp 2007] who established a similar result for graph properties, with recently developed tools in higher order Fourier analysis, in particular those developed in Bhattacharyya et al. [STOC 2013].

Keywords

Cite

@article{arxiv.1306.0649,
  title  = {Estimating the distance from testable affine-invariant properties},
  author = {Hamed Hatami and Shachar Lovett},
  journal= {arXiv preprint arXiv:1306.0649},
  year   = {2013}
}
R2 v1 2026-06-22T00:27:30.849Z