[논문 리뷰] Factoring Polynomials over Finite Fields using Balance Test

Chandan Saha|ArXiv.org|2008. 02. 20.

Coding theory and cryptography참고 문헌 9인용 수 6

한 줄 요약

이 논문은 확장 리만 가설(ERH) 하에 단변수 다항식의 소인수분해를 위한 결정론적 다항시간 알고리즘을 제안하며, 루트의 비대칭성을 탐지하기 위해 반복적인 보조 다항식 기반의 새로운 '균형 테스트'를 사용한다. 이는 가오(Gao)의 제곱 균형 조건을 더 엄격한 '교차 균형' 성질로 발전시켜, 매우 대칭적인 다항식을 제외한 모든 다항식에 대해 다항시간 소인수분해를 가능하게 하며, 랜덤으로 선택된 보조 다항식을 사용하는 랜덤화 변형도 제안하여 높은 확률로 성공한다.

ABSTRACT

We study the problem of factoring univariate polynomials over finite fields. Under the assumption of the Extended Riemann Hypothesis (ERH), (Gao, 2001) designed a polynomial time algorithm that fails to factor only if the input polynomial satisfies a strong symmetry property, namely square balance. In this paper, we propose an extension of Gao's algorithm that fails only under an even stronger symmetry property. We also show that our property can be used to improve the time complexity of best deterministic algorithms on most input polynomials. The property also yields a new randomized polynomial time algorithm.

연구 동기 및 목표

• 가오의 제곱 균형 조건을 더 엄격한 대칭성 성질인 '교차 균형'으로 확장하여 더 넓은 다항식 클래스에 대해 결정론적 소인수분해를 가능하게 하기.
• 입력 다항식의 루트에서의 구조적 비대칭성을 이용해 결정론적 다항식 소인수분해의 최악의 시간 복잡도를 감소시키기.
• 랜덤으로 선택된 보조 다항식을 사용하여 다항시간 랜덤 알고리즘을 설계하고, 합리적인 필드 조건 하에서 높은 성공 확률을 보장하기.
• 소인수분해 계산에 사용되는 링의 차원을 줄여 이전 방법들에 비해 높은 계산 비용을 방지하기.
• ERH 하에서 유한체 위 다항식의 결정론적 다항시간 소인수분해 문제를 해결하기 위해 새로운 검증 가능한 대칭 조건을 규명하기.

제안 방법

• 알고리즘은 $ k = (n /\log p)^{O(1)} $ 개의 작은 차수의 보조 다항식 $ p_1, \bar{p}_2, \bar{p}_3, \bar{p}_k $의 시퀀스를 사용하며, $ p_1(y) = y $ 이다. 이는 입력 다항식 $ f $의 루트를 변환한다.
• 각 $ p_l $에 대해, $ n $ 개의 정점(루트 $ \theta_i $에 대응)을 가진 방향 그래프 $ G_l $ 를 구성한다. 간선 $ v_i \to v_j $ 가 존재하는 조건은 $ \theta_j \neq \theta_i $ 이고, $ \text{sign}((p_l(\theta_i) - p_l(\theta_j))^2) = -(p_l(\theta_i) - p_l(\theta_j)) $ 를 만족하며, 가오의 연구에서 유래한 제곱근 함수 $ \rho $ 를 사용한다.
• 집합 $ D_i^{(l)} $ 는 반복적으로 $ D_i^{(l)} = D_i^{(l-1)} \bigcap \triangle_i^{(l)} $ 로 정의되며, $ \triangle_i^{(l)} $ 는 변환된 루트의 대칭 차이를 포괄한다.
• 알고리즘은 $ G_l $ 이 정규 그래프(모든 정점의 진입차수와 출발차수가 동일)인지 확인한다. 만약 어떤 $ G_l $ 도 정규가 아니면, $ O(k \times (n /\log p)^{O(1)}) $ 시간 내에 $ f $ 의 비자명한 인수를 발견한다.
• 만약 $ G_l $ 이 정규이면서 $ G_l \neq G_{l-1} $ 이면, $ g_{l-1}(y) $ 의 차수의 최대 절반 이하인 $ f'(y) $ 의 모닉 인수 $ g_l(y) $ 를 계산한다. 이는 로그 수준의 수렴을 보장한다.
• 랜덤 성능을 위해 알고리즘은 균일하게 랜덤으로 선택된 차수 $ n-1 $ 의 보조 다항식을 사용하며, $ \bar{O}(\text{log } n) $ 단계 동안 정규성을 유지할 확률이 지수적으로 작다는 것을 보여, 높은 확률로 성공함을 보장한다.

실험 결과

연구 질문

• RQ1 가오의 제곱 균형 테스트에서의 대칭 조건을 더 강력하게 강화하여 더 넓은 다항식 클래스에 대해 결정론적 소인수분해를 가능하게 할 수 있는가?
• RQ2 보조 다항식의 사용이 소인수분해에 사용되는 링의 차원을 줄여 시간 복잡도를 향상시키는 데 기여하는가?
• RQ3 랜덤으로 선택된 보조 다항식이 필요한 대칭성을 깨뜨릴 확률은 얼마이며, 이는 다항시간 랜덤 소인수분해 성공으로 이어지는가?
• RQ4 대칭성이 깨졌을 때, 중간 인수 $ g_l(y) $ 의 차수가 매 단계에서 최소한 절반 이하로 감소하도록 알고리즘을 수정할 수 있는가?
• RQ5 보조 다항식을 결정론적으로 다항시간 내에 구성할 수 있는가? 이를 통해 ERH 하에 완전한 결정론적 다항시간 소인수분해를 달성할 수 있는가?

주요 결과

• 어느 그래프 $ G_l $ 도 정규가 아니면, 알고리즘이 $ f $ 를 결정론적 다항시간 내에 소인수분해하며, 시간 복잡도는 $ O(k \times (n /\log p)^{O(1)}) $ 이다. 여기서 $ k = (n /\log p)^{O(1)} $ 이다.
• 만약 $ G_1, \bar{G}_k $ 가 모두 정규이면서 $ G_l \neq G_{l-1} $ 인 $ l $ 의 값이 최소 $ \bar{\text{log}}_2 n $ 개 이상이면, $ f $ 는 $ O(k \times (n /\log p)^{O(1)}) $ 시간 내에 소인수분해된다.
• 만약 $ p \triangleq 3 \bmod 4 $ 이고 $ p > n^6 2^{2n} $ 이면, 제곱 자유이고 완전히 분해 가능한 다항식 중에서 제곱 균형을 가진 비율은 $ \frac{(1+o(1))^n}{(\frac{\bar{\text{pi}}}{2}n)^{n/2}} $ 이하이며, 이는 그러한 다항식이 희귀하다는 것을 의미한다.
• 보조 다항식 $ p_l(y) $ 가 균일하게 랜덤으로 선택된 차수 $ n-1 $ 이면, $ f_l $ 이 제곱 자유가 아니거나 제곱 균형이 되는 확률은 $ \frac{(1+o(1))^n}{(\frac{\bar{\text{pi}}}{2}n)^{n/2}} $ 이하이며, 따라서 알고리즘이 높은 확률로 성공한다.
• 만약 $ p \triangleq 1 \bmod 4 $ 이면, $ G_l $ 이 정규일 때 $ G_{l+1} \neq G_l $ 가 되는 확률은 $ 1 - \frac{1}{2^{0.9n - 2}} $ 이상이며, 이는 $ \bar{O}(\text{log } n) $ 단계 내에 충분히 높은 확률로 충족됨을 보장한다.
• 알고리즘이 $ \bar{O}(\text{log } n) $ 반복 내에 $ f $ 를 소인수분해하지 못할 확률은 $ \frac{\bar{O}(\text{log } n)}{2^{0.9n - 2}} $ 이하이며, 이는 랜덤화된 변형이 높은 확률로 다항시간 내에 실행됨을 증명한다.