[논문 리뷰] Higher Newton polygons in the computation of discriminants and prime ideal decomposition in number fields

Jordi Guàrdia, Jesús Sanz Montes외 1명|ArXiv.org|2008. 07. 25.

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

한 줄 요약

이 논문은 고차수 뉴턴 다각형을 사용하여 수체계에서 판별식과 소 이상의 인수분해를 매우 효율적으로 계산하는 알고리즘을 제시한다. p-진 기법을 활용하고 계산 순서를 최적화함으로써, degree가 1000에 이르는 수체계에서 심지어 큰 지수를 가진 다항식에 대해서도 판별식의 p-진 값과 p의 인수분해를 수초 내에 계산할 수 있으며, 기존의 정수 기저 기반 방법보다 뛰어난 성능을 보인다.

ABSTRACT

We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.

연구 동기 및 목표

• 전역 정수 기저를 계산하지 않고도 수체계에서 판별식과 소 이상 인수분해를 신속하게 직접 계산할 수 있는 알고리즘을 개발하는 것.
• 수체계의 차수 증가에 따라 성능이 급격히 떨어지는 전통적인 정수 기저 계산 방법의 계산 병목 현상을 해결하는 것.
• 체적 확장을 피하고 잔여체만을 사용하는 고차수 뉴턴 다각형을 활용해 p-진 인수분해의 효율성을 높이는 것.
• 알고리즘이 매우 높은 차수의 수체계(예: degree 6912)와 매우 큰 지수(예: 7700만)를 다룰 수 있음을 보여주며, 기존 방법들을 능가함을 입증하는 것.

제안 방법

• 수체계 K=Q(θ)의 정의 다항식 f(x)의 p-진 인수분해를 분석하기 위해 고차수 뉴턴 다각형을 사용한다.
• 연속적인 순서에서 뉴턴 다각형의 유형과 대표원을 분석하여, 판별식의 p-진 값과 OK에서 p의 분해 유형을 계산한다.
• 계산 순서를 낮추는 개선 과정을 도입하여 복잡도를 크게 감소시키고 성능을 향상시킴(정리 3.1).
• 판별식을 결정하는 데 필수적인 다항식 f(x)의 p-지수를 계산한다.
• 확장된 유클리드 호제법 계산을 통해 p이상의 생성자를 계산한다.
• 알고리즘이 매우 고도로 병렬화 가능하여 매우 높은 차수의 수체계로의 효율적 확장이 가능하다.

실험 결과

연구 질문

• RQ1 고차수 뉴턴 다각형을 사용하면 기존의 정수 기저 기반 방법보다 수체계에서 판별식과 소 이상 인수분해를 더 효율적으로 계산할 수 있는가?
• RQ2 뉴턴 다각형 계산 순서의 개선이 알고리즘의 복잡도와 실행 시간에 어떤 영향을 미치는가?
• RQ3 일반 하드웨어에서 실용적인 계산을 고려할 때, 알고리즘의 성능 한계는 수체계의 차수와 p-지수 측면에서 어떻게 되는가?
• RQ4 간단한 인수분해 방법에서 숨겨진 매우 큰 지수를 가진 다항식을 알고리즘이 다룰 수 있는가?
• RQ5 알고리즘의 효율성은 수체계의 차수와 소 이상 인수의 수에 비례하여 얼마나 잘 확장되는가?

주요 결과

• degree 1000 수체계에서 p-지수 200,000까지의 경우에도 판별식의 p-진 값과 p의 인수분해를 1초 이내에 계산할 수 있다.
• degree 6912 다항식에서 2-지수 77,673,504에 대해 2의 인수분해는 개인용 컴퓨터에서 787초 내에 계산되었다.
• 32개의 테스트 다항식([FPR02]에서 가져옴)에 대해 조차도 고차수 p^1000 항을 가공한 후에도 알고리즘은 0.2초 이내로 실행되었다.
• 소 이상 생성자를 계산하는 데 소요되는 시간은 확장된 유클리드 호제법 계산으로 인해 크게 증가했으며, 한 예에서는 계수의 폭발로 인해 Magma의 가상 메모리가 고갈되었다.
• 알고리즘이 매우 고도로 병렬화 가능하여 매우 높은 차수의 수체계로의 확장이 가능하다.
• 특히 판별식 또는 인수분해만 필요할 경우 기존의 정수 기저 계산 방법에 비해 상당한 성능 향상을 제공한다.