TR11-059 Authors: Elad Haramaty, Amir Shpilka, Madhu Sudan

Publication: 15th April 2011 22:53

Downloads: 2815

Keywords:

We consider the problem of testing if a given function $f : \F_q^n \rightarrow \F_q$ is close to a $n$-variate degree $d$ polynomial over the finite field $\F_q$ of $q$ elements. The natural, low-query, test for this property would be to pick the smallest dimension $t = t_{q,d}\approx d/q$ such that every function of degree greater than $d$ reveals this feature on {\em some} $t$-dimensional affine subspace of $\F_q^n$ and to test that $f$ when restricted to a {\em random} $t$-dimensional affine subspace is a polynomial of degree at most $d$ on this subspace. Such a test makes only $q^t$ queries, independent of $n$. Previous works, by Alon et al.~\cite{AKKLR}, and Kaufman and Ron~\cite{KaufmanRon06} and Jutla et al.~\cite{JPRZ04}, showed that this natural test rejected functions that were $\Omega(1)$-far from degree $d$-polynomials with probability at least $\Omega(q^{-t})$ (the results of \cite{KaufmanRon06} hold for all fields $\F_q$, while the results of \cite{JPRZ04} hold only for fields of prime order). Thus to get a constant probability of detecting functions that were at constant distance from the space of degree $d$ polynomials, the tests made $q^{2t}$ queries. Kaufman and Ron also noted that when $q$ is prime, then $q^t$ queries are necessary. Thus these tests were off by at least a quadratic factor from known lower bounds. It was unclear if the soundness analysis of these tests were tight and this question relates closely to the task of understanding the behavior of the Gowers Norm. This motivated the work of Bhattacharyya et al.~\cite{BKSSZ10}, who gave an optimal analysis for the case of the binary field and showed that the natural test actually rejects functions that were $\Omega(1)$-far from degree $d$-polynomials with probability at least $\Omega(1)$.

In this work we give an optimal analysis of this test for all fields showing that the natural test does indeed reject functions that are $\Omega(1)$-far from degree $d$ polynomials with $\Omega(1)$-probability. Our analysis thus shows that this test is optimal (matches known lower bounds) when $q$ is prime. (It is also potentially best possible for all fields.) Our approach extends the proof technique of Bhattacharyya et al., however it has to overcome many technical barriers in the process. The natural extension of their analysis leads to an $O(q^d)$ query complexity, which is worse than that of Kaufman and Ron for all $q$ except $2$! The main technical ingredient in our work is a tight analysis of the number of ``hyperplanes'' (affine subspaces of co-dimension $1$) on which the restriction of a degree $d$ polynomial has degree less than $d$. We show that the number of such hyperplanes is at most $O(q^{t_{q,d}})$ --- which is tight to within constant factors.