소수 제곱 링에서 다항식 근의 수 세기

초록

소수 p에 대한 링 Z/p^2Z 상의 다항식 근을 효율적으로 세는 새로운 알고리즘을 제시합니다. 기존의 무차별 대입법과 달리, 이 알고리즘은 다항식의 차수, 크기, log p에 대해 다항 시간 복잡도를 가집니다. 핵심은 근의 개수를 간결한 공식 deg(f1) + p * deg(h2)으로 표현하는 것입니다.

상세 분석

이 논문의 핵심 기술적 통찰은 헨젤의 보조정리(Hensel’s Lemma)를 두 가지 버전으로 구분하여 적용하는 전략에 있습니다. 모듈로 p에서의 근을 ‘단순근’(simple root, 도함수가 0이 아닌 경우)과 ‘퇴화근’(degenerate root, 도함수가 0인 경우)으로 분류합니다. 버전 I에 따르면 단순근은 모듈로 p^2으로 유일하게 리프팅(lifting)됩니다. 반면, 버전 II는 퇴화근의 리프팅 동작을 설명합니다: 모든 퇴화근이 p^2으로 리프팅되는 것은 아니며, 이는 추가 조건 t(x) ≡ 0 (mod p)에 의해 결정됩니다.

주요 공식 #V_{p^2}(f) = deg(f1) + p * deg(h2)에서 deg(f1)은 모듈로 p에서의 단순근 개수(이들이 p^2에서 각각 하나의 근으로 리프팅됨)를, p * deg(h2)는 모듈로 p에서의 퇴화근 중에서 실제로 p^2으로 리프팅되는 것들의 개수를 의미합니다. 여기서 h2 = gcd(f2…fℓ, t)는 퇴화근 중 리프팅 조건을 만족하는 인자들을 선택하는 역할을 합니다.

알고리즘의 효율성은 유한체 Z/pZ 상의 다항식 연산(인수분해, 최대공약수, 나눗셈)이 다항 시간 내에 수행 가능하다는 기존 연구 결과(예: Knuth-Schönhage 알고리즘)에 기반합니다. 특히 x^p - x와의 gcd 계산을 통해 분리 가능한 부분을 효율적으로 추출하는 것이 핵심 단계입니다. 이 접근법은 n=2 경우에 국한되지만, 소수 거듭제곱 링 Z/p^nZ 상의 근 계산이라는 더 일반적인 문제에 대한 새로운 가능성을 제시합니다.