[論文レビュー] On the Evaluation of the Fifth Degree Elliptic Singular Moduli

Nikos Bagis|arXiv (Cornell University)|Feb 22, 2012

Advanced Mathematical Identities参考文献 9被引用数 8

ひとこと要約

本稿では、$k_{r_0}$ と $k_{r_0/25}$ の2つの初期値のみを用いて、第5次楕円的特異モジュラー $k_{25^n r_0}$ を閉形式の代数的表現で評価する手法を提示する。モジュラー方程式、ラマヌジャンの連分数、およびネストドルート変換を活用することで、高次の特異モジュラーを正確に計算する再帰的公式を導出し、$1/\pi$ の5次反復法を拡張し、従来の2次および3次の場合に限られる既知の結果を超える。

ABSTRACT

We find in a algebraic radicals way the value of singular moduli $k_{25^nr_0}$ for any integer $n$ knowing only two consecutive values $k_{r_0}$ and $k_{r_0/25}$

研究の動機と目的

• 第5次モジュラー方程式の特異モジュラー評価という長年の課題を解決すること。これは従来、標準的な代数的手法では代数的解が得られないと考えられていた。
• $k_{r_0}$ と $k_{r_0/25}$ のみに依存する $k_{25^n r_0}$ の閉形式代数的表現を提供することにより、数値近似を用いずに正確な計算を可能にする。
• ラマヌジャン型連分数およびモジュラー恒等式の適用範囲を拡張し、特異モジュラー値の数値評価に依存しない $1/\pi$ の正確な5次反復法を構築すること。
• 任意の $n \in \mathbb{Z}$ に対して一般化可能な手法を提示し、任意の初期値 $r_0$ に対して $25^n r_0$ における特異モジュラーの再帰的評価を可能にする。

提案手法

• 第6次モジュラー方程式 $k_{25r}$ を、$u^8 = k_r^2$, $v^8 = k_{25r}^2$ の代入により、$u$ と $v$ に関して対称的な形に変形し、へそなし形に還元する。
• $U$, $U^*$, $Q$ といった補助関数を用いて定義されるネストドルートを含む再帰的関数 $P^{(n)}(x)$ を導入し、$k_r$ から $k_{25r}$ へのモジュラー変換を符号化する。
• コアとなる公式 (16) は、$k_{25^n r_0}$ を、$P^{(j)}$ 関数の積を含むネストドルートとして表現する。この積は、特異モジュラーの積比に適用される。
• ラマヌジャンのロジャース＝ラマヌジャン連分数 $R(q)$ に関する恒等式を用い、$A_r$ を介して $k_r$ と $k_{25r}$ とを関連づけ、$R(q)$ をルートで解く。
• 関数方程式 (39) と $k_{1/r} = k_r'$ の対称性恒等式を用いて解を検証し、既知のモジュラー不変量から $P(x)$ を構成する。
• $u_n$, $x_n$, $y_n$ などの反復変数をすべて $k_{r_0}$ と $k_{r_0/25}$ の正確なルート表現で表すことにより、$1/\pi$ の5次反復法を導出する。

実験結果

リサーチクエスチョン

• RQ1 第5次モジュラー方程式の特異モジュラーは、標準的な代数的手法では非可解であるが、ルートで解けるのか？
• RQ2 $k_{r_0}$ と $k_{r_0/25}$ の2つの初期値のみを用いて、$k_{25^n r_0}$ を正確にルートで計算可能か？
• RQ3 ラマヌジャンの連分数およびモジュラー恒等式を用いて、特異モジュラー値の数値評価を一切行わずに $1/\pi$ の閉形式反復法を構築できるか？
• RQ4 第5次モジュラー方程式の関数的構造を、一般化可能な再帰的ルート変換に還元できるか？
• RQ5 関数 $P(x)$ は、$k_r \to k_{25r}$ のモジュラー変換をどのように符号化しているのか？また、既知のモジュラー不変量からどのように構成されるのか？

主な発見

• 本稿では、$k_{r_0}$ と $k_{r_0/25}$ のみに依存する、$k_{25^n r_0}$ の閉形式表現（式16）を導出し、すべての $n \in \mathbb{Z}$ に対して正確な評価を可能にする。
• $U$, $U^*$, $Q$ を用いて定義される関数 $P(x)$ は、$k_r$ から $k_{25r}$ へのモジュラー変換を明示的に符号化しており、その反復 $P^{(n)}(x)$ を用いることで再帰的評価が可能となる。
• $r_0 = 1/5$ の場合、$k_{125} = \sqrt{\frac{1}{2} - \frac{1}{2}\sqrt{1 - (9-4\sqrt{5})P[1]^2}}$ を計算し、$P[1]$ は次数10の多項式を満たす代数的数である。
• $r_0 = 25$ の場合、$k_{625} = \sqrt{\frac{1}{2} - \frac{1}{2}\sqrt{1 - (51841 - 23184\sqrt{5})P\left[\frac{\sqrt{5}-1}{2}\right]^{24}}}$ が得られ、この手法が大きな $n$ に対しても適用可能であることを示す。
• この手法により、$k_{r_0}$ と $k_{r_0/25}$ の正確なルート表現のみに依存する $1/\pi$ の5次反復法を構築でき、特異モジュラー値の数値評価を回避する。
• アルゴリズムは13回の反復で10億桁以上の $\pi$ を得られ、誤差の収束限界（44）により、$r_0 5^{2n} \geq 1$ の範囲で誤差が指数関数的に減少することが確認される。