[논문 리뷰] Arithmetic in big number fields: the '+Ideals' package

Jordi Guàrdia, Jesús Sanz Montes외 1명|arXiv (Cornell University)|2010. 05. 25.

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

한 줄 요약

Magma용 +Ideals 패키지는 몬테스 알고리즘과 고차 뉴턴 다각형을 사용하여 정수 기저를 피함으로써 수체에서의 효율적인 산술을 가능하게 하며, 고차수 수체(예: 차수 1000)와 큰 판별식(예: 300자리 수)에서도 빠른 인수분해, 순서 계산, 이상수 연산을 가능하게 하여 표준 하드웨어에서 결과를 수초 내에 도출함으로써 기존의 수일 또는 수주가 소요되던 계산을 획기적으로 단축함.

ABSTRACT

We introduce our package '+Ideals' for Magma, designed to perform the basic tasks related to ideals in number fields without pre-computing integral bases. It is based on Montes algorithm and a number of local techniques that we have developed in a series of papers in the last years.

연구 동기 및 목표

• 큰 판별식 또는 고차수를 가진 수체에서 전통적인 이상수 산술이 계산적으로 불가능한 문제를 해결하기 위해.
• 실제 수론 문제에서 자주 발생하는 정수 기저 계산의 성능 저하 문제를 해결하기 위해.
• 정수환 대신 소 이상수를 중심으로 하는 계산 프레임워크를 개발하여 확장 가능하고 효율적인 알고리즘을 가능하게 하기 위해.
• 정수 기저를 사전 계산하지 않고도 이상수 인수분해, 순서, 축소, 중국소거정리 등 핵심 연산을 지원하는 실용적인 Magma 패키지를 제공하기 위해.
• 기존 Magma 루틴과의 후행 호환성을 유지하면서도 PrimeIdealRecord 및 IdealRecord와 같은 새로운 데이터 유형을 확장하기 위해.

제안 방법

• 정수 기저가 필요 없이 몬테스 알고리즘을 활용해 유리수 소의 국소 인수분해 데이터를 수체에서 계산하기 위해.
• 고차 뉴턴 다각형을 사용해 이상수의 분해를 분석하고 효율적으로 국소 정보를 추출하기 위해.
• 분수 이상수를 표현하고 관련 속성을 저장하기 위해 새로운 Magma 데이터 유형인 PrimeIdealRecord 및 IdealRecord를 도입하기 위해.
• 기존 Magma 함수들(예: Factorization, TwoElement, CRT)의 확장된 버전을 신규 이상수 기록 유형에서 작동하도록 구현하기 위해.
• 계산된 소 이상수 데이터(예: 인수분해, 국소 지수)를 수체 속성(예: K`FactorizationString, K`LocalIndex)에 저장하여 재사용 가능하게 하기 위해.
• 검증 체크를 통한 Montes 기반 알고리즘을 사용해 정수 기저 계산을 지원하기 위해(pIntegralBasis, SIntegralBasis, IntegralBasis 함수 활용).

실험 결과

연구 질문

• RQ1 고차수 또는 큰 판별식을 가진 수체에서 정수 기저 계산 없이도 이상수 산술을 효율적으로 수행할 수 있는가?
• RQ2 몬테스 알고리즘과 뉴턴 다각형 기법이 계산대수적 수론에서 전통적인 정수 기저 의존 방법을 얼마나 효과적으로 대체할 수 있는가?
• RQ3 소 이상수를 중심 계산 대상으로 삼아 인수분해, 순서, 축소 등의 연산을 어떻게 단순화할 수 있는가?
• RQ4 큰 수체를 다루는 실질적 상황에서 정수 기저 계산을 피할 경우 성능 향상은 어느 정도 이루어지는가?
• RQ5 몬테스 기반 알고리즘을 통해 신뢰할 수 있는 정수 기저 계산이 가능할 수 있으며, 이러한 알고리즘은 일반 목적 컴퓨팅 시스템에 어떻게 통합될 수 있는가?

주요 결과

• 표준 컴퓨터에서 차수 1000, 판별식 300자리 수를 가진 수체에서 이상수 인수분해를 1.3초 이내로 수행함.
• 상수항이 500비트인 차수 100 다항식으로 정의된 수체에서 유리수 소 2의 소 이상수 인수분해를 1.3초 내에 계산함.
• 동일한 수체에서 소 2의 국소 지수는 12,250로 측정되어 매우 강하게 분해된 확장임을 나타냄.
• 몬테스 기반 알고리즘을 사용해 정수 기저를 성공적으로 계산하였으며, 정확성을 보장하기 위한 검증 체크를 통한 검증을 수행함.
• 중국소거정리 연산이 PrimeIdealRecord 및 IdealRecord 유형으로 확장되어 효율적인 합동식 해법을 가능하게 함.
• CreateRandomType 및 CombinePolynomialsWithDifferentPrimes와 같은 함수를 통해 특정 유형을 갖춘 어려운 수체를 구성할 수 있어 알고리즘의 통제된 테스트를 가능하게 함.