[论文解读] Notes on Reed-Muller Codes

Yanling Chen, A. J. Han Vinck|ArXiv.org|Jan 14, 2009

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

一句话总结

该论文证明了在相同长度、维度和最小距离下，一阶Reed-Muller（RM）码是唯一的。此外，当长度为2的偶次幂时，该论文为二阶RM码构造了一个新的线性子码族，表明这些子码在参数上达到了已知最佳或理论最优的最小距离。另一项贡献是发现了由这些码导出的、具有满秩的交换加法酉矩阵群。

ABSTRACT

In this paper, we consider the Reed-Muller (RM) codes. For the first order RM code, we prove that it is unique in the sense that any linear code with the same length, dimension and minimum distance must be the first order RM code; For the second order RM code, we give a constructive linear sub-code family for the case when m is even. This is an extension of Corollary 17 of Ch. 15 in the coding book by MacWilliams and Sloane. Furthermore, we show that the specified sub-codes of length <= 256 have minimum distance equal to the upper bound or the best known lower bound for all linear codes of the same length and dimension. As another interesting result, we derive an additive commutative group of the symplectic matrices with full rank.

研究动机与目标

• 证明任何具有参数 $[2^m, 1+m, 2^{m-1}]$ 的线性码都等价于一阶Reed-Muller码。
• 将已知的二阶RM码 $\mathcal{R}(2,m)$ 的子码族扩展到 $m$ 为偶数的情形，此前该结果仅在 $m$ 为奇数时成立。
• 证明当 $m \leq 8$ 时，所构造的子码达到了其长度和维度的理论上限或已知最佳最小距离。
• 揭示一种新的代数结构：一个由码的陪集结构导出的、具有满秩的 $m \times m$ 酉矩阵的加法交换群。

提出的方法

• 通过分析截短生成矩阵的对偶码并应用Plotkin界，排除了最小距离较低的情形，从而证明了一阶RM码的唯一性。
• 当 $m$ 为偶数时，利用特定幂等元的循环子码的系统化扩展，构造了 $\mathcal{R}(2,m)$ 的线性子码族。
• 应用Grey-Rankin界，证明具有参数 $[2^m, 1+3m/2, 2^{m-1}-2^{m/2-1}]$ 的自补线性码无法拥有更大的最小距离。
• 通过将子码中 $\mathcal{R}(1,m)$ 的每个陪集与一个二次弯函数关联，构造一个在加法下封闭的矩阵集合，从而导出酉矩阵群。
• 利用子码的线性性质，证明所关联的酉矩阵集合（包括零矩阵）构成一个交换加法群。
• 通过与文献中的已知理论上限和最佳已知值比较（例如，[1]），验证了所构造子码的最小距离。

实验结果

研究问题

• RQ1 在等价意义下，是否存在唯一一个具有参数 $[2^m, 1+m, 2^{m-1}]$ 的线性码，即一阶Reed-Muller码？
• RQ2 能否为偶数 $m$ 的 $\mathcal{R}(2,m)$ 构造一个线性子码族，从而将此前仅在奇数 $m$ 时成立的结果推广？
• RQ3 当 $m \leq 8$ 时，所构造的子码是否达到了其长度和维度的理论上限或最佳已知最小距离？
• RQ4 所构造子码的陪集代表元背后存在何种代数结构，特别是与酉矩阵的关系如何？

主要发现

• 一阶Reed-Muller码由其参数 $[2^m, 1+m, 2^{m-1}]$ 唯一确定，即任何具有这些参数的线性码都与之等价。
• 为偶数 $m$ 构造了一个新的 $\mathcal{R}(2,m)$ 线性子码族，扩展了MacWilliams与Sloane著作第15章推论17的结果。
• 当 $m \leq 8$ 时，所有构造出的子码均达到理论上限 $d_+$ 或已知最佳下限 $d_-$ 的最小距离，适用于相同长度和维度的线性码。
• 这些子码包含 $\mathcal{R}(1,m)$，且其重量分布与指定的子码族一致，证实了其最优性。
• 构造了一个由 $m \times m$ 酉矩阵组成的加法交换群 $\mathcal{G}$，其大小为 $2^{m/2}$，其中所有非零矩阵均具有满秩。
• 该群 $\mathcal{G}$ 自然地源于子码 $\mathcal{R}_{2t+2}^{t+1}$ 的陪集结构，且在矩阵加法下封闭。