@@M@@\Re s>7/8@@结果族 003：The quasi-Riemann hypothesis · 学科：Number theory（数论） · 验证状态：主结果已 Lean 形式化
素数分布是否安稳，取决于黎曼 ζ 函数的零点藏在哪里——零点像乐曲里的杂音源，越靠近”右侧边界线” @@M@@s=1@@，素数的波动越诡异。黎曼猜想断言所有杂音都精确排在中线上，至今没人能证。这篇论文先拿下一个弱得多却压倒性的一步：右侧 7/8 以后，一根杂音都没有。
关键词卡片
@@M@@\zeta(s)=1+1/2^s+1/3^s+\cdots@@，编码素数分布的核心函数。@@M@@0<\Re s<1@@，ζ 的非平凡零点全部落在其中。@@M@@\Re s>7/8@@ 的区域，本文证明这里没有任何零点。@@M@@p@@ 下第一个不是平方数的正整数；本文顺带证明了 Vinogradov 关于它的猜想。看个具体例子
把结论画在 @@M@@s@@ 平面上：横轴是实部。所有非平凡零点只能住在临界带内，已知零点都排在中线 @@M@@\Re s=1/2@@ 上（黎曼猜想：全部如此）；本文证明右侧灰色禁区 @@M@@\Re s>7/8@@ 内没有零点（@@M@@s=1@@ 处是极点，不计）。
禁区离边界只剩 1/8，看似很小，却是质变：1896 年素数定理以来的经典无零点区域会随导子增大而缩向直线 @@M@@\Re s=1@@，而这是第一个固定的半平面。
为什么值得关心
“零点离 1 有多远”直接控制素数分布的误差；固定禁区还顺带导出最小二次非剩余的多项式对数上界与求平方根的快速确定性算法。
主结果（7/8 无零点半平面）已 Lean 形式化；同族 11/12 备择证明路线暂无形式化证明（AI 结果待核验）
第一级台阶
导读把素数分布比作一首乐曲、ζ 的零点比作杂音源：对象是编码素数信息的一个无穷级数，操作是问”杂音最右能跑到哪”。黎曼猜想断言杂音全排在中线上，本文先证一个压倒性的弱化版：右侧固定宽度的区域里，一根杂音都没有。
第二级台阶
精确化概念：ζ(s) 与更一般的 Dirichlet L-函数 L(s,χ)（χ 为模 q 乘法特征）都在临界带 0<Re s<1 内有”非平凡零点”；Hecke L-函数则是数域 F=ℚ(√−3) 上射线类群特征的对应物。”无零点半平面”指存在固定常数 σ₀<1，使 Re s>σ₀ 内整个族一致无零点——经典区域的 σ₀ 随导子、高度增大而趋近 1，固定 σ₀ 是质变。
第三级台阶
定理 1.1 的语境是：自守理论（模态、函数方程、解析延拓）已就位，无任何附加假设，但必须对整个 Hecke 族一致陈述——因为证明中 Poisson 求和的行会自动引入目标特征的有限阶 Hecke 扭转，只盯 ζ 躲不开。结论：F 上全体有限阶 Hecke L-函数与全体 Dirichlet L-函数（含 ζ）在 Re s>7/8 内无零点，仅许主特征在 s=1 的极点；这排除了该范围内一切例外实零点。经函数方程与 BIMS 的弱 GRH 框架，顺带得最小二次非剩余 n(p)≤C(log p)^A（Vinogradov 猜想）与求 𝔽ₚ 平方根的确定性多项式时间算法。
本文证明 @@M@@\mathbb Q(\sqrt{-3})@@ 上全体有限阶 Hecke @@M@@L@@-函数及全体 Dirichlet @@M@@L@@-函数（含 @@M@@\zeta(s)@@）在半平面 @@M@@\Re s>7/8@@ 内无零点（仅允许主特征在 @@M@@s=1@@ 的极点），从而肯定地解决拟黎曼猜想，并连带证明 Vinogradov 最小二次非剩余猜想。
1859 年黎曼把 @@M@@\zeta(s)@@ 的零点与素数分布联系起来，并猜想非平凡零点全落在临界线 @@M@@\Re s=1/2@@ 上——黎曼猜想至今未决。一个弱得多的问法是：是否存在固定常数 @@M@@\sigma_0<1@@，使 @@M@@\zeta@@ 在整个半平面 @@M@@\Re s>\sigma_0@@ 内无零点？这称为拟黎曼猜想（quasi-Riemann hypothesis，见 Billington 等 2025）；对所有 Dirichlet 特征一致的版本在 Friedlander–Goldston（1997）中已有明确表述。1896 年 Hadamard 与 de la Vallée Poussin 排除了 @@M@@\Re s=1@@ 上的零点从而得到素数定理，但经典无零点区域随导子与高度增大而缩向直线 @@M@@\Re s=1@@，甚至允许一个例外实零点（Landau–Siegel 零点）；Guth–Maynard 型零点密度估计只限制零点个数，不能逐一排除。长期卡点是：没有手段能在固定半平面内一致排除全部零点。
主定理：设 @@M@@F=\mathbb Q(\sqrt{-3})@@。每个有限阶 Hecke 特征（finite-order Hecke character，即射线类群特征）的 Hecke @@M@@L@@-函数 @@M@@L_F(s,\eta)@@ 在 @@M@@\Re s>7/8@@ 内无零点；每个 Dirichlet @@M@@L@@-函数 @@M@@L(s,\chi)@@ 亦然——模 @@M@@1@@ 的特征即 @@M@@\zeta(s)@@；主特征在 @@M@@s=1@@ 的极点除外。等价地，@@M@@\zeta@@ 非平凡零点实部的上确界不超过 @@M@@7/8@@。边界线本身不在结论内，且这远弱于黎曼猜想。
推论：存在绝对常数 @@M@@C,A>0@@，使每个奇素数 @@M@@p@@ 的最小正二次非剩余（least quadratic nonresidue）@@M@@n(p)\le C(\log p)^A@@（论文取 @@M@@A=32@@ 即可），这证明了 Vinogradov 最小非剩余猜想；由此还得到求 @@M@@\mathbb F_p@@ 中平方根的确定性多项式时间算法。
引擎是一个统一的”延拓判据”（continuation criterion）。令 @@M@@\beta_*@@ 为 @@M@@F@@ 上全体本原有限阶 Hecke @@M@@L@@-函数在 @@M@@1/2\le\Re s\le1@@ 内零点实部的上确界，目标是证 @@M@@\beta_*\le7/8@@。判据说：若对每个目标特征 @@M@@\eta@@ 都能构造探针 @@M@@J_\eta(Z)@@（光滑化特征和），同时满足低估计 @@M@@|J_\eta|\ll Z^{C(\sigma_0)+\omega}@@ 与高估计 @@M@@|J_\eta-f_\eta|\ll Z^{C(\beta_*)-\sigma}@@，其中 @@M@@f_\eta@@ 是含 @@M@@H_\eta(s)/L_F^{\mathcal S}(s,\eta)@@ 的 Mellin 积分（@@M@@H_\eta@@ 全纯且接近 @@M@@1@@），且正余量 @@M@@\omega,\sigma@@ 与 @@M@@\eta@@ 无关，则 @@M@@\beta_*>\sigma_0@@ 必假：两式合并给出 @@M@@|f_\eta|\ll Z^{C(\beta_*)-\varepsilon_*}@@，对其取 Mellin 变换便把 @@M@@1/L_F^{\mathcal S}(s,\eta)@@ 全纯延拓到 @@M@@\Re s>\beta_*-\varepsilon_*@@；而按 @@M@@\beta_*@@ 的定义，某目标的 @@M@@L@@-函数在那里有零点，其倒数应有极点，矛盾。
探针在艾森斯坦整数环 @@M@@\mathcal O@@ 上构造：把 Patterson 三次 theta 级数（cubic theta series）的磨光傅里叶系数对六次剩余特征（sextic residue character）与目标 @@M@@\eta@@ 平均，完成后的指标形如 @@M@@cn^3@@。同一个和有两条独立表示。低估计一侧：经完备三次 theta 反射（源自 Kubota 的 metaplectic 理论）变形系数，二次大筛法（large sieve）控制反射行的均方；加性部分展开为 @@M@@\mathbb C/\mathcal O@@ 中的既约分数，由平面加性大筛法控制；再以柯西不等式合并。高估计一侧：对平均变量作 Poisson 求和，非零频率形如 @@M@@ua^6@@（@@M@@u@@ 六次幂自由），局部 Euler 恒等式把每行写成 Hecke @@M@@L@@-函数之商与受控 Euler 乘积，其中 @@M@@u=1@@ 的主行恰含 @@M@@1/L_F(s,\eta)@@，其留数给出 @@M@@f_\eta@@ 的非零倍数。零点检测器（zero detector）为有限 Hecke 扭转族分配无零点矩形：在固定下限 @@M@@51/100@@ 之上选出零点的行会产生两个大 Dirichlet 多项式（一带理想 Möbius 系数的截断倒数，一不带），六次大筛法（发展自 Heath-Brown 等的递归思路）限制此类行的数目。
证明分两阶段推进。第一阶段取对称尺度 @@M@@l_x=l_y=1/2@@、@@M@@C_{\mathrm I}(s)=s-2/3@@，只用逆多项式行计数，在 @@M@@\sigma_0=11/12@@ 验证判据（余量 @@M@@1/4800@@），先得 @@M@@\beta_*\le11/12@@。第二阶段反设 @@M@@\beta_*>7/8@@ 并做三处改造：其一，素补偿——在探针中插入选定素数槽并作相消组合，抵消高侧多余的标量 Euler 贡献；其二，改用不对称尺度 @@M@@l_x=17/48@@、@@M@@l_y=23/48@@ 与 @@M@@C_{\mathrm{II}}(s)=s-11/16@@；其三，补两个独立的矩归纳（带素因子的逆矩与无标记矩），每步用两次有限 Poisson 变换缩短行区间，高度参数则最后选定以吸收全部高度因子。收尾经二次转移：@@M@@\chi@@ 与理想范数复合给出 @@M@@F@@ 上 Hecke 特征，且 @@M@@L_F^{\mathcal S}=L^{S}(s,\chi)\,L^{S}(s,\chi\chi_{-3})@@（@@M@@s=1@@ 处由 @@M@@L(1,\chi_{-3})=\pi/(3\sqrt3)>0@@ 排除零极点相消），Hecke 半平面便转移到全体 Dirichlet @@M@@L@@-函数。注意：即便只关心 @@M@@\zeta@@，也须对整个 Hecke 族证明定理，因为 Poisson 行会引入目标特征的有限阶 Hecke 扭转。
任务元数据标注本文 formalized=true，主结果已 Lean 形式化（家族文档附 Lean 链接），这是最强的可信度信号。同族姊妹篇互为支撑：另一篇手稿以不同方法独立证得 @@M@@11/12@@ 零自由半平面（未形式化），与本文第一阶段互相印证；第三篇把实特征例外零点的排除量化为一致界 @@M@@(1-\beta)\log q\ge c@@。按 OpenAI 官方声明，未经形式化的结果可能存在问题；矩归纳、检测器高度分配等细节技术性较强，此处从略，请以 Lean 证明与社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
答：统一的延拓判据（第 2 节）：探针 J_η 的低估计与高估计合并后，把 1/L_F(s,η) 全纯延拓到 β−ε 之左，与 β* 的定义矛盾。它要求正余量与目标特征 η 无关——第一阶段余量仅 1/4800。第二阶段的两个矩归纳（引理 marked 与 plain，第 9–10 节）每步用两次 Poisson 变换缩短行区间，簿记最密、最易藏错。
问 2：为什么必须对整个 Hecke 族证明，而不能只证 ζ？
答：引言明说：Poisson 求和的非零频率行 ua^6 经局部 Euler 恒等式写成 Hecke L-函数之商时，会自动引入目标特征的有限阶 Hecke 扭转——探针的”高侧”读到的族比出发时大。只陈述 ζ 定理的话，证明中段就必须对扭转族无零点，等于偷偷用了要证的结论。
问 3：与经典无零点区域、Guth–Maynard 零点密度相比，真正新意是什么？
答：Hadamard–de la Vallée Poussin 以降的区域随导子与高度缩向 Re s=1，还容许一个例外实零点；Guth–Maynard 只限制零点个数。本文给出固定的半平面且逐一排除全部零点，特别地 (7/8,1) 内连 Landau–Siegel 型例外零点也不存在。工具组合（完备三次 theta 反射、六次大筛法、素补偿、不对称尺度）在此问题上是新的。
问 4：为什么边界是 7/8 而不是更好？
答：7/8 是第二阶段三处改造（素补偿抵消多余标量 Euler 贡献、不对称尺度 17/48 与 23/48、两个独立矩归纳）在正余量约束下能量收支平衡的位置。论文未讨论把方法推到更小边界的系统性障碍，也未触及 7/8 这条线本身。
问 5：AI 生成证明的典型风险在这里如何体现？
答：本文主定理已 Lean 形式化，是该风险的最大对冲。但仍需注意：推论（最小非剩余、平方根算法）依赖 BIMS 定理与 Tonelli–Shanks 的外部组合，其形式化覆盖范围论文未逐一交代；矩归纳中行族分类与”有限诱导特征族单独处理”的分支逻辑，恰是 AI 长文中易出静默遗漏之处。
问 6：下游谁会用到它？
答：直接用户是计算数论与算法方向：确定性多项式时间求 𝔽ₚ 平方根（推论 1.2，对密码实现有现实意义）、Vinogradov 最小非剩余猜想的肯定解答；素数分布误差项、特征和估计等凡引用”固定无零点半平面”的结论都可换用本文常数。同族姊妹篇把例外零点排除量化为一致界 (1−β)log q≥c，彼此互为印证。
总评
拟黎曼猜想的肯定解答且已形式化，是素数分布领域久盼的固定禁区，分量极重；剩余风险集中在未形式化的推论链条与 7/8 之外方法的可扩展性，而 RH 本身仍岿然不动。