Survey/Position Note · Heath-Brown 路线 · Guth-Maynard 2024 基线 · 多 agent 流水线（L1–L5）· 修订版 · 2026-05-24
原版（已被否定）：设 H1（近临界带 DH）与 H2（Huxley 中段 DH）联合成立， 则 Legendre 猜想对充分大 $n$ 成立。
设完整 Density Hypothesis（DH）成立，即对所有 $\sigma \in (1/2, 1]$ 有 $$N(\sigma, T) \ll T^{2(1-\sigma)+\varepsilon}.$$ 则存在可计算常数 $n_0$（估计量级 $n_0 \approx \exp(\exp(30))$，待精化）， 使得对所有整数 $n \geq n_0$，区间 $(n^2, (n+1)^2)$ 内至少含一个素数。
定位：survey/position note，透明说明此命题与"假设完整 DH"等价，不声称弱化条件， 而是通过 Heath-Brown 路线给出显式 $n_0$ 量化。
经典从零密度估计到素数间隙的推导链（Ingham 1937, Huxley 1972 精化）如下： 设对所有 $\sigma \in [1/2,1]$ 有 $$N(\sigma, T) \ll T^{A(1-\sigma)+\varepsilon},$$ 则短区间 $[x, x + x^\theta]$ 对几乎所有 $x$ 含素数，其中 $\theta > 1 - 1/A$。 完整 DH（$A = 2$）给出 $\theta > 1/2$，即（几乎处处）$p_{n+1} - p_n = O(p_n^{1/2+\varepsilon})$， 从而对充分大 $n$，$(n^2, (n+1)^2)$ 内有素数（Legendre）。
Heath-Brown 1988 建立了完整 DH $\Rightarrow$ 短区间 PNT 的详细技术框架， 隔离了 Selberg 奇偶障碍（parity barrier）作为独立的额外步骤。 本命题在 Heath-Brown 框架内给出 $n_0$ 的量化估算，是独立的呈现价值所在。
Guth & Maynard (arXiv:2405.20552, 2024) 建立了目前公开文献中最强的无条件零密度估计： $$N(\sigma, T) \ll T^{\frac{30(1-\sigma)}{13} + o(1)}, \quad \frac{1}{2} \leq \sigma \leq 1.$$ 指数 $A_{\rm GM} = 30/13 \approx 2.307$，对应短区间阈值 $\theta > 17/30 \approx 0.567$。 与 Legendre 所需 $\theta = 1/2$ 的差距为 $0.067$（绝对值）， 但对应的零密度指数差为 $2.307 - 2.000 = 0.307$，间距量级差 $n^{2/15} \to \infty$。
| 结果 | 零密度指数 $A$ | $\theta$ 阈值 | 与 Legendre 的差 |
|---|---|---|---|
| BHP / Huxley 基线 | $2.4$ | $7/12 \approx 0.583$ | $+0.083$ |
| Guth-Maynard 2024 | $\mathbf{30/13 \approx 2.307}$ | $\mathbf{17/30 \approx 0.567}$ | $\mathbf{+0.067}$ |
| DH 目标（完整） | $2.0$ | $1/2 = 0.500$ | $0$（临界） |
| Legendre 猜想 | — | $1/2$（逐一区间） | — |
主定理：$N(\sigma, T) \ll T^{(30/13)(1-\sigma)+o(1)}$ 对 $1/2 \leq \sigma \leq 1$ 全段成立。 核心方法：大值 Dirichlet 多项式（large value estimates），而非 Huxley 的指数对路径。 Matomäki–Teräväinen 2024（arXiv:2403.13157）已证明两种途径的等价性，故两条路线可互译。
对本命题的意义：建立新无条件基线 $A = 30/13$，取代 BHP 的 $2.4$。 与 DH 目标的剩余差距 $0.307$（改进量 $0.093$ 的 $3.3$ 倍）。 作者本人指出 $30/13$ 尚非最优，但 Maynard 认为跨越 $A = 2.0$ 障壁可能需要全新方法论。
推广 Ingham 1937 定理，明确 Huxley 框架中"零密度估计 $\to$ 短区间 PNT"的完整蕴含链， 推广 Heath-Brown–Iwaniec 加权零密度方法，使三类输入（零自由区域宽度、零密度指数、加权均值） 与输出（短区间 PNT）的关系模块化透明。
关键定位：直接指出蕴含链断裂点在 $\sigma \in [5/8, 3/4]$，Huxley 框架在此段 依赖的零密度估计精度是瓶颈。为本命题"精确定位断裂点 $\to$ 补丁"策略提供文献支撑。 注意：这反而说明 H2（$\sigma \in [5/8, 3/4]$ DH）是技术上相对"容易接受"的假设， 真正硬核是 H2 左侧的过渡带 $\sigma \in (1/2, 5/8)$。
对连续 $k$ 次幂之间的素数（$k \geq 65$），计算保证 $(n^k, (n+1)^k)$ 含素数所需的 最小零自由区域宽度，给出精确量化门槛；用 $k = 2$（即 Legendre）量化 "距离 Legendre 猜想还差多少零自由区域"。 论文不给出 Legendre 的条件证明，而是将其还原为等价形式并计算 $w^*(2)$ 的精确值。
对本命题的价值：提供 $k=2$ 方向的量化基准（目标对接文献）。 若能将 Huxley 框架中 $\sigma \in [5/8, 3/4]$ 段的零密度指数从 $2.307$ 压至 Lee 所需门槛， 则蕴含 Legendre，逻辑链封闭为条件定理。
Heath-Brown 1988 建立了完整 DH $\Rightarrow$ 短区间 PNT 的技术骨架， 明确将 Selberg 奇偶障碍隔离为独立步骤。这是本修订版命题的主要引用框架。 技术路径：完整 DH（全段 $A = 2$）$\to$ $\theta > 1/2$（几乎处处） $\to$ 绕过 Selberg 奇偶障碍 $\to$ 逐一区间 Legendre。
无条件最强素数间距结果 $p_{n+1} - p_n \ll p_n^{0.525}$（Proc. London Math. Soc.）。 本命题需超越的无条件基线。BHP 对应 $A \approx 2.4$（综合方法）。
引入"半孤立零点"概念，在零点限于 $O(\log T)$ 条垂直线的限制假设下， 证明改进的零密度估计，推论改进的短区间 PNT。 展示通过细化零点几何结构而非单纯压低零点密度来突破 Huxley 框架的可行路径。 与近临界带思路直接呼应，但依赖条件假设，非无条件定理。
原版命题 2 将 $\sigma$ 轴分为三段分别假设，推导失败的完整链如下：
L3.numerical + L4.analytic 双重确认的定量结果（$\sigma = 5/8$，$T = n^2$）：
| 量 | 数值 | 含义 |
|---|---|---|
| G-M 指数 $A$（$\sigma=5/8$） | $(30/13)(3/8) \approx 0.865$ | 当前最优 |
| DH 目标（$\sigma=5/8$） | $2 \times (3/8) = 0.750$ | 需要达到 |
| 绝对差（指数单位） | $0.865 - 0.750 = 0.115$ | 瓶颈缺口 |
| 对应 $\theta$ 差距 | $17/30 - 1/2 = 0.067$ | 短区间阈值差 |
| 间距量级差 | $n^{2/15} \approx n^{0.133}$ | 无界增长 |
| G-M 剩余指数差（全段） | $2.307 - 2.000 = 0.307$ | 需再降低 |
在 $n = 100, \sigma = 5/8$：
gap 倍数随 $n$ 以 $n^{0.231}$ 无界增长（$n=10^4$ 时约 $7.6\times$，$n=10^6$ 时约 $25\times$）。 任何有限数值检验均无法关闭此 gap——只有将零密度指数从 $2.307$ 降至 $2.000$ 才能解决。
H1 覆盖的 $\sigma$ 带宽仅为 $O(1/\log T)$，在 Huxley 积分 $\int_{1/2}^{1} N(\sigma, T)\, d\sigma$ 型分析中， 该窄带贡献量级不超过 $O((\log T)^{-1} T^\varepsilon)$，当 $T \to \infty$ 时完全可忽略。 H1 不是"近似完整 DH"的一部分，而是对积分无有效贡献的条件。 这从代数角度解释为：近临界带虽对 $L$ 函数有深刻意义（临界线局部密度控制）， 但带宽收缩抵消了其零密度改进效果。
L4.analytic 评估填补 $\sigma \in (1/2, 5/8)$ 过渡带的难度为极高，原因：
若假设完整 DH（本修订版命题的前提），推导链可封闭：
多 agent 流水线在 L4 层由四个独立审稿角色对命题 2（原版 H1+H2）进行并行审查：
最致命漏洞定位：命题 2 修订版的核心错误不只是等价于完整 DH，而更深层：
三重失败：(1) 条件留有未填补的 $\sigma$ 空白，可能连充分性都未达到； (2) 即使补足条件也等价于完整 DH，无独立价值； (3) 现有分析技术在幂次量级上均无法弥合 G-M 给出的 $n^{2/15}$ 差距。
对 L3.advocate 的纠正：L3.advocate 说"H1+H2 ≈ 完整 DH"， 这个判断结论正确但理由有误。正确理由不是"H1+H2 等价于完整 DH"， 而是"H1+H2 联合漏掉了决定性的瓶颈段 $\sigma \in (1/2, 5/8)$"。 H1 有效贡献接近零（带宽收缩），H2 不覆盖瓶颈。
推荐修订方向（选项 B）：修订为"完整 DH $\Rightarrow$ Legendre"， 引用 Heath-Brown 1988 框架，理由：(a) 条件清晰无歧义； (b) 已有文献建立完整 DH $\to$ 短区间 PNT 的联系； (c) 剩余技术问题（奇偶障碍）被明确隔离，有助于后续研究聚焦。
过渡带的代数含义：$\sigma \in (1/2, 5/8)$ 恰好落在 Kim–Sarnak 界（$\sigma < 1/2 + 7/64 \approx 0.609$）与 Huxley 中段估计之间的空档。 Kim–Sarnak 通过对称幂 $L$ 函数解析延拓，精确覆盖到 $\sigma < 0.609$， 但未能完整覆盖 $\sigma \in (0.609, 0.625)$，对应"GL(2) 近 Ramanujan 近似的覆盖边界"。
H1 的代数困境：近临界带 DH 在 $L$ 函数理论中有深意 （对应临界线局部密度控制），但由于带宽 $O(1/\log T)$ 收缩，其在 Huxley 积分中贡献为零阶项， 是"挂名假设"——看似精确，实则无效。
命题 2 有独立价值当且仅当能证明 H2 单独能将 $\theta$ 从 $17/30$ 推进至某个更小的值 ——即 $\sigma \in [5/8, 3/4]$ 的 DH 型改进能通过某种非 Huxley 积分的代数机制 反馈至过渡带估计。目前无此类结论。
有效 $n_0$ 的量级估算：
| Agent | 判定 | 核心理由 |
|---|---|---|
| L4.adversarial | REJECT | 条件可能不充分 + 等价完整 DH + 方法论无界差距 |
| L4.analytic | fixable | 修订为选项 B（完整 DH⟹Legendre）有实质学术价值 |
| L4.algebraic | fixable（有条件） | 加 H3 后退化为 DH 推论；独立价值取决于 H2 单独效果 |
| L4.numerical | fixable | 数值框架自洽；价值取决于 H1 严格弱于完整 DH 的量化 |
| 层级 | Agent | 判定 |
|---|---|---|
| L3 | advocate | REJECT（三层根本缺陷） |
| L3 | prover1 | gap（过渡带 $\sigma \in (1/2, 5/8)$ 无法填补） |
| L3 | lit.guth_maynard | ok（文献核实通过） |
| L4 | adversarial | REJECT |
| L4 | analytic | fixable（修订为 DH⟹Legendre） |
| L4 | algebraic | fixable（独立价值存疑，补 H3 则退化） |
| L4 | numerical | fixable（框架自洽，价值取决于 H1 严格弱于 DH） |
| L5 | summary + decision | GO-revision B |
修订后命题 2（"完整 DH $\Rightarrow$ Legendre"）的贡献定位为survey/position note， 价值来源于：
L1.ranker（角度 E）+ L4.analytic 共同揭示：近临界带 DH 虽对 Huxley 积分无直接贡献， 却几乎是"逐点 Legendre"的必要条件（通过 $L^2 \to L^\infty$ 跨越等价性论证）：
这一重新定位使近临界带 DH 的研究价值从"命题 2 的充分条件"转变为 "Legendre 猜想必要性分析的核心组件"——是独立有价值的结果，值得作为副命题发展。