[論文レビュー] 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)|Sep 5, 2007

Analytic Number Theory Research参考文献 7被引用数 5

ひとこと要約

この論文は、e = ∑(1/r!) のテイラー級数の部分和のうち、e の単純な連分数展開の近似分数（収束分数）であるものがどれであるかを調査する。e の無理数性の尺度と整数論的合同式を用いて、任意の3つの連続する部分和のうち、最大で2つしか収束分数になれないことを証明し、さらに驚くべきことに、分子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 のテイラー級数の部分和 Aₙ/n! のうち、どれが e の連分数展開の収束分数であるかを特定すること。
• 無理数性の尺度からの不等式を用いて、任意の3つの連続する部分和のうち、最大で2つしか収束分数になれないことを証明すること。
• 分子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ₙdₙ₊₁dₙ₊₂ ≤ (n+3)! を用いて、dₙ = gcd(Aₙ, n!) の境界を導出し、収束分数の可能性を制限する。
• ゼロ予想（Zeros Conjecture）の導入：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進数的周期性の仮定のもとで、収束分数は最大2つであるという予想を条件付きで証明できるか？
• RQ4 無理数性の尺度と階乗の成長から、e の収束分数の分母にどのような制約が課されるか？
• RQ5 dₙ = gcd(Aₙ, n!) は連続する n の間でどのように振る舞い、収束分数の性質にどのような含みを持たせるか？

主な発見

• 階乗と GCD の境界を用いた背理法により、任意の3つの連続する部分和 sₙ, sₙ₊₁, sₙ₊₂ のうち、最大で2つしか収束分数になれないことが示された。
• n > 13 のとき、不等式 (n!/(n+1))³ < [(n+3)!]² が成立しないため、収束分数からなるようなこのような三連続は有限個しか存在しない。
• 素数2, 5, 13, 37, 463は、Aₙ が2の高次のべきで割り切れるような最初のいくつかの n として現れ、深い算術的関係を示唆している。
• 主予想の条件付き証明は、ゼロ予想に依存している：Aₙ と qₖ が mod 2ᵏ で周期的であり、周期は 2ᵏ⁻¹ または 2ᵏ⁻² である。
• Aₙ mod 2ᵏ の表から、k = 5 から 15 までで、2ᵏ | Aₙ を満たす最小の n が安定化し、k = 13, 14, 15 で cₖ = 2675 となることが分かった。これは2進数的極限を示唆している。
• 列 Aₙ mod 2ᵏ は k ≥ 3 のとき周期 2ᵏ⁻¹ を持つことが示され、2進数的周期性仮説およびゼロ予想を支持する。