[論文レビュー] The structure of dual Schubert union codes

Fernando Piñero|arXiv (Cornell University)|Oct 14, 2014

Coding theory and cryptography被引用数 1

ひとこと要約

本稿では、シューベルト結合符号が、グラスマン多様体の点–直線接続幾何構造から導かれるタンナ符号であることを確立し、k–しきい値プロセスに基づく反復的符号化アルゴリズムを用いる。双対シューベルト結合符号が最小重量の符号語によって生成されることを証明し、グラスマングラフの固有値を用いた最小距離の境界を提示し、グラスマン符号の一般化されたハミング重みに関する新たな知見を提供する。

ABSTRACT

In this article we prove that Schubert union codes are Tanner codes constructed with the point--line incidence geometry that Schubert varieties inherit from the Grassmannian. We do this by first finding an lengthening algorithm for Tanner codes. This algorithm finds the entries of a codeword of a Tanner code from the entries in a given subset of its positions. We find sufficient conditions on the initial set and the initial positions such that a codeword is determined from the component codes only. We find an iterative and systematic encoding algorithm for Schubert union codes with linear complexity. With this encoder we also determine the minimum distance of Schubert union codes.

研究の動機と目的

• シューベルト結合符号をグラスマン多様体の接続幾何構造を用いてタンナ符号として特徴付けること。
• k–しきい値プロセスに基づく反復的で線形時間計算量の符号化アルゴリズムを、タンナ符号用に開発すること。
• 符号語が成分符号と初期情報集合によって完全に決定されるための十分条件を同定すること。
• グラスマングラフのスペクトル的性質を用いてシューベルト結合符号の最小距離の境界を導出すること。
• 一般化されたハミング重みおよび双対グラスマン符号の構造に対する影響を調査すること。

提案手法

• 本稿は、グラスマン多様体の点–直線接続構造から導かれる二部グラフを用いて、シューベルト結合符号をタンナ符号としてモデル化する。
• タンナ符号の符号化に、反復的で不可逆的なk–しきい値プロセスを採用し、初期位置の部分集合からパリティビットを決定する。
• エンコーダは、システム的かつ線形時間符号化を可能にするために、二重拡張リード・ソロモン符号のみを成分符号として使用する。
• グラスマングラフの隣接行列の固有値解析を適用し、符号語のサポートサイズの境界を導出する。
• シューベルト結合がグラスマン多様体から引き継ぐ幾何的構造のおかげで、可除性と重み制約が可能になることを利用している。
• 特定のグラスマン多様体の部分集合が、情報集合および2–フォースティング集合として機能することを確立し、成分符号から符号語全体を完全に回復可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 シューベルト結合符号は、成分符号とグラフ構造を用いた反復的アルゴリズムによって体系的符号化可能か？
• RQ2 初期位置にどのような条件下でタンナ符号の符号語がその成分符号によって完全に決定されるか？
• RQ3 シューベルト結合符号の最小距離とその構成要素であるシューベルト多様体の最小距離との関係は何か？
• RQ4 グラスマングラフの固有値は、グラスマン符号の符号語サポートサイズの境界にどのように影響するか？
• RQ5 グラスマン符号の一般化されたハミング重みは、その部分空間の幾何的性質をどの程度反映しているか？

主な発見

• シューベルト結合符号は、グラスマン多様体の点–直線接続幾何構造から導かれるタンナ符号であることが示された。
• 任意のシューベルト結合符号の双対符号は、その最小重量符号語によって生成される。
• k–しきい値プロセスと成分符号の復号を用いた反復的で線形時間計算量の符号化アルゴリズムが開発された。
• シューベルト結合符号の最小距離は、その構成要素であるシューベルト多様体の最小距離によって下界が与えられる。
• 任意の非ゼロのグラスマン符号符号語 c について、#supp(c) ≥ q^m−ℓ (q^m−ℓ − 1) / (q − 1) が成り立ち、固有値から上界および下界が導出される。
• 双対シューベルト結合符号の一般化されたハミング重みは、各ステップで最大2ずつ増加するため、連続する重みについて d′ − d ≤ 2 が成り立つ。