奇异级数：素数 k 元组猜想 · 公开问题 05

问题

哈代–李特尔伍德素数 k 元组猜想（1923）：设线性型 L_i(n) = a_in+b_i（1 ≤ i ≤ k）无局部障碍（下述），则使全部 L_i(n) 同时为素数的 n ≤ x 的个数渐近于

𝔖(L₁,…,L_k)·x/(log x)^k,　𝔖 = ∏_p (1−ν_p/p)/(1−1/p)^k,

其中 ν_p 是 mod p 使某个 L_i(n) ≡ 0 的 n 的个数。无障碍条件：ν_p < p 对一切 p（否则对某些 n 必有型被 p 整除，「局部死亡」）。取 k = 2、型为 n, n+2 即孪生素数猜想。

主要概念

局部密度与全局密度

素数在 mod p 的 p−1 个非零类上均匀散布（Dirichlet 的世界观），故「n 使 L(n) 为素数」的先验概率应把各 p 处的存活率连乘——这是圆法/筛法共享的启发式。奇异级数 𝔖 是这一连乘的精确化：分子是实际的存活率，分母是「若线性型独立如随机整数」的存活率，两者之比补偿结构性相关。

圆法

哈代–李特尔伍德的圆法把计数问题化为指数和 S(α) = Σ_n≤xΛ(L₁(n))⋯Λ(L_k(n)) 的积分；主项来自 α 靠近有理数的「主弧」，奇异级数正是主弧上欧拉因子的乘积。

奇偶障碍的阴影

任何仅基于「整除性筛除」的方法原则上无法区分素数与至多两个素因子之积——这解释了为何 k 元组猜想的非平凡特例至今无一获证（详见问题 07）。

主要命题与证明

命题 1（孪生素数的局部存活率；完整计算）　对 L₁(n)=n、L₂(n)=n+2：ν₂ = 1（n 偶时 n、n+2 皆偶），存活率 1/2；对 p ≥ 3，ν_p = 2（n ≡ 0, −2 两类），存活率 (p−2)/p。

证明　ν_p 是同余式组 n ≡ 0 或 n ≡ −2 (mod p) 的解类数。p = 2：0 与 −2 同类，仅 1 类，存活类 1 个，比例 1/2。p ≥ 3：0 与 −2 是 mod p 的两个不同剩余类（否则 2 ≡ 0），互斥、各占一类，存活比例 (p−2)/p。无障碍条件满足（ν_p < p 恒成立）。□

命题 2（Hardy–Littlewood 常数；启发式推导）　孪生素数计数的预测为

π₂(x) := #{p ≤ x: p+2 素数} ~ 2C₂·x/(log x)²,　C₂ = ∏_p≥3 p(p−2)/(p−1)² ≈ 0.66016.

推导　素数定理把「随机整数 m 为素数」的概率定为 1/log x；若 n 与 n+2 独立如随机数，联合概率应为 1/(log x)²。实际存活率由命题 1 的局部修正叠加：每个 p ≥ 3 处，实际存活率 (p−2)/p 与「独立随机」假设 (1−1/p)² 之比为

(1−2/p)/(1−1/p)² = p(p−2)/(p−1)²,

p = 2 处修正因子为 (1/2)/(1/2)² = 2。连乘即得 𝔖 = 2·∏_p≥3p(p−2)/(p−1)²。注意乘积收敛：通项 = 1 − 1/(p−1)² + O(p⁻³)，与 Σp⁻² 同敛散。这就是奇异的「奇异级数」：它不是级数求和而是欧拉乘积，且修正因子小于 1——孪生素数比独立模型预测的更稀疏。□

命题 3（Maynard–Tao / Polymath8b，2014；陈述）　lim inf_n(p_n+1−p_n) ≤ 246。等价地，存在某个偶数 h ≤ 246，使 p+h 与 p 同为素数有无穷多次。但对「指定的」h（哪怕 h = 2），该方法无能为力。

注　Maynard–Tao 的多重加权筛把「某个间隔」化为对 Admissible 组合的线性规划：取 k 个两两不同余的整数，加权筛保证其中至少 m 个同时近乎素，最优组合给出 246。与 k 元组猜想的差距完全落在「指定的间隔」上——这正是问题 06（EH）的用武之地：EH 的任何非平凡部分型都立刻把 246 压小，EH 全型则直接给出孪生素数。□

进展与文献

奇异级数在圆法框架内可被严格操作化（Gallagher 1976：k 元组猜想在「平均化」意义下与素数的泊松分布一致）。数值上，T. Oliveira e Silva 等验证 π₂(x) 的预测式至 x ≈ 10¹⁸ 量级高度吻合。文献：Hardy–Littlewood, Some problems of 'Partitio Numerorum' III, Acta Math. 44 (1923)；Maynard, Ann. of Math. 192 (2015)；Polymath8b, Algebra & Number Theory 8 (2014)。