[논문 리뷰] Counting points on varieties over finite fields of small characteristic

Alan G. B. Lauder, Daqing Wan|ArXiv.org|2006. 12. 06.

Cryptography and Residue Arithmetic참고 문헌 18인용 수 39

한 줄 요약

이 논문은 p-진 방법, Dwork의 추적 공식, Bombieri의 차수 경계 및 준선형 감소를 사용하여, 소특성의 유한체 위의 고정 차원 대상에 대해 zeta 함수를 계산하는 결정론적 다항식 시간 알고리즘을 제시한다. 핵심 기여는 bit 복잡도가 $\tilde{\mathcal{O}}(2^{13n^2}a^{3n+7}d^{3n^2+9n}p^{2n+4})$로 유계된 명시적 알고리즘을 제공함으로써, 이러한 체 위의 매끄러운 프로젝티브 곡선의 Jacobian 군의 순서를 효율적으로 계산할 수 있도록 한다.

ABSTRACT

We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing the order of the group of rational points on the Jacobian of a smooth geometrically connected projective curve over a finite field of small characteristic.

연구 동기 및 목표

• 소특성이 작은 유한체 위의 다양체에 대해 zeta 함수를 계산하는 효율적이고 결정론적인 알고리즘을 개발하는 것.
• 비특이성이나 매끄러움 조건 없이도 Dwork의 p-진 방법을 일반적인 다양체에 적용할 수 있도록 확장하는 것.
• 변수 수, 차수, 체 크기의 관점에서 알고리즘의 정확한 bit 복잡도 경계를 제공하는 것.
• 소특성이 작은 유한체 위의 매끄러운 프로젝티브 곡선의 Jacobian 군의 순서를 효율적으로 계산할 수 있도록 하는 것.
• 희소성에 기반하여 효율성을 향상시키기 위해 뉴턴 다면체와 Adolphson-Sperber 방법을 활용해 알고리즘을 정교화하는 것.

제안 방법

• p-진 코hom올로지를 통해 zeta 함수를 유리 함수로 표현하기 위해 Dwork의 p-진 추적 공식을 사용한다.
• zeta 함수의 분자와 분모의 차수를 제어하기 위해 Bombieri의 차수 경계를 적용하여 입력 크기가 유한해지도록 보장한다.
• 정수 위에서의 선형 시스템을 모듈로 산술과 중국인의 나머지 정리로 풀 수 있도록 하기 위해 준선형 감소 추론을 활용한다.
• 확장 체 $\mathbb{F}_{q^k}$ 위에서의 점 수 $N_k$ 를 계산하기 위해 토러스 분해 방법을 사용하며, bit 복잡도는 $\tilde{\mathcal{O}}(a^{3n+7}k^{3n+5}n^{3n+5}d^{3n}p^{2n+4})$ 이다.
• Weil 경계에서 유도된 계수 크기의 경계를 활용하여 $\mathbb{Z}$ 위에서의 선형대수를 통해 $N_k$ 값들로부터 zeta 함수를 재구성한다.
• 다항식의 뉴턴 다면체를 활용해 총 차수 $d^n$ 을 다면체의 정규화된 부피로 대체함으로써 희소 다항식에 대해 효율성을 향상시킨다.

실험 결과

연구 질문

• RQ1 소특성이 작은 유한체 위의 다양체에 대해 zeta 함수를 결정론적 다항식 시간 내에 계산할 수 있는가?
• RQ2 Dwork의 p-진 방법은 비특이성이나 매끄러움 조건 없이도 일반적인 다양체에 대해 명시적이고 효율적인 알고리즘을 도출할 수 있도록 어떻게 적응시킬 수 있는가?
• RQ3 변수 수, 차수, 체 크기의 관점에서 zeta 함수 계산의 정확한 bit 복잡도는 무엇인가?
• RQ4 뉴턴 다면체를 활용해 알고리즘을 정교화함으로써 희소 다항식에 대해 효율성을 향상시킬 수 있는가?
• RQ5 매끄러운 프로젝티브 곡선의 Jacobian 군의 순서는 zeta 함수로부터 어떻게 효율적으로 계산할 수 있는가?

주요 결과

• 소특성이 작은 유한체 위의 고정 차원 다양체에 대해 zeta 함수를 결정론적 다항식 시간 내에 계산할 수 있다.
• 알고리즘의 bit 복잡도는 $\tilde{\mathcal{O}}(2^{13n^2}a^{3n+7}d^{3n^2+9n}p^{2n+4})$로 유계지며, 소프트-오 표기법은 로그 인자를 무시한다.
• 고정된 $n$, $d$, $p$ 에 대해 시간 복잡도는 $\mathcal{O}(a^{3n+7})$ 이고, 공간 복잡도는 $\mathcal{O}(a^{2n+4})$ 이다. 이는 소특성에 대해 효율적이다.
• 이 방법을 통해 $P(1)$ 을 통해 zeta 함수의 무게-1 부분 $P(T)$ 를 이용해 매끄러운 프로젝티브 곡선의 Jacobian 군의 순서를 효율적으로 계산할 수 있다.
• 비특이성 가정 없이도 특이적이고 비매끄러운 다양체를 다룰 수 있다.
• 뉴턴 다면체를 활용한 정교화로 총 차수 $d^n$ 을 다면체의 정규화된 부피로 대체함으로써 희소 다항식에 대해 효율성을 향상시킬 수 있다.