Mellin transforms, transfinite diameter and rational approximations of integrals

フランシス・ブラウン（Francis Brown）による論文「MELLIN TRANSFORMS, TRANSFINITE DIAMETER AND RATIONAL APPROXIMATIONS OF INTEGRALS（メルリン変換、超直径、および積分の有理近似）」の技術的な要約を以下に記します。

1. 研究の背景と問題意識

問題の所在:
周期（periods）の無理数性の証明（例えば、$\zeta(2)$ や $\zeta(3)$ の場合）において、アペリー（Apéry）やボーカース（Beukers）以来の標準的な手法は、パラメータに依存する積分族から線形形式を構成し、それらが周期的な値に対して非常に良い有理近似を与えることを示すことにあります。しかし、既存の手法には以下の限界がありました。

1. 次元の増加に伴う劣化: 積分の次元（重み）が増加するにつれて、近似の質が急速に悪化します。例えば、奇数ゼータ値 $\zeta(2n+1)$ の場合、$n$ が大きくなるにつれて近似の精度は非常に低くなります。
2. パラメータの未活用: 多くの積分は、積分の次元よりも多い数のパラメータに依存していますが、既存の無理数性判定基準は、これらのパラメータが生成する膨大な線形形式の集合や、その背後にある幾何学的構造を十分に活用していません。
3. 分母と漸近挙動のトレードオフ: 既存の「群方法（group method）」では、特定のパラメータの直線（対角線など）を選ぶことで分母を改善できますが、それは積分の漸近挙動（小ささ）を犠牲にするトレードオフを伴います。

目的:
これらの制限を克服し、パラメータ数が増えるにつれて近似の質が向上する可能性のある、より高次元かつ一般的な無理数性判定基準を確立することです。

2. 主要な手法と理論的枠組み

この論文は、代数幾何学と数論的幾何学（幾何学的数論）を融合させた新しいアプローチを提案しています。

2.1. メルリン積分と線形形式の構成

代数多様体 $X$ 上のメルリン積分 $I(s_1, \dots, s_r) = \int_\sigma f_1^{s_1} \cdots f_r^{s_r} \omega$ を考えます。ここで、$s_i$ は整数パラメータです。

• 有限次元のド・ラームコホモロジーの性質により、これらの積分は有限個の周期 $\xi_1, \dots, \xi_m$ の $\mathbb{Q}$-線形結合として表されます。
• パラメータ $s_i$ を変化させることで、多数の線形形式 $L_n = \sum c_i \xi_i$ を生成できます。

2.2. ミンコフスキーの定理と行列の構成

パラメータを制限した範囲（$0 \le n_i \le M$）で積分を評価し、それらを成分とする行列 $Q_\sigma$ を構成します。

• ミンコフスキーの定理（幾何学的数論）: 行列 $A$ の行列式が非ゼロであれば、整数ベクトル $c$ を用いて、線形形式 $\sum c_i A_{ij}$ が非常に小さくなることを保証できます。
• このアプローチでは、個々の積分が小さくなくても、行列 $Q_\sigma$ の構造を利用して、それらの線形結合として「非常に小さな」非ゼロの線形形式を抽出します。これにより、分母の最適化と漸近挙動の最適化を分離して扱えるようになります。

2.3. 超直径（Transfinite Diameter）の一般化

行列 $Q_\sigma$ の行列式の大きさを評価するために、超直径（Transfinite Diameter） の概念を多変数・一般化された Vandermonde 行列に拡張して導入します。

• 補助像多様体（Anciliary Image Variety）: 積分の被積分関数 $f = (f_1, \dots, f_r)$ による像の Zariski 閉包 $V_f$ を定義し、その上の関数環を考察します。
• Vandermonde 行列の一般化: 関数モジュール $M$ に対して、一般化された Vandermonde 行列 $V_M(z)$ を定義し、その行列式の最大値 $t_M(\sigma)$ を調べます。
• ** supremal 超直径（Supremal Transfinite Diameter）:** 有限ランクのモジュール列に対する Vandermonde 行列式の極限 supremum として定義されます。
  $$\text{Sup}_{M, e}(\tau) = \limsup_{n \to \infty} (t_{M_n}(\tau))^{1/e_n}$$
  ここで、$e_n$ は適切な指数関数です。

2.4. 無理数性判定基準（Criterion）

積分の像 $\tau = f(\sigma)$ の超直径と、積分の分母の成長率を比較することで、無理数性を判定します。

• 判定基準: 超直径の 2 乗と分母の極限の積が 1 より小さければ、対象の数は無理数（あるいは線形独立）であることが保証されます。
  $$\text{Sup}(\tau)^2 \cdot \delta < 1$$
  この条件は、パラメータ数 $r$ が増加するにつれて緩和され、より多くのパラメータを利用することで判定が容易になることを示唆しています。

3. 具体的な結果と計算例（$\zeta(2)$ の場合）

論文の主要な実証例として、5 次元パラメータを持つ $M_{0,5}$（5 点付き種数 0 の曲線のモジュライ空間）上の積分族 $I(h, i, j, k, \ell)$ を詳細に分析しました。

3.1. 1 次元・2 次元・5 次元パラメータの比較

• 1 パラメータ（対角線）: 従来のアペリー族 $I(n, n, n, n, n)$ に相当します。超直径の評価は古典的な結果と一致し、$\zeta(2)$ の無理数性を証明できますが、閾値は厳しくなります。
• 2 パラメータ部分族: 特定の 2 変数部分族を考察しました。この場合、積分領域の像は単位正方形内の双曲線領域に制限されます。計算により、この領域の超直径は単位正方形のそれよりも著しく小さい（約 0.14）ことが示されました。これにより、2 次元の判定基準が満たされ、$\zeta(2)$ の無理数性が「2 次元」の証明として再確認されました。
• 5 パラメータ（完全な族）: 5 次元パラメータ空間全体を利用した場合、超直径の評価はさらに小さくなり、分母の推定値も改善される傾向が見られました。

3.2. 数値計算の結果

• 行列 $Q_\sigma$ の行列式と分母を数値的に計算し、閾値 $\vartheta_n$ を評価しました。
• パラメータ数が増えるにつれて、超直径の 2 乗と分母の積が 1 を下回る傾向が強く現れ、提案された手法がパラメータ数の増加に伴って有効性を高めることを実証しました。
• 特に、5 パラメータの場合、従来の 1 次元手法（$\vartheta \approx 1.26$）と比較して、より緩やかな条件（$\vartheta \approx 1.4$ 付近）で無理数性が導かれる可能性が示唆されました。

4. 主要な貢献

1. 高次元無理数性判定基準の確立: パラメータ数が増えるほど近似の質が向上する可能性を示す、新しい多パラメータ無理数性判定基準を提案しました。
2. 超直径の一般化と応用: 代数多様体上の積分像に対する超直径の概念を、Vandermonde 行列とテンソル積の理論を用いて一般化し、その評価手法を開発しました。
3. 分母と漸近挙動の分離: ミンコフスキーの定理を用いることで、個々の積分の漸近挙動を犠牲にせず、分母の構造（合同式など）を独立して最適化できる戦略を提示しました。
4. $\zeta(2)$ への応用: 既存の手法（Rhin-Viola 法など）の「群方法」を超える、より幾何学的で体系的なアプローチで $\zeta(2)$ の無理数性を再検証し、高次元化のポテンシャルを実証しました。

5. 意義と今後の展望

• 理論的意義: 周期の無理数性証明における「ゴールポストの移動（次元が上がると難しくなる）」というパラダイムを覆す可能性を示しました。代数幾何学的な構造（モジュライ空間、コホモロジー、超直径）を数論的問題に直接適用する強力な枠組みを提供しています。
• 将来的な展望:
  • 奇数ゼータ値 $\zeta(2n+1)$ や、より高次元の周期に対する適用が期待されます。
  • $p$-進超直径や、コホモロジー的な行列式（de Rham 行列式）を用いた分母の評価の精密化。
  • 線形独立判定基準への拡張（単なる無理数性から、複数の周期の線形独立への一般化）。

この論文は、数論的幾何学とディオファントス近似の境界において、高次元パラメータを活用した新しい証明戦略の「原理実証（proof of principle）」として重要な役割を果たしています。