[论文解读] Prime geodesic theorem of Gallagher type

Muharem Avdispahić|arXiv (Cornell University)|Jan 9, 2017

Analytic Number Theory Research参考文献 15被引用 5

一句话总结

该论文通过将误差项的指数从 $\frac{3}{4}$ 降低至 $\frac{7}{10}$，改进了紧致黎曼曲面上素测地线定理的误差项，方法是在对切比雪夫函数 $\psi(x)$ 的显式公式应用类 Gallagher 平均方法，结合零点密度估计与 Selberg zeta 函数非平凡零点的 $L^2$-范数估计，结果在对数测度有限的集合外成立。

ABSTRACT

We reduce the exponent in the error term of the prime geodesic theorem for compact Riemann surfaces from $\frac{3}{4}$ to $\frac{7}{10}$ outside a set of finite logarithmic measure.

研究动机与目标

• 将紧致黎曼曲面上素测地线定理的误差项改进至超越经典 $O(x^{3/4} \log x^{-1})$ 边界。
• 将此前仅用于黎曼 zeta 函数的类 Gallagher 平均方法，扩展至双曲流形上 Selberg zeta 函数的框架。
• 在对数测度有限的集合外，实现误差项为 $O(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon})$。
• 通过控制低落零点的贡献并利用 $L^2$-范数估计非平凡零点上的振荡和，从而改进 $\psi(x)$ 的显式公式。

提出的方法

• 应用 Hejhal 的积分切比雪夫函数 $\psi_1(x)$ 的显式公式，其中包含 Selberg zeta 函数非平凡零点 $\rho$ 的求和。
• 利用 $\psi$ 非递减时的不等式 $\psi(x) \leq \frac{1}{h} \int_x^{x+h} \psi(t) dt$，通过平均实现点态控制。
• 通过 $L^2$-范数估计实部为 $\frac{1}{2}$ 的零点上的振荡和，利用 $\sum \frac{t^{\rho+1}}{\rho(\rho+1)}$ 的均方值。
• 将实直线进行 dyadic 分解，划分为区间 $[e^n, e^{n+1})$，并定义异常集合 $E_n$ 和 $F_n$，使得零点和超过某一阈值，证明其对数测度有限。
• 应用零点密度估计控制 dyadic 区间内零点的数量，使用估计 $\sum_{Y < |\gamma| \leq T} \left| \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/Y)$。
• 通过平衡涉及 $h$、$x^2 / hT$、$x^{1/2} Y$ 和 $x^\alpha (\log x)^\beta (\log \log x)^\beta / h$ 的各项，优化平均参数 $h$，得出 $\alpha = \frac{7}{5}$，$\beta = \frac{2}{5}$。

实验结果

研究问题

• RQ1 能否在紧致黎曼曲面上将素测地线定理的误差项改进至超越 $O(x^{3/4})$？
• RQ2 是否可在 Selberg zeta 函数的背景下，通过类 Gallagher 平均方法实现误差项中指数为 $\frac{7}{10}$？
• RQ3 此类强误差界失效的异常集合有多大？能否证明其具有有限对数测度？
• RQ4 $L^2$-范数估计与零点密度估计如何协同作用，以控制显式公式中振荡项的贡献？
• RQ5 该方法能否在 $x+h$ 跨越下一个 dyadic 区间时，仍保持对误差的控制而不失控？

主要发现

• 在 $x \notin G$ 时，素测地线定理的误差项被降低至 $O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$，其中 $G$ 是对数测度有限的集合。
• 主要结果表明，$\psi(x) = x + \sum_{\frac{7}{10} < \rho < 1} \frac{x^\rho}{\rho} + O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$ 在 $G$ 外成立，优于先前的界。
• 异常集合 $G = \bigcup E_n \cup \bigcup F_n$ 具有有限对数测度，确保该界在对数意义下几乎处处成立。
• 该方法通过拆分求和并应用 $L^2$-估计，成功控制了低落零点的贡献，关键估计为 $\int_T^{eT} \left| \sum \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/T)$。
• 通过选择 $h \approx x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5}$，使各项竞争误差项达到平衡，从而获得最优指数。
• 结果证实，对于一般紧致黎曼曲面，素测地线定理中误差指数 $\frac{7}{10}$ 是可实现的，而不仅限于模曲面。