Anomalous Partial Quotients in the Continued Fraction of $\sqrt{ζ(3)-S_N}$

技术摘要：$\sqrt{\zeta(3) - S_N}$ 连分数中异常部分商的研究

问题陈述
本文研究了量 $\sqrt{R_N}$ 的简单连分数展开行为，其中 $R_N = \zeta(3) - S_N$，且 $S_N = \sum_{j=1}^N j^{-3}$。虽然 $\sqrt{R_N}$ 的部分商通常为 $O(N)$ 阶，但作者识别出了一组特定的索引序列 $N_k$，在这些索引下，其展开表现出“异常”行为。具体而言，在这些索引处，第三个部分商相对于相关的佩尔数（Pell numbers）呈三次方增长，显著偏离了通用情况下的线性增长。

研究方法
证明过程是自洽的，分为两个截然不同的阶段，结合了解析数论与形式化验证：

1. 欧拉-麦克洛林展开与有理化（第1阶段与第2阶段）：

   • 作者利用欧拉-麦克洛林展开来高精度地逼近 $1/\sqrt{R_{N_k}}$。所选索引 $N_k$ 的一个关键代数特征在于，当展开式以佩尔数 $M_k = P_{2k+1}$ 和伴随佩尔数 $Q_{2k+1}$ 表示时，能够实现无理项（特别是 $\sqrt{2}$）的抵消。
   • 这导致了一个以 $M_k$ 为变量、系数为有理数的洛朗多项式展开。
   • 为了严格建立第一个部分商（$PQ_0$），论文采用了“有理化”论证。通过利用由佩尔恒等式 $Q^2 - 2M^2 = -1$ 导出的有理逼近值乘以无理项 $\sqrt{R_N}$，作者将该值限制在区间 $(M_k - 1, M_k)$ 内，从而证明了 $PQ_0 = M_k - 1$。

2. 连分数链与启发式推导：

   • 利用高精度展开，通过连续的“取整并取倒数”步骤推导出前六个部分商。
   • 文中提供了一个使用 Gosper 双齐次（bihomographic）连分数算法的启发式推导。该算法将问题视为两个数之积的连分数（即 $1/\sqrt{R_N} = 1/(\sqrt{R_N/2} \cdot \sqrt{2})$），这为为什么佩尔索引会产生一种导致异常三次项的共振提供了见解。

核心结果
论文确立了定理 1.1，该定理明确确定了对于所有 $k \geq 3$，$\sqrt{R_{N_k}}$ 连分数的前六个部分商。令 $M_k = P_{2k+1}$ 且 $r_k = (10M_k) \pmod{261}$，展开式如下：
$$\sqrt{R_{N_k}} = [0; M_k - 1, 1, 6M_k^3 + 12M_k - 2, 1, \lfloor \frac{10M_k - 261}{261} \rfloor, \lfloor \frac{261}{r_k} \rfloor + \epsilon_k, \dots]$$
其中 $\epsilon_k = -1$ 当且仅当 $r_k$ 整除 261（发生在特定的周期性索引处），否则 $\epsilon_k = 0$。

• 增长率： 部分商表现出截然不同的增长行为：

  • $PQ_0 \sim M_k$ （线性）
  • $PQ_1 = 1$
  • $PQ_2 \sim 6M_k^3$ （三次方，主要异常点）
  • $PQ_3 = 1$
  • $PQ_4 \sim \frac{10}{261}M_k$ （线性）
  • $PQ_5$ 是有界的（至多为 261），且取决于 $r_k$ 的模回归特性。

• 形式化： 所有声称的结果已在 LEAN 证明助手中通过 Aristotle 库进行了形式化处理。形式化过程包括欧拉-麦克洛林界限以及针对第一个部分商的有理化证明。

意义与开放问题
论文强调了第一步（$PQ_0 = M_k - 1$）的“微妙”性质，它依赖于佩尔索引中 $\sqrt{2}$ 项的精确抵消。$PQ_2$ 的三次方增长被认为是使这些索引变得异常的核心机制。

作者指出了若干局限性与开放问题：

• 启发式与严谨性： 虽然前六个商已被证明，但关于中间函数 $g(N) = \sqrt{R_N/2}$ 的连分数（猜想 4.1）的启发式推导，由于余项界限的原因，在最小索引（$k=1$）处仍未得到证明。这是随附的 Lean 形式化中唯一未证明的断言。
• 泛化： 特定的三次方异常与 $\zeta(3)$（其中 $s=3$）相关联。对于其他奇数 $s$，领先增长率会发生变化，且共振机制会失效。
• 未来方向： 论文提出了关于 $PQ_5$ 之后是否存在完整的拟周期结构的问题，探讨了其与阿佩里（Apéry）关于 $\zeta(3)$ 无理性证明的潜在联系，以及这些特定的逼近是否能产生新的无理性或超越性结果。