[論文レビュー] Properties of subspace subcodes of optimum codes in rank metric

E.M. Gabidulin, Pierre Loidreau|ArXiv.org|Jul 25, 2006

Coding theory and cryptography被引用数 3

ひとこと要約

この論文は、ランク距離における最大ランク距離（MRD）符号の部分空間部分符号の構造を特徴づけ、それらが部分体上のより小さなMRD符号の直和に同値であることを証明している。多項式時間でのデコード化アルゴリズムを導入し、部分体部分符号が名目上の能力を超えてより多くの誤りを訂正できることを示しており、その構造はGLₙ(GF(q))変換によって完全に決定される。

ABSTRACT

Maximum rank distance codes denoted MRD-codes are the equivalent in rank metric of MDS-codes. Given any integer $q$ power of a prime and any integer $n$ there is a family of MRD-codes of length $n$ over $\FF{q^n}$ having polynomial-time decoding algorithms. These codes can be seen as the analogs of Reed-Solomon codes (hereafter denoted RS-codes) for rank metric. In this paper their subspace subcodes are characterized. It is shown that hey are equivalent to MRD-codes constructed in the same way but with smaller parameters. A specific polynomial-time decoding algorithm is designed. Moreover, it is shown that the direct sum of subspace subcodes is equivalent to the direct product of MRD-codes with smaller parameters. This implies that the decoding procedure can correct errors of higher rank than the error-correcting capability. Finally it is shown that, for given parameters, subfield subcodes are completely characterized by elements of the general linear group ${GL}_n(\FF{q})$ of non-singular $q$-ary matrices of size $n$.

研究の動機と目的

• ランク距離における最適符号から導かれる部分空間部分符号の構造を特徴づける。
• これらの部分符号の誤り訂正能力が、その名目上の設計限界を超えて拡張可能かどうかを調査する。
• 部分空間部分符号のMRD符号に適用可能な多項式時間デコード化アルゴリズムを開発する。
• 一般線形群GLₙ(GF(q))がMRD符号の部分体部分符号を分類する役割を特定する。

提案手法

• Frobenius自己同型を用いて、GF(qⁿ)上のMRD符号をランク距離におけるリード・ソロモン符号の類似物として分析し、Frobenius自己同型に基づく生成行列およびパリティーチェック行列を用いる。
• Frobenius自己同型を適用して、符号語の成分をq進行列に拡張し、ランク距離の計算を可能にする。
• GF(qⁿ)/GF(qˢ)の基底を用いて元の行列を展開することで、部分体部分符号(G|GF(qˢ))のパリティーチェック行列を導出する。Frobenius作用を介して構造を保存する。
• 得られたパリティーチェック行列が、GLₙ(GF(q))変換の下で、GF(qˢ)上のより小さなMRD符号のn/s個のブロック対角行列に同値であることを示す。
• 部分符号をより小さなMRD符号に還元することでデコード化アルゴリズムを構築し、各ブロックに対して既知の高速デコード手順を活用する。
• 行列の相似変換および置換行列を用いて、部分符号のパリティーチェック行列をより小さなMRD符号の直和に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ランク距離におけるMRD符号の部分空間部分符号はどのように構造化されており、その同値類は何か？
• RQ2 部分空間部分符号のデコード能力は、その名目上の誤り訂正閾値を超えることができるか？
• RQ3 一般線形群GLₙ(GF(q))は、MRD符号の部分体部分符号を分類する上で果たす役割は何か？
• RQ4 部分空間部分符号の次元および最小距離は、元のMRD符号とどのように関係しているか？
• RQ5 部分空間部分符号のMRD符号に対して多項式時間デコード化アルゴリズムを設計可能か？

主な発見

• MRD符号の部分空間部分符号は、部分体がGF(qˢ)である場合、より小さなMRD符号の直和に同値である。
• 部分体部分符号(G|GF(qˢ))のパリティーチェック行列は、GLₙ(GF(q))変換の下で、GF(qˢ)上のn/s個のより小さなMRD符号のブロック対角行列に同値である。
• 部分符号のデコード化を、構成するより小さなMRD符号のデコード化に還元することで、多項式時間デコード化アルゴリズムを設計した。
• 部分体部分符号は、確率P_decoding = q^{-(n−C)(t−C) + (n/s)q^{-1} + O(q^{-2})}でt > C個の誤りを訂正可能であり、名目上の能力を超えた誤り耐性が向上していることを示している。
• 部分体部分符号の構造は、GLₙ(GF(q))の要素によって完全に決定され、すべてのこのような部分符号が、パリティーチェック行列に作用する1つの可逆行列Sから生じることを意味する。
• d−2 < sのとき、部分符号の構成コードは、長さs、次元s−d+1、最小ランク距離dのMRD符号であり、分解の最適性が確認される。