[論文レビュー] Computing the Automorphism Groups of Hyperelliptic Function Fields

Norbert Goeb|ArXiv.org|May 20, 2003

Algebraic Geometry and Number Theory参考文献 7被引用数 7

ひとこと要約

本稿では、有限体およびその代数閉包上の超楕円関数体の自己同型群を効率的に計算するアルゴリズムを提示する。Brandtの正規形とグレブナー基底技術を活用し、モビウス変換およびスケーリング係数から導かれる多項式系を解くことで、自己同型群の構造を迅速に特定する。この手法は、超楕円曲線ヤコビ多様体の暗号的セキュリティ評価に不可欠な自己同型群の構造を特定可能にする。

ABSTRACT

The purpose of this paper is to propose an efficient method to compute the automorphism group of an arbitrary hyperelliptic function field (genus>1) over a given ground field of characteristic >2 as well as over its algebraic extensions.

研究の動機と目的

• 有限体およびその代数閉包上の超楕円関数体の自己同型群を効率的に計算するアルゴリズムの開発。
• Pohlig-HellmanおよびFrey-Rück攻撃に対する耐性を確保するため、自己同型群が小さいかどうかを確認することで、超楕円曲線ヤコビ多様体の実用的セキュリティテストを提供。
• 一般の超楕円曲線に対してヤコビ多様体の位数を直接計算することが計算的に非現実的であるのを回避し、自己同型群の構造を事前フィルタとして用いる。
• StollのAutomorphismGroup関数のような既存手法の代替を提供し、特に自己同型群が大きい場合にStollの手法が著しく遅くなる状況において有効である。
• Brandtによる自己同型群の有限部分群の分類を用いて、超楕円関数体をそのタイプで特徴づけ、体系的な群構造の回復を可能にする。

提案手法

• Brandtの正規形を用いて、自己同型群のタイプに基づいて超楕円関数体を分類し、与えられた曲線が既知の正規形と一致するかを確認する問題に還元する。
• パラメータ $ t $ の有理関数としての変換 $ x = \frac{\alpha_0 t + \alpha_1}{\alpha_2 t + \alpha_3} $ を適用し、定義多項式 $ D_x $ に代入することで、$ t $ に関する有理関数が得られる。
• スケーリング係数 $ \varphi \in k(t) $ を計算し、$ \varphi^{-2} D_x(x(t)) = D_t $ が成り立つようにする。これにより、変換後の多項式が元の定義方程式と一致する。
• 係数比較により、$ D_t $ と $ \varphi^{-2} D_x(x(t)) $ の係数を一致させることで、パrameter $ \alpha_i $ を含む多項式方程式系を導出する。この方程式系は一貫性を持つ必要がある。
• 得られた方程式系を、基本体 $ k $ 上でグレブナー基底法を用いて解くことで、すべての自己同型をアルゴリズム的に特定可能にする。
• 代数的に閉じていない体の場合、体拡大を用いて手法を拡張し、$ \mathrm{Aut}(F/k) \leq \mathrm{Aut}(\overline{F}/\overline{k}) $ であることを利用して、$ \overline{k} $ 上で計算し、その後 $ k $ に下りる。

実験結果

リサーチクエスチョン

• RQ1 有限体上の超楕円関数体の自己同型群は、除法類の数え上げに依存せずに、効率的に計算可能か？
• RQ2 与えられた超楕円曲線が小さい自己同型群を持つかどうかを、Pohlig-HellmanおよびFrey-Rück攻撃に対する耐性を確保するための必要条件として、どのように特定できるか？
• RQ3 自己同型群が大きい場合に、特にStollのAutomorphismGroup関数と比較して、提案手法の計算パフォーマンスはどの程度か？
• RQ4 代数幾何と多項式系の解法を用いて、個々の元だけでなく、自己同型群の構造そのものをどの程度回復できるか？
• RQ5 下降法を用いて、特性 > 2 の任意の体（非閉体を含む）上の関数体へ、この手法を一般化可能か？

主な発見

• グレブナー基底法を用いて、モビウス変換およびスケーリング係数から導かれる係数一致系を解くことで、超楕円関数体の自己同型群を効率的に計算するアルゴリズムが得られた。
• 種数 $ g \leq 4 $ の場合、1.7 GHz Celeronプロセッサ上でも100秒未塔で実行可能であり、自己同型群のサイズにかかわらず実行時間が安定している。これに対してStollの手法は、大きな群に対して著しく性能が低下する。
• 種数2から4の有限体上での曲線に対して、自己同型群のサイズ2, 4, 12, 24, 48, 240, 672, 1440を正しく同定でき、計算時間は9.2〜90.3秒の範囲で変動した。
• 自己同型群が大きな曲線に対して特に効果的であり、Stollの手法では1347.3秒を要する1440位の群に対しても、本手法では34.1秒で完了した。
• 本手法は個々の自己同型だけでなく、群の構造と生成元を提供するため、単に要素のリストを返す手法よりも、より深い洞察が得られる。
• 本手法により、暗号分野での高速な事前スクリーニングが可能になる。非自明な自己同型群を有する曲線は、安全なヤコビ多様体を生まない可能性が高く、このテストにより、高価な除法類の数え上げを回避できる。