[論文レビュー] Ramanujan-like series for $1/\pi^2$ and String Theory

Gert Almkvist, Jesús Guillera|arXiv (Cornell University)|Sep 27, 2010

Advanced Mathematical Identities参考文献 15被引用数 5

ひとこと要約

本稿は、Calabi-Yau微分方程式と鏡像対称性を用いて、$1//pi^2$ に対する新しいハイパージェオメトリックおよび非ハイパージェオメトリックなラマヌジャン型級数を導出する新規手法を開発する。$T(q)$ 関数とGromov-Witten汎関数の間の重要な関係を確立し、高速なMapleアルゴリズムを用いて、小数を含まない有理数係数を持つ新たな級数を発見する。

ABSTRACT

Using the machinery from the theory of Calabi-Yau differential equations, we find formulas for $1/\\pi^2$ of hypergeometric and non-hypergeometric types.

研究の動機と目的

• 弦理論からの高度な数学的構造を用いて、ハイパージェオメトリック形式を超えた $1/\pi^2$ のラマヌジャン型級数を拡張すること。
• このような級数におけるモジュラー媒介変数 $z$ を数値的当てずちに頼らずに解く長年の課題を、$T(q)$ を介したヤコビ量へのリンクによって解決すること。
• Calabi-Yau微分方程式とプルバックを用いた、効率的に新しい級数を生成する体系的でアルゴリズム的なアプローチを構築すること。
• $p^3$ または $p^5$ を法とするズディリン型超合同式による検証を通じて、新規級数の算術的意義を確認すること。
• 非ハイパージェオメトリックケースと代数的数を統合することで、以前の $1/\pi^2$ 級数に関する予想を一般化すること。

提案手法

• 最大ユニポテンツモノドロミー（MUM）を有するCalabi-Yau微分方程式の理論を活用し、$1/\pi^2$ 級数の解をモデル化する。
• 第5階の微分方程式のYYプルバックを用いて階数を低下させ、Frobenius解を回復する第4階方程式を回復する。
• 重要な恒等式を確立：$(q\frac{d}{dq})^3 T(q) = 1 - K(q)$ は、$T(q)$ とGromov-Witten汎関数のヤコビ量 $K(q)$ の間の関係を結ぶ。
• 鏡像写像 $q = \exp(y_1/y_0)$ を適用し、$z(q)$ を構築してモジュラー媒介変数を逆算し、$z$ の数値的探索を可能にする。
• 特異解を用いて $e$, $h$, $f$ を解くMapleベースのアルゴリズムを採用し、$z$ および級数係数を回復するための有理数 $k$ を探索する。
• ハダマール積とルジャンドル記号の恒等式を用いて、$p^3$ または $p^5$ を法とする超合同式により結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 $1/\pi^2$ 級数におけるモジュラー媒介変数 $z$ を、数値的当てずちに頼らずに体系的に決定する方法は何か？
• RQ2 Calabi-Yau幾何学において、関数 $T(q)$ とヤコビ量 $K(q)$ の間の明確な数学的関係は何か？
• RQ3 ハイパージェオメトリック形式と同様の枠組みで、非ハイパージェオメトリックなラマヌジャン型級数 $1/\pi^2$ を構築できるか？
• RQ4 新規級数はズディリン型超合同式を $p^3$ または $p^5$ を法として満たすか？そして合同定数はその算術的構造に何を示唆するか？
• RQ5 この手法は代数的数や非有理数係数を含む級数に一般化可能か？

主な発見

• 新しいハイパージェオメトリック級数が発見された：$\frac{1}{\pi^2} = 32\sum_{n=0}^{\infty}\frac{(6n)!}{3\cdot n!^6}(532n^2 + 126n + 9)\frac{1}{10^{6n+3}}$、有理数係数であり小数を含まない。
• 関数 $T(q)$ が $(q\frac{d}{dq})^3 T(q) = 1 - K(q)$ を用いてヤコビ量 $K(q)$ に厳密に結びつけられ、ズディリンの予想が解決された。
• Mapleプログラムにより、新規級数の $z = 10^{-6}$ が正常に特定され、$k = 8/3$、$e = 5$、$h = 70$、$f = 16/3$ が得られ、$z \approx 1.00000000000000000000000000000000000000000000000000 \times 10^6$ となる。
• 新規級数の超合同式が検証された：$\sum_{n=0}^{p-1}\binom{2n}{n}^3\binom{4n}{2n}\binom{6n}{2n}(532n^2 + 126n + 9)\frac{1}{1000000^n} \equiv 9p^2 \pmod{p^5}$（$p \geq 7$）。
• ハダマール積やルジャンドル記号を含む、$p^3$ を法とする超合同式を満たす複数の非ハイパージェオメトリック級数が導出された。たとえば $p \geq 5$ に対して $\equiv 46p^2 \pmod{p^3}$ となる。
• ギリエラの先行研究を一般化する手法により、同一の枠組みで非ハイパージェオメトリック級数を発見可能となり、$p$-進合同式による確認を通じて算術的性質が裏付けられた。