[论文解读] On the differences between consecutive prime numbers, I

D. A. Goldston, Andrew Ledoan|arXiv (Cornell University)|Nov 14, 2011

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

一句话总结

该论文在 Hardy-Littlewood 素数 $k$-元组猜想下，通过将 Gallagher 的素数间隙泊松分布结果进行细化，证明了当 $d ∼ \lambda \log x$ 时，相差为 $d$ 的连续素数对的数量渐近为 $e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$，其中 $\mathfrak{S}(d)$ 为奇异级数。该结果通过在 $k \geq 3$ 的 $k$-元组上使用容斥原理，将泊松模型推广至单个素数间隙。关键贡献在于对连续素数差值的精确渐近公式，该公式通过奇异级数和对数积分近似得到验证。

ABSTRACT

We show by an inclusion-exclusion argument that the prime $k$-tuple conjecture of Hardy and Littlewood provides an asymptotic formula for the number of consecutive prime numbers which are a specified distance apart. This refines one aspect of a theorem of Gallagher that the prime $k$-tuple conjecture implies that the prime numbers are distributed in a Poisson distribution around their average spacing.

研究动机与目标

• 通过推导给定差值 $d$ 的连续素数对的渐近公式，细化 Gallagher 的素数间隙泊松分布结果。
• 证明素数间距的泊松模型可扩展至单个连续素数间隙，而不仅限于区间计数。
• 在素数 $k$-元组猜想下，为 $N(x,d)$（即差值为 $d$ 的连续素数对数量）建立精确的渐近公式。
• 证明源自 $k$-元组猜想的奇异级数 $\mathfrak{S}(d)$ 控制差值为 $d$ 的连续素数对的密度。
• 证明在 $k$-元组（$k \geq 3$）上使用容斥原理可有效从 $k$-元组计数中分离出连续素数对，排除非连续情况。

提出的方法

• 利用 Hardy-Littlewood 素数 $k$-元组猜想（猜想 H）来建模具有指定间距的 $k$-元组素数数量。
• 在 $k$-元组 $\mathcal{D}_k = \{0, d_1, \dots, d_{k-2}, d\}$ 上应用容斥原理，仅计数差值为 $d$ 的连续素数对，排除非连续情况。
• 将计数 $Q_N(x,d)$ 表示为带交替符号的 $k$-元组求和，包含奇异级数 $\mathfrak{S}(\mathcal{D}_k)$ 和对数积分 $\operatorname{li}_k(x)$。
• 使用 $\exp(-d/\log t)$ 的泰勒展开，从容斥求和中提取主项 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$。
• 利用 Stirling 公式和误差界控制容斥展开中的余项，确保当 $N \to \infty$ 时收敛。
• 建立渐近等价关系 $I(x,d) \sim e^{-\lambda} \frac{x}{(\log x)^2}$，当 $d \sim \lambda \log x$ 时，完成主公式的推导。

实验结果

研究问题

• RQ1 素数在短区间内的泊松分布是否可扩展至单个连续素数间隙，而不仅限于区间计数？
• RQ2 能否利用 Hardy-Littlewood $k$-元组猜想，为具有固定差值 $d$ 的连续素数对数量推导出渐近公式？
• RQ3 控制差值为 $d$ 的素数对密度的奇异级数 $\mathfrak{S}(d)$，如何与素数必须为连续这一条件相互作用？
• RQ4 在 $k$-元组计数中，对 $k$-元组（$k \geq 3$）使用容斥原理在分离连续素数对与非连续素数对方面起到何种作用？
• RQ5 在 $k$-元组猜想下，当 $d \sim \lambda \log x$ 时，渐近公式 $N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$ 是否成立？

主要发现

• 当 $d \sim \lambda \log x$ 且 $d$ 为偶数时，差值为 $d$ 的连续素数对数量 $N(x,d)$ 满足 $N(x,d) \sim e^{-\lambda} \mathfrak{S}(d) \frac{x}{(\log x)^2}$。
• 奇异级数 $\mathfrak{S}(d)$ 定义为：当 $d$ 为偶数时，$\mathfrak{S}(d) = 2C_2 \prod_{p>2, p|d} \left(\frac{p-1}{p-2}\right)$，其控制差值为 $d$ 的连续素数对的密度，且对偶数 $d$ 有 $\mathfrak{S}(d) \gg 1$。
• 当 $d \sim \lambda \log x$ 时，主项 $I(x,d) = \int_2^x \exp(-d/\log t) \frac{dt}{(\log t)^2}$ 渐近等价于 $e^{-\lambda} \frac{x}{(\log x)^2}$，确认了泊松因子的存在。
• 对 $k \geq 3$ 的 $k$-元组使用容斥方法能有效分离出连续素数对，余项通过 Stirling 公式和泰勒展开得到控制。
• 容斥展开中的余项随着 $N \to \infty$ 而衰减，只要 $N$ 增长足够缓慢，即可在极限下恢复渐近公式。
• 该结果证实，素数间隙的泊松分布不仅具有全局性质，还可细化至单个连续素数差值，其中奇异级数 $\mathfrak{S}(d)$ 提供了算术校正。