[論文レビュー] Gabidulin Decoding via Minimal Bases of Linearized Polynomial Modules

Anna-Lena Trautmann, Margreta Kuijper|arXiv (Cornell University)|Aug 11, 2014

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

ひとこと要約

この論文は、線形化多項式モジュールの最小基底を用いて、受信語に対するすべての最も近いコドワードを計算するモジュール論的デコーディングアルゴリズムを提示する。予測可能な先頭単項式（PLM）性質とパrametrizationを活用することで、一意デコーディング半径内では多項式時間でデコーディングを達成し、半径が $ n-k $ より小さい範囲ではチャーズのリストデコーディングを上回る性能を示す。これにより、リード・ソロモンデコーディングとの関連性が強化される。

ABSTRACT

We show how Gabidulin codes can be decoded via parametrization by using interpolation modules over the ring of linearized polynomials with composition. Our decoding algorithm computes a list of message words that correspond to all closest codewords to a given received word. This involves the computation of a minimal basis for the interpolation module that corresponds to the received word, followed by a search through the parametrization for valid message words. Our module-theoretic approach strengthens the link between Gabidulin decoding and Reed-Solomon decoding. Two subalgorithms are presented to compute the minimal basis, one iterative, the other an extended Euclidean algorithm. Both of these subalgorithms have polynomial time complexity. The complexity order of the overall algorithm, using the parametrization, is then compared to straightforward exhaustive search as well as to chase list decoding.

研究の動機と目的

• 与えられた受信語に対して、すべての最も近いコドワードを特定する多項式時間のリストデコーディングアルゴリズムを構築すること。
• モジュール論的パrametrizationを用いて、ガビドゥリンデコーディングとリード・ソロモンデコーディングの間の概念的およびアルゴリズム的類似性を強化すること。
• 提案されたデコーディングアルゴリズムの計算複雑性を分析し、チャーズのリストデコーディングや全探索と比較すること。
• 一意デコーディング半径とジョンソン半径の間の領域において、ガビドゥリンコードに対して多項式サイズのリストが存在するかどうかを調査すること。
• 補間モジュールの最小基底を計算する2つの効率的サブアルゴリズム（反復的および拡張ユークリッド法）を提供すること。

提案手法

• ガビドゥリンリストデコーディングを、線形化多項式環上の補間問題として定式化し、4つの $ q $-線形化多項式を用いて補間モジュールを定義する。
• 最小基底の予測可能な先頭単項式（PLM）性質を活用して、補間条件を満たす解の体系的なパラメータ化を可能にする。
• 補間モジュールの最小基底を、反復的および線形化多項式用の拡張ユークリッドアルゴリズムの2つのサブアルゴリズムを用いて計算する。
• パラメータ化ステップにより、基底を走査して最小ランク距離内にあるコドワードに対応するすべての有効なメッセージ多項式を抽出する。
• 代数的構造とモジュールの性質を活用することで、全探索を回避する構造的なデコーディングプロセスを設計する。
• 時間計算量を、チャーズのリストデコーディングと全探索と比較することで、複雑性解析を実施する。

実験結果

リサーチクエスチョン

• RQ1 一意デコーディング半径を超えて、構造的な代数的アプローチを用いてガビドゥリンコードを効率的にリストデコーディングできるか？
• RQ2 デコーディング半径が $ n-k $ より小さい場合、ガビドゥリンコードのリストデコーディングの計算複雑性はいかほどか？
• RQ3 提案されたモジュール論的手法の複雑性は、チャーズのリストデコーディングや全探索と比べてどの程度か？
• RQ4 リード・ソロモンデコーディングで用いられるパラメータ化フレームワークを、ガビドゥリンコードにどの程度まで適応できるか？
• RQ5 ガビドゥリンコードに対してジョンソン半径内に多項式サイズのリストが存在するか？また、そのようなリストは多項式時間で計算可能か？

主な発見

• 提案されたアルゴリズムは、一意デコーディング半径内では多項式時間の計算量を達成し、既知の一意デコーダーと同等の複雑性を示す。
• デコーディング半径が $ n-k $ より小さい場合、アルゴリズムの計算量はチャーズのリストデコーディングアルゴリズムを厳密に上回る。
• デコーディング半径が $ n-k $ 以上の場合、アルゴリズムの計算量のオーダーはチャーズアルゴリズムと一致する。
• すべてのデコーディング半径が $ n/2 $ より小さい範囲では、アルゴリズムは全探索リストデコーディングを上回る。
• 反復的および拡張ユークリッドサブアルゴリズムによる最小基底の計算は、効率的であり、既存のアルゴリズムと同等であるが、今やリストデコーディングに再利用可能であることが示された。
• パラメータ化アプローチにより、1つのコドワードではなくすべての最も近いコドワードを効果的に特定できるようにデコーディング枠組みが一般化され、完全なリストデコーディングが可能になった。