[論文レビュー] Dual Elliptic Primes and Applications to Cyclotomy Primality Proving

Preda Mihăilescu|ArXiv.org|Sep 26, 2007

Cryptography and Residue Arithmetic参考文献 20被引用数 5

ひとこと要約

本稿では、二重楕円素数（一方の素数が、もう一方の素数を位数に持つ楕円曲線上の有理点の数に等しいような素数のペア）を活用することで、巡回体法（cyclotomy）と楕円曲線法（elliptic curve method）を統合する新しい素数判定アルゴリズムCIDEを提案する。このアルゴリズムは、ヒューリスティックに立方時間計算量を達成し、二次時間で検証可能な証明書を生成する。これにより、CPPとECPPの長所を統合するとともに、巡回体テストにおける超多項式的ボトルネックを解消する。

ABSTRACT

Two rational primes p, q are called dual elliptic if there is an elliptic curve E mod p with q points. They were introduced as an interesting means for combining the strengths of the elliptic curve and cyclotomy primality proving algorithms. By extending to elliptic curves some notions of galois theory of rings used in the cyclotomy primality tests, one obtains a new algorithm which has heuristic cubic run time and generates certificates that can be verified in quadratic time. After the break through of Agrawal, Kayal and Saxena has settled the complexity theoretical problem of primality testing, some interest remains for the practical aspect of state of the art implementable proving algorithms.

研究の動機と目的

• 巡回体素数判定（CPP）の実用的非効率性、すなわち理論的実行時間が超多項式的であるものの実際の性能は優れているという点を是正すること。
• ECPPに多項式時間での終了保証がないという欠陥を、巡回体の構造的利点と楕円曲線算術を統合することで克服すること。
• 二重楕円素数という概念を導入し、巡回体的および楕円曲線的素数判定フレームワークの橋渡しをすること。
• ヒューリスティックに立方時間実行時間と、効率的に検証可能な証明書を生成する新しいアルゴリズムCIDEを開発すること。
• 素数判定証明におけるn−1の大きな因数分解の必要性を、楕円曲線拡張とガロア環構造を用いることで排除すること。

提案手法

• 二重楕円素数を、F_p 上に位数がqである有理点を持つ楕円曲線Eが存在するような有理素数pとqとして定義する。
• 巡回体のガロア環理論をZ/(n·Z) 上の楕円曲線拡張へ拡張し、構造的な代数的テストを可能にする。
• ACEアルゴリズムを用いて、n·ZのL次拡張を特定し、ジャコビ和テストにより適切な楕円曲線の存在を検証する。
• nおよびm（二重素数）の両方に対して巡回体テストを実施し、nおよびmを法とするとき、cyclotomic多項式Φ_s(X) が期待どおりに因数分解されることを確認する。
• アジャイ・クマール・シバクマールのアルゴリズムを用いてジャコビ和を計算することで、このステップをほぼ線形時間に削減し、多項式時間での検証を可能にする。
• [28]の証明書手法を用いて素数証明書を構築し、これは無条件に二次時間で検証可能である。

実験結果

リサーチクエスチョン

• RQ1 巡回体素数判定の超多項式的実行時間は、その構造的利点を保ったまま解消可能か？
• RQ2 二重楕円素数を用いて、巡回体法と楕円曲線法の長所を統合したハイブリッド素数判定アルゴリズムを構築可能か？
• RQ3 ヒューリスティックに立方時間計算量を達成しつつ、決定的かつ証明書ベースの検証プロセスを維持することは可能か？
• RQ4 従来CPPのボトルネックであったジャコビ和の計算を、ヒューリスティクスに依存せずにランダム多項式時間に削減可能か？
• RQ5 楕円曲線拡張を用いたガロア環上での使用により、証明可能かつ高い実用的性能を示す新しいクラスの素数判定法が可能か？

主な発見

• CIDEアルゴリズムは、O(log³⁺ε(n))のヒューリスティック実行時間（二進ビット演算）を達成し、古典的CPPの超多項式的実行時間に比べ顕著な改善を示す。
• CIDEが生成する素数証明書は、O(log²(n))の二次時間で無条件に検証可能であり、ジャコビ和テーブルに依存しない。
• 二重楕円素数の使用により、古典的ルーカス＝レーマー法や巡回体テストにおけるn−1の大きな因数分解の必要性が排除される。
• アジャイ・クマール・シバクマールのアルゴリズムを用いることで、以前は超多項式的であったステップがほぼ線形時間に削減され、全体として立方時間実行が可能になる。
• このアルゴリズムは決定的かつ実用的であり、理論的効率および実世界の実行可能性において、従来のECPPおよびCPPを上回る。
• この手法は、巨大素数に対してAKSアルゴリズムの代替手段として実用的であり、AKSが実際の利用において空間計算量の問題に直面するのを回避する。