Legendre 猜想

相邻完全平方数之间的素数 · BHP 2001 间隙指数 0.525 · Hilbert 第八问题

1. 命题

对每个整数 $n \geq 1$，存在素数 $p$ 使得 $n^2 < p < (n+1)^2$。

等价地：$\pi((n+1)^2) > \pi(n^2)$，即每两个相邻完全平方数之间至少存在一个素数。

区间长度：$(n+1)^2 - n^2 = 2n+1$。中点 $\approx n^2$ 处素数密度约 $1/(2\ln n)$，故区间内期望素数数约 $(2n+1)/(2\ln n) \sim n/\ln n \to \infty$。

2. 与 Bertrand 公设的关系

Bertrand 公设（已证，Chebyshev 1852）：对每个 $n \geq 1$，区间 $(n, 2n)$ 内存在素数。区间长度 $n$，比 Legendre 的 $2n+1$ 更宽（相对于左端点而言 $n$ vs $n^2$）。

Legendre 要在 $(n^2, (n+1)^2)$ 内找素数，区间相对长度 $(2n+1)/n^2 \sim 2/n \to 0$，比 Bertrand 的 $n/n = 1$ 小得多——这是核心难度来源。

Nagura 1952 进一步证明 $n \geq 25$ 时 $(n, 1.2n)$ 含素数，但仍远达不到 Legendre 所需的精度。

3. 相关猜想层次（由强到弱）

• Oppermann 猜想（更强）：对 $n \geq 2$，区间 $(n(n-1), n^2)$ 和 $(n^2, n(n+1))$ 各含至少一素数。
• Legendre 猜想：$(n^2, (n+1)^2)$ 含至少一素数。
• Andrica 猜想（等价）：$\sqrt{p_{n+1}} - \sqrt{p_n} < 1$ 对所有 $n$——已验证至极大，等价于 Legendre。
• Bertrand 公设（已证）：$(n, 2n)$ 含素数。

4. 已知最强结果

结果	间隙指数 Δ	条件	来源
Ingham 1937	5/8 = 0.625	无条件	零密度估计
Huxley 1972	7/12 ≈ 0.583	无条件	指数对改进
Baker–Harman–Pintz 2001	0.525	无条件	BHP 综合方法
RH（Riemann 假设）	→ 0.5	条件	ζ 零点自由区
Cramér 猜想	～(log p)²/p → 0	条件	随机素数模型
Legendre 猜想	= 0.5	未证	—

BHP 2001 是目前最强无条件结果：$p_{n+1} - p_n = O(p_n^{0.525})$，Legendre 需要 $O(p_n^{0.5})$，差距仅 0.025 个指数单位，但这一步至今未能攻克。

5. 数值验证

在已验证范围内（至少至 $n \leq 10^{18}$ 量级）猜想完全成立，无任何反例。最大素数间隙经验上也远小于 $(n+1)^2 - n^2 = 2n+1$。

6. 核心难点

7. 工具箱概述

攻击 Legendre 猜想主要依赖以下工具（各有局限）：

• 零密度估计：估计 $\zeta(s)$ 在 $\text{Re}(s) > \sigma$ 的零点数量，改进密度指数是改进 Δ 的关键路线之一。
• 指数对（Exponential Pairs）：van der Corput 方法的精化，控制指数和 $\sum e^{2\pi i f(n)}$ 的大小。
• 大筛法（Large Sieve）+ Bombieri-Vinogradov：给出算术级数中素数分布的均值估计。
• Selberg 筛：构造素数计数的上/下界，但下界精度受奇偶障碍限制。
• Linnik 弥散原理（Linnik's Dispersion Method）：可能在短区间素数计数中有应用。

8. GRH 下的结果

在广义 Riemann 假设（GRH）下，区间 $(x, x + C\sqrt{x}\log x)$ 内存在素数，这直接蕴含 Legendre 猜想（取 $x = n^2$，区间长度 $\sim C\sqrt{n^2}\log n = Cn\log n \gg 2n+1$ 对大 $n$）。

因此，Legendre 猜想是 GRH 的推论——但后者同样未证。更弱的"密度假设"（Density Hypothesis）若成立，也能推出 Legendre（见 §13）。

9. Cramér 随机模型下的预测

Cramér 模型将每个整数 $m$ 独立地以概率 $1/\ln m$ "设为素数"。在此模型下，区间 $(n^2, (n+1)^2)$ 内无素数的概率约为

$$\prod_{m=n^2+1}^{(n+1)^2-1}\left(1 - \frac{1}{\ln m}\right) \approx \exp\left(-\frac{2n+1}{2\ln n}\right) \approx \exp\left(-\frac{n}{\ln n}\right) \to 0$$

极为迅速趋于零。进一步，$\sum_n \exp(-n/\ln n) < \infty$，由 Borel-Cantelli 引理，Cramér 模型中 Legendre 以概率 1 成立——但这只是启发式，不是证明。

10. 历史背景

Adrien-Marie Legendre 约 1808 年提出此猜想，作为素数分布正规性的基本预测。David Hilbert 在 1900 年国际数学家大会将其列入第八问题（Hilbert's 8th Problem）的一部分，与黎曼猜想、Goldbach 猜想、孪生素数猜想并列。

11. 近年文献方向（2010–2026）

（待补充文献综述。主要方向：BHP 方法的推广、零密度估计改进、GPY/Maynard 筛法与短区间素数的关系。）

12. 一句话总结

Legendre 猜想在数值上毫无疑问，解析上卡在将无条件间隙指数从 0.525 降到 0.5 的最后一步，而这一步等价于在 ζ 函数零点密度估计或指数对方法上取得根本性突破。

13. 研究：问题发散思考与重定义

§13.0 引子：本节的方法与价值

本节内容来自一次结构化的多 agent 头脑风暴。流程共分三阶段：第一阶段（Phase 1）由 10 个独立 agent 分别从不同角度审视 Legendre 猜想，各自提出策略、指出障碍、挖掘文献盲点（Q1–Q10）；第二阶段（Phase 2）将 Q1–Q10 两两配对，由 5 个综合 agent 分析各对之间的协同与张力（A1–A5）；第三阶段（Phase 3）由 2 个大综合 agent 分别对"解析核心组"（Q1/Q4/Q5/Q9/Q10）和"跨界整合组"（Q2/Q6/Q7/Q8/Q10）做最终归纳，识别跨题主题并提炼可操作命题（A1–A2）。

头脑风暴揭示的一个核心事实是：Legendre 猜想在当前技术水平下的主要障碍不是多个分散的难点，而是一个高度集中的瓶颈——BHP 2001 的无条件指数 $\Delta = 0.525$ 与 Legendre 所需的 $\Delta = 0.5$ 之差距，本质上等价于零密度估计中指数 $c$ 从 $2.4$ 降至 $2$（密度假设 Density Hypothesis，DH）的差距，而后者在 BHP 之后 20 余年几乎没有无条件改进。其余所有角度（函数域类比、加性组合、概率模型、复杂性理论）都是围绕这一核心的侧翼探索。

---

§13.1 十个发散角度速览

下表对 Phase 1 的十个提问角度作一览概括。"核心策略"列聚焦每题最有原创性的建议；"主要障碍"列精确定位瓶颈所在。

---

§13.2 第二阶段：五对题目的协同与张力

Phase 2 将十题两两配对，目的是检验"两种不同语言是否能合流为更强的工具"，而不是简单叠加。以下按五对逐一分析。

配对 A1：Q1（BHP 解析）× Q4（初等组合）

两题的公共语言是 Chebyshev $\psi$ 函数：无论从解析侧还是组合侧出发，Legendre 猜想都归结为 $\psi((n+1)^2) - \psi(n^2) > 0$，而这个差值等于主项 $2n$ 减去零点振荡贡献。Q4 的组合直觉（区间内整数满足 $x \equiv k \pmod{n}$ 的特殊分布）可为 Q1 的 Elliott–Halberstam 超越 BV 的策略提供天然候选模参数，两者在"短区间模分布 + GPY 矩方法"的交叉点上存在真实的可操作子问题。

然而两者也有根本对立：Q1 的全部策略深度依赖 $\zeta$ 零点分布，Q4 的价值恰在于绕开零点——而 Q4 同时也指出，无条件 $\psi$ 下界在 $h = x^{1/2}$ 时等价于 RH 弱形式，这意味着初等方法在结构上无法突破 $\Delta = 0.5$ 壁垒。Q4 不是"另一条通向证明的路"，而是提供了"如果初等方法能成功则意味着什么"的否命题：初等精化的极限约在区间比率 $h/x \approx 0.1$，远未触及 Legendre 所需的 $h/x \approx 2/n \to 0$ 体制。

配对 A2：Q2（随机矩阵）× Q3（计算 / SAT）

两题在函数域上自然汇合：Q2 指出函数域 Legendre 类比已由 Weil 定理严格证明，Q3 指出函数域中 Shoup 等有效算法的"点计数算子框架"可提炼再移植。ML 与 GUE 也构成互补：ML（Q3）若检测到某类 $n$ 的素数稀疏异常，可为 Q2 的 Beurling–Selberg 极值函数参数选取提供经验靶点，再反向引导"GUE 软版本"在危险区间的具体化。这种"数值探路 + 理论精确化"的串联，是两题最具操作性的交汇。

但两题的可扩展性方向相反（SAT 对小 $n$ 有效，渐近分析对大 $n$ 才有意义），而函数域向整数的移植面临两种性质不同的障碍：Q2 的障碍是解析性的（$\zeta(s)$ 零点无穷多，Weil II 无直接对应），Q3 的障碍是几何性的（$\mathbb{Z}$ 缺乏 étale 上同调）。两题合力后困难未消失，只是被更清晰地定位在"Frobenius 替代品"这一核心缺口。

配对 A3：Q5（等价重述）× Q6（BHP 三成分量化）

这是五对中技术上最直接的协同。Q5 将 Legendre 等价重述为零点振荡项不等式 $\left|\sum_\rho \frac{(n+1)^{2\rho}-n^{2\rho}}{\rho}\right| < 2n+1$；Q6 识别出 BHP 框架的三个成分并确认零密度估计（指数 $c: 2.4 \to 2$）是最紧瓶颈。两者完全"同语言"：将 Q5 的 Beurling–Selberg 光滑截断函数与 Q6 建议的"混合矩（mixed moments）"方向结合——把零点振荡项转化为 $\zeta(s)$ 在临界带上的矩积分，再用改进的零密度估计压制——是现有文献未系统尝试的交叉路线，且技术工具（BDG 型矩估计、Beurling–Selberg 极值函数）已基本就绪。

两者的张力主要是"Andrica 等价的陷阱"：虽然 $\sqrt{p_{k+1}} - \sqrt{p_k} < 1$ 与 Legendre 等价，但此重述切断了 $\zeta(s)$ 解析机制的入口，而 Q6 的全部武器恰好是解析的——用 Andrica 形式"绕路"反而失去主战场。

配对 A4：Q7（新框架）× Q8（概率 / 信息论）

Green–Tao 伪随机测度与 Cramér 概率框架共享同一直觉——"素数表现得像随机集合"——但精确化语言截然不同。两者最有价值的交汇点是：若能将 Green–Tao 的 Gowers $U^2$ 范数均匀性条件翻译为"局部 KL 散度不低于 $\varepsilon(n)$"（Q8 的新角度），就可以把 Cramér 的概率下界嵌入筛法可操作的框架，使之不再停留于启发式。GUE 排斥（Q2/Q8）与 Gowers 均匀性（Q7）也刻画同一现象：素数的伪随机性阻止大间隙。建立这两种均匀性之间定量桥梁，是最有长期价值的理论目标。

但"平均 vs 逐点"是本质差异，无法通过两题协同来消弭。Green–Tao 和 Maynard–Tao 框架本质上是平均/全局论证；Cramér 的 Borel–Cantelli 也是"几乎必然"而非逐点。Legendre 的 $\forall n$ 量词要求将"测度零的反例集为空"，这需要本质新工具，而非现有技术的叠加。

配对 A5：Q9（充分条件）× Q10（反证路线）

这是五对中逻辑上最紧密的一对，两题实际上是同一论证的正反两面。Q9 给出正向路线：DH $\Longrightarrow$ 素数间隔 $O(x^{1/2+\varepsilon})$ $\Longrightarrow$ Legendre（差对数 $\varepsilon$ 余项）。Q10 给出反向路线：$\neg$Legendre $\Longrightarrow$ $\zeta$ 零点在宽 $O(1/N)$ 频率窗内极端同步对齐 $\Longrightarrow$ 违反 DH。两者在"近临界带 DH"这一最弱充分条件上完全会合：

$$\neg\text{Legendre} \implies \text{零点聚集} \implies \text{违反近临界带 DH}$$

两条路的共同障碍也相同：正向路线在 $\varepsilon$ 余项处失守（DH 只给"几乎最优"，严格无 $\varepsilon$ 的逐点结论尚缺），反向路线在局部化时失守（现有 DH 结论为全局均值形式，对特定点 $x = N^2$ 的局部控制能力有限）。这一"两路相遇于同一障碍"的结构是 Phase 2 最重要的发现之一。

---

§13.3 第三阶段：跨题大主题的识别

Phase 3 的两个大综合 agent 分别对"解析核心组"和"跨界整合组"做了归纳，识别出以下几个真正的跨题大主题。

主题一：$\psi$ 函数显式公式是所有路线的统一语言

Q1、Q4、Q5、Q9、Q10 五题的核心目标都可归结为一个不等式：

$$\psi((n+1)^2) - \psi(n^2) > 0$$

利用显式公式，这等价于：主项 $2n$ 能够压制零点振荡项之和

$$\left|\sum_\rho \frac{(n+1)^{2\rho} - n^{2\rho}}{\rho}\right| < 2n+1.$$

Schoenfeld（1976）风格的显式界是将五种语言（解析工具、组合直觉、充分条件、反向假设、等价重述）统一翻译的唯一接口。这不是简单的"换个写法"，而是提供了一个可数值验证、可被零密度估计直接作用的操作框架。

主题二：零点聚集 = Legendre 失败的等价刻画（核心瓶颈的精确定位）

Phase 2 的配对 A5 和 Phase 3 两个 agent 共同指出：$\neg$Legendre 等价于 $\zeta$ 零点在宽度 $O(1/N)$ 的频率窗内发生"极端同步对齐"，使得零点振荡项恰好抵消主项 $2N$。这一刻画不是定性的，而是可量化的——由 Parseval 型估计，产生 $-2N$ 的局部抵消需要该频率窗内聚集至少 $\gg N$ 个零点（具体指数待严格计算）。

这一刻画使 Legendre 猜想从一个"存在性命题"变为一个"零点分布的定量命题"：近临界带密度假设——仅要求 $\sigma \in (1/2, 1/2 + 1/\log T)$ 的窄带内零点稀疏，比完整 GRH 弱得多，也比完整 DH 弱——是目前所知蕴含 Legendre 的最弱充分条件，且在文献中尚未作为独立猜想被系统研究。

主题三：GPY 矩方法在"填满"方向的缺口

Q1、Q4、Q5 三题不约而同指向 Goldston–Pintz–Yıldırım 的二阶矩技术。GPY（2009）在"小间隙"方向证明了 $\liminf(p_{n+1}-p_n)/\log p_n = 0$，其技术体系（Maynard–Tao 多维筛，2015 年之后已高度成熟）在"小间隙"方向已接近极限。对应的"填满"方向——证明每个区间 $(n^2,(n+1)^2)$ 内至少含一素数——尚待针对 Legendre 区间专门设计权函数和筛参数。这是现有技术体系内最近的空白之一：障碍（Selberg 奇偶障碍、权函数设计的"方向相反"）已被明确定位，而不是"完全未知"。

主题四：函数域作为检验场与结构提炼源

Q2、Q3、Q7 三题都指向函数域 $\mathbb{F}_q[T]$。在那里，不可约多项式的分布由 Weil 定理（RH 的函数域版）精确控制，Legendre 类比问题完全可解，Sawin–Shusterman（2019）提供了整数情形暂无对应的精确结果。

函数域的价值不是"类比证明"（向整数提升存在根本障碍：$\mathbb{Z}$ 无 étale 上同调，$\zeta(s)$ 有无穷多零点），而是作为试验场：先在 $\mathbb{F}_q[T]$ 中跑通某一证明路线（如"局部 Gowers 范数下界 $\Rightarrow$ 不可约多项式存在"），验证其逻辑骨架可形式化，再尝试"去几何化"回整数情形，寻找算术替代品（候选：短区间上的 Hecke 算子 vs Frobenius）。这是"从已证问题提炼工具"的最现实通道。

主题五：伪随机性的多语言刻画（仍是概念层面）

GUE 排斥（Q2）、Gowers 均匀性（Q7）、Cramér 独立性（Q8）、零点极端对齐（Q10）都是同一现象的不同语言：素数不能在长区间内消失。目前这四种语言之间没有严格的互译桥梁。Phase 3 agent 提出"局部伪随机指数 $\lambda(n)$"作为候选统一量（使得 $\lambda(n) > 0$ 等价于区间内有素数），这是一个概念层面的框架，当前无法给出 $\lambda(n)$ 的具体定义和非平凡下界。此主题的价值在于提供了一个长期方向，而非近期可攻的问题。

---

§13.4 重定义：Legendre 猜想应作为什么样的研究问题

经过三阶段综合，我们建议将 Legendre 猜想从"素数存在性命题"重新定位为三个相互关联的研究问题：

重定义 I：零点局部聚集问题

若此问题的答案为肯定，则 $\neg$Legendre 所要求的"同步对齐"被禁止，Legendre 猜想成立。这一重定义的优势是：问题本身独立于 Legendre，可作为零点密度理论的子问题研究；有明确的数值验证方案（结合 LMFDB 数据）；且比完整 DH 或 GRH 弱得多，理论上更接近无条件可证范围。

重定义 II：密度假设的局部版本（近临界带 DH）

不要求全局 Density Hypothesis 成立，只需其在最靠近临界线的窄带 $\sigma \in (1/2, 1/2 + 1/\log T)$ 上成立：

$$N\!\left(\sigma, T\right) \leq T^{(2+\varepsilon)(1-\sigma)}, \quad \sigma \in \left(\tfrac{1}{2},\; \tfrac{1}{2}+\tfrac{1}{\log T}\right).$$

此条件比完整 DH 严格弱，且 Phase 3 A1 的 agent 论证（待严格化）指出：在此条件下，由 Phase 2 A5 的 Parseval 型估计可导出对所有充分大 $N$ Legendre 成立。将此蕴含关系严格化本身就是一篇值得写的论文。

重定义 III：加权平均 Legendre（条件下的几乎处处版本）

将 Legendre 的全称命题"对所有 $n$"松弛为带权平均，在 Elliott–Halberstam 猜想（指数 $1/2 + \delta$）下建立：

$$\frac{1}{X}\sum_{n \leq X} w(n) \cdot \mathbf{1}\!\left[\pi\!\left((n+1)^2\right) > \pi\!\left(n^2\right)\right] \geq 1 - o(1),$$

其中 $w(n)$ 是 GPY 风格的明确可构造权函数。这一弱版本将 GPY"小间隙"技术直接移植到 Legendre 区间，把"几乎所有 $n$ 的 Legendre 在 EH 下成立"做成定量的有效版本——目前文献中甚至这个弱版本也没有完整的书面证明。

---

§13.5 高优先级具体小命题清单

以下 4 个命题来自 Phase 3 的提炼，每一个都是独立可研究的子问题，技术难度显著低于 Legendre 猜想本身，且写成论文具有独立价值。排序按"当前技术与目标的距离"从近到远。

---

§13.6 局限性与诚实告示

本节所有"命题"和"路线图"均来自 LLM agent 的推导，而非经过同行评审的数学文本。以下几点需要明确告知：

1. 启发性 vs 实质性贡献。Phase 1–Phase 3 的主要贡献是把已有文献（BHP 2001、GPY 2009、Huxley 1972 等）重新组织和交叉关联，识别出"近临界带 DH"和"零点同步对齐"等尚未被系统研究的角度。这些角度的存在是启发性的；角度是否真正可行，需要具体数学家动手核验。没有哪个 agent 完成了哪怕一个新定理的严格证明。
2. 命题 P1、P2 的严格性未经验证。"Parseval 型估计 $\Rightarrow$ 零点聚集下界"的逻辑链在 Phase 2 A5 和 Phase 3 A1 中仅以草图形式出现。其中涉及的零点振荡项的局部 $L^2$ 估计，以及"虚部窗口宽度 $O(1/N)$"的精确推导，均需要严格的分析步骤，并非显然。
3. "近临界带 DH"作为独立猜想的地位需核实。Phase 3 建议将其作为"未被系统研究的最弱充分条件"，但我们未查阅 Iwaniec–Kowalski 教材的完整相关章节，无法确认该条件是否已在文献中有更详细的讨论。研究者在采用此框架前应做文献核查。
4. 函数域命题 P4 的定义需精确化。"平方区间"在 $\mathbb{F}_q[T]$ 中的对应物有多种自然定义，不同定义导致不同的计数问题，agent 给出的版本是候选之一，而非唯一合理的类比。
5. BHP 之后 20 年几乎无无条件改进，这是真实的困难。本节的乐观语气不应掩盖这一事实：从 $\Delta = 0.525$ 到 $\Delta = 0.5$ 的缺口，在解析数论界被广泛认为需要本质上新的想法，而非现有工具的精化。上述所有路线图都没有绕过这一根本困难，只是更清晰地描述了它在哪里。

综上，本节的最佳用途是：作为文献检索和研究立题的起点清单，帮助研究者快速定位"哪些交叉方向尚未被系统尝试"，而不是作为可直接引用的数学论证。命题 P1–P4 若经严格核验确实成立，则每一个都值得写成一篇论文；但"经严格核验"这一步，需要真实的数学工作。

15. 命题深入研究（Template 2 v2 流水线产出）

对 §13.5 的 4 个高优先级命题，用 Template 2 v2 流水线（5 层 + feedback + kill switch）做严格验证。每个命题独立 HTML 笔记 + Python 代码 + 决策日志。

命题	陈述摘要	Verdict	关键发现	链接
P1	¬Legendre(N) ⟹ ζ 零点在近临界带超聚集	GO-revision	β 分段修复 σ 过滤 gap；P1↔P2 对偶结构；充要降单向	→ 命题 1
P2	完整 DH → Legendre（n≥n₀，显式界）	GO-revision	G-M 2024 gap n^{0.231}→∞；过渡带 σ∈(1/2+C/logT, 5/8) 是决定性断裂点	→ 命题 2
P3	多项式型 EH 下几乎处处 Legendre（密度 1）	GO	{n²} 上 BV/EH 是文献空白；Heath-Brown 1978 填 Gap 3；Abel 归约引理可单独发表	→ 命题 3
P4	F_q[T] 中平方区间含不可约多项式（q>2d，无条件）	GO（strong）	唯一无需未证猜想的命题；Weil 路线完整；Conrad 2001 精确界；3 步达发表	→ 命题 4