平方多项式区间的不可约元存在性 · Weil 计数直接路线 · Gowers U² 降推论 · 多智能体流水线评审 GO
整数 Legendre 猜想断言：对每个 $n \geq 1$，区间 $(n^2, (n+1)^2)$ 内存在素数。其函数域类比将整数替换为有限域上的多项式环 $\mathbb{F}_q[T]$，将素数替换为不可约多项式，将完全平方整数替换为完全平方多项式 $f^2$。
精确地，设 $q$ 为素数幂，$f \in \mathbb{F}_q[T]$ 首一不可约，$\deg f = d$。则 $f^2$ 是次数 $2d$ 的首一多项式，类比"平方数"。紧邻 $f^2$ 的"下一个平方"是 $(f + c)^2$（$c \in \mathbb{F}_q$），其差约为 $2cf \cdot T^{d-1}$，故两个相邻平方之间的"区间"可自然地参数化为
$$I_f = \{ f^2 + r \mid r \in \mathbb{F}_q[T],\ r \text{ 首一},\ \deg r = d+1 \}.$$这里 $r$ 遍历所有次数恰好为 $d+1$ 的首一多项式，正好使 $f^2 + r$ 的次数仍为 $2d$（因 $\deg r = d+1 < 2d$ 当 $d \geq 2$），且 $f^2$ 的高次系数完全固定：$I_f$ 是 $\mathcal{M}_{2d}$（次数 $2d$ 的所有首一多项式集合）中一个仿射余维 $d-1$ 的子空间。
设 $q$ 为素数幂，$f \in \mathbb{F}_q[T]$ 首一不可约，$\deg f = d \geq 2$。令 $$I_f = \{ f^2 + r \mid r \in \mathbb{F}_q[T],\ r \text{ 首一},\ \deg r = d+1 \}.$$ 若 $q > 2d$，则 $I_f$ 中含不可约多项式。
函数域 Weil 定理（Weil 1948，等价于函数域 Riemann 假设）给出 $\mathcal{M}_{2d}$ 中不可约多项式个数的精确公式：
$$\pi_{2d}(q) = \frac{1}{2d} \sum_{k \mid 2d} \mu(2d/k)\, q^k.$$主项为 $q^{2d}/(2d)$，误差满足 $|\pi_{2d}(q) - q^{2d}/(2d)| \leq q^d$（利用最大真因子 $k \leq d$）。密度为 $\rho \approx 1/(2d)$。
对仿射切片 $I_f$，Weil 字符和估计给出：
$$\#\{\text{irred} \in I_f\} = \frac{|I_f|}{2d} + E, \qquad |E| \leq C_d \cdot q^d,$$其中误差常数 $C_d$。充分条件"$I_f$ 非空"等价于主项压倒误差：$q^{d+1}/(2d) > C_d \cdot q^d$，即 $q > 2d C_d$。当 $C_d \leq 1$（由 Conrad 2001 / Wan 1997 精确界给出）时，条件简化为 $q > 2d$，与命题假设完全吻合。
| 项目 | 整数 Legendre 猜想 | 函数域命题 4 |
|---|---|---|
| "平方数" | $n^2$（整数完全平方） | $f^2$（多项式完全平方，$f$ 不可约） |
| 区间 | $(n^2, (n+1)^2)$，长度 $\sim 2n$ | $I_f \subset \mathcal{M}_{2d}$，大小 $q^{d+1}$ |
| 素性概念 | 素数 | 不可约多项式 |
| RH 状态 | 未证（整数 Riemann 假设） | 已证（Weil 1948） |
| 命题状态 | 未解（依赖未证猜想） | 可完整证明（仅用已证定理） |
Sawin & Shusterman（arXiv:1811.05281，2018/2019）在函数域短区间不可约分布方面给出迄今最强结果。设短区间定义为 $\mathcal{I}(f, h) = \{ g : \deg(g - f) < h \}$，基数 $q^h$。他们的主定理为：
对任意 $\varepsilon > 0$，当 $h \geq n/2 + \varepsilon n$ 时，$\mathcal{I}(f, h)$ 中不可约多项式个数满足渐近公式 $\pi(\mathcal{I}(f,h)) = q^h/n \cdot (1 + O(q^{-\varepsilon n/2}))$。
在 $h = n/2$ 精确处（对应命题 4，取 $n = 2d$、$h = d+1$），S-S 的方法失效：对每个非平凡特征 $\chi$，Weil 界给出 $|\sum_{g \in \mathcal{I}} \chi(g)| \leq C \cdot q^{h/2}$；需对 $\sim q^{n-h} = q^{n/2}$ 个特征求和，总误差 $O(q^{3n/4})$，而主项仅为 $q^{n/2}/(2m)$——误差远大于主项。
命题 4 面对的正是这个临界点。Weil 直接路线能在 $q > 2d$ 时绕过此障碍，原因在于 $I_f$ 的仿射结构（非一般短区间）使字符和的几何得以独立分析，误差常数降至 $C_d \leq 1$。
Keating & Rudnick（arXiv:1201.1836，2014）计算了 $\mathbb{F}_q[T]$ 中短区间不可约计数的方差（大 $q$ 极限，$n$、$h$ 固定）：
$$\operatorname{Var}_{f \in \mathcal{M}_n}(\#\{\text{irred} \in \mathcal{I}(f,h)\}) \approx \frac{q^h}{n} \cdot \min\!\left(\frac{h}{n}, \frac{n-h}{n}\right) + O(q^{h-1}).$$在临界点 $h = n/2$（取 $n = 2m$）时，方差主项为 $q^m/(4m)$，与期望 $\mu = q^m/(2m)$ 同阶。比值 $\mu/\sigma \sim \sqrt{q^m/(2m)} \to \infty$（$m \to \infty$，$q$ 固定），说明对随机 $f$ 而言，区间几乎必然含不可约元。
以下给出完整的逐步证明骨架，依据 L3.prover1 草稿，填补 Conrad 2001 引用后达到发表标准。
1次数与首一性。 $f$ 首一 $\deg d$，故 $f^2$ 首一 $\deg 2d$。$r$ 首一 $\deg(d+1)$，当 $d \geq 2$ 时 $d+1 < 2d$，故 $\deg(f^2 + r) = 2d$ 且 $f^2 + r$ 首一。因此 $I_f \subseteq \mathcal{M}_{2d}$。
2集合大小。 映射 $r \mapsto f^2 + r$ 是单射，故 $|I_f| = |\{ r \in \mathbb{F}_q[T] : r \text{ 首一}, \deg r = d+1 \}| = q^{d+1}$。
3$\mathcal{M}_{2d}$ 中不可约计数（Weil 精确公式）。 次数恰为 $2d$ 的首一不可约多项式个数为 $$\pi_{2d}(q) = \frac{1}{2d} \sum_{k \mid 2d} \mu(2d/k)\, q^k.$$ 主项为 $q^{2d}/(2d)$，余项由最大真因子 $k \leq d$ 控制，满足 $$\left|\pi_{2d}(q) - \frac{q^{2d}}{2d}\right| \leq q^d.$$
4仿射切片上的不可约计数（Conrad 2001）。 $I_f$ 是 $\mathcal{M}_{2d}$ 中余维数 $d-1$ 的仿射子空间（$f^2$ 固定最高 $d-1$ 个系数，$r$ 自由选取低 $d+1$ 个系数）。由 Conrad 2001 Thm. 1.1（或 Wan 1997 相应定理），此类子集中不可约多项式个数满足 $$\#\{\text{irred} \in I_f\} = \frac{|I_f|}{2d} + E, \qquad |E| \leq C_d \cdot q^d, \quad C_d \leq 1.$$
5正性条件。 主项 $q^{d+1}/(2d)$ 超过误差界 $C_d \cdot q^d \leq q^d$ 当且仅当 $q^{d+1}/(2d) > q^d$，即 $q > 2d$。在此条件下 $$\#\{\text{irred} \in I_f\} \geq \frac{q^{d+1}}{2d} - q^d = q^d \!\left(\frac{q}{2d} - 1\right) > 0.$$ 故 $I_f$ 含不可约多项式。$\blacksquare$
L3.advocate 指出原始表述中 Gowers U² 逻辑方向颠倒。L4.analytic 给出修复路线，L5.decision 确认降格为推论（B 方案）。正确的逻辑链如下：
$$\underbrace{\text{Weil 主项} > 0}_{\text{步骤 5}} \;\Longrightarrow\; \sum_{g \in I_f} \Lambda(g) > 0 \;\Longrightarrow\; \Lambda|_{I_f} \not\equiv 0 \;\Longrightarrow\; \|\Lambda\|_{U^2(I_f)} > 0.$$最后一个蕴含使用 $U^2$ 范数与 $L^1$ 范数的基本关系：对有限集上的非负函数，$\|g\|_{U^2} = 0$ 等价于 $g \equiv 0$（$U^2$ 范数是半范数，在有限集上与 $L^1$ 等价意义下的范数等价），故 $\Lambda|_{I_f} \not\equiv 0$ 直接推出 $\|\Lambda\|_{U^2(I_f)} > 0$。
具体下界：$\|\Lambda\|_{U^2(I_f)}^4 = \sum_\xi |\hat{\Lambda}_{I_f}(\xi)|^4 \geq |\hat{\Lambda}_{I_f}(0)|^4 / |I_f|^3 = (\sum \Lambda / |I_f|)^4 / |I_f|^{-3}$，结合 $\sum_{I_f} \Lambda \geq q^d(q/(2d) - 1)$，得 $\|\Lambda\|_{U^2(I_f)} \geq 1/|I_f|^{O(1)}$。
当 $d = 1$ 时，$\deg r = d+1 = 2 = \deg f^2$，两者最高次系数均为 1，相加后 $T^2$ 系数为 $1+1 = 2$（若 $\text{char} \neq 2$）或 $0$（若 $\text{char} = 2$），导致 $f^2 + r$ 不再首一（或次数下降）。此为集合定义的退化，命题主体应假设 $d \geq 2$。
对 $d = 1$ 的单独说明：$f = T - \alpha$（$\alpha \in \mathbb{F}_q$），一次首一不可约多项式恰好是所有 $T - \alpha$。若将区间改定义为 $\deg r \leq 1$，则 $I_f = \{ (T-\alpha)^2 + aT + b : a,b \in \mathbb{F}_q \}$，大小 $q^2$，包含大量不可约多项式（密度约 $1/2$），结论成立且简单可验。数值验证（见 §4）在 $(q,d) = (7,1)$ 中得到 $7/7$ 通过率。
在 $\text{char} = 2$ 中，$f^2$ 是 $f$ 的 Frobenius 像（系数被平方）。关键代数事实：$(f+1)^2 = f^2 + 1$，故 $I_{f+1}$ 是 $I_f$ 的一个常数平移，两者完全不相交（因 $r$ 无常数约束），结构未退化。Weil 定理在任意特征下成立，$\text{char} = 2$ 无需额外处理，但证明文本宜明确注明"Frobenius 平方不影响单射性和 Weil 估计的适用性"。
| 审稿方 | 判定 | 核心意见 |
|---|---|---|
| L4.numerical | pass | 203/203 数值验证全部通过，含 $q < 2d$ 临界情形 170/170；四命题中唯一数值 pass；密度趋势 $\sim 1/(d+1)$ 与素多项式定理量级一致 |
| L4.analytic | fixable | Gap 4（$q > 4d^2$ vs $q > 2d$）可用 Conrad 2001 修复；Gowers U² 逻辑方向修复为推论后自洽；K-R 第二矩法不能直接证命题但互补有价值 |
| L4.algebraic | fixable | $\text{char} = 2$ 无实质问题；$C_d$ 需引用 Wan 1997 / Conrad 2001 精确界；Gowers U² 框架代数上无误但逻辑颠倒，降格为推论 |
| L4.adversarial | fixable | Gowers U² 为"装饰性包装"、整数骨架声明夸大——两项均可修复（移除/降格）；精确边界 $h = n/2$ 的增量价值需具体化对比 Sawin-Shusterman；结论本身数值可信 |
| $(q, d)$ | $|I_f|$（平均） | ok / total $f$ | 平均密度 | 最低密度 | $q > 2d$? |
|---|---|---|---|---|---|
| $(2, 1)$ | 14 | 2 / 2 | 0.4286 | 0.4286 | 否（边界） |
| $(2, 3)$ | 31 | 2 / 2 | 0.1290 | 0.1290 | 否 |
| $(2, 4)$ | 63 | 3 / 3 | 0.1164 | 0.0952 | 否 |
| $(3, 1)$ | 22 | 3 / 3 | 0.3846 | 0.3846 | 是 |
| $(3, 2)$ | 110 | 3 / 3 | 0.2250 | 0.2250 | 否（$q < 2d$） |
| $(5, 2)$ | 624 | 10 / 10 | 0.2372 | 0.2308 | 是 |
| $(5, 3)$ | 3200 | 40 / 40 | 0.1649 | 0.1601 | 否（$q < 2d$） |
| $(7, 1)$ | 57 | 7 / 7 | 0.4386 | 0.4386 | 是 |
| $(7, 2)$ | 400 | 21 / 21 | 0.2483 | 0.2425 | 是 |
| $(7, 3)$ | ~2400 | 112 / 112 | 0.1657 | 0.1610 | 是 |
总计：203 / 203 = ratio 1.0000。特别地，临界情形（$q \leq 2d$）170 / 170 全部通过，表明 $q > 2d$ 是充分条件而非必要条件。
命题 4 数学核心成立，所有缺口属引用与表述层面，无数学障碍，是四命题中状态最佳者（唯一无条件可证命题）。
命题 4 精确定位了 Sawin-Shusterman 方法的临界行为：当 $h$ 接近 $n/2$ 时，Weil 字符和误差量级为 $q^d$，集合大小为 $q^{d+1}$，主项与误差之比为 $q/\text{const}$——这正是 $q > 2d$ 条件的来源。
在 Weil 界的临界点，主项仍优于误差项，但仅以有限倍数胜出（而非多项式级别优势），解释了为何 S-S 在 $h = n/2$ 处的 $\ell$-adic 论证需要额外精细性，而 Weil 直接路线在 $q > 2d$ 时能以初等特征和估计绕过这一边界敏感性。这是命题 4 相对于 S-S 的实质增量：将有效区间长度从 $q^{n/2 + \varepsilon}$ 降到 $q^{n/2}$（精确等号），利用"平方区间"的代数结构（$f^2$ 中心）提供额外控制。