[论文解读] On the Brun-Titchmarsh Theorem

James Maynard|arXiv (Cornell University)|Jan 9, 2012

Analytic Number Theory Research参考文献 17被引用 3

一句话总结

该论文通过涉及狄利克雷L-函数零点密度估计的解析方法，证明当 $ \log x / \log q \geq 8 $ 时，Brun-Titchmarsh 定理的上界常数可降低至 2，适用于所有足够大的模数 $ q $。同时，在相同条件下，该文还证明了下界大小为 $ x/(q^{1/2}\phi(q)) $，且该下界在未解决希格尔零点问题的前提下本质上已是最优的。

ABSTRACT

The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(ϕ(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different estimates for $C$ in different ranges for $\log{x}/\log{q}$, all of which give $C>2$. We show that one can take C=2 provided that $\log{x}/\log{q}\ge 8$. Without excluding the possibility of an exceptional Siegel zero, we cannot have $C<2$ and so this result is best-possible in this sense. We obtain this result using analytic methods developed in the study of Linnik's constant. In particular, we obtain explicit bounds on the number of zeroes of Dirichlet $L$-functions with real part close to 1 and imaginary part of size O(1).

研究动机与目标

• 将 Brun-Titchmarsh 上界常数从 $ 2/(1 - \theta) $ 改进为 $ C = 2 $，其中 $ \theta = \log q / \log x \leq 1/8 $，而 $ \theta \leq 1/8 $ 对应于 $ \log x / \log q \geq 8 $。
• 在 $ \log x / \log q \geq 8 $ 条件下，建立 $ \pi(x; q, a) $ 的下界，大小为 $ x/(q^{1/2}\phi(q)) $，表明该下界在未解决希格尔零点问题的前提下本质上已是最优的。
• 证明在当前技术条件下，包括可能存在 $ \eta $-希格尔零点的情况下，改进后的上界与下界均为最优。
• 将狄利克雷L-函数的零点密度估计扩展至包含 $ \gamma \ll 1 $ 的零点范围，这是实现更优界限所必需的。

提出的方法

• 使用源自林尼克定理的解析技术，重点在于对狄利克雷L-函数的零点进行加权求和，而非筛法。
• 应用扩展后的零点密度估计，包含 $ \gamma \ll 1 $ 的零点，超越了希思-布朗的界限。
• 通过指数权重对素数进行光滑求和，并利用函数 $ B_1, C_1, D $ 和 $ A' $ 来估计零点的贡献。
• 在 $ \lambda_1 $ 的 dyadic 区间上实施递归边界策略，利用许洛里斯与希思-布朗所得的 $ \lambda_1' $ 和 $ \lambda_2 $ 的下界。
• 对 $ M \geq 7.8 $ 的上界表达式进行显式数值检验，表明在所有范围内总和均小于 0.999，从而确认该界限成立。
• 将函数 $ \exp(-M\lambda_1)/B_1(\lambda_1) $ 作为零点求和估计中的关键衰减因子，其中 $ M = 7.999 $。

实验结果

研究问题

• RQ1 当 $ \log x / \log q \geq 8 $ 时，Brun-Titchmarsh 常数能否降低至 2？若能，需满足什么条件？
• RQ2 在未改进希格尔零点问题的前提下，$ \pi(x; q, a) $ 的最佳可能下界是什么？
• RQ3 对于 $ \gamma \ll 1 $ 的L-函数零点密度估计如何影响算术级数中素数的上下界？
• RQ4 在不假设广义黎曼假设或排除希格尔零点的前提下，Brun-Titchmarsh 定理中的常数 2 是否可实现？

主要发现

• 对于 $ q \geq q_1 $ 且 $ x \geq q^8 $，不等式 $ \pi(x; q, a) < 2\operatorname{Li}(x)/\phi(q) $ 成立，将经典 Brun-Titchmarsh 常数从 $ 2/(1 - \theta) $ 改进为 2。
• 对于 $ q \geq q_2 $ 且 $ x \geq q^8 $，下界 $ \pi(x; q, a) \gg \frac{\log q}{q^{1/2}} \cdot \frac{x}{\phi(q)\log x} $ 成立，该下界在未解决希格尔零点问题的前提下本质上已是最优的。
• 常数 2 的上界在如下意义上是最优的：除非排除存在某个 $ \eta > 0 $ 的 $ \eta $-希格尔零点，否则无法进一步改进。
• 该证明依赖于将零点密度估计扩展至包含 $ \gamma \ll 1 $ 的零点，且数值验证确认当 $ M \geq 7.8 $ 时界限成立。
• 结果是有效的：常数 $ q_1 $ 和 $ q_2 $ 可有效计算，且界限对大 $ q $ 值具有统一性。