2025-11-10T02:52:05.854014

An alternative proof of the asymptotic formula for the Fourier coefficients of the elliptic modular $j$-function

Ikeda

In 1997, BÃ¡ez-Duarte gave a probabilistic proof of the asymptotic formula for the partition function, which had originally been proved by Hardy-Ramanujan. Based on the probabilistic approach, this paper proves an asymptotic formula for the coefficients of the elliptic modular $j$-function using various expressions in terms of modular functions having simple infinite products.

academic

楕円モジュラー $j$ -関数のフーリエ係数の漸近公式の別証明

基本情報

論文ID: 2510.10598
タイトル: An alternative proof of the asymptotic formula for the Fourier coefficients of the elliptic modular $j$ -function
著者: Karin Ikeda (九州大学)
分類: math.NT (数論)
発表日: 2025年10月12日
論文リンク: https://arxiv.org/abs/2510.10598

要旨

本論文は、Báez-Duarteが1997年に提唱した確率論的手法に基づいて、楕円モジュラー $j$ -関数のフーリエ係数の漸近公式の新しい証明を与える。本手法は、単純な無限乗積表現を持つモジュラー関数の様々な表現を利用し、確率論的技術により古典的な漸近公式 $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$ を証明する。

研究背景と動機

中心的問題: 本論文は楕円モジュラー $j$ -関数のフーリエ係数の漸近挙動を研究する。 $j$ -関数は以下のように定義される： $j(\tau) = \frac{E_4(\tau)^3}{\eta(\tau)^{24}} = \frac{1}{q} + 744 + 196884q + 21493760q^2 + \cdots$
問題の重要性:
- $j$ -関数はモジュラー形式理論の中心的対象であり、「モンスター」単純群との深い関連を持つ
- そのフーリエ係数の漸近公式は解析的数論の古典的問題である
- この公式は数学物理と代数幾何において重要な応用を持つ
既存手法の限界:
- 従来の証明は円周法（circle method）を使用し、PeterssonとRademacherにより独立に完成された
- その後の証明は特異モジュラスの跡公式に基づいており、技術的に複雑である
- 直感的な確率論的解釈が欠けている
研究動機: 分割関数に関するBáez-Duarteの確率論的証明に触発され、より直感的で統一的な証明方法を求める

核心的貢献

新しい確率論的証明方法の提案: Báez-Duarteの確率論的技術を $j$ -関数のフーリエ係数分析に拡張
複数のモジュラー関数表現の確立: テータ関数とHauptmodul の異なる表現を利用して複数の独立した証明を提供
強ガウス条件の証明: 関連する無限乗積関数に対して確率論の中心極限定理を確立
統一的枠組み: 一般的なeta商関数の漸近分析に対する体系的手法を提供

方法の詳細

問題設定

$j$ -関数のフーリエ係数の漸近公式を証明する： $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}} \quad (n \to \infty)$

核心的方法の構造

1. 確率論的枠組み

べき級数 $F(t) = \sum_{n=0}^{\infty} f_n t^n$ に対して、確率変数 $X_t$ を定義する： $P[X_t = n] := \frac{f_n t^n}{F(t)}$

主要な量：

平均： $m(t) = t\frac{d}{dt}\log F(t)$
分散： $\sigma^2(t) = t\frac{d}{dt}m(t)$
特性関数： $E[e^{i\theta X_t}] = \frac{F(e^{i\theta}t)}{F(t)}$

2. 強ガウス条件

標準化確率変数 $Z(t) = \frac{X(t)-m(t)}{\sigma(t)}$ を定義し、強ガウス条件は以下を要求する： $\lim_{t \to R} \int_{-\pi\sigma(t)}^{\pi\sigma(t)} |E[e^{i\theta Z(t)}] - e^{-\frac{1}{2}\theta^2}|d\theta = 0$

3. 漸近公式補題

補題2.2: $F(t)$ が強ガウス条件を満たすならば： $f_n \sim \frac{F(\tau_n)}{\sqrt{2\pi\tilde{\sigma}(\tau_n)}\tau_n^n}$ ここで $\tau_n$ は方程式 $\tilde{m}(\tau_n) = n$ の解である。

技術的革新点

1. テータ関数表現法

Kanekoの恒等式を利用する： $j(\tau) = 27(\theta_0(\tau)^8 + \theta_2(\tau)^8 + \theta_3(\tau)^8)(\theta_0(\tau)^{-8} + \theta_2(\tau)^{-8} + \theta_3(\tau)^{-8})$

$j$ -関数を3つの部分に分解する：

$H_1(\tau) = 27\left(\left(\frac{\theta_0(\tau)}{\theta_2(\tau)}\right)^8 + \left(\frac{\theta_3(\tau)}{\theta_2(\tau)}\right)^8\right)$
$H_2(\tau) = 27\left(\left(\frac{\theta_0(\tau)}{\theta_3(\tau)}\right)^8 + \left(\frac{\theta_3(\tau)}{\theta_0(\tau)}\right)^8\right)$
$H_3(\tau) = 27\left(\left(\frac{\theta_2(\tau)}{\theta_3(\tau)}\right)^8 + \left(\frac{\theta_2(\tau)}{\theta_0(\tau)}\right)^8\right)$

2. 無限乗積分析

関数 $P_{m,a}(t) = \prod_{n=0}^{\infty}(1-t^{mn+a})^{-1}$ と $Q(t) = \prod_{n=1}^{\infty}(1+t^{2n-1})$ に対して、以下を確立する：

平均と分散の推定：

$m_{P_{m,a}}(t) = \frac{\pi^2}{6m\rho^2} + O(\frac{1}{\rho})$
$\sigma^2_{P_{m,a}}(t) = \frac{\pi^2}{3m\rho^3} + O(\frac{1}{\rho^2})$
$m_Q(t) = \frac{\pi^2}{24\rho^2} + O(\frac{1}{\rho})$
$\sigma^2_Q(t) = \frac{\pi^2}{12\rho^3} + O(\frac{1}{\rho^2})$

ここで $\rho = -\log t$ である。

3. リャプノフ中心極限定理の応用

定理2.4: リャプノフ条件を検証することにより： $\lim_{n \to \infty} \sum_{k=1}^{r_n} \frac{1}{s_n^{2+\delta}} E[|X_{n,k}|^{2+\delta}] = 0$ 強ガウス条件を確立する。

実験設定

理論検証方法

本論文は純粋な理論研究であり、以下の方法により検証される：

複数表現検証: テータ関数表現とHauptmodul表現の2つの異なる方法を使用
成分分析: $H_1, H_2, H_3$ の寄与をそれぞれ計算し、主項の源を検証
数値一貫性: 異なる方法が同じ漸近公式を得ることを確認

計算複雑性分析

オイラー・マクローリン公式の応用には $O(\log(1/\lambda))$ 精度が必要
無限乗積の打ち切り誤差は $O(e^{-c/\lambda})$
全体的な計算複雑性は多項式レベル

主要な結果

核心定理

定理3.2: $j$ -関数のフーリエ係数は以下を満たす： $c_n \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}} \quad (n \to \infty)$

成分寄与分析

$H_1$ の寄与： $h_{1,n}^* \sim \frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{27/4}}$
$H_2$ の寄与： $h_{2,n} \sim \frac{e^{4\pi\sqrt{n}}}{2\sqrt{2}n^{3/4}}$
$H_3$ の寄与： $h_{3,n} \sim \frac{e^{4\pi\sqrt{n}}}{2\sqrt{2}n^{3/4}}$

主要な発見: $H_2$ と $H_3$ が主要な寄与を提供し、 $H_1$ の寄与は漸近的意味で無視できる。

Hauptmodul方法による検証

9つの異なるHauptmodul表現（ $N = 2,3,4,5,7,9,13,25$ ）により同じ漸近公式が検証された：

$N$	主項	漸近係数
2	$2^{24}/j_2^2$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$
3	$3^{18}/j_3^3$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$
5	$5^{15}/j_5^5$	$\frac{e^{4\pi\sqrt{n}}}{\sqrt{2}n^{3/4}}$