[論文レビュー] List Decoding of Lifted Gabidulin Codes via the Plücker Embedding

Anna-Lena Trautmann, Natalia Silberstein+1 more|arXiv (Cornell University)|Jan 10, 2013

Cooperative Communication and Network Coding参考文献 24被引用数 5

ひとこと要約

本稿では、Pl"{u}cker埋め込みを用いた、リフトド・ガビデュリン符号の新規リストデコードアルゴリズムを提示する。この手法は、これらの符号のPl"{u}cker座標を線形ブロック符号として表現し、受信語からのサブスペース距離内にあるすべてのコドワードを列挙するために、線形および二値方程式の連立を解く。主な貢献は、任意の $ q, n, k, \delta $ に対して動作する一般化可能でパrameterに柔軟なデコード手法であり、$ n $ に関して多項式時間、$ k $ に関して指数的依存性を示すが、実用的には $ k $ が小さいため好ましい。

ABSTRACT

Codes in the Grassmannian have recently found an application in random network coding. All the codewords in such codes are subspaces of $\F_q^n$ with a given dimension. In this paper, we consider the problem of list decoding of a certain family of codes in the Grassmannian, called lifted Gabidulin codes. For this purpose we use the Plücker embedding of the Grassmannian. We describe a way of representing a subset of the Plücker coordinates of lifted Gabidulin codes as linear block codes. The union of the parity-check equations of these block codes and the equations which arise from the description of a ball around a subspace in the Plücker coordinates describe the list of codewords with distance less than a given parameter from the received word.

研究の動機と目的

• 任意のパrameter $ q, n, k, \delta $ に対して動作するリフトド・ガビデュリン符号の一般化されたリストデコードアルゴリズムの開発を目的とする。
• グラスマン多様体のPl"{u}cker埋め込みを活用し、部分空間およびその距離制約を代数的に表現する。
• パリティーチェック条件およびPl"{u}cker座標におけるボール制約から導かれる線形および二値方程式の連立に、リストデコード問題を還元する。
• 異なる次元の受信部分空間および異なる長さの符号の和集合に対しても適用可能なフレームワークを提供する。
• Pl"{u}cker座標の構造とその代数的関係に注目することで、ストレージおよび計算複雑度を最小限に抑える。

提案手法

• リフトド・ガビデュリン符号をPl"{u}cker埋め込みにより表現し、各 $ k $ 次元部分空間を $ \mathbb{P}^{\binom{n}{k}-1} $ 内のPl"{u}cker座標に写像する。
• リフトド・ガビデュリン符号のPl"{u}cker座標の部分集合を線形ブロック符号としてモデル化し、その代数的構造からパリティーチェック方程式を導出する。
• シューベルト計算の結果を用いて、グラスマン多様体における受信部分空間の半径 $ e $ のボールを、Pl"{u}cker座標における線形方程式系として定式化する。
• 符号のパリティーチェック方程式とボール方程式、およびPl"{u}cker関係式（例：二次的Pl"{u}cker関係式）を組み合わせ、線形および二値方程式の連立を構築する。
• 得られた連立方程式を解き、受信語からのサブスペース距離 $ 2e $ 内のすべてのコドワードを列挙する。解空間は候補のリストに対応する。
• ランク削減技術および行階段形に変換することで、システムを簡略化し、異なる受信部分空間次元に対しても正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 リフトド・ガビデュリン符号は、幾何的制約を代数的方程式に変換するためのPl"{u}cker埋め込みを用いて、リストデコード可能か？
• RQ2 リフトド・ガビデュリン符号の構造は、Pl"{u}cker座標における線形ブロック符号としてどのように表現可能か？ これによりパリティーチェック方程式を導出できるか？
• RQ3 与えられたサブスペース距離内にあるすべてのコドワードを捉える最小の線形および二値方程式の連立とは何か？
• RQ4 このアルゴリズムは、任意の次元の受信部分空間およびリフトド・ガビデュリン符号の和集合に対しても一般化可能か？
• RQ5 正しさを保ちながら、計算効率を向上させるために方程式系のサイズを小さくすることは可能か？

主な発見

• 提案されたアルゴリズムは、Pl"{u}cker座標における線形および二値方程式の連立を解くことで、受信語からの与えられたサブスペース距離内にあるすべてのコドワードを正しく列挙できた。
• 本手法は一般化可能であり、過去の手法が特定の制約を必要としたのに対し、任意のパラメータ $ q, n, k, \delta $ に対して動作する。
• アルゴリズムの複雑度は $ n $ に関して多項式時間、$ k $ に関して指数的依存性を示すが、ネットワーク符号化の応用では $ k $ が通常小さいため、好ましい。
• 方程式系には、リフトド・ガビデュリン符号からのパリティーチェック制約、Pl"{u}cker空間におけるボール制約、およびPl"{u}cker関係式が含まれており、幾何的・代数的整合性を保証する。
• 受信部分空間の次元が異なる場合でも、どのPl"{u}cker座標を0に制約するかを調整することで、アルゴリズムを拡張可能である。
• リストサイズは、ランクに基づく同型写像（補題17）により、古典的ガビデュリン符号の対応するリストサイズで上限が与えられる。