Testing polynomials over general fields

Tali Kaufman, Dana Ron

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this work we fill in the knowledge gap concerning testing polynomials over finite fields. As previous works show, when the cardinality of the field, q, is sufficiently larger than the degree bound, d, then the number of queries sufficient for testing is polynomial or even linear in d. On the other hand, when q = 2 then the number of queries, both sufficient and necessary, grows exponentially with d. Here we study the intermediate case where 2 < q ≤ O(d) and show a smooth transition between the two extremes. Specifically, let p be the characteristic of the field (so that p is prime and q = ps for some integer s ≥ 1). Then the number of queries performed by the test grows like l · q2l+1 where l = [d+1/q-q/p]. Furthermore, q Ω(l) queries are necessary when q ≤ O(d). The test itself provides a unifying view of the two extremes: it considers random affine subspaces of dimension l and verifies that the function restricted to the selected subspaces is a degree d polynomial. Viewed in the context of coding theory, our result shows that Reed-Muller codes over general fields (usually referred to as Generalized Reed-Muller (GRM) codes) are locally testable. In the course of our analysis we provide a characterization of small-weight words that span the code. Such a characterization was previously known only when the field size is a prime or is sufficiently large, in which case the minimum weight words span the code.

Original languageEnglish
Title of host publicationProceedings - 45th Annual IEEE Symposium on Foundations of Computer Sciences, FOCS 2004
Pages413-422
Number of pages10
DOIs
StatePublished - 2004
EventProceedings - 45th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2004 - Rome, Italy
Duration: 17 Oct 200419 Oct 2004

Publication series

NameProceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
ISSN (Print)0272-5428

Conference

ConferenceProceedings - 45th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2004
Country/TerritoryItaly
CityRome
Period17/10/0419/10/04

Fingerprint

Dive into the research topics of 'Testing polynomials over general fields'. Together they form a unique fingerprint.

Cite this