[论文解读] $PGT$ on $PSL(2,\mathbb{Z})$. A short proof

Muharem Avdispahić|arXiv (Cornell University)|Mar 1, 2017

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

一句话总结

本文使用 Iwaniec 显式公式和 Gallagher 引理，对模曲面 $PSL(2,\mathbb{Z})$ 的素测地线定理中的误差项进行了简明证明，给出了一个改进的误差项界。结果表明，误差项在对数测度为有限的集合之外满足 $O\left(x^{2/3}((\log\log x)^{1/3+\varepsilon}\right)$，优于以往的无条件界，并与广义 Lindelöf 猜测的预测一致。

ABSTRACT

Taking the Iwaniec explicit formula as a starting point, we give a short proof of a more precise $\frac{2}{3}$ bound for the exponent in the error term of the Gallagher-type prime geodesic theorem for the modular surface.

研究动机与目标

• 将模曲面 $PSL(2,\mathbb{Z})$ 的素测地线定理中的误差项改进至超越现有无条件界的程度。
• 使用解析数论技巧，对误差项中 $\frac{2}{3}$ 指数部分提供一个简洁的证明。
• 证明误差项 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$ 在对数测度为有限的集合之外成立。
• 在 Selberg zeta 函数的背景下，弥合广义 Lindelöf 猜测预测与无条件结果之间的差距。

提出的方法

• 利用 Iwaniec 显式公式，将切比雪夫函数 $\psi_\Gamma(x)$ 表示为 Selberg zeta 函数 $Z_\Gamma(s)$ 的非平凡零点 $\rho = \frac{1}{2} + i\gamma$ 的形式。
• 将 Gallagher 引理由参数 $\theta = \frac{1}{4\pi}$ 应用于控制零点上指数和的 $L^2$-范数，将问题转化为对零点短区间的求和。
• 利用 Weyl 公式将求和 $\sum_{t < |\rho| \leq t+1} \frac{1}{|\rho|}$ 有界为 $O(1)$，从而得到对 $t$ 的积分的 $O(T)$ 估计。
• 通过变量替换 $x = e^n e^{2\pi(u + \frac{1}{4\pi})}$，将零点上和的 $L^2$-范数与 $u \in [-\frac{1}{4\pi}, \frac{1}{4\pi}]$ 上的积分联系起来。
• 将 $L^2$-估计与测度论论证相结合，定义异常 $x$-值的集合 $A_n$，并证明其对数测度可求和，因此 $A = \bigcup A_n$ 具有有限对数测度。
• 通过优化参数 $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ 以最小化显式公式中的误差项，从而得到最终界。

实验结果

研究问题

• RQ1 能否在无条件假设下，将 $PSL(2,\mathbb{Z})$ 的素测地线定理中的误差项改进至超越 $\frac{25}{36}+\varepsilon$ 界？
• RQ2 是否存在一个简短且自包含的证明，利用已知的显式公式与调和分析，证明误差项中 $\frac{2}{3}+\varepsilon$ 指数？
• RQ3 Gallagher 引理由在 Selberg zeta 函数背景下在多大程度上可被适配，以控制零点上的指数和？
• RQ4 $x^{2/3}$ 界是否可在对数测度为有限的集合之外实现，且与广义 Lindelöf 猜测一致？

主要发现

• 本文证明了当 $x \notin A$ 时，$\psi_\Gamma(x) = x + O\left(x^{2/3}\log x (\log\log x)^{1/3+\varepsilon}\right)$，其中 $A$ 是对数测度为有限的集合。
• 在对数测度为有限的集合 $A$ 之外，$\pi_\Gamma(x) - \int_0^x \frac{dt}{\log t}$ 的界为 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$。
• 最优参数选择 $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ 最小化了显式公式中的误差项。
• 异常集合 $A$ 的对数测度为有限，确保该界在对数密度意义下几乎处处成立。
• 该方法避免了复杂的工具，仅依赖 Iwaniec 显式公式与 Gallagher 引理，从而对 $\frac{2}{3}$ 指数给出了简洁的证明。