[論文レビュー] Algebraic-geometric codes from vector bundles and their decoding

Valentin Savin|ArXiv.org|Mar 7, 2008

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

ひとこと要約

本稿では、代数曲線上の任意のランクのベクトルバンドルの全局的セクションを用いた代数幾何コードの一般化された構成を提案する。これは、古典的およびインタリーブドAGコードを拡張するものであり、ベクトルバンドルの弱安定性条件のもとで、$ t^* - g/2 $ までの誤りを訂正できる。ここで $ t^* $ は設計容量、$ g $ は曲線の種数である。この方法により、より小さな体上での効率的なデコードが可能になる。

ABSTRACT

Algebraic-geometric codes can be constructed by evaluating a certain set of functions on a set of distinct rational points of an algebraic curve. The set of functions that are evaluated is the linear space of a given divisor or, equivalently, the set of section of a given line bundle. Using arbitrary rank vector bundles on algebraic curves, we propose a natural generalization of the above construction. Our codes can also be seen as interleaved versions of classical algebraic-geometric codes. We show that the algorithm of Brown, Minder and Shokrollahi can be extended to this new class of codes and it corrects any number of errors up to $t^{*} - g/2$, where $t^{*}$ is the designed correction capacity of the code and $g$ is the curve genus.

研究の動機と目的

• 代数曲線上の任意のランクのベクトルバンドルへの古典的代数幾何コードの一般化。
• ベクトルバンドルを用いた統一的な枠組みにより、古典的AGコードとインタリーブドAGコードの構成を統合すること。
• ブラウン、ミンダー、ショクロライ氏のデコードアルゴリズムを、この広範なコードクラスへと拡張すること。
• 特にベクトルバンドルの弱安定性を用いて、コード次元および最小距離の境界を確立すること。
• コードが大きな体 $ \mathbb{F}_Q $ 上にあっても、ベース体を小さく保つことでデコードの計算量を管理可能に保つこと、$ \mathbb{F}_q $ で動作させること。

提案手法

• 代数曲線 $ \mathcal{C} $ 上の $ n $ 個の相異なる有理点 $ P_1, \dots, P_n $ におけるランク $ r $ ベクトルバンドル $ E $ の全局的セクションを評価することでコードを構築する。
• コード $ C(\mathcal{P}, E) $ を評価写像 $ \text{ev}: H^0(\mathcal{C}, E) \to \mathbb{F}_Q^n $ の像として定義する。ここで $ Q = q^r $ である。
• ベクトルバンドル $ E $ が弱安定であると仮定して、リーマン・ロッホ定理を用いてコード次元の下界を導出する。
• ブラウン、ミンダー、ショクロライのデコードアルゴリズムを応用し、$ \mathbb{F}_q $ 上の双一次方程式系への還元によってデコードを実行する。
• すべての $ i $ に対して $ v(P_i) = \bar{f}(P_i) \otimes w(P_i) $ が成り立つならば、$ n > \mu(E \otimes L) + t + g $ の条件下で $ v = \bar{f} \otimes w $ が成り立つことを利用する。
• 線分束の非自明な拡張を用いて弱安定ベクトルバンドルを構成し、任意の線分束 $ L $ に対して $ \deg(L) \leq \mu(E) $ が成り立つように保証する。

実験結果

リサーチクエスチョン

• RQ1 代数幾何コードは、線分束を超えて、代数曲線上の任意のベクトルバンドルへ一般化可能か？
• RQ2 ベクトルバンドルの使用は、特に曲線の種数に応じて、コード次元および最小距離にどのように影響するか？
• RQ3 インタリーブドAGコードのデコードアルゴリズムは、高ランクのベクトルバンドルから構築されたコードへと拡張可能か？
• RQ4 ベクトルバンドルにどのような条件を課すと、コードパラメータが良好に保たれ、デコードが可能になるか？
• RQ5 デコードプロセスにおいて適切なベクトルバンドルおよび線分束を選択することで、どの程度デコード性能が向上するか？

主な発見

• 提案されたコードは、ランク1の古典的AGコードと、線分束の直和からなるインタリーブドAGコードを、任意のベクトルバンドルを用いた統一的枠組みへ一般化する。
• ベクトルバンドルが弱安定である限り、リーマン・ロッホ定理によりコード次元が下界つき、Singleton欠际は曲線の種数 $ g $ で上界つきである。
• デコードアルゴリズムは $ t^* - g/2 $ 個までの誤りを訂正可能であり、これはインタリーブドコードに関する先行研究を拡張するものである。ここで $ t^* $ は設計訂正能力である。
• 任意のランク $ r $ および次数 $ e $ に対して、種数 $ g \geq 2 $ の曲線上に弱安定ベクトルバンドルが存在し、線分束の非自明な拡張によって構成可能である。
• デコード処理は $ \mathbb{F}_q $ 上で実行され、コードが大きな体 $ \mathbb{F}_Q $、$ Q = q^r $ 上にあっても、効率的な計算が可能になる。
• キーとなるデコード条件 $ n > \mu(E \otimes L) + t + g $ により、双一次方程式系に一意解が存在し、誤り訂正が保証される。