[논문 리뷰] Improvements on Cantor-Zassenhaus Factorization Algorithm

Michele Elia, Davide Schipani|arXiv (Cornell University)|2010. 12. 23.

Coding theory and cryptography참고 문헌 7인용 수 5

한 줄 요약

이 논문은 유한체에서 다항식 인수분해를 위한 캔터-자센하우스 알고리즘의 단순화되고 최적화된 버전을 제시한다. 이는 구조적 무작위 다항식을 사용하여 계산 비용을 감소시킨다. 다항식이 완전히 분해되는 데 필요한 尝시의 횟수에 대해 더 날카운 경계를 설정한다: $ \mathbb{F}_{2^m} $에서 $ O(2^m / 3^t) $, 홀수 $p$에 대해 $ \mathbb{F}_{p^m} $에서 $ O(p^m / 2^t) $로, 확률적 및 결정론적 성공률 추정치를 모두 향상시킨다.

ABSTRACT

After revisiting Cantor-Zassenhaus polynomial factorization algorithm, we describe a new simplified version of it, which requires less computational cost. Moreover we show that it is able to find a factor of a fully splitting polynomial of degree $t$ over $\mathbb F_{2^m}$ with $O(\frac{2^m}{3^{t}})$ attempts and over $\mathbb F_{p^m}$ for odd $p$ with $O(\frac{p^m}{2^{t}})$ attempts.

연구 동기 및 목표

• 기존 캔터-자센하우스 인수분해 알고리즘의 계산 비용을 단순화하고 감소시키는 것.
• $ \mathbb{F}_{2^m} $ 및 $ \mathbb{F}_{p^m} $에서 완전히 분해되는 다항식을 인수분해하기 위해 필요한 尝시 횟수에 대해 더 날카운 경계를 유도하는 것.
• 알고리즘의 결정론적 성공 임계값을 설정하여, 한 번 또는 두 번의 尝시 내에 성공하는 데 필요한 최소 차수 $t$를 규명하는 것.
• 특성 합 추정치와 대칭 함수 경계를 사용하여 확률적 성공률 분석을 향상시키는 것.

제안 방법

• 임의의 무작위 선택이 줄어들도록, 테스트 다항식으로 $c(z) = z$ 및 $c(z) = z + \beta$ (여기서 $\beta \neq 0$) 를 제안한다.
• 모듈로 지수법칙을 적용하여 $a(z) = c(z)^{\ell_m} \mod \sigma(z)$ 를 사용한다. 여기서 $\ell_m = (p^m - 1)/k$ 이며, $k=3$ ($p=2$) 또는 $k=2$ ($p>2$) 이다. 이는 $\mathbb{F}_{p^m}$ 내의 단위근을 활용한다.
• 특성 합 기법과 대칭 함수 경계를 사용하여, 특히 $N_p(r)$ 및 $N_2(r)$에 대해 성공적인 인수분해 시도 횟수를 추정한다.
• 가우스 합과 수직성 관계를 활용하여 두 번의 尝시에 대한 결정론적 경계에서의 최대 실패 횟수 $M$을 계산한다.
• 기본 대칭 함수와 [16, 정리 2C’]를 통한 특성 합의 경계를 사용하여 $N_p(r)$ 및 $N_2(r)$의 경계를 도출한다.
• 곱셈군의 두 코셋에서 원소의 합으로 표현되는 $\beta \neq 0$ 의 최대 표현 횟수를 계산하여 최악의 경우의 尝시 횟수를 분석한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_{2^m}$에서 차수 $t$의 완전히 분해되는 다항식을 보장적으로 인수분해하기 위해 필요한 최소한의 尝시 횟수는 얼마인가?
• RQ2 캔터-자센하우스 알고리즘은 어떻게 단순화되어 계산 비용을 줄일 수 있으며, 동시에 정확성을 유지할 수 있는가?
• RQ3 알고리즘의 정확한 확률적 성공률는 무엇이며, 이는 $t$와 $m$에 따라 어떻게 변화하는가?
• RQ4 다항식의 차수 $t = 1 + M$일 때, 두 번의 尝시 내에 실패할 수 있는 최대 횟수 $M$은 얼마인가?
• RQ5 특성 합 추정치와 대칭 함수 분석을 사용하여 인수분해 성공에 대한 결정론적 경계를 유도할 수 있는가?

주요 결과

• 유한체 $\mathbb{F}_{2^m}$에서 차수 $t$의 완전히 분해되는 다항식을 인수분해하기 위해 필요한 尝시 횟수는 $O(2^m / 3^t)$ 이하로 경계된다. 이는 이전 추정치를 향상시킨다.
• 홀수 $p$에 대해, 尝시 횟수는 $O(p^m / 2^t)$ 이하로 경계되며, 이 경계는 특성 합 및 대칭 함수 분석을 통해 도출된다.
• 결정론적 경계 $t_0(1) = \ell_m + 1$ 는 $\mathbb{F}_{2^m}$에서 $\ell_m = (2^m - 1)/3$ 보다 큰 차수의 모든 다항식에 대해 한 번의 尝시 내에 성공을 보장한다.
• 두 번의 尝시에 대해, 최대 실패 횟수 $M$은 $m/2$ 가 짝수일 때 $\frac{1}{9}(2^m + 2^{m/2} - 2)$, 홀수일 때 $\frac{1}{9}(2^m + 2^{m/2+1} + 1)$ 이며, 이에 따라 $t_0(2) = 1 + M$ 이다.
• 홀수 $p$에 대해, 결정론적 경계 $t_0(2)$ 는 $p \equiv 1 \pmod{4}$ 이면 $1 + \frac{1}{4}(p^m - 1)$, $p \equiv 3 \pmod{4}$ 이고 $m$ 이 홀수이면 $1 + \frac{1}{4}(p^m + 1)$ 이다.
• 분석 결과, $r \ll \frac{m}{2} \log_2 p$ 일 때 확률적 추정치 $N_p(r) \simeq p^m / 2^{r-1}$ 가 성립함을 확인하여 히ュ리스틱 성공률가 타당함을 입증한다.