[論文レビュー] A decoding algorithm for Twisted Gabidulin codes

Tovohery Hajatiana Randrianarisoa, Joachim Rosenthal|arXiv (Cornell University)|May 22, 2017

Coding theory and cryptography参考文献 6被引用数 5

ひとこと要約

本稿では、$ℚ_q$ 上では線形だが $ℚ_{q^n}$ 上では線形でない twisted Gabidulin コードの多項式時間デコーディングアルゴリズムを提示する。条件 $r = t + k \mod n$ の下で、Kötter-Kschischang デコーディングを変形し、線形方程式系を解いてメッセージ多項式を回復する。線形化多項式の性質と、先頭係数を特定するための2次方程式を活用することで、残りの部分については Gabidulin デコーダーを効率的に適用可能となる。

ABSTRACT

In this work, we modify the decoding algorithm for subspace codes by Koetter and Kschischang to get a decoding algorithm for (generalized) twisted Gabidulin codes. The decoding algorithm we present applies to cases where the code is linear over the base field $\mathbb{F}_q$ but not linear over $\mathbb{F}_{q^n}$.

研究の動機と目的

• 一般化された twisted Gabidulin コードのデコーディングアルゴリズムを開発すること。このコードは $ℚ_q$ 上では線形だが $ℚ_{q^n}$ 上では線形でない。既存のデコーディング手法に欠落している点を補完すること。
• Kötter-Kschischang デコーディングフレームワークを、twisted Gabidulin コードの $ℚ_{q^n}$ 上での非線形構造に対応できるように適応すること。
• デコーディング処理が多項式時間で実行されることを保証し、ネットワークコーディングや暗号技術への実用的応用を可能にすること。
• コードが $ℚ_{q^n}$ 上で線形でない場合に、先頭係数 $f_0$ を回復するという主な課題を、線形化多項式の関係から導出された方程式系を用いて解くこと。

提案手法

• 受信語を、線形化多項式環内の多項式 $P_1$ と $P_2$ に対応する変数 $a_i$ と $b_i$ の線形方程式系として定式化する。
• すべての $i$ に対して $P_1(\alpha_i) - P_2(r_i) = 0$ を満たす2つの一次独立な解 $\{a_i, b_i\}$ と $\{a'_i, b'_i\}$ を見つける。これらは候補となるメッセージ多項式を表す。
• 線形化多項式環における多項式除法を用い、商 $P_1/P_2$ が受信語と整合するかを確認する。
• 条件 $r = t + k \mod n$ の下で、2つの解の係数比を等置することにより、$f_0$ に関する2次方程式を導出する。関係式は $\frac{a_0 - b_0 f_0}{a_{n-t} - b_{n-t-k} \eta^{q^{n-t-k}} f_0^{q^{r+n-t-k}}} = \frac{a'_0 - b'_0 f_0}{a'_{n-t} - b'_{n-t-k} \eta^{q^{n-t-k}} f_0^{q^{r+n-t-k}}}$ である。
• 得られた $f_0$ に関する2次方程式を解き、メッセージ多項式の先頭係数を回復する。
• 受信語から $f_0 x + \eta f_0^{q^r} x^{q^k}$ の寄与を除去し、残りのメッセージ多項式 $g(x) = f_1 x + \cdots + f_{k-1} x^{q^{k-2}}$ を標準的な Gabidulin デコーディングアルゴリズムで回復する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_q$ 上では線形だが $\mathbb{F}_{q^n}$ 上では線形でない twisted Gabidulin コードに対して、デコーディングアルゴリズムを構築可能か？ 既存の Gabidulin デコーディング手法が失敗する状況においても。
• RQ2 非 $\mathbb{F}_{q^n}$-線形性の下で、特に $r = t + k \mod n$ の条件下で、先頭係数 $f_0$ を回復するのを可能にする代数的構造は何か？
• RQ3 Kötter-Kschischang デコーディングフレームワークを、これらのコードのねじれ構造に対応できるように、$\mathbb{F}_{q^n}$-線形性を完全に必要とせずに適応可能か？
• RQ4 提案手法の計算量は何か？ また、最適化された補間を用いることで、$\mathcal{O}(n^3)$ を下回る可能性はあるか？

主な発見

• デコーディングアルゴリズムは多項式時間で実行され、全体の計算量は $\mathcal{O}(n^3)$ であり、[7] の補間手順を用いることで $\mathcal{O}(n^2)$ にまで低減可能である。
• 本アルゴリズムは $\mathbb{F}_{q^n}$ 上で線形でない twisted Gabidulin コードを正しくデコードでき、ランク距離デコーディングの適用範囲を標準 Gabidulin コードを超えて拡張する。
• 主な革新点は、$\mathbb{F}_q$ 上の線形方程式系の2つの一次独立解から導出される $f_0$ に関する2次方程式を解くことにある。これにより、完全なメッセージ多項式が回復可能となる。
• 条件 $r = t + k \mod n$ の下で、$f_0$ に関する方程式が閉形式で解けることが保証され、アルゴリズムの安定性が確保される。
• 本手法は、残りのメッセージ部分に対して既存のあらゆる Gabidulin デコーディングアルゴリズムと互換性があり、エンドツーエンドのデコーディング効率を保証する。
• 本アプローチにより、非 $\mathbb{F}_{q^n}$-線形な twisted Gabidulin コードが効率的にデコード可能であることが示され、暗号技術やネットワークコーディングへの応用の道が開かれる。