[논문 리뷰] Lattices over Polynomial Rings and Applications to Function Fields

Jens-Dietrich Bauch|arXiv (Cornell University)|2016. 01. 07.

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

한 줄 요약

이 논문은 다항식 환 $k[t]$ 위의 격자에 대한 감소 알고리즘을 제시하며, 급수 전개 없이 함수체에서의 리만-로흐 공간과 약수의 연속 최소값을 계산할 수 있도록 한다. 이 방법은 레인스타인의 접근을 정수값이 아닌 길이 함수를 갖는 격자로 일반화하며, $k$에서의 연산 복잡도가 $O(n^5(h(D) + n^2 C_f)^2 + n^{5+\rho} C_f^{2+\rho} \log q)$로 계산되어 이전 알고리즘에서 급수 근사에 의존하는 한계를 해결한다.

ABSTRACT

This paper deals with lattices $(L,\Vert~\Vert)$ over polynomial rings, where $L$ is a finitely generated module over $k[t]$, the polynomial ring over the field $k$ in the indeterminate $t$, and $\Vert~\Vert$ is a discrete real-valued length function on $L\otimes_{k[t]}k(t)$. A reduced basis of $(L,\Vert~\Vert)$ is a basis of $L$ whose vectors attain the successive minima of $(L,\Vert~\Vert)$. We develop an algorithm which transforms any basis of $L$ into a reduced basis of $(L,\Vert~\Vert)$. By identifying a divisor $D$ of an algebraic function field with a lattice $(L,\Vert~\Vert)$ over a polynomial ring, this reduction algorithm can be addressed to the computation of the Riemann-Roch space of $D$ and the successive minima of $(L,\Vert~\Vert)$, without the use of any series expansion.

연구 동기 및 목표

• 정수값이 아닌 길이 함수를 갖는 격자에 대한 일반적인 감소 알고리즘을 개발하기 위해.
• 함수체에서 약수의 리만-로흐 공간과 연속 최소값을 계산할 때 급수 전개가 필요 없도록 하기 위해.
• 헤스의 알고리즘에서의 결함을 해결하기 위해, 즉 연속 최소값을 정확히 계산하는 것이 아니라 근사하기 때문에.
• 약수 $D$의 $\mathcal{L}(D)$ 기저와 연속 최소값을 계산하기 위한 복잡도 최적화된 방법을 제공하기 위해.
• 임의의 계산 가능한 상수 체에 적용 가능한 함수체에서의 격자 감소 프레임워크를 구축하기 위해.

제안 방법

• 논문은 $k[t]$ 위의 노름이 부여된 격자 $(L, \|\cdot\|)$를 정의하며, $a \in k[t]$에 대해 $\|ax\| = |a| + \|x\|$를 만족하는 이산 실수값 길이 함수 $\|\cdot\|$를 사용한다.
• 연속 최소값을 달성하는 기저로 구성된 축소 기저의 개념을 도입하고, 그 존재성을 렘마 1.13를 통해 증명한다.
• 정수값이 아닌 길이 함수를 갖는 격자를 대상으로 한 레인스타인 감소 알고리즘의 일반화를 개발하여, 임의의 기저를 축소 기저로 변환할 수 있도록 한다.
• 함수체의 약수 $D$를 $k[t]$ 위의 격자 $(L, \|\cdot\|)$로 매핑함으로써, 리만-로흐 공간 $\mathcal{L}(D)$를 격자 감소를 통해 계산할 수 있도록 한다.
• 헤르미트 기저 계산과 행렬 변환을 사용하며, $M$과 $M'$을 포함한다. 복잡도는 주로 행렬 역행렬과 곱셈 연산에 의해 지배된다.
• 최종 알고리즘은 $I$의 허르미트 기저 계산, $I_\infty$의 축소 기저 계산, 그리고 변환 행렬 $T = MM'^{-1}$을 조합하여 $\mathcal{L}(D)$의 $k$-기저와 연속 최소값을 계산한다.

실험 결과

연구 질문

• RQ1 정수값이 아닌 길이 함수를 갖는 격자에 대해 $k[t]$ 위에서 일반적인 감소 알고리즘을 개발할 수 있는가?
• RQ2 리만-로흐 공간과 연속 최소값을 푸아제 또는 로랑 급수 전개 없이 계산할 수 있는가?
• RQ3 함수체에서의 격자 감소 복잡도는 함수체의 차수와 약수의 높이에 대해 어떻게 변화하는가?
• RQ4 이전 방법들이 근사치를 제공하는 데 반해, 이 알고리즘은 원래 격자의 정확한 연속 최소값을 유지할 수 있는가?
• RQ5 연산 복잡도는 $n$, $h(D)$, $C_f$, $q$에 대해 $\mathcal{L}(D)$의 $k$-기저와 약수 $D$의 연속 최소값을 계산하는 데 얼마나 드는가?

주요 결과

• 제안된 감소 알고리즘은 $k[t]$ 위의 임의의 격자 기저를 축소 기저로 변환하여 연속 최소값을 달성하며, 정수값이 아닌 길이 함수를 갖는 데도 적용 가능하다.
• 이 알고리즘은 급수 전개를 완전히 회피하여, 이전 방법에서 상수 체 확장을 필요로 하고 고정밀 급수 계산을 수행해야 하는 기술적 문제를 해결한다.
• 기저 $\mathcal{L}(D)$와 연속 최소값을 계산하는 복잡도는 $k$에서의 연산 수로 $O(n^5(h(D) + n^2 C_f)^2 + n^{5+\rho} C_f^{2+\rho} \log q)$로 유계이다. 여기서 $\rho > 0$이다.
• 약수 $D = D_0 + D_\infty$이고 $D_\infty = r(t)_\infty$일 경우, 특정한 구조적 가정 하에 복잡도는 $O(n^3(h(D) + n^3 C_f)^2 + n^{5+\rho} C_f^{2+\rho} \log q)$로 감소한다.
• 헤스의 알고리즘과 달리, 이 방법은 원래 격자의 연속 최소값을 정확히 계산한다.
• 변환 행렬 $T = MM'^{-1}$은 알고리즘의 핵심이며, 그 비용은 주로 행렬 역행렬과 곱셈 연산에 의해 지배되며, $O(n^5(h(D) + n^2 C_f)^2)$로 유계이다.