结果族 023：Patterson’s first moment for cubic Gauss sums · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
对每个合适的素数，数学家会算出一个落在单位圆上的复数——像掷在圆桌上的骰子。Kummer 1846 年手算发现这些骰子似乎”偏正”，此后近两百年没人能严格证明偏差真的存在。这篇论文做到了：单个看毫无规律，但把账本加总，确实有一笔大小精确、方向为正的系统性盈余。
关键词卡片
看个具体例子
把不超过 X 的本原 Eisenstein 素数上的 G(π) 全部加总，定理给出 @@M@@\sum G(\pi)=\frac65 c_*\frac{X^{5/6}}{\log X}+o(\cdot)@@，其中 @@M@@c_*=(2\pi)^{2/3}/(3\Gamma(2/3))\approx 0.838@@，系数 (6/5)c*≈1.01：盈余约为一倍的 X^{5/6}/log X，不算大，但恒正且精确。
为什么值得关心
Patterson 1978 年猜想的这颗钉子终于落地：把 Dunn–Radziwiłł 2024 年依赖广义黎曼假设的条件结果升级为无条件定理，三次互反世界的”偏差之争”就此定案。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”单位圆骰子 + 账本盈余”换成半数学语言：对象是每个合适的素数所附带的一个复数——它落在单位圆上、单个看毫无规律；操作是把不超过某个上限的全部这类复数一笔笔加进账本（求第一矩）。Kummer 1846 年手算嗅到的”偏正”，现代表述为：账本总量里恒有一笔方向为正、大小精确到常数的系统性盈余，它比素数计数尺度小一个幂次，藏在等分布的噪声之下。
第二级台阶
用本科术语：Eisenstein 整环 O=Z[ω]（ω 为三次单位根）里，与 3 互素的元素在本原（同余 1 mod 3）条件下生成元唯一；三次剩余符号 χ_b 是”谁是立方”的三次版勒让德符号。对每个本原素数 π 定义规范化三次 Gauss 和 G(π)：它是 χ_π 与加性振荡因子在模 π 剩余类上的平均乘 N(π)^{-1/2}，绝对值为 1。Kummer 和 S_p 与共轭素理想上的 G 之和精确配对。
第三级台阶
定理的语境：主项为 (6/5)c·X^{5/6}/log X（c=(2π)^{2/3}/(3Γ(2/3))），求和遍历范数不超过 X 的全部本原素数——包括分裂素数上方的两个共轭素理想，惯性素数仅贡献 O(√X)；截断是尖的，不是光滑化的。本原性挡住了每个理想的生成元二义，等分布定理（1979）只控制 X/log X 尺度、与更小的持续偏置相容，三次大筛只给 O(X^{5/6+ε}) 上界——定理恰在两者的缝隙里。证明把 G(π) 与初等模型 cN(π)^{-1/6} 逐二进区间比较：尖截断引入高达 X^{1/6+ρ} 的 Mellin 高度，需分普通块与高块处理；核心是精确素数分解（用二项式权重分离双线性两侧系数）、修正色散（立方频率精确重现模型项、格点常数恰为 c²），以及两个大筛死角构型上的多长度矩加非对角 Gram 估计。
在不依赖 GRH 等任何未证假设的前提下，本文证明了 Patterson 第一矩猜想：全体本原 Eisenstein 素数上规范化三次 Gauss 和之和有显式主项 @@M@@\frac65c_*X^{5/6}/\log X@@，且每个固定非零角 Fourier 模式在此尺度相消，将 Dunn–Radziwiłł 的 GRH 条件结果无条件化。
对有理素数 @@M@@p\equiv1\pmod3@@，Kummer 和（Kummer sum）@@M@@S_p=\sum_{x\bmod p}e(x^3/p)@@ 自 Kummer 1846 年的数值观测起就显示出偏向正值的迹象。在现代语言中，它对应 Eisenstein 整环 @@M@@\mathcal O=\mathbb Z[\omega]@@ 上的三次剩余符号（cubic residue symbol）@@M@@\chi_b@@ 与规范化三次 Gauss 和 @@M@@G(b)=\frac{1}{\sqrt{N(b)}}\sum_{v\bmod b}\chi_b(v)e(\Tr(v/b))@@；在素数处 @@M@@|G(\pi)|=1@@。Heath-Brown 与 Patterson（1979）证明这些值在单位圆上等分布，但那只控制素数计数尺度 @@M@@X/\log X@@，与一个更小而持续的偏差相容。Patterson（1978）预测在 @@M@@X^{5/6}/\log X@@ 尺度上存在显式偏置；Heath-Brown 的三次大筛法（cubic large sieve，2000）只给出 @@M@@O_\epsilon(X^{5/6+\epsilon})@@ 上界。Dunn 与 Radziwiłł（Annals of Mathematics 2024）在 Hecke @@M@@L@@-函数的广义黎曼假设（GRH）下证明了光滑化版本的第一矩；如何去掉 GRH 并处理尖截断（sharp cutoff），正是此前卡住的两大难点。
记 @@M@@c_*=(2\pi)^{2/3}/(3\Gamma(2/3))@@。主定理断言：当 @@M@@X\to\infty@@ 时
@@M@@D\sum_{\substack{N\pi\le X\\ \pi\equiv1\pmod3\ \mathrm{prime}}}G(\pi)=\frac65c_*\frac{X^{5/6}}{\log X}+o\!\left(\frac{X^{5/6}}{\log X}\right),@@
求和遍历 @@M@@\mathcal O@@ 中所有本原素数（primary，即同余 @@M@@1\bmod3@@ 的素数），包括分裂有理素数上方的两个共轭素理想；惯性素数（inert prime）总贡献仅 @@M@@O(\sqrt X)@@。由配对公式 @@M@@G(\pi)+G(\bar\pi)=S_p/\sqrt p@@ 立得有理素数形式
@@M@@D\sum_{p\le X,\;p\equiv1\pmod3}\frac{S_p}{2\sqrt p}\sim\frac35c_*\frac{X^{5/6}}{\log X}=\frac{(2\pi)^{2/3}}{5\Gamma(2/3)}\frac{X^{5/6}}{\log X},@@
这正是 Wan 猜想 4.13 的系数。附录定理进一步证明：对每个固定整数 @@M@@\ell@@，插入角 Fourier 模（angular Fourier mode）@@M@@\theta_\ell(\pi)=(\pi/|\pi|)^\ell@@ 后，@@M@@G(\pi)@@ 与初等模型 @@M@@c_*N(\pi)^{-1/6}@@ 的比较仍成立；且 @@M@@\ell\ne0@@ 时扭矩为 @@M@@o_\ell(X^{5/6}/\log X)@@。结合恒等式 @@M@@G(\pi)^3=-\pi/|\pi|@@，对一切 @@M@@3\nmid k@@、@@M@@|k|>1@@ 的固定整数 @@M@@k@@ 也有 @@M@@\sum G(\pi)^k=o(X^{5/6}/\log X)@@，即 Patterson 互补猜想（关于 @@M@@G(\pi)^k@@，@@M@@k\notin\{0,\pm1\}@@）中 @@M@@3\nmid k@@ 的部分；@@M@@k@@ 为 3 的非零倍数的情形仍然开放。
证明的总目标，是在每个二进素数区间上把 @@M@@G(\pi)@@ 与初等模型 @@M@@c_*N(\pi)^{-1/6}@@ 比较——由素理想定理与分部求和，模型和恰好给出 @@M@@(6/5)c_*@@ 主项。难点在于必须使用尖截断：论文用 Fourier 截断把区间示性函数换成光滑版本，代价是引入高达 @@M@@T\ll X^{1/6+\rho}@@ 的 Mellin 高度（Mellin height），于是估计按”普通块”（@@M@@T\ll X^{0.01}@@）与”高块”分别准备。先做精确的素数分解：用精确素检测器暴露一组中等大小的素数，再用按范数分袋（bin）的停止规则与替代乘积（surrogate product）控制 Möbius 展开，并以二项式权重 @@M@@\binom{k_++k_-}{k_+}^{-1}@@ 把跨袋因子精确分摊，使素数和恒等分解为 Type I 项（外层水平 @@M@@r@@ 受控、内层 @@M@@u@@ 自由）与双线性项（@@M@@AB\asymp X@@，@@M@@B\ll\sqrt X@@），两侧系数严格独立——避免了传统做法中最小素数截断把两侧耦合的困境。再逐类估计：Type I 项在低高度使用 Dunn–Radziwiłł 的无条件 level Voronoi 公式，Möbius 反演去掉立方补全后，其留数与模型的格点计数完全一致，弃去的立方因子由三次大筛法控制；高 Mellin 高度上不再扣除模型，改用 Heath-Brown 的 metaplectic 均方估计直接压制 Gauss 和项。双线性项经开方与 Poisson 求和后发现：非零频率中恰为立方的部分不是误差，而精确重现模型项——”修正色散（corrected dispersion）”把它扣掉，其格点渐近常数经 Riesz 核计算恰为 @@M@@c_*^2@@；剩余频率用两类大筛法控制，只余两个例外导体长度构型 @@M@@(P,Q)=(Y,1)@@ 与 @@M@@(Y^{1/3},Y^{1/3})@@。这两个构型专章处理：利用系数是素数序列独立光滑卷积的结构，先以短卷积恒等式 @@M@@\Lambda=(2m-m*m*1)*\log N@@ 拆分权重，满长度因子由 Hecke @@M@@L@@-函数的函数方程缩短为对偶短多项式，再对不同长度的矩做鸽笼与极限指数反证，最后用 Bombieri–Halász–Montgomery 型非对角 Gram 估计导出矛盾。最后组装：低高度用修正色散加 Cauchy 不等式；高高度把两个范数变量同时切成宽 @@M@@1/J@@ 的胞腔，乘积边界附近的胞腔只有 @@M@@O(1)@@ 个邻居，局部化对角线由此获得 @@M@@J^{-1/2}@@ 节省，远离边界则对高度积分反复分部积分；唯一的对数过渡——三个范数几乎相等的素数之积——由素数稀疏性给出 @@M@@L^{-3/2}@@ 节省，足以吸收分解产生的多项式个片段。附录把上述接口移植到固定角模式，关键新输入是具固定无穷型（infinity type）Hecke 特征的函数方程与相应素数定理。
本文主结果暂无形式化证明，验证状态以社区核验为准；OpenAI 官方亦声明”未经形式化的结果可能有问题”。论文明确列出全部外部输入（三次互反律、Heath-Brown 的三次大筛法与 metaplectic 均方、Dunn–Radziwiłł 的无条件 Voronoi 公式与留数），并强调不使用任何依赖 GRH 的取消估计；对所引 DR2024 版本中两处打印系数的矛盾，作者以备注如实指出而非默认调和。本批任务中该结果族仅此一篇手稿，族概述（主项阶 @@M@@X^{5/6}/\log X@@、固定非零素角模式更低阶）与本文两个定理一一对应。
问 1：证明里最关键、也最可能断的一步是什么？
（答：两个例外导体长度构型 (P,Q)=(Y,1) 与 (Y^{1/3},Y^{1/3})——大筛在其余频率都有效、唯独此处失效的死角。论文用素数序列独立光滑卷积的结构，以短卷积恒等式拆分权重、函数方程缩短为对偶短多项式，对不同长度的矩做鸽笼与极限指数反证，最后靠 Bombieri–Halász–Montgomery 型非对角 Gram 估计导出矛盾。反证链条长，任何一步的指数退让都会让死角复活。）
问 2：论文明确”不改进三次大筛”，那它靠什么绕开？
（答：Heath-Brown 的大筛对任意系数只给 O(X^{5/6+ε})；论文的立场是所需的取消只发生在结构化的素多项式里——两侧系数是素数序列的独立光滑卷积这一限制在每个应用处保留，配合”几个长度的矩归约到 Gram 估计严格更强的区域”。这是刻意收窄战场而非强攻大筛。）
问 3：与 Dunn–Radziwiłł 2024 相比真正的新意是什么？
（答：三点。其一，无条件：DR 的 level Voronoi 公式与留数被原样进口，但一切 GRH 依赖的取消估计都不用，改用上述结构化矩论证。其二，尖截断：DR 只证光滑化版本，去光滑权需要高达 X^{1/6+ρ} 的 Mellin 高度控制，论文用双范数变量局部化在对角附近拿到 J^{-1/2} 节省。其三，系数独立性：精确素检测器加按范数分袋的停止规则与二项式权重，避免了传统最小素数截断把双线性两侧耦合的困境。）
问 4：主项系数 (6/5)c* 的归属有没有隐患？
（答：有，且论文自己挑明了（Remark normalization）：DR2024 引用的版本把 (6/5)c* 同时印在有理素数猜想 1 和全本原素数展示式两处，而这两者在配对公式 G(π)+G(π̄)=S_p/√p 下不能同时等价成立。本文证明的是后者，有理推论是 Σ S_p/(2√p)∼(3/5)c*X^{5/6}/log X，恰为 Wan 猜想 4.13 的系数；作者拒绝默认调和两处印刷矛盾。这是少见的诚实，也意味着”证的是哪个陈述”需读者自行对表。）
问 5：AI 生成证明在这篇上最可能的出错模式？
（答：装配与接口。修正色散要求”立方频率精确重现模型项、Riesz 核格点渐近常数恰为 c*²”——常数对不上整个主项就错位；高块处放弃扣除模型、直接用 metaplectic 均方压制，与低块的修正色散在中间高度的衔接是敏感接口。此外对进口输入（Voronoi 公式、留数）的 uniformity 声明是否与 DR 原文一致，需逐条核对。本文未经形式化。）
问 6：下游还有多少没解决？
| （答：Patterson 互补猜想预测对一切固定 k∉{0,±1} 的 ΣG(π)^k=o(X^{5/6}/log X)；本文经恒等式 G(π)³=−π/ | π | 只拿到 3∤k 的部分，k 为 3 的非零倍数需要角 Hecke 素数和的更强信息，仍开放。角模式定理也只对固定 ℓ 成立，不宣称随增长角参数的一致性。） |
总评
（把 Annals 级条件结果无条件化、并补上尖截断，是三次互反世界”偏差之争”的定案之作；最大风险在两个死角构型的反证链与进口接口的 uniformity，宜由解析数论专家专项核验。）