[论文解读] Harmonic Analysis on the Positive Rationals II: Multiplicative Functions and Maass Forms

P. D. T. A. Elliott, Jonathan Kish|arXiv (Cornell University)|May 28, 2014

Analytic Number Theory Research参考文献 14被引用 11

一句话总结

本文建立了与Maass尖形式和全纯新形式相关的乘法数论函数的中心极限定理，扩展了Ramanujan的$\tau$-函数猜想。通过正有理数上的调和分析、自守形式理论及谱方法，证明了在适当归一化下，其弱收敛于正态分布，给出了显式误差项，并在水平数$D$与狄利克雷特征模数上具有统一性。

ABSTRACT

This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.

研究动机与目标

• 将Ramanujan的$\tau$-函数的中心极限猜想推广至一般的Maass尖形式与全纯新形式。
• 建立归一化系数弱收敛于标准正态分布的结果，同时考虑非零性与乘法结构的影响。
• 利用$ L $-函数理论与Phragmén-Lindelöf原理，对水平数$ D $与狄利克雷特征模数建立统一的误差界。
• 研究复乘法对系数分布的影响，并相应调整中心极限定理的归一化方式。
• 通过阿代尔表示理论与Hecke特征形式，统一处理全纯与非全纯自守形式。

提出的方法

• 在正有理数的乘法群$\mathbb{Q}^*$上应用调和分析，研究自守形式系数的分布。
• 利用$ L^2(\Gamma_0(N)\backslash SL(2,\mathbb{R})) $的谱理论，将系数解释为Hecke算子下的特征函数。
• 通过Euler积与Satake参数分析与Maass形式相关的$ L $-函数，特别是其对数导数。
• 对$ f(s)/f(s_0) $在$\operatorname{Re}(s) \geq 3/4$上应用Borel-Carathéodory不等式，获得在$ D $上的统一有界性。
• 利用Chebotarev密度定理与$\ell$-进表示估计非零系数的密度。
• 推导指数和$\sum_{D < p \leq x} a_p^2 \chi(p) p^{-1-it} $的渐近界，以控制中心极限近似中的误差项。

实验结果

研究问题

• RQ1 Maass尖形式的归一化系数分布是否弱收敛于标准正态分布？
• RQ2 复乘法的存在如何影响自守系数中心极限定理中的归一化方式与极限方差？
• RQ3 是否能对中心极限定理中的误差项在水平数$ D $与特征模数上建立统一的界？
• RQ4 当$ a_n $在正密度集合上为零时，系数分布的正确归一化因子是什么？
• RQ5 Sato-Tate猜想及其误差估计在多大程度上可用于改进全纯新形式的中心极限定理？

主要发现

• 对于无复乘法的全纯新形式，归一化系数$|a_n|n^{-(k-1)/2}$在归一化$\rho x$下满足中心极限定理，方差为$\delta^2 = \pi^2/12 + 1/2$，其中$\rho$为非零系数的密度。
• 对于Maass尖形式，当$ a_n \neq 0 $的集合具有密度$ Ax(\log x)^{-1/2} $时，系数分布$|a_n|n^{-(k-1)/2}$弱收敛于方差为$\lambda^2 = \pi^2/24$的正态分布。
• 对$\sum_{p \leq x} |a_p|^2 p^{-k} (\log |a_p|p^{-(k-1)/2})^2$的Sato-Tate估计误差可改进至$ o(x(\log x)^{-3}) $，从而完全确立一般中心极限猜想。
• 通过将Borel-Carathéodory不等式应用于$ f(s)/f(s_0) $，在$ D $上获得统一有界性，得到$ |f(\sigma_1 + it)/f(\sigma_2 + it)| \ll (D(2+|s|))^{c_1(\sigma_2 - \sigma_1)} $，其中$ 1 < \sigma_1 \leq \sigma_2 $。
• 在适当假设下，非零系数的密度$\rho$满足$\rho \geq (1/16)L_2 - \log L_2 + O(1)$，其中$ L_2 = \log(\log x / \log D) $。
• 该方法可推广至$ L $-函数的狄利克雷扭结，通过Shimura-Gelbart提升，对本原特征建立了在$ D $上的统一性。