Exponential sums over primes are unbounded

技术摘要：素数指数和是无界的

问题陈述
本文探讨了由 Aymone 提出并由 Ramaré 转达的一个关于素数指数和行为的问题。具体而言，研究的是对于所有实数 $\alpha$，和式
$$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$$
是否是无界的，其中 $e(\beta) = e^{2\pi i \beta}$。虽然这些指数和的上界已有深入研究（例如，Vinogradov 定理根据 $\alpha$ 的丢番图逼近性质提供了非平凡的上界），但对于固定的 $\alpha$，非平凡的下界一直难以获得。其平凡的 $L^2$ 平均值已知为 $x \log x$ 阶，但此前除了 Vaughan 关于 $L^1$ 平均值的结论外，对于固定的 $\alpha$，点值下界尚不明确。

方法论
作者开发了一种新方法，通过分析其在短区间上的行为，来建立形如 $\sum f(n)e(\alpha n)$ 的指数和的下界。核心策略包括：

1. 短区间分析： 该方法并不要求全局丢番图逼近参数 $R(x, \alpha)$ 很小（这对应于 $\alpha$ 接近一个具有小分母的有理数），而是要求局部参数 $R(y, \alpha)$ 在长度为 $y$ 的短区间内很小。这使得区间 $[n, n+y]$ 上的指数和可以被有理点 $a/q$ 处的和所近似。
2. 大筛法应用： 作者将 Montgomery-Vaughan 大筛法应用于函数 $g(n) = F(n, n+y; \alpha)$，其中 $F$ 是算术函数的偏和。这通过全局和在有理点处的值 $F(x; a/q)$，给出了短区间和的平方模平均值的下界，即 $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$。
3. 大弧估计： 该下界取决于在近似区间内是否存在“大弧”（靠近 $\alpha$ 的有理数 $a/q$）。
   • 对于约数函数 $\tau$ 的情况，作者利用 $\sum \tau(n)e(an/q)$ 的精确渐近公式，证明了主项占主导地位。
   • 对于冯·曼戈尔特函数 $\Lambda$（素数），作者依赖 Bombieri-Vinogradov 定理（通过 Liu 和 Zhan 的工作）来处理 $y \ll x^{1/3}$ 的平均情况。
   • 对于较大的 $y$（具体为 $y \gg x^{1/3}$），作者假设广义黎曼假设（GRH）来控制所有大弧的误差项，并结合了 Heath-Brown 关于丢番图逼近中无平方因子分母分布的结果。

主要结果

1. 素数指数和的无界性：
   本文证明了对于任何 $\varepsilon > 0$，素数指数和是无界的，并给出了定量下界：
   $$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$$
   其中 $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$。这同样意味着对于 $\pi(x; \alpha)$（素数求和）该结论成立。

2. 短区间上的平均下界：
   主要技术定理（定理 2）确立了对于 $y \le x^{1/3-\varepsilon}$，短区间平方和的平均值满足：
   $$\frac{1}{x} \sum_{-y < n \le x} \left| \sum_{n < m \le n+y} \Lambda(m)e(\alpha m) \right|^2 \gg y \log x$$
   这表明在涉及素数的短区间上，“平方根抵消”（随机和的预期行为）是这类区间上最好的可能平均表现；这些和不会表现出更好的抵消。

3. 在 GRH 下的结果：
   假设广义黎曼假设（GRH），可以扩展 $y$ 的范围。对于具有合适丢番图逼近性质的无理数 $\alpha$，该下界在 $y \le x^{5/9-\varepsilon}$ 时成立，从而得出推论：
   $$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$$

4. 约数函数情况：
   该方法也被应用于约数函数 $\tau$。本文表明，对于无理数 $\alpha$，和式 $\sum_{n \le x} \tau(n)e(\alpha n)$ 是无界的，其下界为 $x^{1/2}(\log x)(\log \log x)^{-2}$ 阶。作者指出，基于 Carleson-Hunt 不等式，该结果对于几乎所有的 $\alpha$ 而言在对数因子范围内是精确的。

意义与主张
本文声称对 Aymone 和 Ramaré 的问题给出了肯定的回答，证明了素数指数和对所有 $\alpha$ 都是无界的。其意义在于：

• 提供了第一个针对固定 $\alpha$ 的素数指数和的非平凡下界，超越了仅限于平均结果的范畴。
• 引入了一种将要求从全局丢番图性质 ($R(x, \alpha)$) 转向局部性质 ($R(y, \alpha)$) 的方法，从而允许对短区间上的和进行分析。
• 证明了涉及素数的短区间上的“平方根抵消”启发式假设在平均意义上是紧致的，即明确显示这些和不能显著小于 $y^{1/2}$。

作者明确指出，该方法是通用的，并已在其他工作中应用于其他算术函数（如 $1_{\Omega(n)=k}$ 和一般的乘性函数），但本文侧重于 $\Lambda$ 和 $\tau$ 的情况。对于扩展的 $y$ 范围，结果是以标准猜想（GRH）为条件的，而在 $y \le x^{1/3-\varepsilon}$ 范围内则是无条件的。