English

A new upper bound on the query complexity for testing generalized Reed-Muller codes

Information Theory 2015-03-20 v1 math.IT

Abstract

Over a finite field \Fq\F_q the (n,d,q)(n,d,q)-Reed-Muller code is the code given by evaluations of nn-variate polynomials of total degree at most dd on all points (of \Fqn\F_q^n). The task of testing if a function f:\Fqn\Fqf:\F_q^n \to \F_q is close to a codeword of an (n,d,q)(n,d,q)-Reed-Muller code has been of central interest in complexity theory and property testing. The query complexity of this task is the minimal number of queries that a tester can make (minimum over all testers of the maximum number of queries over all random choices) while accepting all Reed-Muller codewords and rejecting words that are δ\delta-far from the code with probability Ω(δ)\Omega(\delta). (In this work we allow the constant in the Ω\Omega to depend on dd.) In this work we give a new upper bound of (cq)(d+1)/q(c q)^{(d+1)/q} on the query complexity, where cc is a universal constant. In the process we also give new upper bounds on the "spanning weight" of the dual of the Reed-Muller code (which is also a Reed-Muller code). The spanning weight of a code is the smallest integer ww such that codewords of Hamming weight at most ww span the code.

Keywords

Cite

@article{arxiv.1204.5467,
  title  = {A new upper bound on the query complexity for testing generalized Reed-Muller codes},
  author = {Noga Ron-Zewi and Madhu Sudan},
  journal= {arXiv preprint arXiv:1204.5467},
  year   = {2015}
}
R2 v1 2026-06-21T20:54:14.274Z