The level-8 Apery-limit and a proof of the Ramanujan Machine conjecture Z1

アレックス・シュヴェッツ（Alex Shvets）による論文「レベル 8 のアペリー極限とラマヌジャン・マシン予想 Z1 の証明」の技術的な要約を以下に示します。

1. 問題の背景と目的

本論文は、整数論と特殊関数論の交差点にある以下の 2 つの主要な目標を達成することを目的としています。

1. レベル 8 のアペリー極限の証明:
   以下の級数 $s_n$ と、同じ漸化式を満た但有理数項の伴う数列 $B^{(8)}_n$ の比の極限を決定することです。
   $$s_n = \sum_{k=0}^n \binom{n}{k}^2 \binom{2k}{n}^2$$
   $$\lim_{n\to\infty} \frac{B^{(8)}_n}{s_n} = \frac{7}{32}\zeta(3)$$
   ここで $\zeta(3)$ はアペリー定数（リーマンゼータ関数の 3 での値）です。この値はアルムクヴィストらによって数値的に特定され、ゴリシェフによってモジュラリティを用いた証明の概要が示されていましたが、完全な証明は行われていませんでした。

2. ラマヌジャン・マシン予想 Z1 の証明:
   上記の結果を用いて、以下の多項式連分数の値を証明することです。
   $$\text{PCF}\big((2n + 1)(3n^2 + 3n + 1), -n^6\big) = \frac{8}{7\zeta(3)}$$
   この予想は「ラマヌジャン・マシン」プロジェクトによって提唱されたもので、本論文において初めて証明されました。

2. 手法と論理構成

著者は、モジュラー形式、楕円積分、特異点解析、および Mellin-Barnes 積分を統合した高度な解析的手法を用いています。

2.1 モジュラーパラメータ化と微分方程式

• モジュラー形式の導入: レベル 8 のイータ積（eta-product）$t(\tau)$ と $Y(\tau)$ を定義し、これらが生成関数 $A(z) = \sum s_n z^n$ と $B(z) = \sum B^{(8)}_n z^n$ をパラメータ化することを示しました（Cooper の結果の再確認）。
• ピカル・フックス方程式: 生成関数 $A(z)$ と $B(z)$ が満たす 3 階の線形微分方程式（ピカル・フックス方程式）を導出しました。
• フリッケ対合（Fricke involution）: レベル 8 におけるフリッケ対合 $W_8(\tau) = -1/(8\tau)$ の変換則を解析し、$t(\tau)$ が不変であること、$Y(\tau)$ が特定の重みで変換することを証明しました。

2.2 伴う生成関数と Eichler 積分

• Eichler 積分の同定: 数列 $B^{(8)}_n$ の生成関数 $B(z)$ と $A(z)$ の比 $B(z)/A(z)$ が、レベル 8 の重み 4 のモジュラー形式 $g_8(\tau)$ に対する重み -2 の Eichler 積分として記述できることを示しました。
• モジュラー形式 $g_8$ の特定: 具体的な Eisenstein 級数の線形結合として $g_8$ を定義し、その Dirichlet 級数 $L(g_8, s)$ を計算しました。特に $L(g_8, 3) = \frac{7}{32}\zeta(3)$ となることを示しました。

2.3 周期多項式と特異点解析

• 周期多項式の明示的計算: フリッケ対合に関する変換則を用いて、Eichler 積分の周期多項式 $P_8(\tau)$ を計算しました。その結果、
  $$P_8(\tau) = \frac{7}{32}\zeta(3)(8\tau^2 + 1)$$
  という単純な多項式形式を得ました。
• 支配的な特異点の特定: 微分方程式の支配的な特異点 $t_0$（$0 < t_0 < 1$）を、フリッケ固定点 $\tau_* = i/(2\sqrt{2})$ に対応する $t(\tau_*)$ として特定しました（$t_0 = \frac{3-2\sqrt{2}}{4}$）。
• 局所指数と漸近挙動: 特異点 $t_0$ における局所指数を $0, 1/2, 1$ であることを示し、$A(z)$ と $B(z)$ が $\sqrt{1-z/t_0}$ の形の特異性を持つことを証明しました。Flajolet-Odlyzko の特異点転送定理（singularity transfer theorem）を用いて、係数 $s_n$ と $B^{(8)}_n$ の漸近挙動を導き出しました。

2.4 極限値の導出

• 漸近展開の係数比 $\beta_1/\alpha_1$ が、Eichler 積分 $E(\tau)$ とモジュラー形式 $Y(\tau)$ の $\tau_*$ における微分値の比に等しいことを示しました。
• 周期多項式の性質（Proposition 5.6）を用いて、この比が $\frac{7}{32}\zeta(3)$ であることを厳密に証明しました。これにより、アペリー極限の定理（Theorem 1.1）が成立します。

2.5 連分数への応用

• 最終的に、連分数の収束項 $P_n/Q_n$ が、$s_n$ と $B^{(8)}_n$ を用いて表せることを示し（Proposition 6.1）、前述のアペリー極限の結果を適用することで、ラマヌジャン・マシン予想 Z1 の証明（Theorem 1.2）を完了させました。

3. 主要な貢献と結果

1. 完全な証明の提供: 数値的証拠や未発表の概略に留まっていたレベル 8 のアペリー極限 $\frac{7}{32}\zeta(3)$ について、自己完結した厳密な証明を提供しました。
2. ラマヌジャン・マシン予想の解決: 長年の未解決問題であった連分数予想 Z1 を、モジュラー形式論と特殊関数の理論を用いて解決しました。
3. 手法の確立: レベル 8 のモジュラーパラメータ化、Eichler 積分としての伴う数列の解釈、および周期多項式を通じた極限値の抽出という、高次のアペリー型数列の解析に対する強力な枠組みを示しました。

4. 意義

本論文は、数論的組合せ論（アペリー型数列）とモジュラー形式論の深い関係を浮き彫りにした重要な成果です。特に、ラマヌジャン・マシンプロジェクトが提唱した「AI による数学的発見」の候補であった予想を、古典的かつ高度な解析的手法で証明した点は、計算数学と純粋数学の架け橋としての意義を持っています。また、レベル 6 の Domb 数に関する結果 [8] と並行して、レベル 8 の構造を解明したことで、より一般的なレベル $N$ におけるアペリー極限の理論的基盤を強化しています。