[论文解读] Unexpected biases in the distribution of consecutive primes

Robert J. Lemke Oliver, K. Soundararajan|arXiv (Cornell University)|Mar 11, 2016

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

一句话总结

本文解释了模 q 下连续素数对分布中出乎意料的偏差，提出了一种基于 Hardy-Littlewood k-元组猜想的启发式方法。研究发现，对角线模式（pₙ ≡ a mod q，pₙ₊₁ ≡ a mod q）出现的频率显著低于非对角线模式，其背后的系统性偏差由渐近公式中的次级项驱动，这些次级项源于重复剩余的数量和复 L-函数。

ABSTRACT

While the sequence of primes is very well distributed in the reduced residue classes (mod $q$), the distribution of pairs of consecutive primes among the permissible $ϕ(q)^2$ pairs of reduced residue classes (mod $q$) is surprisingly erratic. This paper proposes a conjectural explanation for this phenomenon, based on the Hardy-Littlewood conjectures. The conjectures are then compared to numerical data, and the observed fit is very good.

研究动机与目标

• 解释在模 q 的简化剩余类中观察到的连续素数对分布不规则性。
• 解决一个悖论：尽管素数在模 q 下是均匀分布的，但连续素数对却表现出强烈的非均匀性偏差。
• 基于 Hardy-Littlewood k-元组猜想，建立一个启发式模型以预测这些偏差。
• 量化渐近公式 π(x;q,a) 中次级项的大小与结构，这些项驱动了观测到的偏差。
• 通过在多个模数（q = 3, 8, 10, 12, 5）上进行的大规模数值数据验证该猜想。

提出的方法

• 提出 π(x;q,a) 的主渐近公式，主项为 ∼ li(x)/φ(q)^r，辅以 log log x / log x 和 1/log x 的次级项。
• 推导出 c₁(q;a) 作为元组 a 中连续相等剩余数量的函数，捕捉主导偏差。
• 对 r=2 显式计算 c₂(q;a)，对 r≥3 递归计算，整合局部密度和特征和的贡献。
• 使用狄利克雷特征和 L-函数计算复模数下的 c₂(q;a)，包括 q=8、12 和 5 等特殊情况。
• 应用该猜想预测不同剩余模式下偏差的排序与数量级，包括对称性与非对称性。
• 将预测结果与 x=10¹² 以内的数值数据对比，结果显示在大小和趋势上均高度一致。

实验结果

研究问题

• RQ1 为何尽管单个素数在模 q 下是均匀分布的，连续素数对在模 q 下却表现出显著的非均匀性偏差？
• RQ2 什么解释了对角线模式（a,a）在连续素数对中持续性地被低估？
• RQ3 Hardy-Littlewood k-元组猜想能否解释连续素数分布中观测到的偏差？
• RQ4 π(x;q,a) 的渐近公式中的次级项如何影响不同剩余模式的相对频率？
• RQ5 渐近展开中的低阶项是否会导致瞬态的排序反转，如在 q=5 情况下所见？

主要发现

• 对于 q=3，连续素数对 (1,1)、(1,2)、(2,1) 和 (2,2) 的计数显著偏离预期的各 250,000 个，其中 (1,1) 和 (2,2) 出现频率更低。
• 对于 q=10，对角线对 (1,1)、(3,3)、(7,7)、(9,9) 的出现频率低于非对角线对，其中 (1,1) 在前 10⁸ 个素数中为 460 万，(3,3) 为 444 万。
• 对于 q=12，模式 (5,7) 的预测 c₂ 值最高，且在 x=10¹² 时的数值数据显示 π(x;12,(5,7)) ≈ 2.83×10⁹，显著高于 (1,1) 的 1.84×10⁹。
• 对于 q=5，该猜想预测当 x 足够大时 π(x;5,(1,3)) > π(x;5,(1,2))，数值数据证实该反转在 x≈5.08×10¹¹ 时发生，验证了模型。
• 该偏差并非源于切比雪夫型偏差，而是由渐近展开中的高阶项引起，特别是 c₁(q;a) 和 c₂(q;a)。
• 该模型通过特征和与 L-函数值解释了对称性（如 (a,b) 与 (−b,−a) 具有相同的 c₂）与非对称性（如 q=12 中的 (5,7) 与 (11,1)）