[論文レビュー] Deterministic Primality Testing - understanding the AKS algorithm

Vijay Menon|arXiv (Cornell University)|Nov 15, 2013

Chaos-based Image/Signal Encryption参考文献 1被引用数 3

ひとこと要約

この論文は、2002年に理論的ブレークスルーをもたらした、素数判定の決定的多項式時間アルゴリズムであるAKS素数判定法について、包括的で自己完結的な説明を提供している。数論と代数学の数学的基盤を詳細に解説し、SAGEを用いた実装を行い、理論的意義にかかわらず実用的非効率性が顕在化する。

ABSTRACT

Prime numbers play a very vital role in modern cryptography and especially the difficulties involved in factoring numbers composed of product of two large prime numbers have been put to use in many modern cryptographic designs. Thus, the problem of distinguishing prime numbers from the rest is vital and therefore there is a need to have efficient primality testing algorithms. Although there had been many probabilistic algorithms for primality testing, there wasn't a deterministic polynomial time algorithm until 2002 when Agrawal, Kayal and Saxena came with an algorithm, popularly known as the AKS algorithm, which could test whether a given number is prime or composite in polynomial time. This project is an attempt at understanding the ingenious idea behind this algorithm and the underlying principles of mathematics that is required to study it. In fact, through out this project, one of the major objectives has been to make it as much self contained as possible. Finally, the project provides an implementation of the algorithm using Software for Algebra and Geometry Experimentation (SAGE) and arrives at conclusions on how practical or otherwise it is.

研究の動機と目的

• AKSアルゴリズムの自己完結的理解を提供し、その背後にある数論的および代数的原理に重点を置く。
• AKSアルゴリズムを実世界の応用に実装可能かどうか、その実現可能性と実用性を調査する。
• SAGEを用いた実装を通じて、特に大きな整数に対するAKSアルゴリズムの性能を評価する。
• 効率性と信頼性の観点から、AKSアルゴリズムをミラー＝ラビン法やソロバ・ストラッセン法などの既存の確率的素数判定法と比較する。
• アルゴリズムの正しさと計算量の複雑性を分析することで、決定的素数判定の理解を深める。

提案手法

• 論文は数論の基礎的概念から出発し、素数・合成数、GCD、および剰余算術を含む。
• AKSアルゴリズムを理解するために必要な、多項式環や商環などの基本的な代数的構造を導入する。
• アルゴリズムの核となるのは、修正版フェルマーの小定理であり、$ (x^r - 1) $ および $ n $ を法とする多項式合同式を用いる。
• アルゴリズムは、$ a = 1 $ から $ l $ まで、$ (x + a)^n \equiv x^n + a \mod (x^r - 1, n) $ が成り立つかをチェックする。ここで $ l = \lfloor \sqrt{\phi(r)} \log n \rfloor $ である。
• 完全乗数の検出、適切な最小の $ r $ の特定、多項式合同式の検証を含むサブルーチンを備えたSAGEにおける実装が開発された。
• 性能評価は、11, 28, 43, 132といった数や、9965468763136528274628451のような大きな数を用いたテストを通じて行われ、9965468763136528274628451の処理には約70分を要した。

実験結果

リサーチクエスチョン

• RQ1 AKSアルゴリズムはどのように決定的素数判定を多項式時間で達成するのか？
• RQ2 AKSアルゴリズムの正しさを支える主要な数論的および代数的原理は何か？
• RQ3 ミラー＝ラビン法やソロバ・ストラッセン法といった確率的素数判定法と比較して、AKSアルゴリズムの性能はいかがなっているか？
• RQ4 AKSアルゴリズムの実用的適用性を制限する計算上のボトルネックは何か？
• RQ5 暗号応用における実用的利用を想定して、AKSアルゴリズムを最適化または変更することは可能か？

主な発見

• 11, 28, 43, 132といった数に対するテストにより、AKSアルゴリズムは素数・合成数を正しく識別しており、既知の素数性と一致した結果を得た。
• 完全乗数検出サブルーチンは、$ 2^5 = 32 $ のような合成数を正しく検出し、「Composite」として返し、適切な基数と指数を特定した。
• 乗法的位数 $ O_r(n) > \log^2 n $ を満たす最小の $ r $ をアルゴリズムが特定し、$ n = 11 $ に対しては $ r = 5 $、$ n = 1189 $ に対しては $ r = 941 $ のような値を得た。
• $ n = 9965468763136528274628451 $ の場合、アルゴリズムは正しく合成数と特定したが、処理に約70分を要した。
• 理論的意義にかかわらず、AKSアルゴリズムは大きな整数に対して実用的でないほど遅く、特に確率的代替手法と比較して顕著に劣ることが判明した。
• SAGEにおける実装により、アルゴリズムの論理の正しさが確認されたが、特に大きな $ r $ および $ n $ における多項式合同式のチェックが著しく計算コストが高くなることが浮き彫りになった。