[論文レビュー] Symbolic Hamburger-Noether expressions of plane curves and construction of AG codes

Antonio Campillo, José Ignacio Farrán|ArXiv.org|Oct 28, 1999

Coding theory and cryptography参考文献 11被引用数 3

ひとこと要約

本稿では、平面曲線の有理特異点におけるリーマン・ロッホ空間 L(G) およびウェイエルシュトラウス半群をアルゴリズム的に計算するための記号的ハムバーグァー・ノイマン表現を導入し、ハムバーグァー・ノイマン展開と仮想通過条件を組み合わせた記号的計算により、代数幾何（AG）符号、特にフェング＝ラオ1点符号の有効な構築と復号化を可能にする。

ABSTRACT

We present an algorithm to compute bases for the spaces L(G), provided G is a rational divisor over a non-singular absolutely irreducible algebraic curve, and also another algorithm to compute the Weierstrass semigroup at P together with functions for each value in this semigroup, provided P is a rational branch of a singular plane model for the curve. The method is founded on the Brill-Noether algorithm by combining in a suitable way the theory of Hamburger-Noether expansions and the imposition of virtual passing conditions. Such algorithms are given in terms of symbolic computation by introducing the notion of symbolic Hamburger-Noether expressions. Everything can be applied to the effective construction of Algebraic Geometry codes and also in the decoding problem of such codes, including the case of the Feng and Rao scheme for one-point codes.

研究の動機と目的

• 非特異曲線上の有理被覆の G に対して、リーマン・ロッホ空間 L(G) をアルゴリズム的に計算する手法を開発すること。
• 特異平面曲線モデルの有理分岐点におけるウェイエルシュトラウス半群および関連関数を計算すること。
• ハムバーグァー・ノイマン展開と仮想通過条件を統合する記号的枠組みを提供し、アルゴリズム的効率を確保すること。
• とりわけフェング＝ラオ方式下での1点符号の構築と復号化を支援すること。
• 代数幾何に基づく記号的計算技術を活用して、AG符号の実用的実装を可能にすること。

提案手法

• 局所的曲線特異点を代数的に表現・操作するための記号的ハムバーグァー・ノイマン表現を計算的道具として導入する。
• ブリル・ノイマンのアルゴリズムとハムバーグァー・ノイマン展開を組み合わせ、L(G) 空間の基底を体系的に計算する。
• 仮想通過条件を用いて被覆条件を記号的に強制し、線形系列の計算における正しさを保証する。
• 記号的枠組みを用いて、各ギャップおよびノンギャップに対応するウェイエルシュトラウス半群の生成子と関連関数を抽出する。
• 記号的計算システムと互換性のある方法でアルゴリズムを実装し、再現可能性と効率性を確保する。
• 平面曲線特異点の構造を活用して、有理分岐点におけるウェイエルシュトラウス半群の計算の複雑さを低減する。

実験結果

リサーチクエスチョン

• RQ1 非特異代数曲線における有理被覆に対して、記号的手法を用いてリーマン・ロッホ空間 L(G) をどのように効果的に計算できるか？
• RQ2 どのような記号的表現が、平面曲線の特異有理分岐点におけるウェイエルシュトラウス半群のアルゴリズム的計算を可能にするか？
• RQ3 ハムバーグァー・ノイマン展開を仮想通過条件とどのように統合し、線形系列をアルゴリズム的に計算できるか？
• RQ4 記号的ハムバーグァー・ノイマン表現は、フェング＝ラオ方式下での1点AG符号の構築をどのように支援するか？
• RQ5 記号的代数幾何に基づいて、AG符号の構築と復号化の両方を可能にする計算フレームワークは何か？

主な発見

• 著者らは、記号的ハムバーグァー・ノイマン表現を用いた L(G) 空間の基底を計算する包括的なアルゴリズム的フレームワークを提示する。
• 本手法は、平面曲線の有理特異点におけるウェイエルシュトラウス半群および関連関数を効果的に計算できた。
• ハムバーグァー・ノイマン展開と仮想通過条件の統合により、線形系列の正確かつ体系的な計算が可能になった。
• 本アプローチは、フェング＝ラオ方式下の1点AG符号の構築に対しても効果的であり、記号的計算により実現された。
• 記号的枠組みにより、すべての計算がアルゴリズム的かつ再現可能であり、コンピュータ代数システムへの実装に適していることが保証された。
• 計算された半群構造と関数基底を活用することで、AG符号の復号問題に対する構成的解決策が提供された。