[논문 리뷰] Computing Igusa's local zeta functions of univariate polynomials, and linear feedback shift registers

W. A. Zúñiga‐Galindo|ArXiv.org|2002. 04. 16.

Coding theory and cryptography참고 문헌 25인용 수 8

한 줄 요약

이 논문은 분해체가 $ \mathbb{Q} $인 단변수 다항식 $ f(x) \in \mathbb{Z}[x] $에 대한 이구사의 국소 제타함수 $ Z(s,f) $를 다항시간에 계산하는 알고리즘을 제시한다. 이는 $ p $-진 적분 영역의 트리 기반 분해를 통해 이루어지며, 주요 기여는 제타함수 계수에 대한 명시적이고 효율적으로 계산 가능한 공식을 제공함으로써, $ p^m $-해의 개수 $ f(x) \equiv 0 \mod p^m $를 효율적으로 계산할 수 있도록 한다. 이 알고리즘의 복잡도는 $ O(nd_f l_f) $의 산술 연산으로 제한된다.

ABSTRACT

In this paper we present a polynomial time algorithm to compute the local zeta function Z(s,f) attached to a polynomial f(x) in Z[x] (in one variable, with splitting field Q) and a prime p. The algorithm reduces in polynomial time the computation of Z(s,f) to the computation of a factorization of f(x) over Q. This reduction is accomplished by constructing a weighted tree from the p-adic expansion of the roots of f(x) modulo a certain power of p, and then associating a generating function to this tree. The generating function constructed in this way coincides with the local zeta function of f(x). We also propose a new class of candidates for one-way functions based on Igusa's zeta functions attached to polynomials in one variable.

연구 동기 및 목표

• 분해체가 $ \mathbb{Q} $인 단변수 다항식에 대해 이구사의 국소 제타함수 $ Z(s,f) $를 다항시간에 계산하는 알고리즘을 개발하는 것.
• 이전 연구에서 이러한 복잡도 추정이 부족했음을 고려해, $ Z(s,f) $ 계산의 명시적 복잡도 추정을 제공하는 것.
• 이구사 제타함수와 새로운 유형의 선형 피드백 시프트 레지스터(LFSRs) 설계 간의 연결 고리를 확립하는 것.
• $ \mathbb{Z} $ 위의 단변수 다항식에 대해 $ \{N_m(f,p)\} $, 즉 $ p^m $ 모듈로 해의 개수를 효율적으로 계산하는 문제를 해결하는 것.

제안 방법

• 메서드는 뉴턴 다각형과 특이점 해소 데이터를 기반으로 $ p $-진 적분 영역 $ \mathbb{Z}_p $를 분해하기 위한 트리 구조 $ T(f, l_f) $를 사용한다.
• 트리 $ T(f, l_f) $의 각 정점 $ u \in T(f, l_f) $에 대해, 제타함수 $ Z(t,f) $에 대한 국소 기여 $ L_u(t) $는 $ p $, $ l(u) $, $ W(u) $, $ W^*(B_u) $를 포함하는 명시적 유리함수를 통해 계산된다.
• 제타함수의 멱급수 표현 $ Z(t,f) = \sum c_j t^j $의 계수 $ c_j(f,p) $는 $ c_j(f,p) = \sum_{u \in T(f,l_f)} a_j(u) $로 표현되며, 여기서 $ a_j(u) $는 $ p $와 정점 $ u $의 조합적 불변량에 대한 유리함수이다.
• 알고리즘은 $ O(n) $의 산술 연산을 사용하여 $ N_n(f,p) = p^n - \sum_{j=1}^n p^n c_{j-1}(f,p) $의 항등식을 통해 $ N_m(f,p) $를 계산한다. 이 연산은 크기 $ O(n \log p) $인 정수에서 수행된다.
• 계수 $ c_j(f,p) $를 계산하는 데 드는 복잡도는 $ O(d_f l_f) $의 산술 연산으로 제한되며, 이는 이진 길이 $ O(\max\{(j+l_f)\log p, \log p, \log(d_f l_f)\}) $인 정수에서 수행된다.
• 새로운 LFSR의 구축은 수열 $ \{N_m(f,p)\} $을 기반으로 하며, 이 수열이 제타함수를 통해 다항시간에 계산 가능하다는 점이 입증된다.

실험 결과

연구 질문

• RQ1 분해체가 $ \mathbb{Q} $인 단변수 다항식에 대해 이구사의 국소 제타함수 $ Z(s,f) $를 다항시간에 계산할 수 있는가?
• RQ2 이러한 다항식에 대해 $ p^m $ 모듈로 해의 개수 $ N_m(f,p) $를 계산하는 데 드는 계산 복잡도는 얼마인가?
• RQ3 제타함수의 계수는 해소 트리 $ T(f,l_f) $의 조합적 불변량으로 표현될 수 있는가?
• RQ4 이구사 제타함수와 새로운 선형 피드백 시프트 레지스터(LFSRs) 설계 간에 구축 가능한 연결 고리가 존재하는가?
• RQ5 2 모듈로 해를 세는 문제와 같은 NP-완전 문제와 관련된 문제들에도 불구하고, $ Z(s,f) $의 계산이 튜링 기계에서 다항시간 문제로 환원될 수 있는가?

주요 결과

• 논문은 분해체가 $ \mathbb{Q} $인 단변수 다항식 $ f(x) \in \mathbb{Z}[x] $에 대해 $ Z(s,f) $를 다항시간에 계산하는 알고리즘을 제공함으로써, 계산수론 분야에서 오랫동안 미해결이었던 문제를 해결한다.
• 제타함수 급수의 계수 $ c_j(f,p) $를 계산하는 데 드는 복잡도는 $ O(d_f l_f) $의 산술 연산으로 제한되며, 이는 이진 길이 $ O(\max\{(j+l_f)\log p, \log p, \log(d_f l_f)\}) $인 정수에서 수행된다.
• $ p^n $ 모듈로 해의 개수 $ N_n(f,p) $는 계수 $ c_j(f,p) $를 사용하여 $ O(n) $의 산술 연산으로 계산 가능하며, 이 연산은 크기 $ O(n \log p) $인 정수에서 수행된다.
• 알고리즘은 다항시간에 계산 가능한 수열 $ \{N_m(f,p)\} $을 기반으로 새로운 유형의 선형 피드백 시프트 레지스터(LFSRs)를 구축한다.
• 이 방법은 유한 트리 $ T(f,l_f) $를 따라 $ Z(t,f) $를 합으로 명시적으로 계산하며, 각 항 $ L_u(t) $는 $ p $, $ l(u) $, $ W(u) $, $ W^*(B_u) $에 의존하는 유리함수로 주어진다.
• 논문은 $ N_m(f,p) $ 계산이 주어진 조건 하에서 $ Z(s,f) $ 계산으로 다항시간 환원 가능하며, 그 반대의 경우도 마찬가지로 성립함을 입증한다.