p진수 연속분수 연산 연구

초록

이 논문은 p‑adic 수체 ℚₚ에서 연속분수의 산술을 체계화한다. Ruban·Browkin I 알고리즘을 기반으로 Möbius 변환과 이중분수 변환의 p‑adic 연속분수 전개 방법을 제시하고, 부분몫의 충분성 조건과 Haar 측도 µ에 대한 거의 전수적 결과를 증명한다.

상세 분석

논문은 먼저 실수 체에서의 연속분수와 그 연산(특히 Möbius 변환·이중분수 변환)의 고전적 알고리즘을 요약하고, 이를 p‑adic 상황에 옮기기 위한 기본적인 어려움을 짚는다. p‑adic 연속분수는 실수와 달리 “바닥 함수”가 유일하게 정의되지 않으며, Ruban·Browkin I 알고리즘이 가장 널리 쓰이지만 부분몫의 성장 특성이 다르게 나타난다. 저자는 세 가지 p‑adic 연속분수 전개(Ruban, Browkin I, 그리고 최근 제안된 알고리즘)를 대상으로 메트릭 이론을 전개한다. 핵심 정리는 µ‑almost all ℚₚ 원소에 대해 부분몫의 p‑adic 평가가 무한히 음수이며, 그 분포가 정확히 계산된다는 점이다. 이를 바탕으로 Möbius 변환 γ = (xα+y)/(zα+t) 의 부분몫을 구하는 충분·필요 조건을 정리한다. 특히 입력 변환(α의 첫 부분몫을 이용해 변환 행렬을 갱신)과 출력 변환(γ의 첫 부분몫을 결정하고 다음 완전몫을 만든다) 사이의 관계를 행렬식과 부호 조건으로 명시한다. 핵심 식 (3) vₚ(xα)<vₚ(y), vₚ(zα)<vₚ(t) 가 만족되면 출력 조건이 자동으로 성립하고, 이때 γ의 첫 부분몫은 α의 부분몫 aₙ이 일정한 평가 k = vₚ(x)−vₚ(z) 이하일 때만 정확히 결정된다. 만약 (3)이 깨지면 추가적인 입력 변환을 수행해야 하는데, 저자는 언제 추가 변환이 필요하고 언제 충분한지 Lemma 24와 Corollary 30을 통해 상세히 분석한다. 중요한 점은 실수 경우와 달리, 무한히 많은 부분몫을 사용하더라도 출력 조건이 보장되지 않을 수 있다는 것이다. 그러나 메트릭 결과에 의해 이러한 “예외 집합”은 Haar 측도 0을 갖는다.

이와 유사하게 이중분수 변환 γ = (xαβ+yα+zβ+t)/(eαβ+fα+gβ+h) 에 대해서도 동일한 구조의 조건을 도출한다. 여기서는 α와 β 두 수의 부분몫 평가가 동시에 충분히 음수일 때, 즉 식 (5) min{−vₚ(aₙ),−vₚ(bₙ)} ≥ u (u = vₚ(e)−vₚ(x)) 가 만족되면 출력 조건이 단순화된다. 따라서 대부분의 p‑adic 수에 대해 변환 후 연속분수 전개를 효율적으로 계산할 수 있다.

알고리즘 구현 부분에서는 SageMath 기반의 코드(Algorithm 1, 2)를 공개하고, 실험을 통해 입력 부분몫 수와 출력 조건 만족까지의 평균 복잡도를 제시한다. 또한 최근 제안된 알고리즘