[论文解读] On a new property of primes that leads to a generalization of Cramer's conjecture

Nilotpal Sinha|arXiv (Cornell University)|Oct 7, 2010

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

一句话总结

本文引入了素数的一个新性质——模1的伪等分布性，并利用该性质对克伦勒的素数间隙猜想进行了推广。通过分析 $ p_n^{1/n} $ 的渐近行为，作者提供了理论和启发式证据，表明菲鲁扎克猜想成立，这意味着素数间隙小于克伦勒-格兰维尔猜想所预测的值，且得到了更精细的上界 $ p_{n+1}-p_n < \tilde{O}(\text{const} \cdot \ln^2 p_n) $。

ABSTRACT

I present a new property of prime numbers that leads to a generalization of Cramer's conjecture. The study of the gap between consecutive primes is treated as a special case of the gap between consecutive terms of sequences having a certain property called pseudo equidistribution. Both rigorous as well as heuristic arguments are given in support of the generalized Cramer's conjectures.

研究动机与目标

• 通过一种新性质——模1的伪等分布性，重新表述素数间隙问题。
• 为适用于具有该性质的序列的克伦勒猜想的一般化形式，提供理论和启发式依据。
• 基于 $ p_n^{1/n} $ 的渐近分析，论证菲鲁扎克猜想比克伦勒-格兰维尔猜想更准确。
• 提出一个强于克伦勒猜想的素数间隙上界，该上界源自 $ a_n = -\frac{1}{\ln n}\ln\left(\frac{f(n)}{f(n+1)}-1\right) $ 的行为。
• 为伪等分布序列提出一个广义猜想，将克伦勒的启发式方法推广至更广泛的序列类别。

提出的方法

• 引入序列 $ s_n $ 的模1伪等分布性概念，要求当 $ n \to \infty $ 时，所有 $ k \leq n $ 的比值 $ s_k/s_n $ 在模1下趋于均匀分布。
• 定义 $ f(n) = p_n^{1/n} $，并引入 $ a_n $ 作为 $ f(n) $ 相对衰减速率的度量，其中 $ a_n \geq 0 $ 暗示菲鲁扎克猜想成立。
• 利用 $ g(n) = n^{1/n} $ 的渐近展开，推导出 $ b_n \sim 2 - \frac{\ln \ln n}{\ln n} $，用以建模素数序列中 $ a_n $ 的期望行为。
• 对前 $ 10^6 $ 个素数和整数进行统计分析，表明 $ \text{mean}(a_n) \approx 1.79 $，$ \text{median}(a_n) \approx 1.79 $，与理论上的 $ b_n $ 行为高度吻合。
• 通过不等式 $ p_n^{1/n} > \left(1 - \frac{c_0 \ln p_n}{n^2}\right) p_{n+1}^{1/(n+1)} $ 推导出克伦勒猜想的充分条件，从而得出间隙上界。
• 提出两个猜想：一个弱猜想暗示克伦勒-格兰维尔的界限，一个强猜想断言 $ a_n \sim 2 - \frac{\ln \ln n}{\ln n} $，后者暗示更紧的间隙上界。

实验结果

研究问题

• RQ1 克伦勒的素数间隙猜想能否推广至模1伪等分布的序列？
• RQ2 对于素数序列，$ a_n $ 的观测统计行为（其均值和中位数约为1.79）是否支持菲鲁扎克猜想？
• RQ3 对于素数序列，渐近行为 $ a_n \sim 2 - \frac{\ln \ln n}{\ln n} $ 是否成立？其对素数间隙意味着什么？
• RQ4 基于 $ b_n $（即 $ n^{1/n} $ 的类比）的启发式证据，是否支持比克伦勒-格兰维尔猜想更强的 $ p_{n+1} - p_n $ 上界？
• RQ5 能否通过引入伪等分布性概念，调和克伦勒模型未能考虑可除性的问题？

主要发现

• 前 $ 10^6 $ 个素数中 $ a_n $ 的均值和中位数分别为约 1.7919 和 1.7948，显示出强烈的统计规律性。
• 启发式分析表明 $ a_n \sim 2 - \frac{\ln \ln n}{\ln n} $，这意味着 $ \frac{f(n)}{f(n+1)} - 1 \sim \frac{1}{n^2} $，从而支持菲鲁扎克猜想。
• 推导出的上界 $ p_{n+1} - p_n < \ln^2 p_n - 2\ln p_n + 1 $ 比克伦勒猜想更紧，并与克伦勒-格兰维尔极限 $ 2e^{-\gamma} \approx 1.05 $ 矛盾。
• 强猜想 $ \frac{-1}{\ln n}\ln\left(\frac{g(n)}{g(n+1)}-1\right) \sim 2 - \frac{\ln \ln n}{\ln n} $ 暗示，对于伪等分布序列，有 $ s_{n+1} - s_n < \frac{s_n}{n}(\ln s_n - 1) + \frac{c s_n \ln^2 s_n}{n^2} $。
• 理论分析表明，若 $ f(n) > f(n+1) $ 且 $ f(n) > \left(1 - \frac{c_0 \ln p_n}{n^2}\right) f(n+1) $，则 $ p_{n+1} - p_n < (1 + c_0)(\ln^2 p_n - \ln p_n) + 1 $，从而支持克伦勒猜想。
• 本文结论认为，克伦勒-格兰维尔猜想很可能是错误的，而菲鲁扎克猜想得到了理论和启发式证据的双重支持。