[论文解读] The List-Decoding Size of Reed-Muller Codes

Tali Kaufman, Shachar Lovett|ArXiv.org|Nov 14, 2008

Coding theory and cryptography参考文献 9被引用 5

一句话总结

本文为所有距离下的 Reed-Muller 码的列表解码大小提供了渐近界，将先前工作仅限于最小距离的范围扩展至更远。通过基于导数的近似和概率方法，本文证明：在距离 $ 2^{-k} - \epsilon $ 下，列表大小的增长为 $ 2^{O(n^{d-k}/\theta^2)} $，解决了关于常数度 Reed-Muller 码中多项式列表大小阈值的开放问题。

ABSTRACT

In this work we study the list-decoding size of Reed-Muller codes. Given a received word and a distance parameter, we are interested in bounding the size of the list of Reed-Muller codewords that are within that distance from the received word. Previous bounds of Gopalan, Klivans and Zuckerman \cite{GKZ08} on the list size of Reed-Muller codes apply only up to the minimum distance of the code. In this work we provide asymptotic bounds for the list-decoding size of Reed-Muller codes that apply for {\em all} distances. Additionally, we study the weight distribution of Reed-Muller codes. Prior results of Kasami and Tokura \cite{KT70} on the structure of Reed-Muller codewords up to twice the minimum distance, imply bounds on the weight distribution of the code that apply only until twice the minimum distance. We provide accumulative bounds for the weight distribution of Reed-Muller codes that apply to {\em all} distances.

研究动机与目标

• 将先前关于 Reed-Muller 码列表解码大小的界扩展至最小距离之外，而此前工作未能解决此问题。
• 解决 Gopalan、Klivans 和 Zuckerman 提出的开放问题：即在何种最大距离下，列表大小仍保持为 $ n $ 的多项式。
• 提供适用于所有距离的 Reed-Muller 码权重分布的累积界，而不仅限于最小距离的两倍以内。
• 开发一种方法，利用导数的结构特性和近似技术，来界定任意接收字附近码字的数量。

提出的方法

• 对码字 $ p $ 和接收字 $ f $，定义函数 $ g = p - f $，并利用其导数构造 $ g $ 的低复杂度近似 $ F $。
• 应用概率方法，选取 $ \ell = O(d/\epsilon^2) $ 个导数，使得 $ F $ 以高概率在误差 $ \delta = 2^{-(d+2)} $ 内近似 $ g $。
• 通过基于符号的系数舍入，将实值近似转换为离散函数 $ F $，并保持近似质量在 $ 3/4 $ 误差范围内。
• 通过计算可能的导数多项式和系数组合的数量，来界定可能的此类函数 $ F $ 的数量。
• 利用每个 $ p $ 若接近 $ f $，则必接近 $ F + f $，且每个 $ F $ 对应唯一一个 $ p $ 的事实，来界定总列表大小。
• 利用次数为 $ d $ 的多项式及其 $ k $-阶导数的结构，来控制不同近似函数的数量。

实验结果

研究问题

• RQ1 Reed-Muller 码在超过最小距离的距离下的列表解码大小的渐近增长行为如何？
• RQ2 对于何种距离 $ \alpha $，列表大小 $ L(\alpha) $ 保持在 $ 2^{O(n)} $ 以内？其指数增长的阈值是什么？
• RQ3 能否利用码字的结构特性，将 Reed-Muller 码的权重分布界限扩展至最小距离的两倍以上？
• RQ4 如何利用基于导数的近似技术，来界定接收字附近码字的数量？
• RQ5 在 Reed-Muller 码中，距离参数 $ \alpha $、次数 $ d $ 与最终列表大小之间的权衡关系如何？

主要发现

• 在距离 $ 2^{-k} - \epsilon $ 下，$ RM(n,d) $ 的列表解码大小被限制为 $ 2^{O(n^{d-k}/\epsilon^2)} $，其中 $ 1 \leq k \leq d-1 $，且常数与 $ n $ 无关。
• 当 $ d $ 为常数时，列表大小在距离 $ 2^{-k} - \epsilon $ 内保持为 $ n $ 的多项式，且增长为 $ 2^{O(n^{d-k}/\epsilon^2)} $，显示出增长行为的显著阈值。
• 该界扩展至最小距离 $ 2^{-d} $ 之外，解决了关于 $ L(\alpha) = 2^{O(n)} $ 的最大 $ \alpha $ 的开放问题。
• 该方法提供了一般框架，可用于基于导数近似和系数舍入来界定列表解码大小，适用于具有类似结构的其他码。
• 相同技术可导出 Reed-Muller 码在所有距离上的累积权重分布界限，而不仅限于最小距离的两倍以内。
• 结果表明，即使在最小距离之外，Reed-Muller 码的列表解码算法仍可在 $ 2^n $ 和列表大小的多项式时间内运行，因为 $ L(\alpha) $ 的增长受到严格控制。