[论文解读] 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 的无理性度量和模运算，作者证明了任意三个连续的部分和中，至多有两个是渐近分数，并建立了一个令人惊讶的联系：分子 Aₙ 与素数 2, 5, 13, 37, 463 之间存在关联。在 2-adic 周期性假设下，给出了主猜想的条件性证明。

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 的连分数展开的渐近分数。
• 利用无理性度量的界，证明任意三个连续的部分和中至多有两个是渐近分数。
• 建立分子 Aₙ 与素数 2, 5, 13, 37, 463 之间出人意料的联系。
• 在模 2 的幂次的周期性猜想假设下，给出主猜想的条件性证明。
• 分析 Aₙ 和渐近分数分母 qₖ 的 2-adic 性质，支持其与素数之间更深层次的结构关联。

提出的方法

• 利用 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 猜想：Aₙ 和 qₖ 模 2ᵏ 的行为具有周期性，若该猜想成立，则可推出主猜想。
• 利用 2-adic 分析和 Aₙ 模 2ᵏ 的表格，支持 Zeros 猜想，并探索 Aₙ 的结构。
• 分析由递推关系导出的序列 Qᵢ(n) 模 2ᵏ 的周期性，观察到当 k > 2 时周期为 2ᵏ⁻¹ 或 2ᵏ⁻²。

实验结果

研究问题

• RQ1 e 的泰勒级数的部分和 Aₙ/n! 中，有多少个可以是 e 的连分数展开的渐近分数？
• RQ2 分子 Aₙ 与素数 2, 5, 13, 37, 463 之间存在何种结构性联系？
• RQ3 能否在 2-adic 周期性假设下，条件性证明仅存在两个部分和是渐近分数的猜想？
• RQ4 无理性度量和阶乘增长对 e 的渐近分数分母施加了何种约束？
• RQ5 连续 n 的 GCD dₙ = gcd(Aₙ, n!) 如何变化？这对渐近分数状态意味着什么？

主要发现

• 通过阶乘和 GCD 界的反证法，证明了任意三个连续的部分和 sₙ, sₙ₊₁, sₙ₊₂ 中至多有两个是渐近分数。
• 当 n > 13 时，不等式 (n!/(n+1))³ < [(n+3)!]² 不成立，因此仅有有限多个此类三元组可全为渐近分数。
• 素数 2, 5, 13, 37, 463 是 Aₙ 被高次幂 2 整除的前几个 n 值，暗示了深刻的算术关联。
• 主猜想的条件性证明依赖于 Zeros 猜想：Aₙ 和 qₖ 模 2ᵏ 具有周期为 2ᵏ⁻¹ 或 2ᵏ⁻² 的周期行为。
• Aₙ 模 2ᵏ 的表格显示，当 k = 5 至 15 时，满足 2ᵏ | Aₙ 的最小 n 值趋于稳定，cₖ = 2675 对 k = 13, 14, 15 成立，表明存在 2-adic 极限。
• 序列 Aₙ 模 2ᵏ 的周期为 2ᵏ⁻¹（k ≥ 3），支持了 2-adic 周期性假设和 Zeros 猜想。