← Goldbach 主笔记  ·  Template 2 v2  ·  2026-05-23

命题 4：$r_2(n^*)=0 \Longrightarrow \text{BV 矛盾}$？

Position Paper — Template 2 v2 深入研究  |  五角度全 KILL  |  W7 路线图可证

§1　原命题陈述与 KILL 论证

1.1　命题 4 原始形式

命题 4（原始）：设 $n^*$ 为 Goldbach 猜想的反例，即 $n^* > 2$ 为偶数且 $$r_2(n^*) := \#\{(p,q) : p,q \text{ 素数},\, p+q = n^*\} = 0.$$ 则此假设与 Bombieri–Vinogradov 定理及 Hardy–Littlewood 主项下界联合推出矛盾，从而不存在 Goldbach 反例。

反证逻辑链（原版）：

1. 对每个素数 $p < n^*$，若 $r_2(n^*) = 0$，则 $n^* - p$ 为合数。
2. BV 保证素数在算术级数中均匀分布，故"$n^*-p$ 全为合数"应导致某算术级数密度异常。
3. 该异常与 BV 的误差上界矛盾，推出 $r_2(n^*) > 0$。

1.2　KILL 的核心论证：分布陈述 $\neq$ 加性单点陈述

1.3　加性–分布鸿沟的结构说明

桥接 BV 与 $r_2(n^*)$ 需要走圆法路线：

$$r_2(n^*) = \int_0^1 S(\alpha)^2 e(-n^*\alpha)\,d\alpha = M(n^*) + R(n^*)$$

其中 $M(n^*)$（major arc 主项）$\sim \mathfrak{S}(n^*) \cdot n^*/(\log n^*)^2$，$R(n^*)$ 为 minor arc 余项。要从 BV 推出 $r_2(n^*) > 0$，需要 minor arc 的 pointwise 上界满足 $|R(n^*)| < M(n^*)$。然而：

• BV/EH 给出的是 $\sum_{n \le N} |R(n)|^2 \le C N^{1+\epsilon}$（$L^2$ 平均界）；
• 从 $L^2$ 平均到单点 $|R(n^*)| < M(n^*)$ 需要 Cauchy–Schwarz，只能得出"几乎所有 $n$"满足，不能排除 $n^*$ 是例外；
• GRH 下 minor arc 的 pointwise 控制在任何已知框架中完全未知，即使假设 GRH 也无法得到单点下界 $r_2(n^*) > 0$。

结论：反证链在"$r_2(n^*)=0 \Rightarrow$ BV 某量异常"这一步根本跳不过去，命题 4 原始形式 KILL。

§2　与 Mersenne 命题 4 的同病诊断

这一 KILL 模式并非 Goldbach 研究中孤立发生，而是一类系统性错误的典型表现。在 Mersenne 深入研究中，命题 4（Chebotarev 密度矛盾）犯了完全同构的错误：

维度	Mersenne 命题 4	Goldbach 命题 4（本文）
设定	设 Mersenne 素数有限，最大指数 $p_0$	设存在 $n^*$ 使 $r_2(n^*) = 0$
引用工具	Chebotarev 密度定理 + BV	BV 定理 + HL 启发式主项
工具性质	密度/分布陈述（Frobenius 类密度 $1/(2p)$）	密度/分布陈述（AP 中素数均匀）
目标性质	单点稀疏序列 $\{M_p\}$ 上的加性/整除结构	单点偶数 $n^*$ 上的加性表示 $r_2(n^*)$
核心 gap	BV 对稀疏点集不逐点成立；因子充裕不稀缺	BV 平均界无法给 $r_2(n^*)$ 单点下界
4 票专家审核	全 reject；"逻辑倒置，重述 trivial 事实"	五角度全 KILL；"分布工具不蕴含加性单点"
最终状态	KILL（全部角度）	KILL（全部角度）

两个命题的公共病根是工具类型错配（tool-type mismatch）：将乘性/分布类定理（BV、Chebotarev）直接套用到加性/单点陈述上，忽略了中间需要的圆法或筛法桥接，而该桥接在两个问题中都是当前技术的真正难点所在。

§3　Sentinel 数值：反证逻辑可信但工具不足

哨兵脚本在 $[10^3, 10^4]$ 区间计算了各 bin 内 $\min r_2(n)$（$n$ 偶），以数值方式检验"$r_2(n^*)=0$ 越来越不可能"这一直觉。

3.1　bin 内最小值统计

区间	$\min r_2$	argmin $n^*$	$\max r_2$	$\text{mean } r_2$
[1000, 2000)	16	1112	91	36.6
[2000, 3000)	25	2048	128	53.0
[3000, 4000)	35	3092	163	67.6
[4000, 5000)	43	4022	190	81.5
[5000, 6000)	51	5078	218	94.4
[6000, 7000)	59	6068	268	107.6
[7000, 8000)	67	7118	274	119.6
[8000, 9000)	70	8042	292	130.6
[9000,10000)	77	9602	329	144.0

全局最小值：$r_2(1112) = 16 \gg 0$，全程无零点。$\min r_2$ 在 9 个 bin 中严格单调增长，比值为 $77/16 = 4.81\times$（实测）。

3.2　增长率拟合（$\beta = 0.859$）

模型	参数	$R^2$
幂律 $\min r_2 \sim C \cdot n^\beta$	$C = 0.0306$，$\beta = 0.859$	0.993
对数幂 $\min r_2 \sim A \cdot (\log n)^k$	$k = 7.08$	0.997
线性 $\min r_2 \sim \text{slope} \cdot n + c$	slope = 0.00765	0.989

幂律指数 $\beta \approx 0.859$ 强于对数增长，与 Hardy–Littlewood 启发式 $r_2(n) \sim \mathfrak{S}(n) \cdot n/(\log n)^2$（渐近 $\sim n^1$）在有限范围内一致（$\log^2 n$ 修正使实测 $\beta < 1$）。外推至 $n = 10^6$： $$\min r_2 \approx 0.0306 \times (10^6)^{0.859} \approx 4800.$$

§4　五角度评分表（全 KILL）

五个角度以不同切入点攻击命题 4，但均 KILL。唯一具备 GO 潜力的是角度 E 的 W7 修订形式，其"结论价值"5/5 的原因在于：W7 陈述完全可证，且在 paper 中有独立的作为"现状综述命题"的价值。

§5　BV 与单反例的精确不相容性分析

5.1　BV 给什么，不给什么

BV 定理的实质是：对"大多数"模 $q \le X^{1/2-\epsilon}$，算术级数 $\{p \le X : p \equiv a \pmod q\}$ 的误差项 $$\Delta(X; q, a) := \pi(X; q, a) - \frac{\pi(X)}{\phi(q)}$$ 在 $\max_a$ 和 $\sum_q$ 意义下很小（$\ll X(\log X)^{-A}$）。它：

• 给：素数在算术级数中的分布均匀性（乘性结构）。
• 不给：关于特定偶数 $n^*$ 的 Goldbach 表示数 $r_2(n^*)$（加性结构）。
• 不给：对单个 $n^*$ 的任何 pointwise 结论。

5.2　为什么"分布均匀"不蕴含"$r_2(n^*)>0$"

反证思路尝试如下推断： $$r_2(n^*) = 0 \Rightarrow \forall p < n^* \text{ 素}, n^*-p \text{ 合} \Rightarrow \exists q, a: \pi(n^*; q, a) \text{ 异常} \Rightarrow \text{与 BV 矛盾}.$$

断链发生在第二个 $\Rightarrow$。构造合数的集合 $\{n^*-p : p \text{ 素}, p < n^*\}$ 与算术级数密度之间没有因果关系：

• 若 $n^*-p$ 恰好都是合数，这些合数可以均匀地分布在各算术级数中，完全不产生任何密度异常。
• BV 的误差项 $\sum_q \max_a |\Delta(X; q, a)|$ 测量的是"跨越所有 $(q,a)$ 对"的总误差，不区分哪些 $p$ 使 $n^*-p$ 是素数。
• 即使引入 Elliott–Halberstam 猜想（EH，将 BV 范围扩至 $q \le X^{1-\epsilon}$），仍是分布陈述，仍无法给 $r_2(n^*)$ 的单点下界。

5.3　等价陈述的精确区分

陈述类型	内容	BV 是否覆盖
密度陈述	$E(X) = O(X^{2/3})$（Pintz 2017）：例外集测度小	是（间接，通过平均估计）
几乎所有陈述	几乎所有偶数 $n$ 有 $r_2(n) > 0$（Montgomery–Vaughan）	是（$L^2$ 平均方法）
单点陈述	特定 $n^*$ 满足 $r_2(n^*) > 0$	否（单点 pointwise，BV/EH 完全无效）
Goldbach 猜想	所有偶数 $n > 2$ 有 $r_2(n) > 0$（全称量词）	否（全称单点，等价于全部 pointwise 成立）

命题 4 试图用"密度/平均"工具证明"单点/全称"陈述，这是一个逻辑层级的跳跃，现有技术无法完成。Pintz 的 $E(X) = O(X^{7/10})$（2018）乃至 Zhao 2025 的 $E(X) = O(X^{7/10})$ 都是密度上界，对单个 $n^*$ 的 $r_2(n^*)$ 无任何约束力——因为 $O(\cdot)$ 上界对有限个点完全无效。

§6　W7 修订陈述：命题 4'（路线图形式）

角度 E（反证组合工具综合）给出了唯一完全可证的修订形式，即 W7 路线图陈述：

6.1　三条件的文献支撑

条件	内容	文献依据
(i) $n^* > 4 \times 10^{18}$	数值验证范围内无 Goldbach 反例	Oliveira e Silva 2014；Helfgott 2013（显式估计 + 计算机验证）
(ii) $n^* \notin \mathcal{C}$	Chen 筛覆盖"几乎所有"偶数（$n \notin \mathcal{C}$ 的密度为零）	Chen 1966/1973（$n = p + P_2$）；Grimmelt–Teräväinen 2025（$4 \pmod 6$ 类：例外集 $O(X^{1-\delta})$）
(iii) $\mathfrak{S}(n^*) > 0$	奇异级数对所有偶数 $n$ 有正下界（经典结果）	Hardy–Littlewood 1923；$\mathfrak{S}(n) \ge 2C_2 \prod_{p \mid n, p>2} (p-1)/(p-2) > 0$

6.2　命题 4' 诚实性说明

命题 4' 的关键属性：

• 完全可证：三条件均有完整文献支撑，无需任何未证假设（包括 GRH）。
• 不等于强 Goldbach 的证明：它仅说明反例若存在则落在零密度集合，不证该集合为空。
• 下一步工作空间：可将 Grimmelt–Teräväinen 2025（G-T）、Chen primes 的精细分析（Pintz、Maier）、以及 Helfgott 的显式常数进一步叠加，收紧 $n^*$ 的模条件约束。
• 在 paper 中的定位：作为"现状综述命题"（Proposition 4 (conditional/descriptive)），与主定理（若有）区分标注，为后续研究提供清晰的现状基准。

6.3　G-T 2025 与 Chen primes 的角色

Grimmelt–Teräväinen 2025（arXiv:2508.16400）证明了：所有 $n \equiv 4 \pmod 6$ 中，除 $O(X^{1-\delta})$ 例外，$n$ 均可表示为两个 Chen 素数之和。这为条件 (ii) 在 $4 \pmod 6$ 模类上提供了最强的定量版本。注意两点：

1. G-T 处理的是 Chen 素数对（允许 $p$ 或 $q$ 为 $p_1 p_2$ 型半素数），比 $r_2(n^*) > 0$ 弱；即使 G-T 在例外集外完全覆盖，也只排除了"无两 Chen 素数表示"，无法直接推出"有两素数表示"。
2. $n \equiv 0 \pmod 6$ 的模类需要单独论证，G-T 2025 当前仅覆盖 $4 \pmod 6$。

因此 G-T 是条件 (ii) 的有力支撑，但本身不构成对命题 4 原始形式的救援。

§7　v2 Verdict、综述定位与下一步

7.1　总判定

判定对象	结论	依据摘要
原命题 4 "$r_2(n^*)=0 \Rightarrow$ BV/HL 矛盾 $\Rightarrow$ 反证完成"	NO-GO（KILL）	五角度一致：分布工具无法穿越到单点加性结论；minor arc pointwise 界在任何已知框架下均不可达；例外集稀疏 $\neq$ 空；与 Mersenne 命题 4 同病确证。
修订版 W7 "路线图命题"：三条件将 $n^*$ 压入零密度集，不证空	GO（推荐）	角度 E（评分 16/20）明确构造了完全可证的 W7 陈述。三条件均有文献支撑（无条件）。Sentinel 数值（$\beta=0.859$ 幂律单调增，全程无零点）为直觉提供视觉证据。
命题 4 整体放弃？	否 — 以 W7 形式保留	命题 4 的主题（Goldbach 反例的约束条件）有独立价值。W7 作为"position paper 式命题"（非主定理），为后续深入研究提供清晰的现状基准。建议标注 Proposition 4 (conditional/descriptive) 与主定理区分。

7.2　命题 4 在 Goldbach 研究框架中的地位

命题 4 不是主定理，也不试图证明强 Goldbach 猜想。它的价值在于：

• 精确划定技术边界：BV 系工具（包括 EH）能到哪里（密度/平均），不能到哪里（单点/全称），命题 4 的 KILL 分析给出了当前最清晰的界线表述。
• 反例约束的现状综述：命题 4'（W7）将所有已知约束（数值、筛法、奇异级数下界）集中呈现，是"若 Goldbach 猜想失败，反例长什么样"的最精确描述。
• 与命题 1–3 的关系：命题 1（$r_2(n)>0$ 几乎所有偶数）、命题 3（Schnirelmann 常数）给出了正面的密度/计数结论；命题 4 从反面约束了例外集的最小规模，二者共同构成 Goldbach 例外集的"夹逼"框架。

7.3　下一步研究方向

基于现有工具，以下方向可以进一步精细化命题 4'：

1. 叠加 G-T 2025 + Pintz 的模条件：G-T 给出 $4 \pmod 6$ 类的强约束，若能补全 $0 \pmod 6$ 类（理论上类似方法可行，但需要不同的模运算分析），则条件 (ii) 可以精确到全部模类。
2. Chen primes + Maier 矩阵法：Basak–Goldston–Pintz 三元组筛（2024）等新筛法工具可能对例外集 $\mathcal{C}$ 的内部结构给出更精细的约束，进一步刻画"$n^* \in \mathcal{C}$"意味着 $n^*$ 具有什么样的算术特性。
3. Helfgott 显式常数精化：结合 Helfgott 2013 的显式圆法常数与 Chirre–Hagen 2025（RH 下 $123 \log^2 x$ 间隔内必有 Goldbach 数），可以将条件 (i) 的下界与条件 (iii) 的奇异级数约束联合细化。
4. GRH + pointwise minor arc：这是理论上的终极目标。若能在 GRH 下证明 minor arc 余项 $|R(n^*)| < c_0 n^*/(\log n^*)^2$ 对单个 $n^*$ 成立，则原命题 4 的反证路线自动闭合，强 Goldbach 猜想对充分大偶数成立。这是当前最核心的技术空白。