[論文レビュー] Algebraic structures of MRD Codes

Javier de la Cruz, Kiermaier, Michael+2 more|arXiv (Cornell University)|Jan 16, 2015

Coding theory and cryptography参考文献 7被引用数 13

ひとこと要約

本稿は、有限準体、半体、移動平面と関連する代数的構造を用いて、Gabidulinコードとは根本的に異なる、最小距離 $n$ の最大距離ランク（MRD）コードが $(\mathbb{F}_q)_{n,n}$ に存在することを確立する。主な貢献は、シンプレクティックスプレッドおよび近体における非アーベル乗法的群との関連を通じて、非Gabidulin MRDコードの存在を証明することであり、特に $\mathbb{F}_3^{3\times3}$ において、同じランク分布を持つ非同値なMRDコードを明示的に構成している。

ABSTRACT

Based on results in finite geometry we prove the existence of MRD codes in (F_q)_(n,n) with minimum distance n which are essentially different from Gabidulin codes. The construction results from algebraic structures which are closely related to those of finite fields. Some of the results may be known to experts, but to our knowledge have never been pointed out explicitly in the literature.

研究の動機と目的

• 等長写像の下でGabidulinコードと同値でないMRDコードが存在するかどうかを調査すること。
• 特に準体、半体、および近体といった代数的構造が、Singletonの上限に達する線形MRDコードを生成する仕組みを探索すること。
• 最小距離 $n$ のMRDコードとシンプレクティック移動平面との間の関係を、スプレッドセットを通じて確立すること。
• 特に $\mathbb{F}_3^{3\times3}$ において、Gabidulinコードと同型でない線形MRDコードの明示的構成を行うこと。
• アーベルでない加法的および乗法的群構造が、Gabidulin構成を超えたMRDコードを区別する役割を果たす仕組みを明確にすること。

提案手法

• スプレッドセットと移動平面の対応関係を用いて、MRDコードを構成するため、有限幾何学の結果を活用する。
• Delsarte–Gabidulin構成を基準として、準体および半体から導かれるコードと比較する。
• 行列空間上の等長写像のHua–Wan分類を応用して、コードの同値類を定義する。
• Magmaを用いて $\mathbb{F}_3^{3\times3}$ における明示的MRDコードを構成し、2つの非同値なクラス（1つはGabidulin型、もう1つは非Gabidulin型）を特定する。
• コード内の非零要素のランク分布および群構造を分析し、非Gabidulinコードの乗法的群が非アーベルであることを示す。
• 内積 $\langle A,B \rangle = \operatorname{tr}(AB^t)$ を用いて、Gabidulinコードおよび非Gabidulinコードが同値の意味で自己双対であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $(\mathbb{F}_q)_{n,n}$ において最小距離 $n$ のMRDコードが、等長写像の下でGabidulinコードと同値でないもの是否存在するか？
• RQ2 有限体を超えた代数的構造（特に準体、半体、近体）は、Singletonの上限に達する線形MRDコードを生成できるか？
• RQ3 Gabidulinコードと他のMRDコードとの間で、非零符号語の乗法的群構造はどのように異なるか？
• RQ4 非Gabidulin MRDコードは明示的に構成可能であり、Gabidulinコードと同一のランク分布を持つのか？
• RQ5 半体および近体は、Gabidulinコードと同型でない線形MRDコードを生成する役割を果たすのか？

主な発見

• $\mathbb{F}_3^{3\times3}$ において、最小距離 $d=2$ の線形MRDコードについて、同値類がちょうど2つ存在する。1つはGabidulinコードに対応し、もう1つは非同値なコードに対応する。
• 非Gabidulinコードにはランク2の行列が338個、ランク3の行列が390個含まれており、これはGabidulinコードのランク分布と一致しており、Delsarteの定理と整合的である。
• 非Gabidulinコードの非零要素の乗法的群は非アーベルであるが、Gabidulinコードでは巡回群（位数 $q^n - 1$）であるため、構造的差異が生じる。
• 例示では $E + A$ が順序40を示すため、非Gabidulinコードは加法的閉じていないことが示され、$\mathbb{F}_q$-線形コードではないことが判明する。
• 非Gabidulinコードの双対もMRDコードであり、Gabidulinコードおよび非Gabidulinコードは、ともに位数27の2つの半体の双対として生じる。
• $\mathbb{F}_{11}^{2\times2}$ における例外的近体 $\mathrm{SL}(2,5)$ から構成されたコードは、非アーベル乗法的群を有し、加法的閉じていないため、非Gabidulin性が確認され、MRDコードとして成立する。