근사값으로부터 정확한 최소다항식 찾는 완전 알고리즘

초록

본 논문은 근사값만으로도 정확한 최소다항식을 복원할 수 있는 새로운 정수관계 구축 방법을 제시한다. 기존 LLL 기반 기법보다 적은 유효숫자를 요구하며, 다변수 유리계수 다항식의 인수분해와 초월수의 근사값을 통한 최소다항식 추정에도 적용 가능함을 보인다.

상세 요약

논문은 먼저 “파라미터화된 정수관계 구축”(parameterized integer relation construction)이라는 기존 알고리즘을 개선하여, 근사값에 포함된 오차를 정밀하게 제어한다. 핵심 아이디어는 근사값을 고정된 정밀도(예: 30~50자리)로 제한한 뒤, 해당 값과 그 거듭제곱들의 선형 결합이 정수계수를 갖는 관계를 찾는 것이다. 이를 위해 저자들은 기존 PSLQ와 LLL의 장점을 결합한 하이브리드 탐색 전략을 설계했으며, 탐색 공간을 파라미터화함으로써 탐색 차원을 크게 줄였다.

알고리즘은 다음 단계로 진행한다. 첫째, 목표 근사값 α와 그 거듭제곱 {1, α, α²,…, αⁿ}을 정밀 부동소수점으로 계산한다. 둘째, 정수관계 탐색을 위해 초기 격자 기반 행렬을 구성하고, 파라미터 λ를 도입해 행렬의 스케일을 조절한다. 셋째, 개선된 PSLQ 루프를 실행하면서, 각 반복마다 남은 오차가 사전에 정의한 ε보다 작아지면 정수관계 벡터 v를 반환한다. 이 v는 최소다항식의 계수와 일치한다는 것이 증명된다.

특히 저자들은 “오차 하한”을 이론적으로 분석하여, 필요한 유효숫자 자리수 D가 최소다항식 차수 d와 계수 크기 H에 대해 D = O(d·log H)임을 보였다. 이는 전통적인 LLL 기반 방법이 요구하는 D = O(d²·log H)보다 현저히 낮다. 또한, 다변수 다항식의 경우, 각 변수에 대해 독립적인 근사값을 얻은 뒤, 동일한 정수관계 절차를 적용해 다변수 최소다항식의 계수를 동시에 복원한다.

실험 결과는 여러 알제브라적 수(예: √2, ³√5, ϕ)와 복합 초월수(π·e 등)에 대해 3060자리의 근사값만으로 정확한 최소다항식을 성공적으로 복원했으며, LLL 대비 실행 시간이 25배 빠른 것으로 나타났다. 또한, 복원된 최소다항식을 이용해 다변수 유리계수 다항식의 인수분해를 수행했을 때, 기존 심볼릭 시스템보다 메모리 사용량과 시간 복잡도에서 우수함을 확인했다.

이러한 결과는 수치해석과 기호연산 사이의 경계를 허물고, 근사값만으로도 완전하고 안정적인 대수적 정보를 얻을 수 있음을 시사한다.