[논문 리뷰] Computing Hilbert Class Polynomials

Juliana Belding, Reinier Bröker외 2명|ArXiv.org|2008. 02. 07.

Cryptography and Residue Arithmetic참고 문헌 11인용 수 7

한 줄 요약

이 논문은 힐버트 클래스 다항식을 계산하기 위한 두 가지 효율적인 알고리즘을 제시한다: 소수 p가 비분할일 경우를 위한 p진 승격 방법과, 유한체 위의 CM-곡선에 대한 클래스 군 작용을 활용한 최적화된 중국인법정리(CRT) 접근법이다. 저자들은 더 날카운 복잡도 상한을 도출하여, 새로운 CRT 방법이 GRH 하에서 기대 시간 $ O(|D|(\text{log}|D|)^{7+o(1)}) $ 내에 수행되며, 히우리스틱 복잡도는 $ O(|D|(\text{log}|D|)^{3+o(1)}) $로, 기존 방법의 최고 수준의 실행 시간과 일치함을 보였다.

ABSTRACT

We present and analyze two algorithms for computing the Hilbert class polynomial $H_D$ . The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < 0. The second is an improved Chinese remainder algorithm which uses the class group action on CM-curves over finite fields. Our run time analysis gives tighter bounds for the complexity of all known algorithms for computing $H_D$, and we show that all methods have comparable run times.

연구 동기 및 목표

• GRH 하에서 전체로 분할되는 소수보다 더 작고 더 많은 비분할 소수를 고려하여, 비분할 소수에 대한 p진 승격 알고리즘을 개발하는 것.
• 비분할 소수를 통합하고 CM-곡선에 대한 클래스 군 작용을 활용하여, 힐버트 클래스 다항식을 계산하기 위한 다중소수 중국인법정리 접근법을 향상시키는 것.
• 모든 알려진 힐버트 클래스 다항식 계산 알고리즘에 대해 더 날카운 복잡도 상한을 제공하여, 다양한 방법 간의 점근적 성능이 유사함을 보이는 것.
• 특히 비분할 소수와 조합된 CRT 기반 방법의 실용적 타당성을 입증하는 것. 이는 은닉 상수는 높지만 실질적인 성능은 우수함을 시사한다.

제안 방법

• 비분할 소수 p에 대해, $\mathbb{F}_{p^2}$ 상의 초특이 타원곡선의 표준 승격을 이용하여 $p$-진 정밀도에서 $j$-좌표를 계산하는 p진 승격 알고리즘을 개발하였다.
• 유한체 위의 CM-곡선에 대한 클래스 군 작용을 활용하여, 이소지 사이클과 $j$-좌표에 대한 군 작용을 이용해 $H_D \bmod p$ 를 효율적으로 계산하였다.
• 다양한 소수 모듈로 결과를 조합하여 $H_D \in \mathbb{Z}[X]$ 를 복원하기 위해 중국인법정리를 사용하였다.
• 헤젤의 보조정리를 적용하여, $\mathbb{F}_{p^2}$ 상의 이소지 사이클을 $\mathbb{Q}_p$ 의 분해되지 않은 확장 $L$ 으로 승격하여 $j$-좌표의 $p$-진 근사치를 계산하였다.
• 뉴턴 항등식을 사용하여 $p$-진 승격 과정 중에 근의 기본 대칭합을 갱신하고 다항식 재구성 가능하게 하였다.
• 클래스 군이 CM-곡선의 $j$-좌표 집합 위에서 자유롭고 전형적으로 작용한다는 사실을 활용하여, 단일 승격으로부터 모든 공액체를 생성할 수 있음을 보장하였다.

실험 결과

연구 질문

• RQ1 GRH 하에서 더 작고 더 많은 비분할 소수를 고려할 수 있는 p진 승격 알고리즘을 효과적으로 구성하여 힐버트 클래스 다항식을 계산할 수 있는가?
• RQ2 비분할 소수와 클래스 군 작용을 통합함으로써 중국인법정리 접근법의 계산 비용을 어떻게 줄일 수 있는가?
• RQ3 모든 알려진 방법(복소해석적, p진, CRT 기반)을 포함하여 힐버트 클래스 다항식 계산에 대해 가장 날카운 복잡도 상한은 무엇인가?
• RQ4 실제로 중국인법정리 방법의 점근적 복잡도에서의 은닉 상수는 복소해석적 방법과 비교해 어떻게 되는가?

주요 결과

• 비분할 소수에 대한 p진 승격 알고리즘은 효과적이며, 특성 $p^2$ 에서 초특이 곡선의 구조를 잘 활용한다.
• 향상된 CRT 방법은 전체로 분할되는 소수와 비분할 소수를 모두 포함하여 필요한 소수의 수를 줄이고, 필요한 최대 소수의 크기를 낮춘다.
• 일반화된 리만 가설(GRH) 하에서 알고리즘이 기대 시간 $ O(|D|( ext{log}|D|)^{7+o(1)}) $ 내에 수행된다.
• 히우리스틱적으로 복잡도는 $ O(|D|( ext{log}|D|)^{3+o(1)}) $ 로 향상되어, 다른 방법의 최고 수준의 복잡도 상한과 일치한다.
• 특히 $H_{-56}$ 는 단지 16개의 $p$-진 자릿수만으로 계산되었으며, 계수들이 최대 23자리 십진수인 차수 4의 다항식을 복원하였다.
• $D = -108708$ 에 대해, 비분할 소수를 포함한 CRT 방법은 필요로 하는 곡선 수를 487,237개에서 381,073개로 줄였고, 2.2 GHz Athlon-64에서 계산 시간을 18.5초에서 14.2초로 단축시켰다.