Abstract:
The list decoding problem for a code asks for the maximal radius up to which any ball of that radius contains only a constant number of codewords. The list decoding radius is not well understood even for well studied codes, like Reed-Solomon or Reed-Muller codes. The Reed-Muller code RM_{F}(n,d) for a finite field F is defined by n-variate degree-d polynomials over F. As far as we know, the list decoding radius of Reed-Muller codes can be as large as the minimal distance of the code. This is known in a number of cases: The Goldreich-Levin theorem and its extensions established it for d=1 (Hadamard codes); Gopalan, Klivans and Zuckerman established it for the binary field F_2; and Gopalan established it for d=2 and all fields. In a recent work with Lovett, we prove the conjecture for all constant prime fields and all constant degrees. The proof relies on several new ingredients, including higher-order Fourier analysis. This is based on joint work with Shachar Lovett