结果族 182：Power savings for intersective polynomial differences and prime arguments · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
还是”挑号码躲黑名单”的游戏，但这回黑名单变薄了：多项式 h 只代入素数取值——比如只禁 (p−1)² 型的差，而不是所有平方。名单短了按理更好躲，论文却证明：只要 h 满足恰当的局部条件，你仍然躲不掉固定幂的惩罚。
关键词卡片
| 幂节省（power saving）：结论 | A | ≤ C_h·N^(1−c_h)，比 N 少一个固定幂次 |
看个具体例子
取 h(x)=(x−1)²，黑名单是
@@M@@\{1,\,4,\,16,\,36,\,100,\,196,\dots\}=\{(p-1)^2:\,p=2,3,5,7,11,\dots\}@@
| 若 A⊆{1,…,10⁶} 中任何两数之差都不在这份变薄的名单里，则 | A | ≤ C·10^(6(1−c))。素数在各个等差数列中如何分布由 L-函数的零点控制——配套的”所有 Dirichlet L-函数在 Re s>7/8 无零点”定理提供了证明所需的素数分布估计。非线性多项式配素数自变量的固定幂上界，此前从未有过。 |
为什么值得关心
素数是数论最珍贵的原料：在素数这样稀疏的地基上重建整座定量大厦，说明方法真正变强了；取 h=(x−1)² 的特例还反过来重新蕴含平方差情形的幂节省，逻辑闭环。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”黑名单变薄了”的比喻可以再说准一点：对象仍是前 N 个正整数的一个子集，操作仍是取两数之差；变化在禁令——多项式 h 不再对所有正整数取值，只对素数取值，黑名单从一条密集的长河缩减成稀疏的溪流。直觉上禁令弱了、可挑的数应当更多，论文要说的却是：在恰当条件下，惩罚依然是一个固定幂次。
第二级台阶
| 用本科语言精确化：h 称为素数交集（prime-intersective），如果对每个正整数 q 都存在与 q 互素的 r 使 h(r) ≡ 0 (mod q)——即 h 在每个模数下都有”单位根”。回避集 A 要求差集 A−A 与 {h(p) : p 为素数} 中的非零值不相交。幂节省指 | A | ≤ C_h·N^(1−c_h)，其中指数 c_h > 0 固定，C_h 只依赖 h。 |
第三级台阶
| 定理在这样的语境下陈述：h 是次数至少为二、首项系数为正的素数交集多项式，A ⊆ [N] 回避所有非零 h(p)。单位根假设挡住的是素数特有的局部障碍——素数（大体上）只落在与 q 互素的剩余类里，若 h 模 q 没有单位根，则几乎没有 h(p) 能被 q 整除，q 的倍数稍作修剪就是正密度回避集，一切衰减结论失效；首项系数为正保证名单伸向无穷。结论： | A | ≤ C_h·N^(1−c_h)。证明的解析引擎是”所有 Dirichlet L-函数在 Re s > 7/8 内无零点”这一配套定理导出的等差数列素数分布估计。 |
证明：若 @@M@@h@@ 模每个正整数都有单位根，则避开全部非零 @@M@@h(p)@@（@@M@@p@@ 取素数）之差的集合满足 @@M@@|A|\le C_hN^{1-c_h}@@。这把多项式差集的幂节省首次推广到素数自变量，关键解析输入是 Dirichlet @@M@@L@@-函数在 @@M@@\Re s>7/8@@ 的一致无零点半平面。
把 Sárközy 型定理中多项式的自变量限制为素数，回避条件更弱、问题更难，且出现新的局部障碍：模 @@M@@q@@ 的根须落在与 @@M@@q@@ 互素的剩余类（单位根，unit root）。Wierdl 给出这一条件的定性刻画，Rice（2013）据此对素数交集多项式证明了对数型界 @@M@@N(\log N)^{-c}@@。素数变量的历史：Sárközy 处理 @@M@@p\pm1@@ 型位移，Green（2024）对 @@M@@p-1@@ 得到幂节省，Thorner–Zaman 给出显式指数，Li–Pan 处理 @@M@@h(1)=0@@ 的特例；但非线性多项式此前没有幂节省。卡点在于：核方法需要”一致于模数的素数分布”与”素数上的多项式指数和相消”，而经典零点自由区域不够强，素数权也远比整数权难于差分。
定理（Theorem 1.1）：设 @@M@@h\in\mathbb{Z}[x]@@ 素数交集（prime-intersective，即对每个 @@M@@q\ge1@@ 存在 @@M@@r@@ 使 @@M@@(r,q)=1@@ 且 @@M@@h(r)\equiv0\pmod q@@）、次数至少二、首项系数为正，则存在 @@M@@c_h>0@@ 与 @@M@@C_h\ge1@@：凡 @@M@@A\subseteq[N]@@ 满足 @@M@@(A-A)\cap\{h(p):p\in\mathbb P\}\subseteq\{0\}@@，必有 @@M@@|A|\le C_hN^{1-c_h}@@。@@M@@h(p)=0@@ 不限制 @@M@@A@@（允许 @@M@@h@@ 有素数根）。一个例子：@@M@@h(x)=(x-1)^2@@ 只禁 @@M@@(p-1)^2@@ 型差已得幂节省，从而也重新蕴含平方差情形的幂节省。
框架整体移植自族内交集多项式篇：反射正 tuple 律、Fourier 提升、符号核、收缩递归一应俱全；新困难有二。其一，tuple 律须与单位剩余类相容——指定圈的增量要能实现为素数自变量可取的局部多项式值；其二，核须支在素数自变量的真实多项式取值上，需要新的素数分布估计。
素数分布侧是本篇独有内容：从配套的无零点定理（一切 Dirichlet @@M@@L@@-函数，含非本原特征，在 @@M@@\Re s>7/8@@ 无零点，允许主特征在 @@M@@s=1@@ 的极点）出发，先用 Borel–Carathéodory 得对数导数界 @@M@@L'/L\ll\log(2b(2+|t|))@@，再用 Mellin 反演做光滑和、把积分轮廓移到 @@M@@\Re s=15/16@@，最后对非负的等差素数和做锐利差分（取 @@M@@H=x^{31/32}@@），得到一致素数定理 @@M@@\sum_{n\le x,\,n\equiv c\,(b)}\Lambda'(n)=x/\varphi(b)+O(Y^{31/32}\log^2)@@。小弧则用 Vaughan 恒等式（Vaughan’s identity）拆分素权，配合单变量与混合 Weyl 差分（文中说明乘积截断不破坏差分），对素数多项式指数和给出 @@M@@Y^{1-c_m}@@ 型相消。
辅助族带伴随自变量映射 @@M@@T_l@@（@@M@@T_1(m)=m@@，@@M@@T_l(Dm-i)=T_{lD}(m)@@，结构出自 Rice）：”在 @@M@@l@@ 处回避”指差避开一切使 @@M@@T_l(m)@@ 为素数的非零 @@M@@h_l(m)@@，这使素数自变量条件沿等差数列精确传递。
收敛归纳与前身同构：定义 @@M@@\mathcal Y_l(N)@@ 为 Fourier 提升的对角积分，先立密度不等式 @@M@@(|A|/N)^d\le\mathcal Y_l(N)@@ 与普适上界 @@M@@\mathcal Y_l(N)\ll N^{o(1)}@@（对一切 @@M@@l@@ 成立，无 @@M@@l\le N^\zeta@@ 限制）；对固定正比例 @@M@@\rho_l\ge\rho_*@@ 的好指派，用素数核沿指定圈边得 @@M@@N^{-\sigma}@@ 相消，坏指派与例外质量经更短尺度比较控制；容斥展开后得严格收缩递归，对一切 @@M@@l@@ 同时强归纳给出 @@M@@\mathcal Y_l(N)\le C_0l^{b_0}N^{-a_0}@@。取 @@M@@l=1@@（此时 @@M@@h_1=h@@、@@M@@T_1(m)=m@@，正是定理的回避条件）得 @@M@@|A|\le C_0^{1/d}N^{1-a_0/d}@@，即 @@M@@c_h=a_0/d@@。只有严格有序对（正差）参与相消，故 @@M@@h(p)=0@@ 始终无害。
本篇暂无形式化证明。其反射正 tuple 律与 Fourier 提升矩估计直接复用或重证族内交集多项式篇的内容；素数分布所依赖的无零点半平面定理则引用同批配套论文作为定理输入。方法链（平方 → 一般交集多项式 → 素数自变量）三篇分别覆盖三类禁差集合，结论与技巧互相支撑；素数篇成立时取 @@M@@h=(x-1)^2@@ 即回到平方情形，逻辑上闭合。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：全文最脆弱的一环是哪里？
（答：kernel 一节——要让支在”素数自变量的真实多项式值”上的符号核，其 Fourier 变换与 tuple 律给出的对乘子一致接近。大弧需要素数在等差数列中的一致分布，小弧要靠 Vaughan 恒等式拆素权、再做 Weyl 差分。素权远比整数权难差分，论文还须专门说明”乘积截断不破坏差分”；这里任何一处相消指数算错，收缩递归就闭合不上。）
问 2：为什么非要 Re s > 7/8 的无零点半平面，经典零点自由区域不够吗？
（答：不够。Rice（2013）用经典输入只得到 N(log N)^{−c} 型对数界；本文需要形如 Σ_{n≤x, n≡c (b)} Λ′(n) = x/φ(b) + O(Y^{31/32} log²) 的一致素数定理，误差项必须是固定幂次的——这只有从固定无零点半平面定理（配套论文 [ZeroFree]）经 Borel–Carathéodory 与 Mellin 反演才能推出。）
问 3：单位根条件能去掉吗？
（答：不能。素数（除有限多个外）只落在与 q 互素的剩余类；若 h 模 q 无单位根，则被 q 整除的 h(p) 至多有限个，q 的倍数去掉有限处修剪后就是正密度回避集，连密度趋零都不成立。这与 Wierdl 的定性刻画一致。）
问 4：与 Rice、Green 等相比真正新意是什么？
（答：Rice 覆盖一切素数交集多项式但只有对数型节省；Green（2024）与 Thorner–Zaman 只处理 p±1 这类线性位移。本文是首个对非线性素数参数多项式的固定幂上界，且 h(x)=(x−1)² 特例反过来重新蕴含平方差情形的幂节省。）
问 5：这类 AI 生成证明最可能出什么错？
（答：最大的结构性风险是”借来的发动机”——无零点半平面是同批配套论文的定理输入，本文并未自证。若那篇有误，本文直接坍塌；这类同一批 AI 产出互相引用、无外部独立核验的依赖链，是系统性而非孤立的失败模式。其次，辅助族沿等差数列传递素数性所依赖的自变量映射 T_l 若在某处不再映到素数，归纳的基础便会松动。）
问 6：h(p)=0 的约定为何无害？
（答：只有严格正差（有序对）参与相消；h 有素数根时取值 0 被排除在禁令外，而核的相消只发生在非零增量上，论文明确说明这不影响任何步骤。）
总评
（这是”平方 → 一般交集多项式 → 素数自变量”方法链的收官一环，把定量 Sárközy 理论推到了素数地基上，分量很重；但它把命运押在未经形式化的配套零点定理上，整条链的可信度等于其最弱一环。）