[논문 리뷰] Counting Points on Hyperelliptic Curves using Monsky-Washnitzer Cohomology

Kiran S. Kedlaya|ArXiv.org|2001. 05. 03.

Advanced Numerical Analysis Techniques참고 문헌 8인용 수 204

한 줄 요약

이 논문은 홀수 특성의 유한체 위의 초타원곡선에 대해, Monsky-Washnitzer 코homology를 사용하여 Frobenius 특성다항식의 $p$-진 근사값을 계산함으로써 다항식 시간 알고리즘을 제시한다. 이 방법은 $F_{p^n}$ 위의 종수 $g$ 곡선에 대해 $O(g^{4+ heta}n^{3+ heta})$의 점차적 실행 시간을 달성하며, 유리수 웨이어스트라스 점을 가진 경우 이전의 지수적 방법에 비해 뚜렷한 향상이 이루어진다.

ABSTRACT

We describe an algorithm for counting points on an arbitrary hyperelliptic curve over a finite field of odd characteristic, using Monsky-Washnitzer cohomology to compute a p-adic approximation to the characteristic polynomial of Frobenius. For fixed p, the asymptotic running time for a curve of genus g over the field of p^n elements is O(g^{4+ε} n^{3+ε}).

연구 동기 및 목표

• 홀수 특성의 유한체 위의 초타원곡선에 대해 유리점 수를 효율적으로 세는 알고리즘을 개발함으로써, 이전의 지수적 시간 방법의 한계를 극복하는 것.
• Schoof의 방법과 같은 종수 1 점수 계산 방법을 고차수 곡선으로 확장하는 데 있어 임의의 제약이 발생하는 문제를 해결하는 것.
• 명시적인 양자다중체 모델이나 형식적 군 계산에 의존하지 않는 $p$-진 코hom로 접근법을 제공함으로써, 종수에 대해 지수적 시간이 소요되는 기존 방법을 피하는 것.
• 유리수 웨이어스트라스 점을 가진 곡선에 대해 종수 $g$와 체 차수 $n$에 대해 다항식 시간 복잡도를 달성함으로써 고차수 곡선에 대한 실용적인 계산을 가능하게 하는 것.

제안 방법

• 곡선을 특성 0으로의 올림에 대해 de Rham 코hom로지 공간을 계산하기 위해, 좌표환의 약한 완비화를 사용하여 적분의 수렴을 보장하는 Monsky-Washnitzer dagger 코hom로지 공간을 활용한다.
• 좌표환 위의 Frobenius 승수와 멱급수 전개를 통해 코호몰로지 공간에서 Frobenius 준동형의 작용에 대한 $p$-진 근사값을 계산한다.
• 반복적 Frobenius 변형과 반복 제곱법을 통한 행렬 거듭제곱을 사용하여 $F_{p^n}$ 위의 코호몰로지 기저에서 Frobenius 작용을 계산한다.
• 확장된 GCD 알고리즘을 사용하여 곡선의 정의 방정식에 대해 미분형식을 줄임으로써 정밀도와 효율성을 유지한다.
• 벡터 반복 곱셈과 행렬 역행렬 계산을 통해 반복적으로 특성다항식을 추출하여 제타 함수를 계산한다.
• 빠른 산술 연산을 $Z_p/(p^N)$-확장에서 수행하고, 최적화된 다항식 평가 기법(예: Paterson-Stockmeyer)을 활용하여 시간 복잡도를 감소시킨다.

실험 결과

연구 질문

• RQ1 초타원곡선의 제타 함수를 다항식 시간 내에 종수와 체 차수에 대해 $p$-진 코호몰로지 방법으로 계산할 수 있는가?
• RQ2 Monsky-Washnitzer 코호몰로지가 고차수 점수 계산에서 전통적인 방법(예: Schoof의 방법 또는 Satoh의 방법)을 어느 정도 대체할 수 있는가?
• RQ3 명시적인 양자다중체 모델이 필요 없이 종수 $g$와 체 확장 차수 $n$에 대해 모두 다항식 시간 복잡도를 달성하는 것이 가능한가?
• RQ4 유리수 웨이어스트라스 점의 존재가 알고리즘의 실행 가능성과 복잡도에 어떤 영향을 미치는가?
• RQ5 완전한 특성다항식을 계산하는 것보다 Frobenius의 뉴턴 다각형을 더 효율적으로 계산할 수 있는가?

주요 결과

• 유리수 웨이어스트라스 점을 가진 초타원곡선의 경우, $F_{p^n}$ 위의 종수 $g$ 곡선에 대해 알고리즘이 점차적 실행 시간 $O(g^{4+ heta}n^{3+ heta})$을 달성한다.
• 이전의 방법들인 Schoof의 방법이나 Satoh의 방법과 달리, 종수 $g$와 체 차수 $n$에 대해 모두 다항식 시간 복잡도를 보이며, 종수나 체 크기에 대해 지수적 시간이 소요되는 기존 방법과는 다릅니다.
• 주요 계산 비용은 행렬 거듭제곱과 특성다항식 계산에서 발생하며, 이는 $2g imes 2g$ 행렬 연산으로 인해 $O(g^{4+ heta})$ 시간이 소요된다.
• $n^{3+ heta}$ 요소는 잔여체 위에서 $ au = ho^k$의 반복적 적용에서 기인하며, 각 거듭제곱 단계에서 약 $O( heta)$번의 적용이 필요하다.
• 형식적 군이나 양자다중체 방정식에 의존하지 않아, 이러한 모델이 비가역적인 고차수 곡선에 대해서도 적용 가능하다.
• 단계 2에서 기저 벡터 위의 Frobenius 작용을 병렬화함으로써 잠재적인 최적화가 가능하지만, 단계 3에서의 $g^4$ 블로킹 문제는 병렬화로도 해결되지 않는다.