[논문 리뷰] Factoring polynomials over global fields

Karim Belabas, Mark van Hoeij외 2명|ArXiv.org|2004. 09. 27.

Coding theory and cryptography참고 문헌 4인용 수 11

한 줄 요약

이 논문은 전역체, 즉 수체와 함수체를 포함한 다항식의 인수분해를 다항시간에 수행하는 알고리즘을 제시한다. 이는 조합적 폭발을 피하기 위해 하넨 리프팅과 배낭 기반 선형대수 기법을 융합함으로써 달성된다. 주요 기여는 다항식 인수분해 문제를 유한체 위에서 선형계를 푸는 것으로 환원함으로써 증명 가능하게 효율적인 방법을 제공하는 것으로, $\mathbb{Q}$와 $\mathbb{F}_q(t)$에서 다항시간 복잡도를 달성한다.

ABSTRACT

Let K be a global field and f in K[X] be a polynomial. We present an efficient algorithm which factors f in polynomial time.

연구 동기 및 목표

• 전역체, 특히 $\mathbb{Q}$와 $\mathbb{F}_q(t)$에서 다항시간에 다항식 인수분해를 위한 실용적이고 효율적인 알고리즘을 개발하기 위해.
• 고전적인 자센하우 알고리즘에서 발생하는 조합적 폭발 문제를 해결하기 위해, 인수 조합의 완전한 열거를 선형대수 기반의 체계적인 탐색으로 대체하기 위해.
• 유리계수에서의 배낭 기반 접근법을 일반 전역체로 일반화하여 다항시간 복잡도를 확보하기 위해.
• 하넨 리프팅과 뉴턴 다각형 경계 기반의 엄밀한 복잡도 분석 및 실용적 구현 전략을 제공하기 위해.

제안 방법

• 비아르키메데스 장소 $v$에 대해 $\ell$가 충분히 큰 경우, $f_i$를 $v^\ell$ 모듈로로 국소 인수분해를 계산하기 위해 하넨 리프팅을 사용한다.
• 인수의 곱셈적 구조를 $\mathcal{O}_v[X]$ 위에서 덧셈 문제로 선형화하기 위해 로그 미분 변환 $\Phi(g) = f \cdot \frac{g'}{g}$을 도입한다.
• 계수 차수로부터 $\Phi(f_1^{e_1} \cdots f_r^{e_r})$ 모듈로 $v^\ell$에 대한 행렬 $\tilde{A}_i$를 구성함으로써 문제를 $\mathbb{F}_p$ 위에서 이러한 행렬의 핵을 찾는 문제로 환원한다.
• 뉴턴 다각형 경계를 사용하여 $\Phi(g)$의 계수 차수의 최대값을 추정함으로써, $\ell$가 $K$-인수를 잡아내기 위해 충분히 큰지 보장한다.
• 정확한 부분공간 $W$가 $K$-인수에 대응하는 것을 확보하기 위해, 계수 행렬의 핵을 반복적으로 교차시켜 격자 $L$를 개선한다.
• 정확한 지수 벡터가 결정된 후, $\ell$-진 근사에서 정확한 $K$-인수를 복원하기 위해 리프팅 절차를 적용한다.

실험 결과

연구 질문

• RQ1 자센하우 알고리즘의 조합적 인수 열거는 전역체에서 다항시간 선형대수 기법으로 대체될 수 있는가?
• RQ2 어느 최소 $\ell$ 값이 국소 인수의 $v^\ell$-리프팅이 다항식 $f$의 모든 $K$-유리 기약 인수를 포괄하는가?
• RQ3 로그 미분 변환은 곱셈적 인수분해 문제를 어떻게 덧셈적 격자 문제로 변환할 수 있는가?
• RQ4 $\Phi(g)$의 계수 차수에 대한 어떤 경계 조건이 핵 계산이 정확한 인수 부분공간 $W$를 회복하도록 보장하는가?
• RQ5 뉴턴 다각형을 사용하여 $n(n-1)$ 또는 $(2n-1)\deg_t(f)$보다 더 날카운 경계를 유도할 수 있는가? 이는 계산 비용을 감소시키기 위함이다.

주요 결과

• 알고리즘은 $K = \mathbb{Q}$와 $K = \mathbb{F}_q(t)$에서 다항시간에 실행되며, 복잡도는 다항식의 차수와 모듈러스 $v^\ell$의 크기로 제한된다.
• 만약 $v^\ell$의 $t$-차수 $\deg_t(f)$가 $(2n-1)\deg_t(f)$를 초과하면, 계수 행렬 $\tilde{A}_i$의 핵이 정확한 인수 부분공간 $W$를 회복하여 정확성을 보장한다.
• 뉴턴 다각형을 사용하여 $\Phi(g)$의 계수 차수에 대한 더 날카운 경계 $B_i$를 도출함으로써, 일반 경계보다 효율성을 향상시킨다.
• 유한체 $\mathbb{F}_p$ 위에서 선형대수를 사용함으로써 지수시간 열거를 회피함으로써, 고차수 다항식에 대해서도 실용적인 알고리즘이 된다.
• 이 방법은 반데 호이의 배낭 접근법을 전역체로 일반화하여, 이전의 격자 기반 방법이 실용적으로 너무 느렸던 곳에서도 다항시간 솔루션을 제공한다.
• $\mathbb{F}_q$에서 $\mathbb{F}_p^w$로의 $\psi$-리프팅을 통해 $\tilde{A}_i$를 구성함으로써, $\mathbb{F}_p$ 위에서 핵을 효율적으로 계산하면서도 $W$의 구조를 유지한다.