[论文解读] Sign changes of Hecke eigenvalues

Kaisa Matomäki, Maksym Radziwiłł|arXiv (Cornell University)|May 29, 2014

Analytic Number Theory Research参考文献 19被引用 6

一句话总结

本文证明了全模群上的全纯与Maass尖形式的Hecke特征值的符号在渐近意义上呈现平衡的正负分布，且序列 $\lambda_f(n)$ 在 $x$ 以内符号变化的次数为 $x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$ 阶，显著优于以往的下界。证明方法结合了筛法权重、双线性型与移位卷积和，以检测抵消效应并控制符号序列的波动。

ABSTRACT

Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero $λ_f(n)$ are positive and half are negative. In the Maass case, it is not yet known that the coefficients are non-lacunary, but our method is robust enough to show that on the relative set of non-zero coefficients there is a positive proportion of sign changes. In both cases previous lower bounds for the number of sign changes were of the form $x^δ$ for some $δ< 1$.

研究动机与目标

• 理解尖形式的Hecke特征值序列 $\lambda_f(n)$ 中符号变化的分布与频率。
• 建立 $\lambda_f(n)$ 的符号在渐近意义上在正负值之间均匀分布。
• 改进全纯形式与Maass形式中 $\lambda_f(n)$ 的符号变化次数的已知下界。
• 研究符号模式的统计独立性与随机性，受二次剩余与Sato-Tate行为类比的启发。

提出的方法

• 引入筛法权重 $w_n \geq w_n' \geq 0$，通过比较带符号和与其非振荡对应项的差异，检测区间 $[x, x+h]$ 内的符号变化。
• 利用Harcos关于移位卷积和的研究，检测 $\sum_{am - bn = h} \lambda_f(m)\lambda_f(n)$ 中的抵消效应，从而控制带符号和的振荡部分。
• 将对偶权重 $w_n'$ 建模为在大素数上具有紧支集的乘法函数，计算其一阶与二阶矩，确保其平均值有正的下界。
• 应用大筛法与柯西-施瓦茨不等式，控制双线性型中的非对角项贡献，依赖于当 $n$ 含有多个小素因子时 $\lambda_f(n)$ 的小量性质。
• 使用Möbius反演与二元分解，消除 $b, b'$ 上的互素条件，控制双线性和的结构。
• 借助Sato-Tate定理，解释 $|\lambda_f(n)|$ 的剧烈波动，这使得即使在大小变化的情况下，仍需使用加权和来检测符号变化。

实验结果

研究问题

• RQ1 Hecke尖形式的序列 $\lambda_f(n)$ 中符号变化的渐近频率是多少？
• RQ2 在多大程度上 $\lambda_f(n)$ 的符号表现得像独立的随机变量？这对符号变化次数有何影响？
• RQ3 能否建立一个非平凡的符号变化次数下界，使其优于以往的 $x^{1/2}$ 与 $x^{1/8-\varepsilon}$ 下界？
• RQ4 当 $\lambda_f(n)$ 中存在零点时，对符号变化次数有何影响？是否仍能在非零支集上检测到正比例的符号变化？

主要发现

• 在 $n \leq x$ 范围内，$\lambda_f(n)$ 的符号变化次数渐近为 $x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$ 阶，在自然密度假设下为 $\gg x$。
• 对于全纯形式，非零 $\lambda_f(n)$ 的正负比例在渐近意义上相等，证实了符号分布的平衡性。
• 符号变化次数的下界为 $\gg x$，显著优于全纯情形下以往的 $\gg x^{1/2}$ 下界与Maass情形下的 $\gg x^{1/8-\varepsilon}$ 下界。
• 相关和满足 $\left| \sum_{n \leq x} \text{sgn}(\lambda_f(n)) \text{sgn}(\lambda_f(n+1)) \right| \leq (1 - c)x$，其中 $c > 0$，表明符号间长程相关性有限。
• 该方法通过筛法权重控制小素数的贡献，并利用移位卷积和将大素数的抵消效应分离出来。
• 该证明方法可推广至具有实傅里叶系数的形式，只要符号分布保持平衡即可。