[논문 리뷰] Computing Arakelov class groups

René Schoof|ArXiv.org|2008. 01. 24.

Coding theory and cryptography참고 문헌 19인용 수 27

한 줄 요약

이 논문은 Buchmann의 수체의 아이디얼군과 조정계수를 계산하는 알고리즘을 Arakelov 아이디얼군의 프레임워크 내에서 재해석하여, 이 알고리즘이 자연스럽게 축소된 Arakelov 체계에 작용한다는 것을 보여준다. 또한 Shanks와 Lenstra의 방법에 놓인 기초 구조가 Arakelov 아이디얼군과 동형임을 규명하고, 기본 단위를 효율적으로 계산할 수 있도록 방향성 있는 Arakelov 아이디얼군을 도입함으로써, 지수시간 이하의 실행 시간을 달성한다.

ABSTRACT

Shanks's infrastructure algorithm and Buchmann's algorithm for computing class groups and unit groups of rings of integers of algebraic number fields are most naturally viewed as computations inside Arakelov class groups. In this paper we discuss the basic properties of Arakelov class groups and of the set of reduced Arakelov divisors. As an application we describe Buchmann's algorithm in this context.

연구 동기 및 목표

• Arakelov 이론을 이용하여 Buchmann의 알고리즘에 자연스러운 대수기하학적 설정을 제공하기 위해.
• 실수 이차 수체에서 관찰된 기초 구조 현상에서 축소된 Arakelov 체계의 정확한 역할을 명확히 하기 위해.
• 기본 단위를 명시적으로 계산할 수 있도록 프레임워크를 방향성 있는 Arakelov 아이디얼군으로 확장하기 위해.
• 부피 추정과 격자 감소를 분석하여 Buchmann의 알고리즘이 지수시간 이하로 작동한다는 것을 보여주기 위해.
• 축소된 체계에서 점프 알고리즘을 사용하여 기본 단위의 효율적인 압축 표현을 가능하게 하기 위해.

제안 방법

• 논문은 유한 소수에 대해 $\mathbb{Z}$, 무한 자리에 대해 $\mathbb{R}$의 계수를 갖는 주어진 체의 Arakelov 체계에 대한 주 체계의 몫으로서 Arakelov 아이디얼군 $\mathrm{Pic}_F^0$을 정의한다.
• Shanks의 기초 구조와 유사하게, $\mathrm{Pic}_F^0$의 유한한 대표자 집합으로서 축소된 Arakelov 체계를 도입한다.
• 알고리즘은 축소된 체계 위에서 점프 절차를 사용하여 $f \in \mathcal{O}_F^*$에 대한 주 체계 $(f)$의 기저를 계산하며, 아이디얼 동치와 노름 근사치를 추적한다.
• Arakelov 아이디얼군의 부피 추정과 격자 감소를 이용하여 계산된 부분군 $H'$가 $H$와 일치함을 확인함으로써 아이디얼군의 구조가 올바르게 계산되었음을 보장한다.
• 단위군 계산을 위해 방향성 있는 Arakelov 아이디얼군 $\widetilde{\mathrm{Pic}}_F^0$을 도입하여, 복소 임베딩 $\sigma(\varepsilon)$를 추적함으로써 기본 단위를 재구성할 수 있도록 한다.
• 작은 원소 $g$를 $\sigma(g)$로 근사한 후, 유계 계수를 사용하여 $\varepsilon_j = \sum \lambda_{ij} \omega_j$를 푸는 방식으로 단위의 압축 표현을 계산한다.

실험 결과

연구 질문

• RQ1 Buchmann의 아이디얼군과 조정계수 계산 알고리즘을 Arakelov 이론의 관점에서 자연스럽게 어떻게 재해석할 수 있는가?
• RQ2 축소된 Arakelov 체계는 수체의 기초 구조에서 어떤 정확한 역할을 하는가?
• RQ3 방향성 있는 Arakelov 아이디얼군을 사용하여 조정계수 외에도 기본 단위를 계산할 수 있는가?
• RQ4 Arakelov 체계와 격자 감소의 관점에서 Buchmann의 알고리즘의 계산 복잡도는 무엇인가?
• RQ5 절댓값과 임베딩의 근사치로부터 기본 단위를 어떻게 재구성할 수 있는가?

주요 결과

• Buchmann의 알고리즘은 자연스럽게 Arakelov 아이디얼군 $\mathrm{Pic}_F^0$ 위에서 작동하며, 실수 이차 수체에서 Shanks와 Lenstra의 기초 구조는 이 군과 동형이다.
• 축소된 Arakelov 체계의 집합은 $\mathrm{Pic}_F^0$에 대한 유한하고 계산 가능한 기본 도메인을 이룬다.
• 알고리즘은 $O(\exp(\sqrt{\log|\Delta_F|} \log\log|\Delta_F|))$의 지수시간 이하로 작동하며, 주요 단계는 주 체계의 계산이다.
• 방향성 있는 Arakelov 아이디얼군을 사용함으로써, 기본 단위 $\varepsilon$에 대한 $\sigma(\varepsilon)$의 근사치를 계산할 수 있으며, 이는 단위군의 재구성에 기여한다.
• 유계 크기의 원소와 로그 수준의 점프를 사용하여, 기본 단위의 압축 표현은 $O((\log|\Delta_F|)^{O(1)})$ 시간 내에 계산 가능하다.
• Arakelov 아이디얼군의 부피는 단계 1에서 추정되며, 계산된 부분군 $H'$의 부피가 $\mathrm{Pic}_F^0$의 추정된 부피와 비교되어 정확성이 검증된다.