Transcendence of $p$-adic continued fractions and a quantitative $p$-adic Roth theorem

이 논문은 $p$-adic 연속분수의 수렴값이 초월수이거나 2 차 무리수임을 증명하고, Ridout 정리의 정량적 버전과 대수적 수의 수렴분모의 증가에 대한 Davenport-Roth 정리의 $p$-adic 버전을 제시하여 기존 연구의 제약을 해소합니다.

핵심

🏗️ 1. 연분수: 숫자를 쌓아 올리는 레고

우리가 보통 쓰는 소수 (예: 3.14159...) 는 10 진법으로 숫자를 쭉 나열한 것입니다. 하지만 수학자들은 숫자를 **연분수 (Continued Fraction)**라는 형태로 표현하기도 합니다.

• 비유: 숫자를 표현하는 것을 레고 블록을 쌓는 것이라고 생각해보세요.
• 연분수: "1 을 올리고, 그 위에 2 를 올리고, 그 위에 3 을 올리고..." 하는 식으로 블록을 하나씩 쌓아 숫자를 만들어가는 방식입니다.
• $p$-adic 연분수: 우리가 익숙한 실수 (Real numbers) 세계가 아니라, **$p$-adic 수 (소수 $p$를 기준으로 숫자를 분석하는 또 다른 세계)**에서 이 레고 쌓기 게임을 하는 것입니다. 이 세계에서는 숫자의 크기를 재는 기준 (노름, Norm) 이 우리와 완전히 다릅니다.

🧩 2. 이 연구가 해결한 문제: "규칙적인 패턴"의 비밀

논문 저자들은 $p$-adic 연분수로 만든 숫자가 **대수적 수 (유리수나 제곱근 같은 규칙적인 수)**인지, 아니면 **초월수 (원주율 $\pi$나 $e$처럼 규칙을 벗어난 무한한 수)**인지 판별하는 방법을 개선했습니다.

🪞 비유: 거울 속의 패턴 (팰린드롬)

• 팰린드롬 (Palindrome): '아라비안', '토마토'처럼 앞뒤로 읽어도 같은 단어입니다.
• 연구 내용: 만약 레고 블록을 쌓을 때, **아주 긴 거울 같은 패턴 (팰린드롬)**이 반복되거나, **약간 비틀어진 규칙 (준주기적, Quasi-periodic)**으로 쌓인다면, 그 숫자는 두 가지 중 하나일 수밖에 없습니다.
  1. 제곱근 같은 단순한 수 (2 차 무리수)
  2. 완전히 예측 불가능한 초월수
• 기존의 한계: 이전 연구자들은 "블록의 크기가 너무 커지면 안 된다"거나 "특정 조건을 만족해야 한다"는 엄격한 규칙을 붙여야만 이 결론을 내릴 수 있었습니다.
• 이 논문의 성과: 저자들은 "블록 크기에 상관없이" 이 결론이 성립함을 증명했습니다. 마치 "레고 블록이 아무리 크거나 작아도, 패턴이 거울처럼 반복되면 그 숫자는 반드시 초월수이거나 제곱근이다"라고 말한 것입니다.

🛡️ 3. 방패와 검: "로스의 정리"의 $p$-adic 버전

이 논문의 가장 중요한 기여 중 하나는 **수학적 방패 (정리)**를 더 강력하게 만든 것입니다.

• 배경: 수학자들은 "대수적 수 (규칙적인 수) 는 너무 잘 맞는 근사값 (거의 같은 수) 을 많이 가질 수 없다"는 사실을 알고 있습니다. 이를 **로스의 정리 (Roth's Theorem)**라고 합니다.
• 문제: 이 정리가 $p$-adic 세계에서는 **정량적 (Quantitative)**으로 얼마나 강력한지, 즉 "얼마나 많은 근사값을 허용하는지"에 대한 정확한 수치가 부족했습니다.
• 해결책: 저자들은 리다우트 (Ridout) 의 정리를 $p$-adic 세계에 맞게 정량적인 버전으로 재탄생시켰습니다.
  • 비유: "대수적 수라는 성벽을 뚫으려면, 공격자 (근사값) 가 얼마나 많은 병력을 동원해야 하는지"에 대한 정확한 계산식을 새로 만든 것입니다.
  • 효과: 이 새로운 계산식을 통해, $p$-adic 연분수가 초월수인지 판별하는 기준이 훨씬 더 명확하고 강력해졌습니다.

📈 4. 분모의 성장 속도: "키가 얼마나 빨리 자라는가?"

연분수를 만들 때 나오는 분수들의 분모 (아래 숫자) 는 점점 커집니다.

• 알려진 사실: 대수적 수 (규칙적인 수) 의 경우, 이 분모가 너무 빠르게 커지면 안 된다는 법칙이 있었습니다 (데이븐포트 - 로스 정리).
• 이 논문의 발견: 저자들은 $p$-adic 세계에서도 이 법칙이 성립함을 증명했습니다.
  • 비유: "규칙적인 수 (대수적 수) 의 분모는 나무가 자라듯 조금씩 천천히 커져야 한다. 만약 분모가 폭풍처럼 급격히 자라면, 그 숫자는 규칙적인 수가 아니라 초월수일 가능성이 매우 높다"는 것을 $p$-adic 세계에서도 확인했습니다.

🎯 요약: 이 논문이 왜 중요한가?

1. 규칙을 없앴다: 이전 연구들은 숫자의 크기에 대한 까다로운 조건이 필요했지만, 이 논문은 어떤 크기든 상관없이 패턴 (팰린드롬, 준주기) 이 있으면 초월수임을 증명했습니다.
2. 도구를 강화했다: $p$-adic 세계에서 수를 판별하는 강력한 도구 (정량적 로스 정리) 를 새로 만들었습니다.
3. 예측을 가능하게 했다: $p$-adic 연분수가 만들어내는 숫자가 "단순한 수"인지 "신비로운 초월수"인지 판단하는 기준을 훨씬 더 명확하게 세웠습니다.

한 줄 결론:

"이 논문은 $p$-adic 연분수라는 복잡한 레고 놀이에서, 특정한 패턴이 반복되면 그 숫자는 반드시 '신비로운 초월수'이거나 '제곱근'이다라는 사실을, 이전보다 훨씬 더 강력하고 폭넓은 조건으로 증명해냈습니다."

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 실수체 $\mathbb{R}$ 에서 연속분수 (continued fractions) 는 초월수 (transcendental numbers) 를 구성하거나 대수적 수의 근사 특성을 연구하는 강력한 도구로 사용되어 왔습니다. 특히, 부분 몫 (partial quotients) 이 특정 패턴 (예: 길이가 임의로 긴 회문, 준주기적 구조) 을 가질 때 그 값이 초월수임을 보이는 결과들이 다수 존재합니다 (Maillet, Baker 등).
• 문제: 이러한 연구가 p-진수 체 $\mathbb{Q}_p$ 로 확장되면서 Ruban 과 Browkin 에 의해 p-진 연속분수의 정의가 제시되었습니다. 그러나 기존 연구들 (Ooto, Kalitzin & Murru 등) 은 초월성을 증명하기 위해 부분 몫의 p-진 노름 (p-adic norm) 에 대한 강한 제한 조건 (예: $|b_i|_p \ge p^k$) 을 요구했습니다.
• 핵심 질문: p-진 노름에 대한 이러한 제한을 제거하고, 더 일반적인 조건 하에서 p-진 연속분수의 초월성을 증명할 수 있는가? 또한, 이를 위해 필요한 정량적 p-진 로스 정리 (Quantitative p-adic Roth Theorem) 는 어떻게 유도할 수 있는가?

2. 주요 방법론 (Methodology)

이 논문은 다음과 같은 수학적 도구와 방법론을 결합하여 문제를 접근합니다.

1. p-진 로스 정리의 정량적 버전 유도:

   • Ridout 의 p-진 로스 정리 (실수 근사와 p-진 근사를 동시에 다룸) 를 기반으로, Ridout 의 증명 기법을 p-진 대수적 수에 적용하여 정량적 버전 (Quantitative Version) 을 유도했습니다.
   • 이는 주어진 p-진 대수적 수 $\alpha$ 에 대해, $\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{|B|_\infty^{2+\epsilon}}$을 만족하는 유리수 $\frac{A}{B}$ 의 개수를 상한 (upper bound) 으로 추정하는 것을 의미합니다.

2. 대수적 수의 분모 성장 속도 분석:

   • Davenport 와 Roth 의 고전적 결과를 p-진 맥락으로 확장하여, p-진 연속분수의 수렴분 (convergents) $A_k/B_k$ 에 대한 분모 $B_k$ 의 p-진 노름 $|B_k|_p$ 의 성장 속도를 분석했습니다.
   • 대수적 수의 경우 분모가 너무 빠르게 성장할 수 없음을 보였습니다.

3. 모순법 (Proof by Contradiction) 과 선형 형식 (Linear Forms):

   • 회문 (Palindromic) 경우: 연속분수가 임의로 긴 회문으로 시작한다고 가정하고, 수렴분을 이용한 선형 형식을 구성하여 p-진 Schlickewei 의 부분공간 정리 (Subspace Theorem) 를 적용했습니다.
   • 준주기적 (Quasi-periodic) 경우: 연속분수의 반복 구조를 이용하여 2 차 방정식을 유도하고, 이를 대수적 수의 근사 부등식과 비교하여 모순을 도출했습니다.

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

A. p-진 노름 제한의 완전한 제거 (Theorem A & B)

기존 연구들이 요구했던 $|b_i|_p \ge p^k$ (Ruban 또는 Browkin 정의에 따라 $k=2, 3, 4$ 등) 와 같은 p-진 노름 하한 조건을 완전히 제거했습니다.

• Theorem A (회문 경우):

  • p-진 연속분수 $\alpha = [0, b_1, b_2, \dots]$ 가 임의로 긴 회문으로 시작한다고 가정합니다.
  • 조건: 수렴분 $A_n/B_n$ 의 실수 노름 (Archimedean norm) 이 $|A_n|_\infty^{1/n}, |B_n|_\infty^{1/n} < p^{1/4}$ 로 충분히 느리게 증가하면, $\alpha$ 는 초월수이거나 2 차 무리수입니다.
  • 의의: p-진 노름에 대한 조건 없이, 실수 노름의 성장 속도만으로 초월성을 판별할 수 있음을 보였습니다.

• Theorem B (준주기적 경우):

  • 준주기적 p-진 연속분수 $\alpha$ 에 대해, 반복 주기 $k_i$ 와 반복 시작점 $n_i$ 가 $k_i < C n_i$ 를 만족하고, 반복 횟수 $\lambda_i$ 가 충분히 빠르게 증가할 때 ($\lim \frac{\log \lambda_i (\log n_i)^{1/2}}{n_i} = \infty$), $\alpha$ 는 초월수이거나 2 차 무리수입니다.
  • 이 또한 p-진 노름에 대한 추가 조건 없이 성립합니다.

B. 정량적 p-진 로스 정리 (Theorem 8 & Corollary 9)

• Theorem 8: $\mathbb{Q}_p$ 위의 $n$ 차 대수적 수 $\alpha$ 에 대해, $\left| \alpha - \frac{A}{B} \right|_p < \frac{1}{2|B|_\infty^{2+\epsilon}}$을 만족하는 서로소 정수 쌍 $(A, B)$ ($B>0, |B|_\infty \ge |A|_\infty$) 의 개수가 $\exp(C n^2 \epsilon^{-2})$ 보다 작음을 증명했습니다.
• 의의: 이 정리는 p-진 연속분수의 초월성 증명에 필수적인 "충분한 개수의 좋은 근사"가 존재하지 않음을 정량적으로 보여줍니다.

C. 분모 성장에 대한 p-진 Davenport-Roth 결과 (Theorem 12)

• p-진 대수적 수 $\alpha$ 의 연속분수 수렴분 분모 $B_k$ 에 대해, $p$-진 노름의 로그가 다음과 같은 상한을 가짐을 보였습니다:
  $$\log \log |B_k|_p < \frac{c(\alpha) k}{(\log k)^{1/2}}$$
• 이는 대수적 수의 분모가 지수적으로 너무 빠르게 성장할 수 없음을 의미하며, 초월수 판별의 핵심 기준이 됩니다.

4. 의의 및 결론 (Significance)

1. 조건 완화: 기존 p-진 연속분수 연구의 가장 큰 걸림돌이었던 "부분 몫의 p-진 노름 하한" 조건을 제거함으로써, 더 넓은 범위의 연속분수 구조에 대해 초월성 결과를 적용할 수 있게 되었습니다.
2. 이론적 완성도: Ridout 의 정량적 정리가 부재했던 p-진 맥락에서 이를 직접 유도하여, p-진 디오판토스 근사 이론의 중요한 빈틈을 메웠습니다.
3. 구체적 판별 기준: 실수 노름의 성장 속도나 반복 구조의 밀도만으로도 p-진 연속분수의 초월성을 판단할 수 있는 구체적인 기준 (Theorem A, B) 을 제시했습니다.
4. Ruban 과 Browkin 정의의 통합: 두 가지 다른 p-진 연속분수 정의 (Ruban 과 Browkin) 에 대해 동일한 정리가 성립함을 보여주어, p-진 연속분수 이론의 보편성을 강화했습니다.

요약하자면, 이 논문은 정량적 p-진 로스 정리를 새로이 유도하고, 이를 활용하여 p-진 노름에 대한 제한 없이 p-진 연속분수의 초월성을 증명함으로써, p-진 수론과 초월수 이론의 교차 분야에서 중요한 진전을 이루었습니다.