근사값으로부터 정확한 최소다항식 복원하기

본 논문은 근사값을 이용해 정확한 대수수 α 와 그 최소다항식 g(x)를 복원하는 새로운 알고리즘을 제안한다. 서론에서는 기호 연산의 정확성 대비 중간 표현 폭발 문제와 수치 연산의 빠른 계산 속도·근사성 사이의 격차를 언급하며, 두 영역을 융합한 연구가 필요함을 제시한다. 특히, “근사값 α̃ 가 주어졌을 때, 차수 n 과 계수 상한 N 이 알려진 경우 α와 g(x)를 찾을 수 있는가?”라는 질문을 명확히 정의하고, 기존 Kannan‑Lenstra‑Lovász(LLL) 기반 방법이 수치적으로 불안정함을 비판한다. 제2장에서는 정수관계 문제의 기본 개념과 기존 PSLQ 알고리즘을 요약하고, 저자들이 제안한 파라미터화 정수관계 알고리즘(Algorithm 1)의 구체적 절차를 제시한다. 핵심 아이디어는 입력 벡터 x 을 단위화한 뒤, 하삼각 행렬 Hₓ 을 정의하고, 수정된 Hermite Reduction을 통해 정수 행렬 D 를 만든다. 이후 반복적으로 대각 원소 hᵢ,ᵢ 를 비교·교환하고, ε 보다 작은 원소가 나타나면 해당 열이 정수관계 m 이 된다. 이 과정은 정리 1‑3을 통해 수렴 속도와 복원 가능한 최소노름 Mₓ 에 대한 이론적 경계를 제공한다. 제3장에서는 이 알고리즘을 이용해 최소다항식을 복원하는 구체적 방법을 다룬다. 먼저, 근사값 α̃ 에 대한 오차 ε 와 차수 n, 높이 N  사이의 관계를 정리 1‑4를 통해 도출한다. 특히, Lemma 1은 다항식 f 에 대해 |f(α)−f(α̃)| ≤ ε·n·|f|∞ 를 보이며, Lemma 2와 Corollary 1은 α가 h(x)의 근일 때 g(α)의 절대값 하한을 제공한다. 이를 바탕으로 Theorem 4는 |G(α̃)| 가 특정 상수보다 작을 경우 G(α)=0 임을 증명하고, Corollary 2는 G(x)의 원시 부분이 최소다항식임을 보인다. 2차 경우에 대해서는 Theorem 5와 Algorithm 2를 제시한다. ε < 1/(2√3 N⁴) 라는 명시적 조건 하에, 파라미터화 정수관계 알고리즘을 적용하면 O(log N) 비트 연산으로 정확한 2차 최소다항식을 복원할 수 있다. 증명 과정에서는 G(x)의 계수 상한이 N과 동일함을 이용해 ε 조건을 구체화한다. 고차 경우(차수 n > 2)에도 동일한 흐름을 적용한다. 벡터 v = (1, α̃, α̃²,…, α̃ⁿ) 을 입력으로 정수관계 알고리즘을 실행하면, 최소노름 Mₓ 에 따라 ε 조건이 \