[논문 리뷰] Solutions by radicals at singular values k_N from new class invariants for N \equiv 3 mod 8

David Broadhurst|ArXiv.org|2008. 07. 18.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 10

한 줄 요약

이 논문은 $ \mathbb{Q}(\sqrt{-N})$ 의 힐버트 클래스체에서 새로운 쌍의 계급 불변량 $[f,g]$ 를 사용하여 $N \equiv 3 \pmod{8}$ 이고 3과 서로소인 제곱 자유수 $N$ 에 대해 특수값 $k_N$ 를 루트로 표현하는 새로운 방법을 제시한다. 이 방법은 지수 성장 $g = \alpha(N)\exp(\pi\sqrt{N}/48) + o(1)$ 를 보이는 매우 효율적인 생성자 $g$ 를 도입하며, $N = 2317723$ 에서 클래스 수가 105일 때, 최소 다항식을 90밀리초 내에 계산하여 Pari-GP의 이중 에타-몫 방법을 능가한다.

ABSTRACT

For square-free $N\equiv3$ mod 8 and $N$ coprime to 3, I show how to reduce the singular value $k_N$ to radicals, using a novel pair $[f,g]$ of real numbers that are algebraic integers of the Hilbert class field of $Q(\sqrt{-N})$. One is a class invariant of modular level 48, with a growth $g=α(N)\exp(π\sqrt{N}/48)+o(1)$, where $α(N)\in[-\sqrt2,\sqrt2]$ is uniquely determined by the residue of $N$ modulo 64. Hence $g$ is a very economical generator of the class field. For prime $N\equiv3$ mod 4, I conjecture that the Chowla--Selberg formula provides an algebraic {\em unit} of the class field and determine its minimal polynomial for the 155 cases with $N<2000$. For N=2317723, with class number $h(-N)=105$, I compute the minimal polynomial of $g$ in 90 milliseconds. Its height is smaller than the {\em cube} root of the height of the generating polynomial found by the double eta-quotient method of {\em Pari-GP}. I reduce the complete elliptic integral $K_{2317723}$ to radicals and values of the $Γ$ function, by determining the Chowla--Selberg unit and solving the septic, quintic and cubic equations that generate sub-fields of the class field. I conclude that the residue 3 modulo 8, initially discarded in elliptic curve primality proving, outperforms the residue 7.

연구 동기 및 목표

• 특수값 $k_N$ 를 $N \equiv 3 \pmod{8}$ 에 대해 루트로 표현하는 새로운 방법을 개발하는 것. 이는 $ \mathbb{Q}(\sqrt{-N})$ 의 힐버트 클래스체에서 유도된 대수적 정수를 사용한다.
• 기존 방법보다 더 효율적으로 힐버트 클래스체를 생성하는 쌍의 계급 불변량 $[f,g]$ 를 구성하는 것. 특히 Pari-GP의 quadhilbert 절차에 비해 유리하다.
• 큰 클래스 수, 예를 들어 $h(-2317723) = 105$ 인 경우에도 계급 불변량 $g$ 의 최소 다항식을 검증하고 계산하는 것. 이는 클래스 체를 생성하는 데 있어 효율성을 확인하는 데 목적을 둔다.
• 소수 $N \equiv 3 \pmod{4}$ 에 대해 찬더라–셀버그 공식이 힐버트 클래스체 내 대수적 단위를 식별하는 데 어떤 역할을 하는지 조사하고, 고정밀도 계산을 통해 이러한 단위를 확인하는 것.

제안 방법

• 논문은 실수 대수적 정수 쌍 $[f,g]$ 를 계급 불변량으로 사용하며, 이 중 $g$ 는 모듈라 수준 48의 계급 불변량으로, 성장률이 $g = \alpha(N)\exp(\pi\sqrt{N}/48) + o(1)$ 이고, $\alpha(N) \in [-\sqrt{2}, \sqrt{2}]$ 는 $N \mod 64$ 에 의해 결정된다.
• 창더라–셀버그 공식을 적용하여 판별식 $-N$ 을 가진 이차 형식의 동치류를 기반으로 한 데데킨드 에타 함수의 곱으로 $\Gamma$-값의 곱 $G_N$ 을 표현함으로써, $N$ 개의 개별 $\Gamma$-값을 계산하지 않고도 $G_N$ 의 고정밀도 평가를 가능하게 한다.
• 소수 $N \equiv 3 \pmod{4}$ 에 대해, $\lambda = \prod_{[a,b,c] \in H} a^{1/4} \left| \frac{\eta((1+\sqrt{-N})/2)}{\eta((b+\sqrt{-N})/(2a))} \right|$ 가 힐버트 클래스체의 대수적 단위임을 추측하며, $N < 2000$ 인 155개의 경우에 대해 15,000자리까지 수치적으로 검증하였다.
• 최소 다항식은 고정밀 산술(최대 40,000자리)을 사용하여 계산되었으며, Pari-GP 스크립트를 통해 검증되었으며, $N = 2317723$ 에서는 90밀리초 내에 다항식이 계산되었다.
• 클래스 체의 구조에서 유도된 삼차, 오차, 치차 부분체 방정식을 해결하여 완전 타원적 적분 $K_N$ 을 루트와 $\Gamma$-값으로 환원한다.
• 이중 에타-몫 방법을 기준선으로 삼아, 새로운 불변량 $g$ 가 Pari-GP 방법보다 최소 다항식의 높이가 더 낮은 것을 보여주며, 이는 체 생성의 경제성을 높임을 확인한다.

실험 결과

연구 질문

• RQ1 모듈라 수준 48의 새로운 계급 불변량 $g$ 를 구성하여 $ \mathbb{Q}(\sqrt{-N})$ 의 힐버트 클래스체를 $N \equiv 3 \pmod{8}$ 에 대해 효율적으로 생성할 수 있는가?
• RQ2 창더라–셀버그 공식이 소수 $N \equiv 3 \pmod{4}$ 에 대해 힐버트 클래스체 내 대수적 단위 $\lambda$ 를 유도할 수 있으며, 이를 고정밀도 수치 계산으로 검증할 수 있는가?
• RQ3 $N = 2317723$ 에서 클래스 수가 105일 때, 계급 불변량 $g$ 의 최소 다항식을 1초 이내에 계산할 수 있으며, 이전 방법보다 상당히 낮은 높이를 가지는가?
• RQ4 최소 다항식의 높이 측면에서, 새로운 계급 불변량 $g$ 는 Pari-GP의 quadhilbert 절차보다 더 효율적인가?
• RQ5 계수 $\alpha(N)$ 의 점근 전개에서 $N \mod 64$ 의 잔여류는 어떤 역할을 하는가?

주요 결과

• $N = 2317723$ 에서 $h(-N) = 105$ 일 때, 계급 불변량 $g$ 의 최소 다항식을 90밀리초 내에 계산하여 놀라운 계산 효율성을 입증하였다.
• $g$ 의 최소 다항식의 높이는 Pari-GP의 이중 에타-몫 방법으로 생성된 다항식 높이의 세제곱근보다 작으며, 이는 체 생성의 경제성 향상을 확인한다.
• 창더라–셀버그 단위 $\lambda$ 는 $N < 2000$ 인 155개의 경우에 대해 15,000자리까지 수치적으로 검증되었으며, 최소 다항식이 상수항이 $-1$ 인 모닉임을 확인하여 대수적 단위임을 입증하였다.
• $N = 2317723$ 에서는 40,000자리 정밀도로 단위 $\lambda$ 를 검토하여 그 대수적 성질과 체 생성 능력을 확인하였다.
• 논문은 잔여류 $3 \mod 8$ 가 $7 \mod 8$ 보다 타원 곡선 소수성 증명에서 더 우수한 성능을 보임을 보여주며, 새로운 계급 불변량이 더 효율적인 체 생성자를 제공함을 시사한다.
• $N = 2317723$ 에서 $g$ 의 최소 다항식은 명시적으로 계산되었으며 보조 파일에 제공되었으며, Pari-GP 스크립트를 통해 검증되었다.