P2 Sato-Tate + D-H 排斥 — Riemann Hypothesis

Verdict: KILL — 命题 2 的核心桥接引理（将 ζ 复偏离零点接入 Motohashi-D-H 排斥机制）在现有文献中不存在；加之信号比 GUE 背景低 3–5 个数量级，该命题以原始形式无法成立。建议降级为"GL(2) Rankin-Selberg 族 D-H 排斥显式计算命题"作为技术性贡献（完全无条件，不依赖 ζ 偏离零点假设）。

原始命题陈述（已否决）

设 $E/\mathbb{Q}$ 为非 CM 椭圆曲线，$L(s,E)$ 满足 Sato-Tate 分布（Harris-Taylor 2011 已证）。若 $\zeta(s_0) = 0$ 且 $\operatorname{Re}(s_0) = \frac{1}{2}+\delta$（$\delta > 0$），则通过 Rankin-Selberg 卷积 $L(s, E) \cdot \zeta(s)$，对任意 $H > 0$，GL(2) $L$ 函数 $L(s, \mathrm{Sym}^2 E)$ 在矩形 $$\{s : |\operatorname{Re}(s)-\tfrac{1}{2}| < \delta/2,\ |\operatorname{Im}(s) - \operatorname{Im}(s_0)| < H\}$$ 内的零点计数 $N_{\mathrm{GL}(2)}(\delta/2, H) \geq f(\delta, H)$ 而在 Sato-Tate 分布下应满足上界 $g(\delta, H) < f(\delta, H)$，从而产生矛盾。

此陈述无法成立——见下方 gap 分析。

致命 Gap：步骤 2 桥接引理缺失

最精确定位：步骤 2，"Motohashi 排斥机制适配复偏离零点"。

具体断裂处：

Motohashi (arXiv:1208.6159) 定理 1.1 的前提是存在 Dirichlet $L$-函数的实 T-例外 Siegel 零点 $\beta_T$（满足条件 (1.1)–(1.2)，即 $\beta_T$ 靠近 $\sigma = 1$，$1 - \beta_T \to 0$），并通过实轴正性论证（$L(\sigma, \chi) > 0$ 在 $\sigma > 1$ 上，极点贡献 $\sim 1/(1-\beta_T) \to \infty$ 主导）推出 GL(2) Hecke $L$-函数零点被排斥。
$\zeta$ 的偏离零点 $\rho_0 = (1/2 + \delta) + it_0$（$t_0 \neq 0$）是复零点：(a) 丧失实轴正性；(b) 距 $\sigma = 1$ 的距离为 $1/2 - \delta$，不趋于零；(c) 极点贡献仅 $O(1/\delta)$，不主导。
将 $1 - \beta_T$ 形式替换为 $\delta = \sigma_0 - 1/2$ 是无机制对应的符号重标，不构成证明。
所需"复偏离零点桥接引理"在 Motohashi (2012)、Benli-Zaman (2024)、Thorner-Zhao (2025) 及相关文献中均不存在。

第二个结构性缺陷：GUE 基准未定义

Katz-Sarnak GUE 统计仅针对函数域或临界线上的零点间距，对 $\sigma_0 > 1/2$ 区域没有严格数学定义。偏差量 $\Delta(\sigma_0, H)$ 的参照基准本身是未定义的，因此命题陈述在逻辑上不完整。

量级不匹配（数值证据）

L1.sentinel 数值实验（$H = 1000$ 时信号/背景比）：

量	值	说明
信号/背景比（$H = 1000$）	$5.24\times10^{-4}$	L1.sentinel 直接测量
$f_{\mathrm{explicit}}(\delta, H)$ 解析估计量级	$\sim \log\log H / \log H$	与数值实验一致
相对背景低	3–5 个数量级	即使桥接引理建立，信号不可观测

条件性显式公式（步骤 2 类比被接受时）： $$f_{\mathrm{explicit}}(\delta, H) = \frac{H\log\log H}{(1/2 - \delta)\,(21\log H + 107)^2}$$ 此公式的推导路径本身具有技术价值，一旦桥接引理被建立，可直接使用。

探索过程有价值的副产品

精确的文献边界刻画：首次明确指出"实 Siegel 零点"与"复偏离零点"的机制差距，通过逐字核对 Motohashi (1208.6159) 定理 1.1 的假设 (1.1)–(1.2) 与命题 2 的需求，为后续工作划定清晰的文献空白。
条件性显式公式推导：将 Benli-Zaman 显式常数（$c_1 = 10, c_2 = 1, c_3 = 107, c_4 = 1/16$）代入后的 $f_{\mathrm{explicit}}$ 完整推导，在桥接引理成立时可直接使用。
量级不匹配的定量证明：L1.sentinel 数值实验与 $f_{\mathrm{explicit}}$ 解析估计相互印证，独立于桥接引理缺失，给出"即使技术障碍被克服，此路径在可达计算范围内也不可观测"的定量结论。
GUE 基准问题的揭示：对 $\sigma_0 > 1/2$ 的零点分布，"GUE 期望"缺乏严格定义，这一基准缺失问题独立于桥接引理，是命题陈述本身的结构性缺陷——这一观察对类似路径有警示价值。

v2 修订版命题（降级）

命题 2 v2（技术性贡献版）：设 $L(s, \chi)$ 为模 $q$ 的 Dirichlet $L$-函数族，存在 Landau-Siegel 零点 $\beta_1 > 1 - 1/(10\log q)$。则对 GL(2) Hecke $L$-函数族 $\{L(s, f \times \chi)\}$（$f$ 固定，$\chi$ 跑遍模 $q$ 特征），在高度 $|\gamma| \leq T$ 范围内，使用 Benli-Zaman 显式常数（$c_1 = 10, c_2 = 1, c_3 = 107, c_4 = 1/16$）可给出 D-H 型排斥宽度的全显式下界： $$w_{\mathrm{repel}}(\beta_1, q, T) = \frac{\log(1/(16(1-\beta_1)\cdot M))}{M}, \quad M = 10\log q + \log T + 107$$

此命题：(a) 完全无条件（不依赖 ζ 偏离零点假设）；(b) 所有常数显式；(c) 文献支撑充分（Motohashi + Benli-Zaman 均直接适用）；(d) 不声称任何 RH 相关性，避免过度承诺。

时间	任务
立即（1 周）	采用 v2 降级命题陈述，放弃 ζ 偏离零点主线；撰写 3–5 页技术注记草稿
短期（1 个月）	验证 Benli-Zaman 常数从 Dirichlet 族到 GL(2) 族的移植是否存在障碍；调研"复偏离零点桥接引理"所需最小技术要件
长期（3 个月）	若桥接引理有进展，建立"加权 $L'/L$ 实部下界"技术框架；结合 Thorner-Zhao (2601.04189) 探索条件性版本

命题 2：Sato-Tate + Deuring-Heilbronn 排斥定量化 KILL