[논문 리뷰] Deterministic Primality Testing - understanding the AKS algorithm

Vijay Menon|arXiv (Cornell University)|2013. 11. 15.

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 알고리즘을 비교한다.
• 알고리즘의 정당성과 계산 복잡도를 분석하여 결정론적 소수 판별에 대한 이해를 기여한다.

제안 방법

• 논문은 소수와 합성수, 최대공약수, 모듈로 산술 등을 포함한 수론의 기초 개념으로 시작한다.
• 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에서의 구현이 개발되었다.
• 성능 평가는 다양한 정수, 특히 9965468763136528274628451와 같이 큰 수를 대상으로 테스트하여 평가되었으며, 이 수의 처리에 약 70분이 소요되었다.

실험 결과

연구 질문

• RQ1 AKS 알고리즘이 어떻게 다항식 시간 내에 결정론적 소수 판별을 달성하는가?
• RQ2 AKS 알고리즘의 정당성에 기여하는 주요 수론적 및 대수학적 원리는 무엇인가?
• RQ3 밀러-라빈 또는 솔로바-스트라센과 같은 확률적 소수 판별법과 비교할 때 AKS 알고리즘의 성능은 어떠한가?
• RQ4 AKS 알고리즘의 실용적 적용을 제한하는 계산 복잡도의 핵심 병목 현상은 무엇인가?
• RQ5 암호학적 응용 분야에서 실용적 사용을 위해 AKS 알고리즘을 최적화하거나 변형할 수 있는가?

주요 결과

• 11, 28, 43, 132와 같은 수에 대해 테스트한 결과, AKS 알고리즘이 소수와 합성수를 정확히 식별함을 확인하였으며, 기존의 소수 판별 결과와 일치하였다.
• 완전거듭제곱 검출 서브루틴은 $ 2^5 = 32 $ 와 같은 합성수를 성공적으로 식별하여 올바른 기수와 지수를 반환하며 '합성수'로 판단하였다.
• 다음과 같은 값들에 대해 $ n $ 에 대해 $ O_r(n) > \log^2 n $ 를 만족하는 최소의 $ r $ 를 찾는다: $ n = 11 $ 에서 $ r = 5 $, $ n = 1189 $ 에서 $ r = 941 $.
• 9965468763136528274628451 에 대해 알고리즘은 수를 합성수로 정확히 식별하였지만, 계산에 약 70분이 소요되었다.
• 이론적 의의는 크지만, 특히 확률적 대안들과 비교할 때 큰 정수에 대해 실용적으로 사용하기에 너무 느리며 비효율적임이 밝혀졌다.
• SAGE에서의 구현은 알고리즘 논리의 정확성을 확인하였지만, 특히 큰 $ r $ 와 $ n $ 에서의 다항식 합동식 검증 과정에서 높은 계산 비용이 드러났다.