Low Degree Testing over the Reals
share
We study the problem of testing whether a function f: ℝ^n →ℝ is a polynomial of degree at most d in the distribution-free testing model. Here, the distance between functions is measured with respect to an unknown distribution 𝒟 over ℝ^n from which we can draw samples. In contrast to previous work, we do not assume that 𝒟 has finite support. We design a tester that given query access to f, and sample access to 𝒟, makes (d/ε)^O(1) many queries to f, accepts with probability 1 if f is a polynomial of degree d, and rejects with probability at least 2/3 if every degree-d polynomial P disagrees with f on a set of mass at least ε with respect to 𝒟. Our result also holds under mild assumptions when we receive only a polynomial number of bits of precision for each query to f, or when f can only be queried on rational points representable using a logarithmic number of bits. Along the way, we prove a new stability theorem for multivariate polynomials that may be of independent interest.
READ FULL TEXT