[論文レビュー] Notes on Reed-Muller Codes

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

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

ひとこと要約

本稿は、同じ長さ、次元、最小距離をもつすべての線形符号の中で、1次 Reed-Muller (RM) 符号の唯一性を確立する。さらに、長さが2の偶数乗である場合の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.

研究の動機と目的

• パrameters $[2^m, 1+m, 2^{m-1}]$ をもつ任意の線形符号が、同値である限り、1次 Reed-Muller 符号に一致することを証明すること。
• 従来奇数mでのみ確立されていた、2次RM符号 $\mathcal{R}(2,m)$ の既知の部分符号族を、mが偶数の場合に拡張すること。
• m ≤ 8 における構成された部分符号が、その長さと次元に対して理論的上限または既知の最良の最小距離に達することを示すこと。
• 符号のコセット構造から導かれる、m × m のシンプレクティック行列の加法的可換群という新たな代数的構造を明らかにすること。

提案手法

• 短縮された生成行列の双対符号を分析し、Plotkinの不等式を適用することで、下位の最小距離ケースを除外することで、1次RM符号の唯一性を証明する。
• 特定のイデムポテンツを用いた巡回部分符号の体系的拡張を用いて、mが偶数のときの $\mathcal{R}(2,m)$ に対する線形部分符号族を構成する。
• 自己補完性を持つ線形符号がパラメータ $[2^m, 1+3m/2, 2^{m-1}-2^{m/2-1}]$ をもつ場合、より大きな最小距離をもつことはできないことを、Grey-Rankinの不等式を用いて示す。
• 各コセットが二次のベント関数に対応することを関連づけ、加法について閉じた行列集合を形成することで、シンプレクティック行列群を導出する。
• 部分符号が線形であることを利用して、関連付けられたシンプレクティック行列の集合（ゼロ行列を含む）が、可換な加法的群をなすことを示す。
• 文献（例：[1]）からの既知の上限と最良の値との比較により、構成された部分符号の最小距離を検証する。

実験結果

リサーチクエスチョン

• RQ1 パrameters $[2^m, 1+m, 2^{m-1}]$ をもつ線形符号は、同値を除いて1次 Reed-Muller 符号の唯一のものか？
• RQ2 mが偶数の場合に、$\mathcal{R}(2,m)$ の線形部分符号族を構成できるか、奇数mでの既知の結果を拡張できるか？
• RQ3 m ≤ 8 における構成された部分符号が、その長さと次元に対して理論的上限または既知の最良の最小距離に達するか？
• RQ4 特にシンプレクティック行列との関係において、構成された部分符号のコセット代表元の背後にある代数的構造は何か？

主な発見

• 1次 Reed-Muller 符号は、パラメータ $[2^m, 1+m, 2^{m-1}]$ によって一意に特徴づけられ、これらのパラメータをもつ任意の線形符号は、それと同値である。
• mが偶数の場合に、$\mathcal{R}(2,m)$ に対する新しい線形部分符号族が構成され、MacWilliamsとSloaneの書籍の第15章の補題17が拡張される。
• m ≤ 8 において、すべての構成された部分符号が、理論的上限 $d_+$ または同じ長さと次元の線形符号における既知の最良の下限 $d_-$ の最小距離に達する。
• これらの部分符号は $\mathcal{R}(1,m)$ を含み、指定された部分符号族と一致する重み分布をもつことから、最適性が確認される。
• $2^{m/2}$ 個の要素をもつ、m × m のシンプレクティック行列の加法的可換群 $\mathcal{G}$ が構成され、すべての非ゼロ行列がフルランクをもつ。
• この群 $\mathcal{G}$ は、部分符号 $\mathcal{R}_{2t+2}^{t+1}$ のコセット構造から自然に生じ、行列加法について閉じている。