[논문 리뷰] A new computational approach to ideal theory in number fields

Jordi Guàrdia, Jesús Sanz Montes외 1명|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|2010. 05. 07.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 정수환의 최대 순서나 정의 다항식의 판별식을 인수분해하는 것의 필요성을 피하는 새로운 수치적 프레임워크를 제시한다. 몬테스 알고리즘과 고차수 뉴턴 다각형을 통한 옥츠우-몬테스 표현을 이용하여, 분수 이상의 직접적 조작—예를 들어, 값매기기, 인수분해, 산술 연산—을 가능하게 하며, 동시에 p-정수 기저와 국소체 기저를 부산물로 제공한다.

ABSTRACT

Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher order of the defining equation $f(x)$. In this paper we show how to carry out the basic operations on fractional ideals of $K$ in terms of these constructive representations of the prime ideals. From a computational perspective, these results facilitate the manipulation of fractional ideals of $K$ avoiding two heavy tasks: the construction of the maximal order of $K$ and the factorization of the discriminant of $f(x)$. The main computational ingredient is Montes algorithm, which is an extremely fast procedure to construct the prime ideals.

연구 동기 및 목표

• 최대 순서 계산과 정의 다항식의 판별식 인수분해와 같은 고비용 작업을 피하는 수치적 프레임워크를 개발한다.
• 고차수 뉴턴 다각형에서 유도된 구성적 소 이상 표현을 통해 분수 이상을 직접 조작할 수 있도록 한다.
• 기존 선형 대수 방법에 의존하지 않고도 핵심 이상 연산—값매기기, 인수분해, 덧셈, 곱셈, 교집합, 환원 사상, 중국인의 나머지 정리—에 대한 빠른 알고리즘을 제공한다.
• 소 이상 구축 과정에서 부산물로 p-정수 기저와 국소체 기저를 도출함으로써 정수환 산술의 계산 효율성을 향상시킨다.
• 이 프레임워크를 함수체와 곡선의 소수 이상 이론으로 확장하여 리만-로흐 공간과 아벨 군 연산에 대한 잠재적 응용을 가능하게 한다.

제안 방법

• 몬테스 알고리즘을 사용하여 소수 p에 상응하는 f(x)의 기약 인수를 매개변수화하는 f-완전하고 최적의 유형을 계산한다.
• 각 소 이상 𝔭는 옥츠우-몬테스 형태로 표현된다: 𝔭 = [p; φ₁, ..., φᵣ, φₚ], 여기서 φᵢ는 ℤₚ[x]에서 기약이며, φₚ는 p-진 기약 인수에 대한 몬테스 근사이다.
• 고차수 뉴턴 다각형을 사용하여 옥츠우 불변량을 계산함으로써 소 이상에 관한 필수 산술 데이터를 암호화한다.
• 옥츠우-몬테스 표현을 통해 소 이상의 인수분해를 이용하여 분수 이상을 구성함으로써, 정수 기저 계산 없이도 직접 산술 연산을 수행할 수 있다.
• 유형 구축 과정에서 유도된 국소 구조를 이용하여 p-진 값매기기와 환원 사상을 계산한다.
• 소 이상 구축 과정에서 ℤₚ-기저 𝒪_{Kₚ}가 얻어지므로, 이는 효율적인 p-정수 기저 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 최대 순서를 구하거나 정의 다항식의 판별식을 인수분해하지 않고도 분수 이상의 연산을 효율적으로 계산할 수 있는가?
• RQ2 뉴턴 다각형 이론과 고차수 불변량을 이용하여 정수환의 소 이상을 구성적으로 어떻게 표현할 수 있는가?
• RQ3 옥츠우-몬테스 표현이 분수 이상의 값매기기, 인수분해, 산술 연산을 빠르게 계산하는 데 기여할 수 있는가?
• RQ4 정수환의 국소 구조를 얼마나 잘 활용하여 정의 다항식에서 직접 p-정수 기저와 국소체 기저를 계산할 수 있는가?
• RQ5 이 프레임워크는 함수체로 확장되어 소수 이상 군 연산과 리만-로흐 공간을 효율적으로 계산하는 데 활용될 수 있는가?

주요 결과

• 몬테스 알고리즘은 O(n³⁺ᵋδ + n²⁺ᵋδ²⁺ᵋ) 시간에 소 이상 분해를 수행하며, 여기서 δ = log|disc(f)| 이다. 이는 기존 방법보다 현저히 빠르다.
• 크기 약 2²⁶⁸인 판별식을 가진 차수 20의 정수환에서, p=2에 대한 전체 소 이상 분해를 0.3초 내에 수행하였으며, 이는 판별식 계산과 p-정수 기저 계산을 포함한다.
• 2-정수 기저는 0.02초 내에 계산되었으며, 이는 동시에 전역 정수 기저이기도 했고, Magma는 최대 순서 계산에도 5.8초가 걸렸다.
• 옥츠우-몬테스 표현은 소 이상 구축 과정에서 𝒪_{Kₚ}의 ℤₚ-기저를 직접 계산할 수 있게 하여, 빠른 p-정수 기저 유도를 가능하게 한다.
• 모든 표준 이상 연산—값매기기, 인수분해, 덧셈, 곱셈, 교집합, 환원 사상, 중국인의 나머지 정리—는 표현에서 직접 수행할 수 있다.
• 프레임워크는 자연스럽게 함수체로 확장되어 효율적인 소수 이상 산술을 가능하게 하며, 고차수 곡선의 리만-로흐 공간과 Pic⁰(C) 계산에 잠재적 응용을 제공한다.