均匀分布的极限：埃利奥特–哈尔伯斯塔姆猜想 · 公开问题 06

问题

记 ψ(x;q,a) 为 n ≤ x、n ≡ a (mod q) 的加权素数计数。埃利奥特–哈尔伯斯塔姆猜想（1970）断言：对任意 A > 0 与 ε > 0，

Σ_{q ≤ x^1−ε} max_gcd(a,q)=1 |ψ(x;q,a) − x/φ(q)| ≪ x/(log x)^A.

即：素数在等差级数上的分布误差，把模数一路放大到 x^1−ε 后在对 q 求均值的意义下仍然微小。单条级数的对应命题（非均值）等价于 GRH；EH 把「逐点均匀」弱化为「平均均匀」，换来了模数水平从 √x（GRH 的天然水平）到 x^1−ε 的飞跃。

主要概念

分布水平 θ

称素数「分布水平 θ」，若上述和式对 q ≤ x^θ 一致可估。GRH 给 θ = 1/2；EH 就是 θ = 1。Zhang（2013）与 Maynard–Tao 所需的只是某个 θ > 1/2——正是越过 1/2 这道「_GRH 篱笆」引发了有界素数间隔的突破。

大筛法

大筛法不等式是 EH 研究的核心工具：给定 mod q ≤ Q 的全体特征与系数族 a_n，

Σ_q≤Q Σ_{χ mod q} |Σ_n≤N a_nχ(n)|² ≪ (NQ + N^1/2Q²)(log 2N)·Σ|a_n|².

它是「大范围正交性」的定量表述：过多套特征不能同时把同一序列放大。

均值定理

Bombieri–Vinogradov 定理（1966）无条件给出水平 θ = 1/2 − δ（任意 δ>0）的 EH 型估计，被称为「平均意义下的 GRH」，是当代筛法（问题 05、07）的引擎。

主要命题与证明

命题 1（Bombieri–Vinogradov，陈述）　对任意 A > 0，存在 B = B(A) 使

Σ_{q ≤ x^1/2/(log x)^B} max_a |ψ(x;q,a) − x/φ(q)| ≪ x(log log x)⁴/(log x)^A.

证明框架　三步：①用 Vaughan 恒等式把 ψ(x;q,a) 分解为「类型 I」（因子之一 ≤ U）与「类型 II」（双因子均大）两类双线性型；②类型 I 由 Poisson 求和与模反演直接估出，对 q 逐个有效；③类型 II 由 Cauchy–Schwarz 归结为大筛法型二次型，模 q ≤ x^1/2/(log)^B 时对偶原理给出逐 q 的界，仅在极窄的 q 带上需 Siegel–Walfisz 定理（模数 ≤ (log x)^B 时误差一致小）兜底。求和后得均值界。完整证明见 Iwaniec–Kowalski 第 17 章。□

命题 2（EH ⇒ 孪生素数；GPY 框架，2005）　若 EH 成立，则孪生素数猜想成立。

论证框架　①取加权筛变差 Λ(n)₂ = Σ_d|n−1 μ(d) log²(n/d)，它近似 log n 的平方当 n 为素数、远小于否则。②考察 Σ_n≤x(Λ(n)₂ − 2log x·θ(n+2))，其中 θ 为 von Mangoldt 型判据；展开后按模 d 分层求和。③展开式中「n 与 n+2 的共同因子」项需要素数在 x^1/2 水平以上的分布信息——EH 恰好提供：以 θ(x; d) 对 d 求和的估计覆盖到模数 x 附近。④若主项为正，则存在 n 使 Λ(n)₂ 与 θ(n+2) 同时大，即 n+2 附近有素数对；进一步论证（GPY 的关键不等式）表明正主项随 x 增长而无穷次出现。GPY 在 θ = 1/2 下得到 liminf 间隔 = 0 的条件结果（有界间隔），EH 全型即给孪生素数。完整论证见 Goldston–Pintz–Yıldırım, Ann. of Math. 170 (2009)。□

进展与文献

当前无条件水平：Bombieri–Vinogradov 的 θ = 1/2−δ；对部分模数族（含大素因子的 q），Bombieri–Friedlander–Iwaniec 达到约 4/7；Yitang Zhang（2013）首次在修正的均值意义下越过 1/2。EH 本身（θ = 1）远未触及，已知其与孪生素数、问题 05 的 k 元组猜想存在单向蕴含。文献：Davenport《Multiplicative Number Theory》第 28 节；Iwaniec–Kowalski 第 17 章。