[论文解读] Characterization of the Distribution of Twin Primes

Paul F. Kelly, Terry Pilling|ArXiv.org|Mar 28, 2001

Analytic Number Theory Research参考文献 9被引用 4

一句话总结

本文提出了一种孪生素数在素数序列中分布的概率模型，将孪生素数的出现视为概率恒定的随机事件，其概率随不超过 N 的素数个数的倒数而减小。该模型基于经验推导，与 Hardy–Littlewood 猜想和素数定理一致，表明孪生素数对之间的平均间隔与素数个数呈对数尺度关系，从而得出孪生素数间隔常数的简洁函数形式。

ABSTRACT

We adopt an empirical approach to the characterization of the distribution of twin primes within the set of primes, rather than in the set of all natural numbers. The occurrences of twin primes in any finite sequence of primes are like fixed probability random events. As the sequence of primes grows, the probability decreases as the reciprocal of the count of primes to that point. The manner of the decrease is consistent with the Hardy--Littlewood Conjecture, the Prime Number Theorem, and the Twin Prime Conjecture. Furthermore, our probabilistic model, is simply parameterized. We discuss a simple test which indicates the consistency of the model extrapolated outside of the range in which it was constructed.

研究动机与目标

• 刻画孪生素数在素数序列本身中的分布，而非在整个自然数范围内。
• 确定连续孪生素数对之间的间距是否表现出概率缓慢变化的随机过程特征。
• 检验经验模型与既有的数论猜想和定理（包括 Hardy–Littlewood 猜想和素数定理）的一致性。
• 推导孪生素数间隔常数的简洁、参数化函数形式，作为素数个数的函数。
• 利用已知的计算数据，验证模型在观测数据范围之外的外推能力。

提出的方法

• 作者分析了约 4×10^9 以内的素数序列，识别出孪生素数对，并计算连续孪生素数对之间非孪生素数（即孤立素数）的数量，称为‘间隔’。
• 他们将这些间隔的相对频率建模为间隔大小的函数，观察到对数频率与间隔图中呈线性关系，表明其行为类似于泊松或指数衰减过程。
• 对对数频率与间隔的线性拟合的斜率被解释为衰减速率，类比于放射性衰变，从而得出控制孪生素数出现概率的‘素数常数’。
• 模型参数通过经验方法得出，并与 π₁(N)（即 ≤ N 的素数个数）相关联，使用近似式 π₁(N) ~ N/log(N)，并进一步推广至 π₂(N)（即 ≤ N 的孪生素数对个数）。
• 间隔常数的函数形式被参数化为 m ≈ 2c₂ / log(π₁)，其中 c₂ 为孪生素数常数，并通过 Nicely 的精确计算数据进行验证。
• 将经验模型与理论平均间隔 s₀(N) = (π₁ - 2π₂)/π₂ 进行比较，尽管假设不同，但趋势一致。

实验结果

研究问题

• RQ1 孪生素数在素数序列中的分布是否表现出固定概率随机过程的特征？
• RQ2 随着素数序列的增长，遇到孪生素数对的概率如何变化？
• RQ3 观测到的孪生素数对之间的间距能否用一个与已知数论猜想一致的简洁、参数化函数建模？
• RQ4 经验模型在计算数据范围之外的外推能力有多强？与理论预期相比如何？
• RQ5 函数形式 m ≈ 2c₂ / log(π₁) 是否有效且准确地表征了孪生素数之间的平均间隔？

主要发现

• 孪生素数间隔的相对频率在对数频率与间隔图中呈线性趋势，表明其为无记忆、固定概率的随机过程。
• 通过对数频率数据线性拟合得出的衰减速率对应一个‘素数常数’，该常数控制孪生素数出现的概率，类比于放射性衰变常数。
• 模型预测的间隔常数 m ≈ 2c₂ / log(π₁) 与 Hardy–Littlewood 猜想和素数定理一致，尤其在大 N 极限下表现良好。
• 经验模型与 Nicely 的精确计算数据高度一致，特别是在 m₀(N) 与 log(π₁) 的趋势上，支持其外推有效性。
• 孪生素数对之间的平均间隔 s₀(N) 近似按 log(N)/(2c₂) 的速率增长，因此随素数个数呈对数增长，与理论预期一致。
• 该模型的简洁性及其与深层数论结果的一致性表明，它捕捉到了孪生素数在素数序列中分布的一个基本特征。