[論文レビュー] Rank distribution of Delsarte codes

Javier de la Cruz, Elisa Gorla+2 more|arXiv (Cornell University)|Oct 5, 2015

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

ひとこと要約

本稿では、古典的符号におけるSingleton欠陥の一般化として、Delsarteランク距離符号におけるランク欠陥の概念を導入する。ランク欠陥がゼロである符号（MRDまたはQMRD）のランク分布は、そのパラメータによって完全に決定され、符号および双対符号の両方がランク欠陥1を有する場合、符号とその双対符号における最小ランク符号語の数は等しい。これらの結果は、Gabidulin符号へと拡張され、それらのランク分布が同様の原理に従うことが示される。

ABSTRACT

In analogy with the Singleton defect for classical codes, we propose a definition of rank defect for Delsarte rank-metric codes. We characterize codes whose rank defect and dual rank defect are both zero, and prove that the rank distribution of such codes is determined by their parameters. This extends a result by Delsarte on the rank distribution of MRD codes. In the general case of codes of positive defect, we show that the rank distribution is determined by the parameters of the code, together the number of codewords of small rank. Moreover, we prove that if the rank defect of a code and its dual are both one, and the dimension satisfies a divisibility condition, then the number of minimum-rank codewords and dual minimum-rank codewords is the same. Finally, we discuss how our results specialize to Gabidulin codes.

研究の動機と目的

• 古典的符号理論におけるSingleton欠陥の類似物として、Delsarteランク距離符号のランク欠陥を定義・分析すること。
• ランク欠陥がゼロ（MRDまたはQMRD）である符号を特徴付け、そのランク分布がパラメータによって完全に決定されることを示すこと。
• 正のランク欠陥を有する符号のランク分布を調査し、特に符号および双対符号の両方が欠陥1を有する場合に注目すること。
• 結果をGabidulin符号に特化し、双対AMRD符号において最小ランク符号語の数の対称性を確立すること。
• MacWilliams恒等式と双対性を用いて、DelsarteのMRD符号に関する古典的結果をより広い符号クラスへと拡張すること。

提案手法

• ランク欠陥の定義をDelsarte符号に対して提案し、欠陥がゼロである場合がMRDまたはQMRD符号に対応することを示す。
• MacWilliams恒等式を適用し、各ランクの符号語数を関連付ける再帰的公式を導出する。これにより、少数の値がランク分布全体を決定することを示す。
• 双対性およびトレース内積を用いて、符号とその双対符号のランク分布との関係を確立する。
• 符号および双対符号の両方がランク欠陥1を有する符号を分析し、次元の可除性条件を満たす場合、符号とその双対符号における最小ランク符号語の数が等しいことを証明する。
• 拡張体の基底を用いた行列表現を通じて、Gabidulin符号とDelsarte符号との間の対応関係を確立する。
• 既知のGabidulin符号に関する結果を応用し、一般定理を特殊化することで、それらのランク分布が一般Delsarte符号と同様の原理に従うことを示す。

実験結果

リサーチクエスチョン

• RQ1 Singleton欠陥の概念をDelsarteランク距離符号へと一般化する方法は何か？ そしてそれは符号構造にどのような意味を持つのか？
• RQ2 Delsarte符号のランク分布は、どの程度そのパラメータによって決定されるのか？ その場合、追加の不変量が必要となるのはいつか？
• RQ3 符号および双対符号の両方がランク欠陥1を有する場合、符号とその双対符号における最小ランク符号語の数の関係は何か？
• RQ4 ランク分布に関する結果は、代表的なランク距離符号クラスであるGabidulin符号へとどの程度特殊化されるか？
• RQ5 Delsarte符号のランク分布が、そのパラメータと初期のランクカウントの少数によって完全に決定される条件は何か？

主な発見

• ランク欠陥がゼロ（すなわちMRDまたはQMRD）である任意のDelsarte符号のランク分布は、そのパラメータによって完全に決定され、DelsarteのMRD符号に関する結果が一般化される。
• 正のランク欠陥を有する符号では、ランク分布がパラメータおよび小さなランクの符号語数（特に最小距離まで）によって決定される。
• 符号および双対符号の両方がランク欠陥1を有し、次元が可除性条件を満たす場合、符号とその双対符号における最小ランク符号語の数は等しい。
• 結果はGabidulin符号へと特殊化され、そのランク分布は同様の原理に従う。特に、双対AMRD Gabidulin符号（すなわち $d + d^ot = n$）では、符号とその双対符号における最小ランク符号語の数が等しい。
• 本稿では、$d + d^ot = n+1$ となるケースがGabidulin符号では発生しないことを証明し、これは双対AMRDケースが正確に $d + d^ot = n$ に一致することを示唆する。
• Gabidulin符号のランク分布は、$n$, $m$, $d$, $d^ot$, および $A_d(C), dots, A_{n-d^ot}(C)$ によって完全に決定され、MRDでない場合にもパラメータ決定性の結果が拡張される。