Lines in the prime number graph

技术摘要：素数图上的直线

问题陈述
本文研究了“素数图”的几何性质，该图定义为平面上的点集 $(n, p_n)$，其中 $p_n$ 是第 $n$ 个素数。研究的核心聚焦于两个特定函数：

1. $L(n)$：覆盖前 $n$ 个素数点所需的最少直线段数量。
2. $B(n)$：能被单条直线覆盖的素数点 $(k, p_k)$ 的最大数量，其中 $k \le n$。

本研究由近期的数值观察和 Sloane 的一个猜想所激发，该猜想提出 $L(n) = O(n / \log n)$。作者旨在利用解析数论，特别是带余项的素数定理（PNT），为这些函数提供严格的渐近界。

方法论
作者结合了组合论证与解析数论中的深刻结果。

• 法里序列与区间划分：为了界定 $L(n)$，作者利用了 $k$ 级法里序列。他们根据法里序列中连续的项 $a/b$ 和 $a'/b'$ 对区间 $(e^k, e^{k+1}]$ 进行划分。这使得他们能够构造特定的区间 $I = (u, u']$，在其中控制逼近素数分布的直线的斜率。
• 带余项的素数定理：证明严重依赖于素数计数函数 $\pi(x)$ 被对数积分 $\text{li}(x)$ 逼近时的误差项。作者使用了无条件界 $|\pi(x) - \text{li}(x)| \le x \exp(-c(\log x)^{3/5}(\log \log x)^{-1/5})$，以及在黎曼假设（RH）下的条件界 $|\pi(x) - \text{li}(x)| \le x^{1/2} \log x$。
• 几何约束：为了界定 $B(n)$，作者分析了直线与由 $|y - \text{li}(x)| \le R(x)$ 定义的区域（其中 $R(x)$ 代表误差界）的交集。通过利用 $\text{li}(x) \pm R(x)$ 的凹性，他们确定了一条直线与该区域相交的最大次数，从而限制了单条直线能覆盖的素数点数量。
• 组合关系：基本不等式 $L(n)B(n) \ge n$ 被用于根据一个函数的上界推导另一个函数的下界。

主要贡献与结果

1. $L(n)$ 的上界：
   作者证明了 $L(n) = O\left(\frac{n \log \log n}{\log n}\right)$。该结果接近 Sloane 关于 $O(n / \log n)$ 的猜想，但包含了一个额外的 $\log \log n$ 因子。证明涉及对由法里划分定义的区间内覆盖逆素数点 $(p_n, n)$ 所需的格线数量求和。

2. $B(n)$ 的下界：
   已确立对于某个常数 $c > 0$ 和所有足够大的 $n$，有 $B(n) \ge c \log n$。这是通过分析 $L(n)$ 证明中使用的特定区间 $(e^k, e^{k+1/k}]$ 内每条直线的平均点数推导出来的。

3. 黎曼假设（RH）下的条件结果：
   假设 RH 成立，作者提供了更紧的界：

   • $B(n) = O(n^{3/4} (\log n)^{1/2})$。
   • 对于某个常数 $c' > 0$，有 $L(n) \ge c' n^{1/4} (\log n)^{-1/2}$。
     这些结果突显了 $L(n)$ 的无条件下界与 $B(n)$ 的条件上界之间的差距，反之亦然。

4. 尴尬素数：
   本文将“尴尬素数” $p_n$ 定义为满足 $L(n) > L(n-1)$ 的素数。作者证明了直到 $n$ 的此类素数数量恰好为 $L(n)$。因此，尴尬素数的倒数和是有限的，因为其计数函数为 $O(\pi(x) \log \log x / \log x)$。

意义与局限性
本文提供了素数图中覆盖数 $L(n)$ 和共线数 $B(n)$ 的首个严格渐近界。作者明确指出，他们的估计“似乎远非最优”，并指出其推导出的界与猜想值之间存在显著差距（例如，$L(n)$ 的定理 3 与推论 2 之间，以及 $B(n)$ 的定理 5 与推论 2 之间）。

这项工作旨在形式化先前文献（如 [5] 和 [6]）中发现的数值观察，并将素数的几何分布与素数定理的误差项联系起来。作者最后指出，缩小其上界与下界之间的差距是未来研究的一个具有挑战性的未解决问题。