[논문 리뷰] Newton polygons of higher order in algebraic number theory

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

Polynomial and algebraic computation참고 문헌 7인용 수 8

한 줄 요약

이 논문은 대수적 수론에서 고차수 뉴턴 다각형 이론을 개발하여 $p$-진 체 위에서 분리 다항식의 완전한 인수분해를 가능하게 하고, 판별식, 소 이상의 분해, 정수 기저와 같은 핵심 산술 불변량을 계산한다. 이 방법은 반복적인 다각형 구성과 잔여 다항식을 사용하여 최대 $ olimits{ind}(f)$ 단계 이내에 종료되며, 다각형의 조합적 자료로부터 정확한 인덱스 계산을 보장한다.

ABSTRACT

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and integral bases of number fields.

연구 동기 및 목표

• $p$-진 체에서 고전적 인수분해 방법의 한계를 해결하기 위해 고차수 뉴턴 다각형의 구성적 이론을 개발하기.
• 수체에서 인덱스 $\operatorname{ind}(f)$, 판별식, 소 이상의 분해를 체계적으로 계산하는 방법을 제공하기.
• 오레(O. Ore)가 오랫동안 추구해온, 고전적 세 가지 분할을 초월해 완전한 기약 인수분해를 달성하기 위해 뉴턴 다각형 이론을 확장하는 프로그램을 실현하기.
• 다항식 나눗셈과 유한체 위의 인수분해만을 사용하는 유한하고 알고리즘적으로 다룰 수 있는 산술 불변량 계산 과정을 확립하기.

제안 방법

• $r \geq 1$ 차수의 뉴턴 다각형을 구성하여 오레의 원래 1차 다각형을 일반화하고, 유형과 그 대표자를 사용하기.
• 각 다각형의 변에 관련된 고차수 잔여 다항식을 도입하여 각 차수에서의 인수분해를 정밀화하기.
• $1 \leq s \leq r$ 에 대해 다각형 자료로부터 재귀적으로 계산되는 고차수 인덱스 $\operatorname{ind}_s(f)$ 를 정의하기.
• 결과식과 인덱스 정리들을 사용하여 총 인덱스 $\operatorname{ind}(f)$ 를 고차수 인덱스의 합과 연결하기.
• 인덱스 정리를 적용하여 인수분해 과정이 최대 $ olimits{ind}(f)$ 단계 이내에 종료됨을 보장하기.
• 빠른 연산을 활용: 정수 계수 다항식 나눗셈과 유한체 위의 인수분해를 통해 판별식 및 정수 기저 계산을 위한 효율적인 알고리즘 구현하기.

실험 결과

연구 질문

• RQ1 고전적 세 가지 분할을 초월하여 $p$-진 체 위에서 다항식을 완전히 인수분해할 수 있는 체계적이고 구성적인 뉴턴 다각형 이론의 확장이 가능할 수 있는가?
• RQ2 어떻게 하면 고차수 뉴턴 다각형을 정의하여 모든 기약 인수를 포괄하고 전체 판별식 및 정수 기저를 계산할 수 있는가?
• RQ3 고차수 다각형에서 파생된 조합적 불변량은 어떻게 하면 인덱스 $\operatorname{ind}(f)$ 를 정확히 계산하는 데 기여하는가?
• RQ4 기본적인 다항식 연산만을 사용하여 소 이상의 분해 및 판별식을 계산하는 데 유한하고 알고리즘적으로 효과적인 과정이 존재하는가?

주요 결과

• 이론은 인수분해 과정이 최대 $ olimits{ind}(f)$ 단계 이내에 종료됨을 보장하며, $\operatorname{ind}(f) = \operatorname{ind}_1(f) + \cdots + \operatorname{ind}_r(f)$ 이다. 이는 $\operatorname{ind}_{r+1}(f) = 0$ 이라는 조건과 동치이다.
• 각 기약 인수로 생성된 $p$-진 체의 분할 지수와 잔여도는 고차수 다각형의 변과 그 잔여 다항식의 조합적 자료에 의해 결정된다.
• $p$-진 체의 최대 이상은 다각형 자료로부터 명시적으로 구성된 통일자(uniformizer)에 의해 생성된다.
• 인덱스 $\operatorname{ind}(f)$ 는 다각형의 구조에서 유도된 고차수 인덱스의 합으로 정확히 계산된다.
• 고차수 유형과 대표자를 도입함으로써 오레의 프로그램을 구성적으로 해결하는 데 성공하였으며, 고전적 뉴턴 다각형 이론을 일반화하였다.
• 전체 과정은 다항식 나눗셈(정수 계수)과 유한체 위의 인수분해라는 두 가지 효율적인 연산에만 의존하여 판별식 및 정수 기저 계산을 위한 빠른 알고리즘을 가능하게 한다.