[논문 리뷰] Continued Fractions and Factoring

Michele Elia|arXiv (Cornell University)|2019. 05. 26.

Advanced Mathematical Identities참고 문헌 10인용 수 4

한 줄 요약

이 논문은 복합수 N의 √N 연속분수 전개가 주기(period)가 짝수일 경우에 그 인수를 드러낸다는 것을 보이며, 레질리의 제곱수 합 표현에 관한 결과를 확장한다. 샤크스의 기초 방법을 응용하고 딜리클레의 클레스 수-레지우터 곱을 활용하여, 특정 L함수와 연관된 적분의 정밀도에 따라 복잡도가 결정되는 인수분해 알고리즘을 제안한다.

ABSTRACT

Legendre found that the continued fraction expansion of $\sqrt N$ having odd period leads directly to an explicit representation of $N$ as the sum of two squares. Similarly, it is shown here that the continued fraction expansion of $\sqrt N$ having even period directly produces a factor of a composite $N$. Shanks' infrastructural method is then revisited, and some consequences of its application to factorization by means of the continued fraction expansion of $\sqrt N$ are derived.

연구 동기 및 목표

• √N의 연속분수 주기의 기수성과 복합수 N의 비자명한 인수 존재성 사이의 직접적 연결을 확립하는 것.
• 레질리의 고전적 제곱수 합 표현 결과를 연속분수를 이용한 인수분해 기법으로 확장하는 것.
• 수렴근과 이차형식의 성질을 활용하여 샤크스의 기초 방법에 기반한 인수분해 알고리즘을 개발하는 것.
• N의 인수분해 복잡도가 Q(√N)의 클레스 수 h_F와 레지우터 R_F의 곱 h_F R_F를 평가하는 데 필요한 정밀도에 의해 결정됨을 보여주는 것.

제안 방법

• 논문은 √N의 연속분수 전개를 사용하여 2차 선형 재귀관계를 통해 수렴근 A_m/B_m를 생성한다.
• 샤크스의 기초 방법을 적용하기 위해, 수렴근 수열의 특정 위치에서 이차형식 [1, 2Ω_{τ−1}, Δ_{τ−2}]를 식별한다.
• A_m B_{m−1} − A_{m−1} B_m = (−1)^{m−1}이라는 항등식을 활용하여 서로소임을 보장하고 수렴근의 행동을 추적한다.
• 디리클레의 공식 h_F R_F = −∑_{n=1}^{⌊(D−1)/2⌋} (D/n) ln(sin(nπ/D))을 사용하여 클레스 수와 레지우터 곱을 추정한다.
• h_F R_F의 근사치를 기반으로 거대한 단계(giant steps)를 수행하여 R_F/2의 거리 근처의 위치를 찾고, 이후 정밀한 위치를 확정하기 위해 소형 단계(baby steps)를 수행한다.
• 판별식 D를 가진 이차형식이 시작점으로부터 h_F R_F / 2^ℓ 거리에 있을 경우, N의 인수가 드러나며, 특히 h_F가 홀수이거나 2의 거듭제곱으로 나누어질 경우에 유용하다.

실험 결과

연구 질문

• RQ1 √N의 연속분수 전개가 짝수 주기를 가지면, 복합수 N의 비자명한 인수를 직접 추출할 수 있는가?
• RQ2 샤크스의 기초 방법은 √N의 수렴근 수열에 어떻게 적용되어 인수를 드러내는 이차형식을 찾는가?
• RQ3 h_F R_F의 곱이 인수분해 과정의 복잡도를 결정하는 데 어떤 역할을 하는가?
• RQ4 이 방법을 사용해 효율적인 인수분해를 보장하기 위해 h_F R_F를 어느 정도 정밀도로 평가해야 하는가?
• RQ5 이 알고리즘은 N을 완전히 인수분해하기 위해 반복 적용될 수 있으며, 반복 횟수는 무엇에 의해 결정되는가?

주요 결과

• √N의 연속분수 전개 주기 τ가 짝수일 경우, N의 인수가 수렴근 수열의 (τ−2)/2 + kτ 위치에 반드시 나타난다.
• 이 방법은 수열 시작점으로부터 거리 h_F R_F / 2에 위치한 이차형식 [1, 2Ω_{τ−1}, Δ_{τ−2}]를 식별하며, 이는 N의 인수를 드러낸다.
• h_F가 홀수이면, 거리 h_F R_F / 2 또는 3h_F R_F / 2에서 인수를 찾을 수 있고, h_F가 짝수이면 과정을 반복하여 h_F R_F / 4 등 더 가까운 위치에서 인수를 찾을 수 있다.
• N의 인수분해 복잡도는 h_F R_F 곱을 평가하는 데 필요한 정밀도에 의해 상한이 정해지며, 이는 삼각함수와 로그 적분을 포함한 딜리클레의 공식을 통해 계산할 수 있다.
• 이 알고리즘은 반복하여 적용되어 N을 완전히 인수분해할 수 있으며, 각 단계에서 새로운 인수를 드러내는 이차형식의 위치를 정밀하게 조정한다.
• h_F R_F를 충분한 정밀도로 근사할 수 있다면, 이 방법은 다항식 시간 인수분해 알고리즘의 잠재적 가능성을 시사하지만, 근사 정밀도와 계산 비용 사이의 최적의 트레이드오프는 아직 미해결이다.