[論文レビュー] A Decoding Algorithm for Rank Metric Codes

Tovohery Hajatiana Randrianarisoa|arXiv (Cornell University)|Dec 19, 2017

Coding theory and cryptography被引用数 5

ひとこと要約

本稿では、多項式補間と線形多項式上のベルレカンプ・マッセイに類似した手法に基づき、ランク距離符号、特にガビデュリン符号およびねじれガビデュリン符号のための新しい符号化アルゴリズムを提示する。シンドローム計算の代わりに、既知の係数制約と再帰関係を用いて誤り多項式を直接再構成することで、誤り位置多項式の根を求めない効率的な符号化を実現し、ねじれガビデュリン符号に対しても最小限の修正で一般化可能である。

ABSTRACT

In this work we will present algorithms for decoding rank metric codes. First we will look at a new decoding algorithm for Gabidulin codes using the property of Dickson matrices corresponding to linearized polynomials. We will be using a Berlekamp-Massey-like algorithm in the process. We will show the difference between our and existing algorithms. Apart from being a new algorithm, it is also interesting that it can be modified to get a decoding algorithm for general twisted Gabidulin codes.

研究の動機と目的

• 従来のシンドローム計算や誤り位置多項式の根の特定に依存しないガビデュリン符号の新しい符号化アルゴリズムの開発を目的とする。
• ガビデュリン符号の一般化である追加パラメータを有するねじれガビデュリン符号に対しても同アルゴリズムを拡張することを目的とする。
• 線形多項式およびディクソン行列の構造的性質を活用して符号化の複雑さを簡略化する手法を提供することを目的とする。
• 類似する行列構造を用いることで、リード・ソロモン符号など他の符号に対しても同様の手法が適用可能であることを示すこと。
• 根の特定という計算コストの高いステップを再帰的回復に置き換えることで、計算効率を向上させることを目的とする。

提案手法

• アルゴリズムは、受信ベクトルから組み合わせ多項式 f(x) + g(x) を補間することで開始する。ここで f(x) はメッセージ多項式、g(x) は誤り多項式である。
• f(x) の既知の次数および係数制約（q-次数が最大で k−1）を活用し、g(x) の部分係数を推定する。これらの係数を用いて、g(x) の完全な再構成を実行する。
• 補間された多項式にベルレカンプ・マッセイに類似したアルゴリズムを適用し、g(x) の係数に対する再帰関係を導出する。
• 符号化問題を、P(A) = u₀ + u₁A + u₂A^{q^l} + A^{q^l+1} = 0 の形の単変数方程式に帰着させる。この方程式は場合分けで解かれる。
• P(A) = 0 の解を用いて g₀ と gₖ を回復し、これにより再帰関係を介して誤り多項式の完全な再構成が可能になる。
• 標準的なフロベニウス自己準同型 x ↦ x^q を x ↦ x^{q^s} に置き換えることで、アルゴリズムをねじれガビデュリン符号に一般化する。

実験結果

リサーチクエスチョン

• RQ1 ガビデュリン符号の符号化アルゴリズムを、シンドローム計算や誤り位置多項式の根の特定に依存せずに構築可能か？
• RQ2 線形多項式およびディクソン行列の構造的性質をどのように活用することで、符号化プロセスを簡略化できるか？
• RQ3 提案されたアルゴリズムは、任意のパrameterを持つねじれガビデュリン符号へどの程度一般化可能か？
• RQ4 ランク距離符号の符号化において、高次多項式の根を求める計算コストの高いステップを回避することは可能か？
• RQ5 類似する行列論的構造を用いることで、リード・ソロモン符号など他の符号に対しても同様のアプローチを適応可能か？

主な発見

• 提案されたアルゴリズムは、従来の符号化手法で最も計算コストの高いシンドローム計算や誤り位置多項式の根の特定を回避する。
• ベルレカンプ・マッセイに類似したプロセスを補間多項式に適用し、再帰関係を用いて誤り多項式を再構成することで、ガビデュリン符号の符号化に成功している。
• 標準的なフロベニウス自己準同型を x^{q^s} に置き換えることで、アルゴリズムはねじれガビデュリン符号に対しても一般化可能であり、この符号族のすべてのパrameterセットで符号化が可能である。
• 符号化プロセスは、P(A) = u₀ + u₁A + u₂A^{q^l} + A^{q^l+1} = 0 の形の単変数方程式に帰着され、3つの異なる解のケースが存在する。
• アルゴリズムの計算量は既存の手法と同等であるが、根の特定の代わりに再帰的回復を採用することで、実用的な面で効率性の向上が期待できる。
• 著者らは、巡回行列とコーゲン＝ラドス型定理を用いることで、同様のアプローチがリード・ソロモン符号に対しても適用可能である可能性を示唆している。