Loading jsMath...
Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR16-204 | 20th December 2016 15:35

Robust Multiplication-based Tests for Reed-Muller Codes

RSS-Feed




TR16-204
Authors: Prahladh Harsha, Srikanth Srinivasan
Publication: 22nd December 2016 09:35
Downloads: 1024
Keywords: 


Abstract:

We consider the following multiplication-based tests to check if a given function f: \mathbb{F}_q^n\to \mathbb{F}_q is the evaluation of a degree-d polynomial over \mathbb{F}_q for q prime.

* \mathrm{Test}_{e,k}: Pick P_1,\ldots,P_k independent random degree-e polynomials and accept iff the function fP_1\cdots P_k is the evaluation of a degree-(d+ek) polynomial.

We prove the robust soundness of the above tests for large values of e, answering a question of Dinur and Guruswami (FOCS 2013). Previous soundness analyses of these tests were known only for the case when either e=1 or k=1. Even for the case k=1 and e>1, earlier soundness analyses were not robust.

We also analyze a derandomized version of this test, where (for example) the polynomials P_1,\ldots,P_k can be the same random polynomial P. This generalizes a result of Guruswami et al. (STOC 2014).

One of the key ingredients that go into the proof of this robust soundness is an extension of the standard Schwartz-Zippel lemma over general finite fields \mathbb{F}_q, which may be of independent interest.



ISSN 1433-8092 | Imprint