[論文レビュー] Hankel determinants of Dirichlet series

H. Monien|ArXiv.org|Jan 14, 2009

Analytic Number Theory Research参考文献 3被引用数 5

ひとこと要約

この論文は、リーマン・ゼータ関数に注目して、ディリクレ級数のハンケル行列式に対する一般式を導出し、その漸近的挙動を確立している。これらの行列式は超指数的減衰を示し、セルバーグ積分や対称群のプランシュレル測度と関連づけられ、数論、確率的行列理論、表現論の深い関係が明らかになる。

ABSTRACT

We derive a general expression for the Hankel determinants of a Dirichlet series F(s) and derive the asymptotic behavior for the special case that F(s) is the Riemann zeta function. In this case the Hankel determinant is a discrete analogue of the Selberg integral and can be viewed as a matrix integral with discrete measure. We briefly comment on its relation to Plancherel measures.

研究の動機と目的

• ディリクレ級数 $ F(s) = \sum f(n)/n^s $ のハンケル行列式に対する一般式を導出すること。
• 行列式のサイズが増加する際の漸近的減衰を分析すること。
• 離散的ハンケル行列式と連続的類似物（例：セルバーグ積分）との関係を確立すること。
• 対称群のプランシュレル測度との関連およびその漸近的挙動を探索すること。
• ザギエの数値的証拠を裏付けに、ゼータ関数のハンケル行列式に対する明示的な漸近展開を提供すること。

提案手法

• バーデルモンド行列式と置換に関する対称群の和を用いて、$ H_n^{(r)}[F] $ の一般式を導出する。
• ハンケル行列式を、正の整数の $ n $ 重組 $ (m_1, \dots, m_n) $ に関する和として表現し、$ \prod_{i<j}(m_i - m_j)^2 $ の積を含む。
• 鞍点法および変分法を適用して、和を連続的積分に近似し、対数的ポテンシャルを持つ関数行列式にたどり着く。
• 均衡測度 $ \rho_S(x) $ に対する積分方程式を解き、$ x > 1 $ に対して $ \rho_S(x) = \frac{1}{\pi x\sqrt{x-1}} $ を得る。これは作用関数を最大化する。
• バーナーズ G 関数およびその漸近展開を用いて、セルバーグ型積分 $ S_n(1,1,1) $ の対数的漸近的挙動を導出する。
• 得られた測度を対称群のプランシュレル測度と比較し、$[0,2]$ 上に台を持つ対応する積分方程式を解く。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ級数 $ F(s) = \sum f(n)/n^s $ のハンケル行列式に対する一般解析的表現は何か？
• RQ2 リーマン・ゼータ関数のハンケル行列式 $ H_n^{(0)}[\zeta] $ および $ H_n^{(1)}[\zeta] $ は、$ n \to \infty $ のときどのように漸近的に振る舞うか？
• RQ3 これらの離散的ハンケル行列式と連続的セルバーグ積分との関係は何か？
• RQ4 これらの行列式は対称群のプランシュレル測度とどのように関連するか？
• RQ5 連続する行列式の比の観察された漸近的比は、解ける漸近的再帰関係または明示的漸近展開で説明可能か？

主な発見

• ハンケル行列式 $ H_n^{(0)}[\zeta] $ は、$ \log H_n^{(0)}[\zeta] \sim -n^2(\log(2n) - \frac{3}{2}) $ という漸近的形をとり、$ 2n+1 $ の逆数の高次補正項を含む。
• 行列式 $ H_n^{(0)}[\zeta] $ は超指数的減衰を示し、$ H_{100}^{(0)}[\zeta] \approx 4.9 \times 10^{-16684} $ であり、同様に $ H_n^{(1)}[\zeta] $ に対しても成り立つ。
• 比 $ -\frac{H_{n-1}^{(0)}[\zeta] H_n^{(1)}[\zeta]}{H_n^{(0)}[\zeta] H_{n+1}^{(1)}[\zeta]} $ は、$ 1/(2n+1) $ に関する有理関数の漸近的展開をもち、最初の項は $ -\frac{1}{2n+1} + \frac{2}{(2n+1)^2} - \frac{7}{3(2n+1)^3} + \cdots $ である。
• セルバーグ積分 $ S_n(1,1,1) $ の漸近的挙動は、$ \log S_n(1,1,1) = -2\log(2)n^2 + (\log(2\pi n) - 1)n + O(1) $ であり、ハンケル行列式の主要項の減衰と一致する。
• 連続的類似物の均衡測度は、$ x > 1 $ に対して $ \rho_S(x) = \frac{1}{\pi x\sqrt{x-1}} $ であり、変分原理から導出される。
• 行列式 $ H_n^{(1)}[\zeta] $ の漸近展開における定数 $ A^{(1)} $ は、$ A^{(0)} $ と $ A^{(1)} = \frac{e^{9/8}}{\sqrt{6}} A^{(0)} $ の関係にある。ここで $ A^{(0)} \approx 0.351466738331 $ である。