[论文解读] Quantitative quantum ergodicity and the nodal domains of Maass-Hecke cusp forms

Junehyuk Jung|arXiv (Cornell University)|Jan 26, 2013

Analytic Number Theory Research参考文献 32被引用 8

一句话总结

本文建立了模曲面上Hecke–Maass尖形式的定量量子遍历性结果，导出一个无条件的、精确的下界 $ t_{\theta}^{1/8 - \epsilon} $，适用于所有但密度为零的偶Maass形式子集，该下界针对固定紧致测地线段 $ \beta \subset \{iy : y > 0\} $ 的节点域数量。此外，还将其沿密度1子序列的 $ L^\infty $-范数界改进为 $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $，优于Iwaniec与Sarnak的先前结果 $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $。

ABSTRACT

We prove a quantitative statement of the quantum ergodicity for Hecke--Maass cusp forms on the modular surface. As an application of our result, along a density $1$ subsequence of even Hecke--Maass cusp forms, we obtain a sharp lower bound for the $L^2$-norm of the restriction to a fixed compact geodesic segment of $η=\{iy~:~y>0\} \subset \mathbb{H}$. We also obtain an upper bound of $O_ε\left(t_ϕ^{3/8+ε} ight)$ for the $L^\infty$ norm along a density $1$ subsequence of Hecke--Maass cusp forms; for such forms, this is an improvement over the upper bound of $O_ε\left(t_ϕ^{5/12+ε} ight)$ given by Iwaniec and Sarnak. In a recent work of Ghosh, Reznikov, and Sarnak, the authors proved for all even Hecke--Maass forms that the number of nodal domains, which intersect a geodesic segment of $η$, grows faster than $t_ϕ^{1/12-ε}$ for any $ε>0$, under the assumption that the Lindel{ö}f Hypothesis is true and that the geodesic segment is long enough. Upon removing a density zero subset of even Hecke--Maass forms, we prove without making any assumptions that the number of nodal domains grows faster than $t_ϕ^{1/8-ε}$ for any $ε>0$.

研究动机与目标

• 在模曲面 $ \Gamma \backslash \mathbb{H} $ 上建立Hecke–Maass尖形式的定量量子遍历性版本，其中 $ \Gamma = SL_2(\mathbb{Z}) $。
• 推导出固定测地线段 $ \beta \subset \{iy : y > 0\} $ 的节点域数量的精确、无条件的下界，优于以往的条件性结果。
• 在Hecke–Maass尖形式的密度1子序列上改进 $ L^\infty $-范数界，超越Iwaniec与Sarnak的界限。
• 通过在密度1子序列的偶Maass形式上工作，消除在节点域增长估计中对Lindelöf猜想的依赖。

提出的方法

• 分析依赖于对平移卷积和方差的精确估计，该估计控制了 $ \phi $ 在测地线段 $ \beta $ 上的 $ L^2 $-限制范数。
• 证明使用柯西-施瓦茨不等式来界定 $ \phi $ 在 $ \beta $ 上的 $ L^1 $-范数，将其与 $ \|\phi\|_{L^2(\beta)}^2 $、$ \|\phi\|_{L^\infty(\beta)} $ 以及 $ L^1 $-范数的控制量 $ M_1(\phi) $ 通过谱分解联系起来。
• 关键步骤包括利用 $ L $-函数的平均Lindelöf型估计和 $ L(1/2 + it, \phi) $ 上的 $ L^2 $-界，控制 $ \sum_{|T - t_\phi| < T^{1/3}} M_1(\phi)^2 \ll_\epsilon T^{\epsilon} $。
• 应用切比雪夫不等式，证明在谱窗 $ |t_\phi - T| < T^{1/3} $ 中，除 $ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 个形式外，均有 $ M_1(\phi) < t_\phi^{-1/2 + \epsilon_0/2} $。
• $ L^2 $-限制范数 $ \|\phi\|_{L^2(\beta)}^2 $ 在该谱窗中所有但 $ O(T) $ 个偶形式上被下界控制为一个绝对常数 $ \gg_\beta 1 $。
• 通过引用推论1.15中的结果，控制了 $ L^\infty $-范数，得到对于所有但 $ O_{\epsilon_0}(T^{13/12 + \epsilon_0/2}) $ 个形式，有 $ \|\phi\|_{L^\infty(\beta)} \ll_{\beta,\epsilon_0} t_\phi^{3/8 + \epsilon_0/2} $。

实验结果

研究问题

• RQ1 能否在不依赖Lindelöf猜想的前提下，为模曲面上的Hecke–Maass尖形式建立定量量子遍历性结果？
• RQ2 对于偶Maass形式，固定测地线段 $ \beta \subset \{iy : y > 0\} $ 的节点域数量的最优无条件最小下界是什么？
• RQ3 能否在Hecke–Maass尖形式的密度1子序列上改进 $ L^\infty $-范数界？若能，改进幅度如何？
• RQ4 在不假设Lindelöf猜想的前提下，几乎所有偶Maass形式的节点域数量是否均快于 $ t_\phi^{1/8 - \epsilon} $ 增长？

主要发现

• 在谱窗 $ |t_\phi - T| < T^{1/3} $ 中，除 $ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 个偶Hecke–Maass尖形式外，所有形式满足：固定紧致测地线段 $ \beta \subset \{iy : y > 0\} $ 的节点域数量 $ N^\beta(\phi) > t_\phi^{1/8 - \epsilon_0} $。
• 在Hecke–Maass尖形式的密度1子序列上，$ L^\infty $-范数被控制为 $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $，优于Iwaniec与Sarnak的 $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $ 界。
• $ L^2 $-限制范数 $ \|\phi\|_{L^2(\beta)}^2 $ 在该谱窗中所有但 $ O(T) $ 个偶形式上被下界控制为一个绝对常数 $ \gg_\beta 1 $。
• 对平移卷积和方差的精确估计，使得对 $ L^1 $-范数的控制成为可能，从而导出改进的节点域下界。
• 结果是无条件的：无需依赖Lindelöf猜想，与Ghosh、Reznikov和Sarnak的先前工作不同。
• 在 $ L^\infty $-范数界上的改进显著，将指数从 $ 5/12 \approx 0.4167 $ 降低至 $ 3/8 = 0.375 $，接近猜想的 $ t_\phi^\epsilon $ 界。