每个偶数差作为相邻素数差出现无穷多次 · 1849 至今的解析/筛/动力/概率综合 · Phase 1–3 头脑风暴整合
de Polignac (1849)：对每个正偶数 $k$，存在无穷多对相邻素数 $(p_n, p_{n+1})$ 满足 $p_{n+1} - p_n = k$。形式化：
$$\forall\, k \in 2\mathbb{Z}_{>0}, \quad \bigl|\{\, n \ge 1 : p_{n+1} - p_n = k \,\}\bigr| = \infty.$$
"consecutive"严格强于"差为 $k$ 的素数对":(p, p+k) 同为素 不必相邻 — 后者即 $k=2$ 的孪生素数 / Hardy–Littlewood $k$-tuple 形式。consecutive 要求 $(p, p+k)$ 之间区间 $(p, p+k) \cap \mathbb{Z}$ 无任何素数。这是 de Polignac 难于 H–L 的核心障碍。
取 $k = 2$ 即孪生素数猜想的"相邻版本"；对 $k=2$ 由于中间无整数，consecutive 与 distance 两版本等价，但对 $k \ge 4$ 严格分离。
| 条件 | 结论 | 来源 |
|---|---|---|
| 无条件 | $H_1 \le 246$ (即 $\exists\, k \in [2,246]$ 偶, $k$ 作为 consecutive gap 出现 $\infty$ 次) | Polymath 8b 2014, Maynard 2015 |
| Elliott–Halberstam (EH, level $\theta=1-\varepsilon$) | $H_1 \le 12$ | Maynard 2015 |
| Generalized EH (GEH) | $H_1 \le 6$ | Polymath 8b 2014 |
| 无条件取值集下界 | $\bigl|D_c \cap [2,N]\bigr| \gg N^{3/7}$ | Banks–Freiberg–Maynard 2015 |
| 具体 $k$ 锁定 | 无(不知 $H_1$ 实现于哪个 $k$) | Selberg parity barrier |
对 $k=2$:"距离 2 的素数对无穷"(孪生猜想 / H–L) 与"相邻差恰 2 无穷"(de Polignac(2)) 等价,因为 $(p,p+2)$ 内无整数。
对 $k \ge 4$:H–L $k$-tuple 给出 $(p, p+k)$ 同素 $\infty$ 次,但 $(p, p+k)$ 中间可能存在其他素数 $q$,导致 $p_{n+1}-p_n$ 实际 $< k$。要把 distance 升级为 consecutive,需排除 $k-1$ 个中间位置的素性 — 这是 inclusion–exclusion 中 $2^{k-1}$ 项的循环依赖于自身的硬障碍。
定义"distance 计数" $\pi_k(x) := \#\{p \le x : p+k \text{ 是素}\}$。Hardy–Littlewood 1923 $k$-tuple 猜想给出
$$\pi_k(x) \;\sim\; \mathfrak{S}(k) \cdot \frac{x}{\log^2 x}, \qquad \mathfrak{S}(k) = 2 C_2 \prod_{\substack{p \mid k\\ p>2}} \frac{p-1}{p-2},$$
其中 $C_2 = \prod_{p>2}\bigl(1 - \tfrac{1}{(p-1)^2}\bigr) \approx 0.6601618\ldots$ 是孪生素数常数。
在 H–L $k$-tuple (所有 admissible 集) 假设下,Gallagher 证:对 $h = \lambda \log N$,
$$\#\{n \le N : \pi(n+h) - \pi(n) = r\} \;\sim\; N \cdot e^{-\lambda} \frac{\lambda^r}{r!}.$$
把 $r=2$ 化为 first-return 形式即得 consecutive gap 频率(条件预测):
$$\rho_k(x) \;\sim\; \mathfrak{S}(k) \cdot \frac{x}{\log^2 x} \cdot \exp\Bigl(-\!\!\int_0^k \frac{\mathfrak{S}(t)}{\log x}\,dt\Bigr).$$
Maier 证 $\pi(x+\log^A x)-\pi(x)$ 的方差是 Cramér 预测的 $(1+\delta)$ 倍,$\delta>0$ 显式。关键观察:Maier 反例本质 multi-bin(区间内 prime 计数);而 consecutive gap $g_n = k$ 是 single-bin $k=O(1)$ 事件 — 此时乘性偏差被 $\log^2 N$ 主项吞没。这是 §13 命题 C1 的入口。
形式上要估 $r_k(n) = \#\{(p, p', m) : p+k=p',\, p_{m+1}=p\}$;但缺主项 — 不像 Goldston 二次型表式或 Vinogradov 三素数那样有明确显式公式。圆法在 de Polignac 上是死路。
BV 给 level $\theta < 1/2$ 的 prime AP 估计;Zhang 2013 + Bombieri–Friedlander–Iwaniec 1986 well-factorable + Polymath 把 level 推至 $\theta \le 4/7+\varepsilon$ 的 smooth modulus 上 — 这是 H_1 $\le 246$ 的核心引擎,但不能 isolate 具体 $k$。
权 $\nu(n) = \bigl(\sum_{d \mid P_H(n)} \lambda_d\bigr)^2$ 对 admissible $H \subset \mathbb{Z}$ 选出 $\ge 2$ 个 $n+h_i$ 为素;但不保证它们相邻,且不能挑特定 $k$:把 $|H|=2$ 即 $H=\{0,k\}$ 时 Maynard 矩阵 $M_k$ 特征值 $\to 0$,主项失效。
任何纯筛(密度 $> 1/2$)无法区分 $\Omega(n)=1$ 与 $\Omega(n)=2$。consecutive 条件 = "恰好两个素数在 $[n, n+k]$" 是奇 parity 事件 — 故 Selberg sieve 给上界,不给下界。
Sarnak 2010 "Möbius randomness":$\mu \perp$ 0-entropy 系统;Tao 2017 logarithmic Chowla;Frantzikinakis–Host 2018 (Annals);Tao–Teräväinen 2019 odd-order Chowla — 给出 $\sum \mu(n) f(n) = o$ 型估计,但不直接给 prime gap 分布下界(Q11 §障碍)。
多重 recurrence $\mu(A \cap T^{-k}A) > 0$ 可证,但 first-return cylinder $C_k = A \cap T^{-k}A \cap \bigcap_{0 本节是本笔记的核心新章节,综合 Phase 1 (15 角度) → Phase 2 (7 题对协同) → Phase 3 (3 大轴综合) 的全部输出 (mode A,marathon 档,$N=15$,共 25 份 agent 报告)。目标是从这 25 份输出中蒸馏出一组 falsifiable 命题,作为后续 Template 2 v2 marathon 的入口。 Maynard 多维筛 $\nu = (\sum \lambda_d)^2$ + "中间合数" Brun–Hooley 因子 $W_{\rm gap}$;固定 $k$ 时 admissibility 反向使用使 $M_k \to 0$。新角度:对 $k$ 做平均而非 sup,猜测 $K_\infty = \{k\text{ consecutive }\infty\}$ 在 $[2,N]$ 中密度 $\ge c/\log N$。起点:Maynard 2015,Pintz arXiv:1305.6289,Polymath 8b。 Montgomery 1973 + Rudnick–Sarnak GUE 二阶相关;Berry–Keating量子混沌。consecutive 对应 first-return 而非 spacing,在 unfolded 尺度 $s_k = k/\log p \to 0$,GUE 极限本身预测频率 $\to 0$ — 类比 死角。新角度:GUE Palm 测度的"条件 spacing 一致性"反推。起点:Montgomery 1973,Rudnick–Sarnak 1996 Duke,Keating–Rudnick 2014 IMRN。 SAT 扫 $H \in [240,246]$ 的 $k=54$ admissible tuple 确认 246 紧/松;GPU primesieve $10^{15}$ 给 $\rho_k$ 经验拟合;Transformer 在 gap 序列上找 mod-30/210 偏置作为 conjecture-generator。ML 仅给"实证",不破 parity。起点:Polymath 8b,Sutherland admissible tables,Davies et al. 2021 Nature。 BFM 2015 给取值集 $|D_c| = \infty$ 但稀疏;Pintz 2016 Polignac 数密度 $\ge 1/\text{中位}$。耦合 Erdős–Ricci limsup 定理 + Maynard 频度下界 (≫ x/log x 个 $g_n \le 246$) 鸽笼。新角度:量化 $|D_c \cap [2,N]| \ge c\log N/\log\log N$,与 Erdős discrepancy 视角等价 reduction。起点:Pintz arXiv:1305.6289,BFM 2015,Granville 1995。 $\mathbf{1}_P$ 视作子位移 $X_P \subset \{0,1\}^{\mathbb{Z}}$;de Polignac $\Leftrightarrow$ cylinder $[1\,0\,\cdots\,0\,1]_k$ 在 ergodic 分量下正测度。lattice-point 翻译: $S = \{(p_n,p_{n+1})\}$ 与 $y=x+k$ 无穷交。新角度:Schrödinger 算子 $-\Delta + V_P$ 谱测度 Aronszajn–Donoghue 分析。起点:Sarnak 2010 IAS notes,Frantzikinakis–Host 2018,Maynard 2015。 S0 已证(H ≤ 246) → S1 已证(BFM N^{3/7}) → S2 候选(GEH 下 D 密度 → 1) → S3/S4/S5 未达。Q6 ★ priority:在 admissible $H = \{0,6,12,\ldots,6m\}$ 上跑 Maynard,所有 $k_i-k_j \in 6\mathbb{Z}$,锁定"$k \in 6\mathbb{Z}$ consecutive 无穷"。侧道 D:每偶 $k$ 至少 1 次(Erdős–Mirsky 1949)。起点:BFM 2015 PLMS,Maynard 2016 Compositio,Pintz arXiv:1404.4007,Polymath 8b,Erdős Duke 1940。 Green–Tao–Ziegler 2012 inverse $U^{s+1}$ + Möbius–nil。把 $F_k(n)= \Lambda'(n)\Lambda'(n+k)\prod(1-\Lambda'(n+j))$ 展开 $2^{k-1}$ 项,每项是 $\le k$ 个 $\Lambda'$ 的 nil-correlation。Selberg parity 在 inclusion–exclusion 每项重现。MRT 短区间均值 + entropy decrement (Tao 2016) 控 multiplicative。新角度: Frantzikinakis–Host 分解 nil + 伪随机 + Cramér model 的 $U^s$-差。起点:GTZ 2012,Tao 2016 Forum Math Pi,Tao–Teräväinen 2019 Duke。 $K(\mathbf{1}_P^{\le N}) = O(\log N)$ (Eratosthenes) 使 unconditional Kolmogorov 死锁。换 resource-bounded Levin Kt:猜想 $\mathrm{Kt}(\pi(N)) = \Omega(N/\log N) \Leftrightarrow$ 每 $k$ 出现 $\gg N/\log^2 N$ 次。Sarnak ⇏ gap statistics(Möbius randomness 不传到 2 点函数)。起点:Levin 1973/1984,Allender 2001,Granville–Soundararajan 2007,Ornstein–Weiss 2007。 蕴含图:Schinzel ⇒ Dickson ⇒ Bateman–Horn ⇒ H–L 渐近;GEH ⇒ EH ⇒ GPY ⇒ Maynard DHL[m,k] ⇒ "$\exists\, k\le H$ consec $\infty$"。GEH ⇒ H ≤ 6 仍不指认 $k$。最弱单一蕴含: H–L + CIA(consecutive isolation axiom) ⇔ de Polignac。GRH ⇏ de Polignac;Sarnak/Chowla ⇏ de Polignac。起点:Maynard 2015,Pintz 2013,BFM 2015,Granville BAMS 2015 综述。 设 $k_0$ 偶仅有限次:(a) PNT 平均不矛盾;(b) Maynard m=1 屏障 — 仅"≥1 个 $k$ 无穷",剔除单值不冲突;(c) Cramér 模型 ∑ 1/log² p 发散需先证 Cramér;(d) BFM N^{3/7} 不给 ∀k;(e) Selberg sieve 仅上界;(f) Mertens / Vinogradov 无矛盾。可消解路径仅 (c),且 conditional on Cramér single-bin (= §13 命题 C1)。起点:Maynard 2015,Pintz Funct. Approx. 2007,GPY 2009,Tao blog "Erdős's problem on consecutive prime gaps"。 Furstenberg correspondence: $f_k(n) = \mathbf{1}_P(n)\mathbf{1}_P(n+k)\prod_{j Plünnecke–Ruzsa $|P+P| \ll |P|^2/\log N$ 与 first-return 下界方向相反。Bourgain–Sarnak–Ziegler disjointness 2013 + Tao–Teräväinen log Chowla;sum-product over primes (Bourgain 2008)。新对象:consecutive additive energy $E_k^{\rm cons}(N) = \#\{(p,p'):p'=p+k,(p,p')\cap P=\emptyset\}$,猜想 $\asymp N/(\log N)^{k+1}$ 一致。起点:Maynard 2015,BSZ 2013,Kelley–Meka FOCS 2023,MRT Annals 2016。 FI 1998 跨越 parity 靠 Type II 双线性 ($\mathbb{Z}[i]$ norm 形式),无自然推广到一般 $\mathbb{Z}$。Heath-Brown 2001 用 $\mathbb{Z}[\sqrt[3]{2}]$ Hecke 字符。consecutive 展开 $\sum_S (-1)^{|S|} \prod \mathbf{1}_P$ 含 H–L $k$-tuple 项 — 对 $|S|\ge 1$ 子项的下界即等价 de Polignac 自身,循环依赖。新方向:FI-de Polignac (在 $a^2+b^4$ primes 内的 consecutive 版),GPY/Maynard 已知对密度 $\ge x/(\log x)^A$ 的良好集合工作,FI 集合 $|\mathcal{A} \cap [1,x]| \asymp x^{3/4}$ 满足。起点:FI Annals 1998,Opera de Cribro Ch.25,Heath-Brown Annals 2001,Maynard Invent. 2019。 Gallagher 1976 在 H–L 下给 Poisson 极限 → consecutive $\rho_k(x) \sim \mathfrak{S}(k)\, x/\log^2 x \cdot e^{-\int_0^k\mathfrak{S}/\log x}$。Maier 1985 障碍是 multi-bin (interval $\log^A x$),single-bin $k=O(1)$ 可能免疫。Borel–Cantelli II:$\sum P(g_n=k) = \infty$ + 弱依赖 ⇒ 无穷次,但需 unconditional 二阶矩控制 (Janson/Suen 不等式从未套到 prime gap)。起点:Gallagher 1976 Mathematika,Maier 1985 Michigan,Granville–Soundararajan Annals 2007,Pintz 2007。 显式公式 $\psi(x+h)-\psi(x) = h - \sum_\rho ((x+h)^\rho-x^\rho)/\rho + O(1)$,把 $\psi^*(x;k) = \sum \Lambda(n)\Lambda(n+k)\mathbf{1}_{(n,n+k) \cap P = \emptyset}$ 展为零点双重和 + sieve 余项。Goldston pair correlation $F(\alpha,T)$ 给二阶矩。GRH 仅 $O(\sqrt{x}\log^2 x)$,离 $k=O(1)$ 差多项式量级。新角度:显式公式 + Maynard $(\sum\lambda_d)^2$ 注入 + Beurling–Selberg first-passage majorant (Vaaler 1985)。起点:Goldston 2001 notes,Heath-Brown Acta Arith. 1982,Conrey–Snaith 2007,Montgomery–Vaughan §13–14。 Maynard $\nu = (\sum\lambda_d)^2$ 已是 Type I;FI 1998 Type II 把 $\Lambda \cdot \mathbf{1}_{a^2+b^4}$ 做双线性消去。合成 (a):用 Heath-Brown identity 把 $\Lambda$ 拆 $\sum_{l\le 6}(-1)^{l-1} c_l(\mu\cdot\log)^{*l}$,$l\ge 2$ 段做 BFI well-factorable Type II。命题 P1-α (FI-Maynard hybrid):$\#\{n \le x: p_n,p_{n+1} \in a^2+b^4,\, p_{n+1}-p_n=k\} \ge c(k)\, x/(\log x)^{11/4}$。P1-β("可识别下界"): $\#(K_\infty \cap [2,M]) \ge M^{1-o(1)}$。张力:Selberg parity 是 Maynard 内硬墙,FI 跨越靠特殊代数;直接卷积致 Type II saving 退化为 Type I 误差。 $\psi^*(x;k)$ 零点双重和 $\sum\sum K_k(\rho,\rho';x)$ 的核 $K_k$ 在 unfolded scale 下正是 GUE pair-correlation + Beurling–Selberg first-passage majorant。这在结构上绕道 "Montgomery → Cramér gap 仅平均" 旧障碍。P2-α (谱原子):经验测度 $\mu_x = \frac{1}{\pi(x)}\sum \delta_{g_n}$ 在 $2\mathbb{Z}_{>0}$ 上弱*收敛到 $\mu_\infty$,$\mu_\infty(\{k\}) > 0\, \forall k$。P2-β:Selberg trace 几何镜像 — PSL(2,$\mathbb{Z})$-modular surface 上 closed geodesic length 差固定值无穷次出现。张力:GUE 在 $s_k = k/\log p \to 0$ 处密度 0,unfolded 信息擦除离散 lattice rigidity。 ML cross-entropy = MDL/Solomonoff 上界;SAT admissible-tuple 数 $A(H,k)$ 给 $K_t$ 控制;量子 Grover 把扫频从 $N/\log^2 N$ 加速到 $\sqrt{N}\log N$。形式等价猜想:$K_t(g_1,\ldots,g_N) \ge N\log\log N - f(N) \Leftrightarrow$ 每偶 $k\le \log^2 N$ 出现 $\ge \mathfrak{S}(k)\, N/\log^2 N\,(1-o(1))$。P3-NC1:$\rho_{\rm LZ}(N) \to 1 \Leftrightarrow $ Hardy–Littlewood 计数下界。P3-NC2:cryptographic PRG ⇒ polynomial-quantitative de Polignac $|c_k - \mathfrak{S}(k) N/\log^2 N| \le N^{1-c}$。张力:绝对 $K = O(\log N)$ 死锁 + BQP-vs-PH 阻断量子 → 无条件 circuit 下界。 BC-II 用于 $A_n = \{g_n=k\}$,$\sum P(A_n) = \infty$ 直接;弱依赖需 $\sum_{n\ne m}(P(A_n A_m) - P(A_n)P(A_m)) \le \varepsilon (\sum P(A_n))^2$。关键再发现:Maier (1+δ) 偏差只在 multi-bin $h = \log^A x$ 出现;single-bin $h = k = O(1)$ 时被 $\log^2 N$ 主项吞没。P4-C1:$f(N) := |\{k\,\text{偶}: g_n=k\,\text{无穷次}\} \cap [2,N]| \ge (\log\log N)^c$。P4-C2:Maier weight $M(x,k) = \mathrm{Var}(\pi(x+k)-\pi(x))/(k\log(N/k)) = 1+o(1)$ for fixed $k$。张力:Bombieri–Davenport 1966 仅给上界 $\le 2\mathfrak{S}(k)\, x/\log^2 x$,unconditional 下界缺失是 P4 的核心瓶颈。 first-return cylinder $C_k$ 测度论;Sarnak 0-entropy ⊥ Möbius;BHK nilfactor $Z_\infty$ 显式 + Gowers 余项控制。P5-NP1 (Cesàro first-return):$\nu_k = \lim_N \frac{1}{N}\sum \mathbf{1}_{g_n=k}$ 存在且 > 0 $\forall$ 偶 $k$。P5-NP2:$Z_\infty$ 含 Bernoulli factor,induced 谱支撑 $2\mathbb{Z}_{>0}$。P5-NP3 (拓扑):Bebutov flow $\omega$-limit set $\omega(g) = 2\mathbb{Z}_{>0} \cup \{\infty\}$。张力:平均 vs cofinite — Furstenberg 默认丢失轨道唯一性;0-entropy 双刃,若实际 Cramér-Poisson 即正熵则与 0-entropy 假设矛盾。 Green–Tao 2008 + Tao–Ziegler 2010 polynomial Szemerédi;Plünnecke–Ruzsa $|P+P|\ll |P|^2/\log N$;Bohr ↔ $U^2$ ↔ Fourier 主分量。P6-C1 (consecutive additive energy 下界):$E_{\rm cons}(P,k,x) \ge c_k\, x/\log^3 x$,$c_k = 2\mathfrak{S}_k\, e^{-\gamma_k}$。P6-C2 (Gowers ⇒ Poisson):$\|\mathbf{1}_P - \rho_{\rm Cramér}\|_{U^4[N]} = o(1) \Rightarrow \{g_n/\log p_n\}$ 弱收敛 Poisson(1) ⇒ ∀ 偶 $k$ ∞。张力:Gowers/Plünnecke 给 ∃ 型(长 AP / 大 sumset),de Polignac 是 $\forall k$ + 精确等式。 三维矩阵 $(S_k, \text{杠杆}\, C, \text{反证}\, P)$:S0 ✅ Maynard;S1 ✅ BFM;S2 ⚠ 半 open(GEH 下 D 密度 → 1);S3/S4/S5 ❌。最近可攻 = $S_2 \times \text{GEH} \times $ path(d) 取值集稠化 — 不撞 parity barrier(只要 $D$ 大,不要 ∀$k$)。命题 A (S2 GEH 升级):GEH ⇒ $|D \cap [2,N]|/(N/2) \to 1$。命题 B (CIA 公理化):H–L + CIA(k) ⇔ de Polignac(双向)。命题 C (H–L 反例 Maier 矩阵风格):构造满足 H–L 但 violate CIA 的素数模型,确立 CIA 必要性。priority 1 = 命题 A;priority 2 = 命题 B;priority 3 = 命题 C。 Maynard–Tao 到 de Polignac 的距离分三层: 体系最远点:FI Type II + Maynard 多维筛 ⇒ FI primes $a^2+b^4$ 内的 consecutive gap = $k$ 无穷(命题 A1 = P1-α);BFI well-factorable + GEH ⇒ $H \le 6$;显式公式 + Beurling–Selberg majorant 给 $\#\{p_{n+1}-p_n=k\}$ 下界主项条件式(命题 A4)。 轴 A 推荐: 命题 A5 = parity-aware Heath-Brown identity × Maynard $\Lambda^2$ 加权 hybrid(把 Q1 + Q13 + Q15 三角装订为单一 falsifiable 入口的最小公倍数命题,数值 $\varepsilon_{\rm parity}$ 在 $x=10^{11}$ 直接拟合)。 统一 cylinder:$F_k(n) = \mathbf{1}_P(n)\mathbf{1}_P(n+k)\prod_{0 5 件套工具:Furstenberg–Katznelson;GTZ inverse + Möbius–nil;MRT + log Chowla;BFM 2015;BSZ + Sarnak 0-entropy。最强组合:BFM + Maynard ⇒ $\sigma_{\rm frt}$ 无穷 + $\gg N^{3/7}$。 轴 B 推荐: 命题 B-2 = consecutive additive energy 下界 $E_{\rm cons}(P,k,x) \ge c_k\, x/\log^3 x$,$c_k = 2\mathfrak{S}_k\, e^{-\gamma_k}$。单 $k$ 数值可证伪、工具齐、Gallagher $e^{-\gamma_k}$ 修正因子文献从未严格证。 四节阶梯:Cramér → Granville → Pintz → Maier 反例的 single-bin 消解 → Gallagher Poisson + BC-II → Levin Kt incompressibility 闭合。形式核心:$\mathrm{Kt}(g_1\cdots g_N) \ge N\log\log N - f(N) \Leftrightarrow$ Hardy–Littlewood 计数下界(condition on Levin universal prior)。 Q10 反证路径在该轴的归宿:仅 path(c) Cramér 概率可消解为矛盾,且 conditional on C1。 轴 C 推荐: 命题 C1 = Maier 障碍 single-bin 消失 — Maier weight $M(x,k) = 1+o(1)$ for fixed $k$,$x\le 10^{11}$ 数值完全可证伪。该命题 unblock C2 / C5 / Q10 path(c) 的总闸门,是该轴唯一"既能数值证伪、又能解析推进、又能联动反证"的核心。 本节是 §13 的核心产出。每条命题独立展示精确陈述、已知技术距离、falsifiable 验证、优先级、与 T2 v2 marathon 的关系。综合 7 条 Phase 2 命题 + 3 条 Phase 3 推荐,经跨轴权衡后挑选。 陈述:用 Heath-Brown identity $\Lambda(n) = \sum_{l=1}^6 (-1)^{l-1} c_l (\mu\cdot\log)^{*l}$ 将 $$\psi^*(x;k) := \sum_{n\le x} \Lambda(n)\Lambda(n+k)\, \mathbf{1}_{(n,n+k)\cap P = \emptyset}$$ 分解为 Type I ($l=1$) + Type II ($l\ge 2$);若 Type II 部分(在 BFI level 4/7+δ 输入下)真消去 parity barrier 的 $\ge 1/2$ mass,即 $\varepsilon_{\rm parity} < 1$,则 $$\psi^*(x;k) \;\ge\; (1-\varepsilon_{\rm parity})\cdot \mathfrak{S}(k)\cdot \frac{x}{\log^2 x}$$ 对任意偶 $k$ 成立,即得完整 de Polignac。 距离:Heath-Brown identity 已知;BFI well-factorable 在 Polymath 8b 内化;Maynard $\Lambda^2$ 化为 $\alpha_m\beta_n$ 形需重选 $\lambda_d$ 接 PR 性,会降 $M_k$。瓶颈是证 $\varepsilon_{\rm parity}<1$ 的具体 saving。 Falsifiable:对 $k=2$ 数值估 $\varepsilon_{\rm parity}$ 经验值(用 $\Lambda^2$ 加权 + 中间合数指标的 $\chi^2$ 拟合,$x \le 10^{11}$);若 $\ge 1$ 即路径破产。 来源:Q1 + Q13 + Q15 + P1 + 轴 A。 优先级 1。 陈述:对每偶 $k$,$x\to\infty$, $$\rho_k(x) = (1+o(1))\cdot \mathfrak{S}(k)\cdot \frac{x}{\log^2 x}\cdot E_k(x),$$ 其中 $E_k$ 是显式 inclusion–exclusion 主项,且不带 Maier 类 $(1+\delta)$ 乘性偏差。等价:Maier weight $$M(x,k) := \frac{\mathrm{Var}(\pi(x+k)-\pi(x))}{k\log(N/k)}\to 1$$ (而非 $\ge 1+\delta>1$ 如 multi-bin 情况)。 距离:文献已有 Cramér / Gallagher / Granville–Soundararajan 一阶项;single-bin 与 multi-bin 的 Maier 现象首次被分离论证。需把 Maier–Pintz weight $\Psi(x,y)$ 在 $h=O(1)$ 时退化为 $O(1)$ 严格化。 Falsifiable:$x\le 10^{11}$ primesieve 输出 $R_k(x) := \rho_k(x)/[\text{Gallagher 主项}]$ for $k=2,\ldots,200$;若系统性 $\ge 1+\delta$ 即假。同时拟合 $f(N) := |D_c \cap [2,N]|$ 与 $(\log\log N)^c$。 来源:Q14 + Q4 + Q10 + P4 + 轴 C。 优先级 1。 陈述:对每偶 $k\ge 2$, $$E_{\rm cons}(P, k, x) := \#\{(p,p')\le x : p' = p+k,\ (p, p') \cap P = \emptyset\} \;\ge\; c_k\cdot \frac{x}{\log^3 x},$$ $c_k = 2\mathfrak{S}_k\cdot e^{-\gamma_k}$,$\gamma_k = \int_0^k$ Hardy–Littlewood kernel。 距离:H–L 给 $E(P,P+k) \sim \mathfrak{S}_k\, x/\log^2 x$ 主项;consecutive 修正 = inclusion–exclusion 中间合数因子 → $e^{-\gamma_k}$。Gowers $U^s$ + Maynard sieve 控制残项。关键空缺:$E_{\rm cons}$ 尚未有形式化定义文献(Walsh 2012, Shao 2014 仅做 $E(P,P)$)。 Falsifiable:$x=10^{10}$ 算 $E_{\rm cons}(P,k,x)$ 对 $k=2,4,\ldots,20$;拟合 $c_k$ 与 $H–L$–Gallagher $e^{-k/(2\log x)} \mathfrak{S}_k\,x/\log^2 x$ 对比。$U^2/U^3$ 经验 Gowers 范数(FFT-based)在 $N=10^7$ 检查是否 → 0。 来源:Q12 + Q7 + P6 + 轴 B。 优先级 1。 陈述(条件):在 GEH 下 $|D_c \cap [2,N]|/(N/2) \to 1$ as $N\to\infty$,即 consecutive gap 取值集 $D_c$ 渐近 = 全部偶数。 距离:Maynard m-tuple + BFM 二次型;GEH 把 $m(N) \ge 3$(BFM 当前实质内容)改进至 $\to\infty$。工具齐全 — 是 Phase 3 P7 priority 1 推荐。 Falsifiable:$N$ 使 BFM-style 二次型下界 $> N/2$ 时仍有缺失偶数即假。数值上 $f(N)/(N/2-1)$ 在 $x = 10^9, 10^{10}, 10^{11}$ 三档曲线;曲线 → 1 快支持本命题,平坦化在 $<1$ 反对。 来源:Q6 + P7 + 轴 A。优先级 1。 陈述:定义 CIA(k)("consecutive isolation axiom"):∃ admissible singleton-extension $T_k$ 使 $T_k(n)$ 全 prime 且 $(T_k(n))$ 内无其他 prime 出现 ∞ 次。则 H–L $k$-tuple + (∀$k$) CIA(k) ⇔ de Polignac。 距离:纯逻辑/公理化,不依赖筛法新输入。是元数学命题,不增加技术深度但澄清蕴含图。 Falsifiable:构造满足 H–L 但 violate CIA 的"假素数"序列(Maier 1985 矩阵风格)。若构造成功即证 CIA 独立于 H–L,从而是必要新公理。 来源:Q9 + P7 命题 B + 轴 A。 优先级 2(概念 paper,配合命题 4)。 陈述:设 $\mathcal{A} = \{a^2+b^4 : a,b\in \mathbb{Z}_{>0}\}$。对每偶 $k\ge 2$, $$\#\{n \le x : p_n, p_{n+1} \in \mathcal{A},\ p_{n+1}-p_n = k\} \;\ge\; c(k)\cdot x/(\log x)^{11/4}.$$ 距离:FI 1998 Type II 给 $\mathcal{A}$-primes 的 $\sim x^{3/4}/\log x$;Maynard $\nu$ 在密度 $\ge x/(\log x)^A$ 集合上工作。瓶颈:Type II 与 $\nu_{\rm Maynard}$ 兼容性(Type II saving 在 Maynard 多维卷积下退化)。 Falsifiable:枚举 $\mathcal{A} \cap P \cap [1,10^{10}]$($\sim 10^{7.5}$ 个),统计相邻 gap;若 $r_k = c_k^{\mathcal{A}}/c_k$ 偏离 $|\mathcal{A}|/x^{1/4}$ 显著即假。 来源:Q13 + P1 + 轴 A。优先级 2(具突破性,但兼容性未定 — 会是第一个跨 parity 的 consecutive 结果)。 陈述:对每 $q\ge 1$,集合 $\{k\in q\mathbb{Z}\cap 2\mathbb{Z}_{>0} : k\in \sigma_{\rm frt}\}$ 是 $q\mathbb{Z}\cap 2\mathbb{Z}$ 的正密度子集。取 $q=6$ 即"某 $6$ 的倍数无穷次为 consecutive gap"。 距离:工具齐 — Maynard 多维筛在 admissible $H = \{0,6,12,\ldots,6m\}$ 上跑(所有 $k_i-k_j \in 6\mathbb{Z}$) + Selberg 上界排中间素数。Pintz 用过类似 trick 但未系统化"锁 $k$ mod $q$"。 Falsifiable:$x = 10^{11}$ 数值 — 对 $q = 6, 30, 210$ 子集分别看 Maynard 内化下界与 BFM-style 取值集分布的吻合。 来源:Q6 ★ + 轴 B。优先级 2。 陈述:经验测度 $\mu_x = \pi(x)^{-1}\sum_{p_n\le x}\delta_{g_n}$ 在 $2\mathbb{Z}_{>0}$ 上弱*收敛到 $\mu_\infty$,且对所有正偶 $k$, $$\mu_\infty(\{k\}) = 2 C_2 \prod_{p\mid k, p>2}\frac{p-1}{p-2}\cdot I(k) > 0,$$ $I(k) = \int_0^\infty \exp(-H_{\rm HL}(t,k))\, dt$。$\mu_\infty(\{k\})>0 \Leftrightarrow$ de Polignac for $k$。 距离:零点 pair correlation + Beurling–Selberg majorant 第一次正下界;需 GUE 端对角附近 mass 下界。统一 RMT 与 sieve,跨度大但概念有力。 Falsifiable:LMFDB 上 $k=6, 30, 210$ 处 $\mu_x(\{k\})$ 显著偏离显式公式即假。 来源:Q2 + Q15 + P2 + 轴 A。 优先级 3(跨度大,后置)。 跨轴权衡的判据:(i) falsifiable 在 $x \le 10^{12}$ 数值上;(ii) 工具距离已知技术 $\le 1$ 步;(iii) 即便 KILL 也产生有用知识(分离 Maier multi-bin / single-bin、判定 $\varepsilon_{\rm parity}$ 经验值、给出 $E_{\rm cons}$ 形式化);(iv) 三命题尽量分布于不同轴避免 redundancy;(v) 至少一条具备"无条件突破"潜力。 三轴推荐分别为 A5 / B-2 / C1,初步是合理的"三角"基线。但跨轴权衡后我们做以下调整与确认: (a) 精确数学陈述:对每偶 $k$ 与 $x\to\infty$,Maier weight $M(x,k) := \mathrm{Var}(\pi(x+k)-\pi(x))/(k\log(N/k))$ 满足 $M(x,k) = 1+o(1)$;等价地 $\rho_k(x) = (1+o(1))\cdot \mathfrak{S}(k)\cdot x/\log^2 x \cdot E_k(x)$,$E_k$ 显式 inclusion–exclusion 主项,无 $(1+\delta)$ 乘性偏差。 (b) 来源:Q14 (Cramér/Gallagher/Maier) × Q4 (Erdős 密度) × Q10 (反证 path c) → P4-C2 → 轴 C 推荐。 (c) Mode A T2 marathon 期望产出:无条件分离 Maier multi-bin 与 single-bin 现象的方差估计;给出 $E_k(x)$ 的显式 inclusion–exclusion 公式;数值至 $x = 10^{12}$ 验证 $R_k(x)\to 1$ 速率,与 Granville–Soundararajan 修正常数 $2e^{-\gamma}$ 对比;极佳情况:无条件 $\rho_k(x)\gg x/\log^2 x$ 下界,即 unconditional de Polignac for fixed small $k$。最坏情况:数值发现 $R_k(x)\ge 1+\delta_0$,即 single-bin 也存在 Maier 残余,从而 path(c) 反证失败 — 此结论本身有重要文献价值。 (d) 风险/最可能 KILL 模式:数值上 $R_k(x)$ 在 $x=10^{11}$ 仍处于慢收敛阶段,$1\pm o(1)$ 与 $1+\delta_0$ 数值不可分;或理论上 single-bin Maier 现象由 Maier–Pintz weight 在 $h$ 固定时 $\Psi(x,h)$ 仍带 $O(1)$ 残余 — 这是命题"消失"陈述的边界。 (a) 精确数学陈述:Heath-Brown identity 分解 $\Lambda = \sum_{l\le 6}(-1)^{l-1}c_l(\mu\cdot\log)^{*l}$ 应用于 $\psi^*(x;k) = \sum \Lambda(n)\Lambda(n+k)\mathbf{1}_{(n,n+k)\cap P=\emptyset}$,在 BFI level $4/7+\delta$ 假设下,Type II ($l\ge 2$) saving $\varepsilon_{\rm parity}<1$ 严格;由此 $\psi^*(x;k) \ge (1-\varepsilon_{\rm parity}) \mathfrak{S}(k)\, x/\log^2 x$ 对任意偶 $k$。 (b) 来源:Q1 (Maynard sieve) × Q13 (FI/HB parity 突破) × Q15 (显式公式 + Maynard 加权) → P1 → 轴 A 推荐 A5。 (c) Mode A T2 marathon 期望产出:严格写出 $\psi^*(x;k)$ 的 Heath-Brown 展开 + BFI Type II 输入 + Maynard $\Lambda^2$ 卷积的具体损耗矩阵 $M_k'$ 形式;数值估 $\varepsilon_{\rm parity}$ 经验值;若 $\varepsilon_{\rm parity}<0.5$ 数值兼容,则 unconditional 完整 de Polignac 在路上。最低产出:形式化"parity barrier 在 Heath-Brown identity + BFI 输入下的精确 saving 边界",填补文献长期空缺。 (d) 风险/最可能 KILL 模式:Type II 与 Maynard $\Lambda^2$ 张量积下 Type II saving 退化为 Type I 误差(P1 张力 1) — 即 $\varepsilon_{\rm parity}$ 经过卷积后回到 1。次要风险:重新优化 $\lambda_d$ 兼容 PR 性致 Polymath 8b 矩阵 $M_k$ 大幅下降,$H_1\le 246$ 失效。 (a) 精确数学陈述:对每偶 $k$, $$E_{\rm cons}(P, k, x) := \#\{(p,p')\le x : p'=p+k,\ (p,p')\cap P = \emptyset\} \ge c_k\cdot \frac{x}{\log^3 x},$$ $c_k = 2\mathfrak{S}_k\, e^{-\gamma_k}$,$\gamma_k = \int_0^k$ Hardy–Littlewood kernel(Gallagher 1976 修正因子)。等价于 Gowers $\|\mathbf{1}_P\|_{U^4}$ 的 first-return 投影下界。 (b) 来源:Q7 (Gowers) × Q12 (additive combinatorics) × Q11 (ergodic first-return) → P6-C1 → 轴 B 推荐 B-2。 (c) Mode A T2 marathon 期望产出:首次形式化 $E_{\rm cons}$ 定义(文献空缺);用 Maynard sieve + Kelley–Meka 2023 density-increment 给出 unconditional 下界 $\gg x/\log^{k+1} x$;数值验证 Gallagher $e^{-\gamma_k}$ 修正在 $k\le 20$ 的常数;若 unconditional 下界达到 $x/\log^3 x$ 则蕴含 de Polignac for fixed $k$。最低产出:把 BFM 取值集 $N^{3/7}$ 翻译成 $\sigma_{\rm frt}$ 谱支撑下界 — Furstenberg 端从未被做的等价改写。 (d) 风险/最可能 KILL 模式:Plünnecke 上界与 first-return 下界方向相反(P6 张力 3),sumset 大不蕴含 gap 分布锐 — 加性组合自然给 ∃,不给 $\forall k$ 一致。次要风险:$U^4$ 范数对 $\prod(1-\Lambda(n+j))$ 展开后 $2^{k-1}$ 项每项 parity 重现,残项控不住。 三命题分布:轴 C(概率/无条件数值)+ 轴 A(解析/parity 突破)+ 轴 B(组合/动力)— 三角覆盖完整。最弱依赖性 = FINAL 1(完全无条件数值实验);最强突破潜力 = FINAL 2(若 $\varepsilon_{\rm parity}<1$ 则完整 de Polignac);最干净形式化 = FINAL 3(定义新对象 $E_{\rm cons}$ 即有发表价值)。 故 de Polignac 严格强于孪生猜想,且强度差异始于 $k=4$。在所有已知"易于孪生"的 implication ladder 上(Schinzel ⇒ Dickson ⇒ Bateman–Horn ⇒ H–L)de Polignac 都额外要求 CIA(k) 这一独立公理(命题 5),这是 §14 的核心定性结论。§6. 数值现状
§13. 多 agent 头脑风暴综合
§13.1 流程概述
阶段 组件 产出 Phase 1 Q1 – Q15 角度并行 15 个独立"切入点 + 障碍 + 新角度"包 Phase 2 P1–P7 题对协同(配对见 §13.3) 7 组协同/张力/falsifiable 命题 Phase 3 3 大轴综合 A/B/C 每轴推荐 1 个最强命题:A5 / B-2 / C1 Phase 4 (本节) 跨轴权衡 ≥6 候选命题 + 3 个 final T2 入口 §13.2 15 角度速览
§13.3 7 题对协同
§13.4 三轴大综合
轴 A — 解析 / 筛 / L-函数 / 杠杆 (整合 Q1, Q9, Q13, Q15 + P1, P2, P7)
轴 B — 组合 / 动力 / 高阶 Fourier (整合 Q5, Q6, Q7, Q11, Q12 + P5, P6, P7)
轴 C — 概率 / 算法 / 信息论 / 反证 (整合 Q2, Q3, Q4, Q8, Q10, Q14 + P3, P4, P7)
§13.5 高优先级候选命题清单
§13.6 推荐进入 Template 2 v2 marathon 的 3 个 final propositions
§14. 与孪生猜想 / k-tuple / Maynard–Tao 的精确逻辑关系图
Schinzel H
│
▼
Dickson conj.
│
▼
Bateman–Horn (asymp)
│
▼
Hardy–Littlewood k-tuple
/ \
/ + CIA(k) ∀k \ + 单 k consecutive isolation
/ \
▼ ▼
de Polignac (full) de Polignac (k=k₀)
│
▼ (取 k=2)
孪生素数猜想 (= de Polignac(2),
因 k=2 时 distance ≡ consecutive)
EH ─→ GPY ⟨θ,ϖ,δ⟩ ─→ Maynard 多维筛 ─→ DHL[m,k] ─→ ∃ k≤H, k ∈ σ_frt
│
GEH (level 1) ⇒ H ≤ 6 │ (但不指认 k)
EH (level 1−ε) ⇒ H ≤ 12 ⇏ 完整 de Polignac
无条件 ⇒ H ≤ 246 (Selberg parity barrier)
BFM 2015 ⇒ |D_c ∩ [2,N]| ≫ N^{3/7} (取值集无穷)
Pintz 2016 ⇒ Polignac numbers 密度 ≥ 1/中位
GRH ⇏ de Polignac (仅给 BV 型 θ<1/2)
Sarnak/Chowla ⇏ de Polignac (μ-正交独立于 prime-gap 分布)
Friedlander–Iwaniec 1998 → 跨 parity,但 a²+b⁴ 集合内
Heath-Brown 2001 → a³+2b³,Hecke 字符消去
关系细则