[论文解读] 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.

研究动机与目标

• 推导狄利克雷级数的汉克尔行列式的一般表达式，特别针对黎曼ζ函数。
• 分析当矩阵大小增加时，这些行列式的渐近衰减行为。
• 建立离散汉克尔行列式与连续类比（如塞尔伯格积分）之间的联系。
• 探索其与对称群的普朗切尔测度及其渐近行为的关联。
• 提供ζ函数汉克尔行列式的显式渐近展开式，并通过齐格勒的数值证据加以支持。

提出的方法

• 利用范德蒙德行列式和对称群中置换的求和，推导出 $ H_n^{(r)}[F] $ 的一般公式。
• 将汉克尔行列式表示为正整数 $ n $-元组的和，其中包含平方差的乘积 $ \prod_{i<j}(m_i - m_j)^2 $。
• 应用鞍点法和变分法，将求和近似为连续积分，从而得到带有对数势的函数行列式。
• 求解平衡测度 $ \rho_S(x) $ 的积分方程，得到 $ \rho_S(x) = \frac{1}{\pi x\sqrt{x-1}} $（$ x > 1 $），该测度使作用泛函最大化。
• 利用巴内斯G函数及其渐近展开式，推导出塞尔伯格型积分 $ S_n(1,1,1) $ 的对数渐近行为。
• 将所得测度与对称群的普朗切尔测度进行比较，求解在 $[0,2]$ 上支持的相应积分方程。

实验结果

研究问题

• RQ1 狄利克雷级数 $ F(s) = \sum f(n)/n^s $ 的汉克尔行列式是否存在一般解析表达式？
• RQ2 当 $ n \to \infty $ 时，黎曼ζ函数的汉克尔行列式 $ H_n^{(0)}[\zeta] $ 和 $ H_n^{(1)}[\zeta] $ 的渐近行为如何？
• 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) $，与汉克尔行列式的主导衰减阶一致。
• 连续类比的平衡测度为 $ \rho_S(x) = \frac{1}{\pi x\sqrt{x-1}} $（$ 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 $。