[论文解读] List decoding Reed-Muller codes over small fields

Abhishek Bhowmick, Shachar Lovett|arXiv (Cornell University)|Jul 13, 2014

Coding theory and cryptography参考文献 20被引用 3

一句话总结

该论文通过证明在固定素数域上，Reed-Muller码的列表译码半径等于其最小距离，解决了长期存在的一个猜想，表明在半径 δ(d)−ε 内的码字数量被一个与 n 无关的常数所限制。证明依赖于高阶傅里叶分析、广义的Schwartz-Zippel引理，以及将Frieze-Kannan正则性引理推广至函数空间的方法。

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. Fix a finite field $\mathbb{F}$. The Reed-Muller code $\mathrm{RM}_{\mathbb{F}}(n,d)$ is defined by $n$-variate degree-$d$ polynomials over $\mathbb{F}$. In this work, we study the list decoding radius of Reed-Muller codes over a constant prime field $\mathbb{F}=\mathbb{F}_p$, constant degree $d$ and large $n$. We show that the list decoding radius is equal to the minimal distance of the code. That is, if we denote by $δ(d)$ the normalized minimal distance of $\mathrm{RM}_{\mathbb{F}}(n,d)$, then the number of codewords in any ball of radius $δ(d)-\varepsilon$ is bounded by $c=c(p,d,\varepsilon)$ independent of $n$. This resolves a conjecture of Gopalan-Klivans-Zuckerman [STOC 2008], who among other results proved it in the special case of $\mathbb{F}=\mathbb{F}_2$; and extends the work of Gopalan [FOCS 2010] who proved the conjecture in the case of $d=2$. We also analyse the number of codewords in balls of radius exceeding the minimal distance of the code. For $e \leq d$, we show that the number of codewords of $\mathrm{RM}_{\mathbb{F}}(n,d)$ in a ball of radius $δ(e) - \varepsilon$ is bounded by $\exp(c \cdot n^{d-e})$, where $c=c(p,d,\varepsilon)$ is independent of $n$. The dependence on $n$ is tight. This extends the work of Kaufman-Lovett-Porat [IEEE Inf. Theory 2012] who proved similar bounds over $\mathbb{F}_2$. The proof relies on several new ingredients: an extension of the Frieze-Kannan weak regularity to general function spaces, higher-order Fourier analysis, and an extension of the Schwartz-Zippel lemma to compositions of polynomials.

研究动机与目标

• 解决关于在固定素数域上Reed-Muller码的列表译码半径是否等于其最小距离的猜想。
• 将此前在 𝔽₂ 和 𝔽ₚ 上对低次多项式列表译码结果推广至任意固定素数域和任意次数。
• 分析在超过最小距离的半径内码字的数量，以 n 和次数差为参数提供紧致的界。
• 开发新的分析工具，包括高阶傅里叶分析框架和适用于多项式复合的广义Schwartz-Zippel引理。
• 为将列表译码结果推广至非素数域奠定基础，识别出缺失的理论要素。

提出的方法

• 将Frieze-Kannan弱正则性引理推广至有限域上的通用函数空间，从而实现对低次多项式函数的分解。
• 应用高阶傅里叶分析以分析低次多项式及其与接收字的匹配结构。
• 提出一个广义的Schwartz-Zippel引理，用于限制多项式复合的根的数量，这对控制列表大小至关重要。
• 通过在辅助变量上将多项式递归分解为多重线性形式，将问题简化为低次分量。
• 运用统计距离论证，将函数与码字的匹配度与其结构分量的匹配度联系起来。
• 综合运用这些工具，界定任意接收字附近低次多项式的数量，证明在最小距离范围内列表大小为常数。

实验结果

研究问题

• RQ1 在固定素数域上，Reed-Muller码的列表译码半径是否等于其最小距离？
• RQ2 对于任意 e ≤ d 和 ε > 0，任意接收字附近次数为 d 的多项式数量是否可被 exp(c·n^{d−e}) 有界，其中 c 为常数？
• RQ3 低次多项式的何种结构特性使得其在Johnson半径之外仍能获得紧致的列表大小界？
• RQ4 高阶傅里叶分析能否推广至任意有限域上的函数空间，以实现此类界？
• RQ5 当前技术在推广至非素数域时存在哪些局限性？

主要发现

• 在 𝔽_p 上，RM_F(n,d) 的列表译码半径等于其最小距离 δ(d)，解决了Gopalan-Klivans-Zuckerman针对素数域的猜想。
• 对于任意 e ≤ d 和 ε > 0，任意接收字附近次数为 d 的多项式数量至多为 exp(c·n^{d−e})，其中常数 c = c(p,d,ε)，且该关于 n 的依赖关系是紧致的。
• 当 e = d 时，列表大小的界为常数，证实了在所有固定素数域和次数下，列表译码可扩展至最小距离。
• 证明引入了一种新的广义Schwartz-Zippel引理，适用于多项式复合，从而实现对匹配集的控制。
• 开发并应用了一种将Frieze-Kannan正则性引理推广至通用函数空间的新方法，用于将多项式函数分解为结构化分量。
• 分析表明，当半径超过 δ(e)−ε 时，列表大小以 n^{d−e} 的指数速率增长，且该增长率对给定参数是紧致的。