[論文レビュー] Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Yves Aubry, Elena Berardini+2 more|arXiv (Cornell University)|Apr 17, 2019

Coding theory and cryptography参考文献 23被引用数 8

ひとこと要約

本稿は、有限体上に定義されたアーベル曲面を用いた代数幾何学的（AG）符号の理論的枠組みを構築し、最小距離に対する一般下界を確立するとともに、低算術的 genus の絶対的既約曲線を含まないという条件下でそれを精緻化する。主たる貢献は、特に楕円曲線のワイエル制限や非正則的偏極を持つ曲面を含む、genus ≤2 の曲線を含まない単純アーベル曲面に対して、より鋭い下界を導出することであり、q や r が大きい場合に符号性能が向上することを示している。

ABSTRACT

We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.

研究の動機と目的

• 有限体上に定義されたアーベル曲面から構成されるAG符号の最小距離に対する一般下界を確立すること。
• 固定された ℓ に対して、アーベル曲面が算術的 genus ≤ℓ の絶対的既約曲線を含まないという仮定の下で、この下界を精緻化すること。
• 特に、楕円曲線のワイエル制限や非正則的偏極を持つ曲面を含む、genus 0, 1, 2 の曲線を含まないアーベル曲面を特定・特徴づけること。
• ℓ=2 の精緻化された下界が ℓ=1 の下界に対して顕著に改善されることを示す明示的条件を提供すること。
• アーベル曲面の幾何的・算術的性質を活用して、より良い最小距離を達成するAG符号の実用的構成を可能とすること。

提案手法

• 豊富な除数の幾何とワイエルの点数評価を用いて、アーベル曲面上の評価符号の最小距離に対する一般下界を導出する。
• 付随公式を用いて、曲面上の豊富な除数 H の自己交叉数 H² を計算する。
• フロベニウス自己準同型のトレースとゼータ関数を用いて、#A(𝔽_q) と Tr(A) を計算し、最小距離の下界に不可欠な要素とする。
• 低genus の曲線の欠如に依存する精緻化された下界を導入し、このような曲線の距離損失への寄与をモデル化する関数 φ(x) を用いる。
• ハウ、ナールト、リッツェンターラーの等分接続分類に関する結果を応用し、genus ≤2 の曲線を含まないアーベル曲面を特徴づける。
• 3つの場合について、#A(𝔽_q)、Tr(A)、H² の明示的値を計算する：genus-2 曲線のヤコビアン、楕円曲線の積、楕円曲線のワイエル制限。

実験結果

リサーチクエスチョン

• RQ1 幾何的不変量（H² と Tr(A)）を用いて、アーベル曲面上のAG符号の最小距離に対する一般下界を確立できるか？
• RQ2 算術的 genus ≤ℓ の絶対的既約曲線が存在しないという条件が、アーベル曲面上のAG符号の最小距離にどのように影響するか？
• RQ3 ワイエル制限や非正則的偏極を持つ曲面などの特定のクラスのアーベル曲面において、低genus の曲線が存在しないのはどのような場合か？
• RQ4 ℓ=2 の精緻化された下界が、ℓ=1 の下界に対して、アーベル曲面上の符号において顕著な改善をもたらすか？
• RQ5 楕円曲線 E over 𝔽_{q²} のトレースと等分接続類にどのような明示的条件を課すと、そのワイエル制限が 𝔽_q 上に genus 0, 1, 2 の絶対的既約曲線を含まないか？

主な発見

• 一般下界は、d(A,rH) ≥ #A(𝔽_q) − rH²(q+1−Tr(A)+m) − r²mH²/2 で与えられ、ここで m = ⌊2√q⌋ である。
• genus ≤ℓ の絶対的既約曲線を含まない単純アーベル曲面では、ℓ が大きくなるほど精緻化された下界が顕著に改善される。特に ℓ=2 の場合が顕著である。
• q が十分に大きく、かつ 1 < r < √q の場合、ℓ=2 の下界は ℓ=1 の下界よりも厳密に優れているため、符号性能が向上することが示唆される。
• 特定のトレース（例：Tr(E/𝔽_{q²}) = 2q−1 または q）を持つ 𝔽_{q²} 上の楕円曲線のワイエル制限は、𝔽_q 上に genus ≤2 の曲線を含まないアーベル曲面を生成する。
• 𝔽_q 上の非正則的偏極を持つアーベル曲面は、算術的 genus 0, 1, 2 の絶対的既約曲線を含まない。
• 3つの場合について、#A(𝔽_q)、Tr(A)、H² の明示的公式を提供する：genus-2 曲線のヤコビアン、楕円曲線の積、ワイエル制限。これにより、実用的な符号構成が可能となる。