[논문 리뷰] Which Partial Sums of the Taylor Series for $e$ are Convergents to $e$? (and a Link to the Primes 2, 5, 13, 37, 463), II

Jonathan Sondow, Kyle Schalm|arXiv (Cornell University)|2007. 09. 05.

Analytic Number Theory Research참고 문헌 7인용 수 5

한 줄 요약

이 논문은 e = ∑(1/r!)의 테일러 급수의 부분합 중에서 e의 단순 연분수 분해에 대한 수렴근이 되는 것이 어떤 것인지 조사한다. e에 대한 무리수 측도와 모듈로 산술을 사용하여, 연속하는 세 부분합 중에서 최대 두 개만이 수렴근이 될 수 있음을 증명하고, 분자 Aₙ과 소수 2, 5, 13, 37, 463 사이의 놀라운 연결 고리를 밝혀낸다. 2진수 주기성 가정 하에 주요 추측에 대한 조건부 증명이 제시된다.

ABSTRACT

This is an expanded version of our earlier paper. Let the $n$th partial sum of the Taylor series $e = \sum_{r=0}^{\infty} 1/r!$ be $A_n/n!$, and let $p_k/q_k$ be the $k$th convergent of the simple continued fraction for $e$. Using a recent measure of irrationality for $e$, we prove weak versions of our conjecture that only two of the partial sums are convergents to $e$. A related result about the denominators $q_k$ and powers of factorials is proved. We also show a surprising connection between the $A_n$ and the primes 2, 5, 13, 37, 463. In the Appendix, we give a conditional proof of the conjecture, assuming a second conjecture we make about the zeros of $A_n$ and $q_k$ modulo powers of 2. Tables supporting this Zeros Conjecture are presented and we discuss a 2-adic reformulation of it.

연구 동기 및 목표

• e의 연분수 전개에 대한 수렴근이 되는 e의 테일러 급수 부분합 Aₙ/n!이 어떤 것인지 규명하는 것.
• 무리수 측도에서 유도된 경계를 사용하여, 연속하는 세 부분합 중에서 최대 두 개만이 수렴근이 될 수 있음을 증명하는 것.
• 분자 Aₙ과 소수 2, 5, 13, 37, 463 사이의 놀라운 연결 고리를 확립하는 것.
• 2-진수 주기성 가정 하에 주요 추측에 대한 조건부 증명을 제공하는 것.
• Aₙ과 수렴근의 분모 qₖ의 2-진 행동을 분석하여 소수와의 더 깊은 구조적 연결 고리를 뒷받침하는 것.

제안 방법

• Sondow(2002)에서 제시한 e에 대한 무리수 측도를 활용하여, 수렴근의 분모 크기를 제한하는 부등식을 도출하는 것.
• Aₙ₊₁ = (n+1)Aₙ + 1 및 Aₙ₊₂ = (n+2)(n+1)Aₙ + (n+3)의 재귀관계를 사용하여 Aₙ과 n!의 GCD 구조를 분석하는 것.
• dₙ = gcd(Aₙ, n!)에 대한 경계를 dₙdₙ₊₁dₙ₊₂ ≤ (n+3)!을 통해 제약하여 가능한 수렴근 행동을 제한하는 것.
• 제로 가설 도입: Aₙ과 qₖ가 2의 거듭제곱 모듈로에서 주기적 행동을 보이는데, 이것이 참이라면 주요 추측이 성립한다.
• 2-진수 분석과 Aₙ mod 2ᵏ 표를 활용하여 제로 가설을 뒷받침하고 Aₙ의 구조를 탐색하는 것.
• 재귀관계에서 유도된 Qᵢ(n) mod 2ᵏ의 수열 주기를 분석하며, k > 2일 경우 주기가 2ᵏ⁻¹ 또는 2ᵏ⁻²임을 관측하는 것.

실험 결과

연구 질문

• RQ1 e의 테일러 급수 부분합 Aₙ/n! 중에서 e의 연분수에 대한 수렴근이 될 수 있는 것은 몇 개인가?
• RQ2 분자 Aₙ과 소수 2, 5, 13, 37, 463 사이의 구조적 연결 고리는 무엇인가?
• RQ3 2-진수 주기성 가정 하에, 유일하게 두 개의 부분합만이 수렴근이 되는 추측을 조건부로 증명할 수 있는가?
• RQ4 무리수 측도와 계승수 성장이 e의 수렴근 분모에 어떤 제약을 가하는가?
• RQ5 연속하는 n에 대해 dₙ = gcd(Aₙ, n!)는 어떻게 행동하며, 이는 수렴근 상태에 어떤 함의를 갖는가?

주요 결과

• 계승수와 GCD 경계를 사용한 모순 증명을 통해, 연속하는 세 부분합 sₙ, sₙ₊₁, sₙ₊₂ 중에서 최대 두 개만이 수렴근이 될 수 있음을 보였다.
• n > 13일 경우, 부등식 (n!/(n+1))³ < [(n+3)!]²가 성립하지 않아, 이러한 삼중조가 모두 수렴근이 되는 경우는 무한히 존재할 수 없다.
• 소수 2, 5, 13, 37, 463는 Aₙ이 2의 고차수 거듭제곱으로 나누어지는 초기 n 값으로서 나타나며, 깊은 산술적 연결 고리를 시사한다.
• 주요 추측의 조건부 증명은 제로 가설에 의존한다: Aₙ과 qₖ가 2ᵏ 모듈로에서 주기적 행동을 보이며 주기 길이가 2ᵏ⁻¹ 또는 2ᵏ⁻²이다.
• Aₙ mod 2ᵏ 표를 통해 k = 5에서 15까지의 최소 n 값이 안정화되며, k = 13, 14, 15일 경우 cₖ = 2675로 나타나 2-진수 극한을 시사한다.
• Aₙ mod 2ᵏ 수열은 k ≥ 3일 경우 주기 2ᵏ⁻¹를 가지며, 이는 2-진수 주기성 가설과 제로 가설을 지지한다.