中文

关于孪系函数在素数参数下二元谐波系数相关性的研究

数论 2025-11-14 v1

摘要

{λf(n)}n1\{\lambda_f(n)\}_{n \geq 1} 为给定重量为偶数的全纤 cusp 形式 ff 的归一化Hecke特征值的序列。我们在假设 L(s,f,χ)L(s, f, \chi)(其中 χ\chi 为模为 qq 的Dirichlet字符)存在类Littlewood型零自由区域的前提下,证明当 X2/3+εHX1εX^{2/3+\varepsilon} \ll H \ll X^{1-\varepsilon}ε>0\varepsilon>0 时,对任意 A1A\geq 1,都有 1hHX<n,m2Xnm=hλf(n)Λ(n)λf(m)Λ(m)2AHX2(logX)A\sum_{1\leq |h|\leq H}\bigg| \sum_{\substack{X<n,\: m \leq 2X \\ n - m = h}} \lambda_f(n)\Lambda(n)\lambda_f(m)\Lambda(m) \bigg|^2 \ll_{A} \frac{HX^2}{(\log X)^{A}} 成立。此外,在对某些Dirichlet多项式的四阶矩(随着GRH for L(s,f)L(s, f)而得)的额外假设下,我们证明上述结果可拓宽至更广的范围 X1/3+εHX1εX^{1/3+\varepsilon}\ll H \ll X^{1-\varepsilon}。最后,若对形式 ff 进行平均化,则对于 XεHX1εX^{\varepsilon}\ll H\ll X^{1-\varepsilon} 且任意 A1A\geq 1,有 fHkωf1hHX<n,m2Xnm=hλf(n)Λ(n)λf(m)Λ(m)2AHX2(logX)A, \sum_{f\in \mathcal{H}_k}\omega_f\sum_{1\leq |h|\leq H}\bigg| \sum_{\substack{X<n,\: m \leq 2X \\ n - m = h}} \lambda_f(n)\Lambda(n)\lambda_f(m)\Lambda(m) \bigg|^2 \ll_{A}\frac{HX^2}{(\log X)^{A}}, 其中 Hk\mathcal{H}_k 为重量为 kk 的全模群 SL(2,Z)\mathrm{SL}(2, \mathbb{Z}) 上全纤 cusp 形式的Hecke基,ωf\omega_f 为与 fHkf\in \mathcal{H}_k 相关的调和权。这些结果可视为模块化的Hardy--Littlewood素数串联猜想 averages 的类比。

关键词

引用

@article{arxiv.2511.10594,
  title  = {On binary correlations of Fourier coefficients of holomorphic cusp forms at prime arguments},
  author = {Jiseong Kim and Kunjakanan Nath},
  journal= {arXiv preprint arXiv:2511.10594},
  year   = {2025}
}

备注

22 pages, comments are welcome