A Fourier-Analytic Approach to Reed–Muller Decoding

We present a Fourier-analytic approach to list-decoding Reed-Muller codes over arbitrary finite fields. We use this to show that quadratic forms over any field are locally list-decodable up to their minimum distance. The analogous statement for linear polynomials was proved in the celebrated works of Goldreich Previously, tight bounds for quadratic polynomials were known only for q = 2 and 3; the best bound known for other fields was the Johnson radius. Departing from previous work on Reed-Muller decoding which relies on some form of self-corrector, our work applies ideas from Fourier analysis of Boolean functions to low-degree polynomials over finite fields, in conjunction with results about the weight-distribution. We believe that the techniques used here could find other applications, we present some applications to testing and learning.

[1]  Axthonv G. Oettinger,et al.  IEEE Transactions on Information Theory , 1998 .

[2]  Noga Alon,et al.  Testing Reed-Muller codes , 2005, IEEE Transactions on Information Theory.

[3]  Tadao Kasami,et al.  On the weight structure of Reed-Muller codes , 1970, IEEE Trans. Inf. Theory.

[4]  Luca Trevisan,et al.  List-decoding using the XOR lemma , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[5]  Rudolf Lide,et al.  Finite fields , 1983 .

[6]  Yishay Mansour,et al.  Randomized Interpolation and Approximation of Sparse Polynomials , 1992, SIAM J. Comput..

[7]  Dana Ron,et al.  Testing polynomials over general fields , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[8]  Shachar Lovett,et al.  List decoding Reed-Muller codes over small fields , 2014, Electron. Colloquium Comput. Complex..

[9]  Madhu Sudan.  List decoding: algorithms and applications , 2000, SIGA.

[10]  Richard J. Lipton,et al.  New Directions In Testing , 1989, Distributed Computing And Cryptography.

[11]  Madhu Sudan,et al.  Improved Low-Degree Testing and its Applications , 1997, STOC '97.

[12]  Madhu Sudan,et al.  Decodability of group homomorphisms beyond the johnson bound , 2008, STOC '08.

[13]  Selmer M. Johnson.  Improved asymptotic bounds for error-correcting codes , 1963, IEEE Trans. Inf. Theory.

[14]  Avi Wigderson,et al.  Simple analysis of graph tests for linearity and PCP , 2001, Proceedings 16th Annual IEEE Conference on Computational Complexity.

[15]  Christopher Umans,et al.  Simple extractors for all min-entropies and a new pseudorandom generator , 2005, JACM.

[16]  Nathan Linial,et al.  The influence of variables on Boolean functions , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[17]  Subhash Khot,et al.  Hardness of Reconstructing Multivariate Polynomials over Finite Fields , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[18]  Sudipto Guha,et al.  Near-optimal sparse fourier representations via sampling , 2002, STOC '02.

[19]  Chris Peikert,et al.  Public-key cryptosystems from the worst-case shortest vector problem: extended abstract , 2009, STOC '09.

[20]  Rocco A. Servedio,et al.  Agnostically learning halfspaces , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[21]  Oded Regev,et al.  The Learning with Errors Problem (Invited Survey) , 2010, 2010 IEEE 25th Annual Conference on Computational Complexity.

[22]  Ben Green,et al.  The distribution of polynomials over finite fields, with applications to the Gowers norms , 2007, Contributions Discret. Math..

[23]  Venkatesan Guruswami,et al.  Improved decoding of Reed-Solomon and algebraic-geometry codes , 1999, IEEE Trans. Inf. Theory.

[24]  Eyal Kushilevitz,et al.  Learning decision trees using the Fourier spectrum , 1991, STOC '91.

[25]  Stephen D. Cohen,et al.  The distribution of polynomials over finite fields , 1970 .

[26]  Shachar Lovett,et al.  Worst Case to Average Case Reductions for Polynomials , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[27]  Shachar Lovett,et al.  Weight Distribution and List-Decoding Size of Reed–Muller Codes , 2012, IEEE Transactions on Information Theory.

[28]  Leonid A. Levin,et al.  A hard-core predicate for all one-way functions , 1989, STOC '89.

[29]  Venkatesan Guruswami,et al.  Improved decoding of Reed-Solomon and algebraic-geometric codes , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[30]  Luca Trevisan,et al.  Pseudorandom generators without the XOR lemma , 1999, Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317).

[31]  Terence Tao,et al.  Structure and Randomness in Combinatorics , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[32]  Elad Haramaty,et al.  On the structure of cubic and quartic polynomials , 2009, STOC '10.

[33]  Venkatesan Guruswami,et al.  List decoding of error correcting codes , 2001 .

[34]  Atri Rudra,et al.  Testing low-degree polynomials over prime fields , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[35]  Ronitt Rubinfeld,et al.  Learning polynomials with queries: The highly noisy case , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[36]  Rocco A. Servedio,et al.  Testing Fourier Dimensionality and Sparsity , 2009, SIAM J. Comput..

[37]  Madhu Sudan,et al.  Decoding of Reed Solomon Codes beyond the Error-Correction Bound , 1997, J. Complex..

[38]  O. Antoine,et al.  Theory of Error-correcting Codes , 2022 .

[39]  Shafi Goldwasser,et al.  Proving hard-core predicates using list decoding , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[40]  Vitaly Feldman,et al.  New Results for Learning Noisy Parities and Halfspaces , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[41]  Sanjeev Arora,et al.  Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.

[42]  Selmer M. Johnson.  A new upper bound for error-correcting codes , 1962, IRE Trans. Inf. Theory.

[43]  Peter Elias,et al.  List decoding for noisy channels , 1957 .

[44]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[45]  Edward F. Assmus.  On the Reed-Muller codes , 1992, Discret. Math..

[46]  Amnon Ta-Shma,et al.  Extractors from Reed-Muller Codes , 2001, Electron. Colloquium Comput. Complex..

[47]  Venkatesan Guruswami,et al.  Algorithmic Results in List Decoding , 2006, Found. Trends Theor. Comput. Sci..

[48]  Mihir Bellare,et al.  Linearity testing in characteristic two , 1996, IEEE Trans. Inf. Theory.

[49]  Manuel Blum,et al.  Self-testing/correcting with applications to numerical problems , 1990, STOC '90.

[50]  Carsten Lund,et al.  Proof verification and hardness of approximation problems , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[51]  Alex Samorodnitsky,et al.  Low-degree tests at large distances , 2006, STOC '07.

[52]  Prasad Raghavendra,et al.  List decoding tensor products and interleaved codes , 2008, STOC '09.

[53]  O. Regev.  The Learning with Errors problem , 2010 .

[54]  K. Conrad,et al.  Finite Fields , 2018, Series and Products in the Development of Mathematics.

[55]  Moses Charikar,et al.  Local Global Tradeoffs in Metric Embeddings , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[56]  Parikshit Gopalan.  A Fourier-Analytic Approach to Reed-Muller Decoding , 2013, IEEE Trans. Inf. Theory.

[57]  Rocco A. Servedio,et al.  Learning intersections and thresholds of halfspaces , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[58]  Vladimir M. Blinovsky,et al.  List decoding , 1992, Discret. Math..

[59]  Venkatesan Guruswami.  8 List Decoding of Concatenated Codes , 2004 .

[60]  Prakash Narayan,et al.  Reliable Communication Under Channel Uncertainty , 1998, IEEE Trans. Inf. Theory.

[61]  Xin-Wen Wu,et al.  List decoding of q-ary Reed-Muller codes , 2004, IEEE Transactions on Information Theory.