List Decoding Quotient Reed-Muller Codes

TL;DR

This paper introduces quotient Reed-Muller codes over subsets of finite fields, analyzing their properties and showing that high rank varieties preserve the codes' distance and list-decoding capabilities.

Contribution

The paper extends the theory of Reed-Muller codes to quotient codes over arbitrary subsets, introducing new tools to analyze their properties and demonstrating inheritance of key parameters for high rank varieties.

Findings

Quotient Reed-Muller codes can have many extensions to original codewords.

High rank varieties ensure quotient codes inherit distance and list-decoding radius.

New analytical tools overcome challenges from weak connections between codewords.

Abstract

Reed-Muller codes consist of evaluations of $n$-variate polynomials over a finite field $\mathbb{F}$ with degree at most $d$. Much like every linear code, Reed-Muller codes can be characterized by constraints, where a codeword is valid if and only if it satisfies all \emph{degree-$d$} constraints. For a subset $\tilde{X} \subseteq \mathbb{F}^n$, we introduce the notion of \emph{$\tilde{X}$-quotient} Reed-Muller code. A function $F : \tilde{X} \rightarrow \mathbb{F}$ is a valid codeword in the quotient code if it satisfies all the constraints of degree-$d$ polynomials \emph{lying in $\tilde{X}$}. This gives rise to a novel phenomenon: a quotient codeword may have \emph{many} extensions to original codewords. This weakens the connection between original codewords and quotient codewords which introduces a richer range of behaviors along with substantial new challenges. Our goal is to answer the following question: what properties of $\tilde{X}$ will imply that the quotient code inherits its distance and list-decoding radius from the original code? We address this question using techniques developed by Bhowmick and Lovett [BL14], identifying key properties of $\mathbb{F}^n$ used in their proof and extending them to general subsets $\tilde{X} \subseteq \mathbb{F}^n$. By introducing a new tool, we overcome the novel challenge in analyzing the quotient code that arises from the weak connection between original and quotient codewords. This enables us to apply known results from additive combinatorics and algebraic geometry [KZ18, KZ19, LZ21] to show that when $\tilde{X}$ is a \emph{high rank variety}, $\tilde{X}$-quotient Reed-Muller codes inherit the distance and list-decoding parameters from the original Reed-Muller codes.