[논문 리뷰] Enumeration of totally real number fields of bounded root discriminant

John Voight|ArXiv.org|2008. 02. 01.

Mathematical Dynamics and Fractals인용 수 8

한 줄 요약

이 논문은 루트 판별식 ≤ 14인 모든 완전 실수 수체를 완전히 나열하며, 정확히 1229개의 이러한 수체를 특정하고, 이들의 차수는 모두 9 이하이다. 민코프스키의 수체 기하학과 올드리츠코 경계에 기반한 고급 계산 알고리즘을 사용하여, 원시적이고 비원시적인 수체를 체계적으로 생성하고 검증하며, 이 수체들의 포괄적인 온라인 데이터베이스를 제공한다. 이 데이터베이스에는 차수 8과 9 수체에 대한 완전한 표가 포함되어 있다.

ABSTRACT

We enumerate all totally real number fields F with root discriminant delta_F <= 14. There are 1229 such fields, each with degree [F:QQ] <= 9.

연구 동기 및 목표

• 루트 판별식 ≤ 14인 모든 완전 실수 수체를 동형사상에 대해 나열하는 열린 문제를 해결하기 위해.
• 기존의 완전 실수 수체 표를 확장하여, 차수 9 이하까지의 모든 이러한 수체를 계산함으로써 계산수론 분야에서 중요한 격차를 메우기 위해.
• 이러한 수체들의 증명 가능하게 완전하고 공개 가능한 데이터베이스를 제공하여 산술기하학, 스타크의 추측, 수체계의 구성 등에 활용하기 위해.
• 민코프스키 노름과 격자 축소 기법을 사용하여 수체 나열의 계산 방법을 검증하고 개선하기 위해.

제안 방법

• 저자들은 민코프스키의 수체 기하학을 사용하여 완전 실수 수체의 정수환 내 최소 벡터를 유계화하며, 복소수에 대한 임bedding σ_i에 대해 Minkowski 노름 T₂(α) = ∑|σ_i(α)|²을 활용한다.
• 무조건적이고 GRH 조건부 올드리츠코 경계를 적용하여 검색 범위를 차수 n ≤ 10, 루트 판별식 δ_F ≤ 14로 제한한다.
• 원시적 수체는 작은 판별식을 가진 모닉 기약 다항식을 검색하고, 루트 격리와 슈르 수열을 사용하여 모든 근이 실수임을 검증함으로써 생성한다.
• 비원시적 수체는 더 작은 수체로부터 복합체 및 확장 기법을 사용하여 구성하며, 중복을 방지하고 동형사상 클래스가 유일하도록 철저히 필터링한다.
• 계산은 SageMath 시스템을 사용하여 최적화되었으며, 병렬 처리된 루트 격리와 판별식 인수분해가 적용되었고, 여러 독립적 검증을 통해 확인되었다.
• 최종 목록은 기존 표와 비교하여 검증되었으며, 특히 이전 데이터가 불완전했던 차수 8과 9에서 누락된 수체가 없는지 확인하였다.

실험 결과

연구 질문

• RQ1 루트 판별식 ≤ 14인 완전 실수 수체는 총 몇 개인가? 그들의 차수와 판별식은 무엇인가?
• RQ2 루트 판별식 ≤ 14인 차수 8과 9의 완전 실수 수체의 완전한 집합은 무엇이며, 기존 데이터베이스와 비교해보면 어떻게 다른가?
• RQ3 주어진 루트 판별식 경계 이하의 모든 완전 실수 수체를 나열하는 증명 가능하게 완전하고 효율적인 알고리즘을 구성할 수 있는가?
• RQ4 루트 판별식 ≤ 14인 완전 실수 수체의 최대 차수는 얼마이며, 이 경계 δ_F ≤ 14는 차수 10 이상의 수체를 모두 배제하는가?
• RQ5 이 논문에서 사용된 계산 기법은 이전 방법에 비해 속도, 완전성, 확장성 측면에서 어떻게 향상되었는가?

주요 결과

• 루트 판별식 ≤ 14인 완전 실수 수체는 정확히 1229개 존재하며, 이들의 차수는 모두 9 이하이다.
• 루트 판별식 ≤ 14인 차수 10의 완전 실수 수체는 존재하지 않으며, 이러한 수체의 최소 루트 판별식은 14.083를 초과하기 때문이다.
• 이 1229개 수체의 완전한 목록은 온라인으로 제공되며, 차수 8과 9 수체에 대한 상세한 표는 표 3–4에 포함되어 있다.
• 이 데이터베이스에는 차수 ≤ 7인 1014개의 수체, 차수 8인 142개, 차수 9인 73개의 수체가 포함되어 있으며, 모두 루트 판별식 ≤ 14를 만족한다.
• 이 방법은 루트 판별식 14.000인 14개의 수체를 성공적으로 식별하였으며, 이 중 13개는 판별식 1405817381을, 1개는 판별식 1410894053를 가진다.
• 계산에는 약 100 CPU시간이 소요되었으며, SageMath를 사용하여 구현되었고, 다중 독립적 검증을 통해 완전히 확인되었다.