The Bombieri--van der Poorten Formula for Partial Quotients of Higher Degree Algebraic Irrationals

논문 개요

이 논문은 Bombieri 와 van der Poorten 이 제안한 대수적 무리수 $\alpha = \sqrt[m]{k}$ ($m \ge 3$) 의 연분수 전개에서 부분 몫 (partial quotient) $b_{n+1}$과 대수적 거리 $d_n = |p_n^m - k q_n^m|$ 사이의 관계를 분석적으로 정립하는 것을 목표로 합니다. 특히, 3 차 (cubic) 무리수에서 이 관계가 모든 수렴항 (convergent) 에 대해 엄격하게 성립함을 증명하고, 더 높은 차수 ($m > 3$) 에서는 안정성 조건이 어떻게 변하는지 규명합니다.

1. 연구 문제 (Problem)

• 배경: Bombieri 와 van der Poorten 은 $\alpha = \sqrt[m]{k}$의 $n$번째 수렴항 $p_n/q_n$에 대해, 다음 부분 몫 $b_{n+1}$이 대수적 항 $H_n = \frac{m p_n^{m-1}}{d_n q_n}$과 오차항 $R_n$의 합으로 근사될 수 있음을 제안했습니다.
• 핵심 질문: 이 근사 공식이 모든 차수 $m \ge 3$에서 유효한가? 특히, 오차항 $R_n$의 크기가 1 보다 작아져서 $b_{n+1} = \lfloor H_n + R_n \rfloor$이 성립하는지, 그리고 이것이 모든 $q_n \ge 2$인 수렴항에 대해 보장되는지 확인하는 것이 주된 문제입니다.
• 기존 한계: 고차 ($m > 3$) 의 경우 선형 근사 $H_n$과 실제 대수적 합 사이의 편차가 $q_n^{-2}$의 감쇠 속도보다 먼저 발생할 수 있어, 오차항이 1 을 초과할 가능성이 제기되었습니다.

2. 방법론 (Methodology)

저자는 다음과 같은 분석적 프레임워크를 구축했습니다:

1. 완전 몫 (Complete Quotient) 의 분해:

   • 연분수 이론의 항등식 $\theta_n = \frac{1}{q_n(q_n \alpha - p_n)} - \frac{q_{n-1}}{q_n}$을 출발점으로 삼습니다.
   • $m$제곱의 차에 대한 항등식을 활용하여 $d_n = |p_n^m - k q_n^m|$을 $|x_n - \alpha|$와 연관지으며, 이를 통해 $\theta_n$을 $H_n$ (주요 항) 과 $R_n$ (잔차항) 으로 분해합니다.
   • 잔차항 $R_n$은 대수적 보정항 $V_n$과 분모 비율 $\frac{q_{n-1}}{q_n}$을 포함하는 정확한 식으로 유도됩니다.

2. 3 차 경우 (Cubic Case, $m=3$) 의 엄밀한 증명:

   • $m=3$인 경우, 대수적 보정항 $V_n$의 부호와 크기를 정확히 분석합니다.
   • $V_n = \frac{q_n}{d_n}(2x_n^2 - x_n\alpha - \alpha^2)$를 인수분해하여 $V_n$의 부호가 $x_n - \alpha$의 부호와 일치함을 보입니다.
   • $q_n \ge 2$일 때 $|V_n|$이 $O(q_n^{-2})$로 감소하며, $\frac{q_{n-1}}{q_n} < 1$임을 이용하여 전체 잔차 $|R_n| < 1$임을 증명합니다.

3. 고차 경우 (Higher Degrees, $m > 3$) 의 일반화 및 반례 분석:

   • 평균값 정리를 사용하여 고차에서의 오차항이 $K(m, \alpha) q_n^{-2}$로 제한됨을 보이지만, 상수 $K$가 차수에 따라 커질 수 있음을 지적합니다.
   • $m=10$인 구체적인 수치 예시 ($\alpha = \sqrt[10]{50}$) 를 들어, $q_1=2$인 초기 수렴항에서조차 $|R_n| > 1$이 될 수 있음을 보여줍니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 3 차 무리수에 대한 전역 안정성 (Global Stability for Cubic Irrationals)

• 정리 2.1: $\alpha = \sqrt[3]{k}$ ($k \in \mathbb{N}$) 의 경우, 모든 수렴항 $p_n/q_n$에 대해 $q_n \ge 2$이면 잔차항 $|R_n| < 1$이 엄격하게 성립합니다.
• 결과: 이는 $b_{n+1}$이 $H_n$에 의해 2 의 폭 내에서 유일하게 결정됨을 의미합니다.
  • 수렴항이 $\alpha$보다 큰 경우 ($x_n > \alpha$): $H_n - 2 < b_{n+1} \le H_n$
  • 수렴항이 $\alpha$보다 작은 경우 ($x_n < \alpha$): $H_n \le b_{n+1} < H_n + 2$
• 명확한 바닥 공식 (Floor Formula): $b_{n+1} = \lfloor H_n - \frac{q_{n-1}}{q_n} \rfloor + \varepsilon_n$ ($\varepsilon_n \in \{0, 1\}$) 형태로 정확한 공식을 제시합니다.

B. 고차 무리수에 대한 일반화 및 한계

• 정리 3.1: 임의의 차수 $m \ge 3$에 대해, $q_n$이 충분히 크면 (즉, $q_n^2 \ge C(m, \alpha)$) $|R_n| < 1$이 성립하여 $b_{n+1}$이 $H_n$에 의해 제한됩니다.
• 반례 (Section 5): $m=10$, $\alpha = \sqrt[10]{50}$인 경우, 첫 번째 수렴항 ($q_1=2$) 에서 $R_1 \approx -1.27$로 $|R_1| > 1$이 됩니다. 이는 고차에서는 초기 수렴항에 대해 안정성이 보장되지 않을 수 있음을 보여줍니다.

C. 정확한 부분 몫 공식 (Exact Partial Quotient Formula)

• 논문은 $|R_n| < 1$이 성립하는 모든 수렴항에 대해 다음 공식을 제시합니다:
  $$b_{n+1} = \lfloor H_n + R_n \rfloor$$
  여기서 $H_n = \frac{m p_n^{m-1}}{d_n q_n}$이고, $R_n$은 명시적으로 정의된 대수적 오차항입니다.

4. 의의 및 중요성 (Significance)

1. 이론적 엄밀성: Bombieri–van der Poorten 공식이 단순한 경험적 관찰이 아니라, 3 차 무리수에 대해 엄밀한 분석적 증명을 가진 사실임을 확립했습니다.
2. 계산 효율성: 3 차 무리수의 경우 $q_n \ge 2$인 모든 수렴항에 대해 잔차항이 1 미만이므로, 작은 분모를 가진 경우에도 별도의 수치적 검사가 필요 없이 대수적 공식만으로 부분 몫을 결정할 수 있습니다. 이는 Sibbertsen 등 및 Müller 와 Taktikos 의 연구 방법론을 지원합니다.
3. 유효 디오판토스 근사 (Effective Diophantine Approximation): 고차 대수적 수에 대해 $q_n$의 하한 조건을 설정함으로써 유효한 디오판토스 근사 상수를 확장했습니다.
4. 알고리즘적 응용: 고차 대수적 수의 연분수 전개를 결정하는 알고리즘에 대한 강력한 프레임워크를 제공하며, Roth 의 정리 (Roth's Theorem) 의 유효 버전 연구에 기여합니다.

결론

이 논문은 3 차 대수적 무리수에서 Bombieri–van der Poorten 공식의 잔차항이 항상 1 미만으로 수렴하여 부분 몫을 정확히 예측할 수 있음을 증명했습니다. 반면, 4 차 이상의 고차 무리수에서는 분모가 충분히 커지지 않으면 이 안정성이 깨질 수 있음을 반례를 통해 보여주었습니다. 이는 대수적 수의 연분수 구조를 이해하고 계산하는 데 있어 차수 ($m$) 에 따른 미묘한 차이를 규명한 중요한 연구입니다.