结果族 182：Power savings for intersective polynomial differences and prime arguments · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
| 从 1 到 N 里挑数，规则只有一条：任何两个挑中的数相减，差不能是非零完全平方——连差 1 都不行，所以相邻两数不能都要。这种集合叫”平方差自由集”，它能有多大？论文给出第一个固定幂上界 | A | ≤ C·N^(1−c)，正面回答了 Green–Sawhney 的公开问题。 |
关键词卡片
| 幂节省（power saving）：上界从”占比趋于零”强化为 | A | ≤ C·N^(1−c)，c 为绝对常数 |
看个具体例子
数轴上 {1,4,7} 是合法的：两两之差只有 3、3、6，都不是平方。
而定理说：N 变大时任何合法集都撑不过 C·N^(1−c)，如 N=10^6 时上界为 C·10^(6(1−c))（指数 c 为正但极小，论文不给数值）。推论：把 1..N 染色使同色两数之差避开平方，至少需要 N^c 种颜色。
为什么值得关心
这是 Sárközy–Furstenberg 平方差定理 1978 年以来定量方向的标志性一步，也是同族”多项式差”方法链（平方 → 一般多项式 → 素数）的源头。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的挑数游戏这次连”差 1”都不许——因为 1 本身就是平方数，相邻两数不能同时入选。把比喻落地：对象是前 N 个正整数的子集，操作是取两数之差，禁令是差不能落在非零完全平方数 1, 4, 9, 16, … 这张最经典的黑名单上。黑名单虽只占整数的一小部分，却像等距的栏杆一样层层设卡。
第二级台阶
| 用本科语言精确化：集合 A 称为平方差自由（square-difference-free），如果差集 A−A = {a−a’} 中不含任何非零平方数。幂节省指极值满足 | A | ≤ C·N^(1−c)，其中 c > 0 与 C 均为绝对常数——不依赖 N，也不依赖任何参数。与之配套的是平方差图 G_N：顶点为 1..N，两数之差为平方时连边，合法集恰是它的独立集。 |
第三级台阶
| 定理的语境是五十年的极值问题：记 s(N) 为最大平方差自由集的大小，Furstenberg–Sárközy（1977–78）证明 s(N)/N → 0，此后定量界长期停在对数与亚指数尺度，Green–Sawhney（2025）做到 N·exp(−c√log N) 并明确提出固定幂问题。定理断言：存在绝对常数 c > 0、C < ∞，对一切 N 与一切平方差自由集 A ⊆ [N] 有 | A | ≤ C·N^(1−c)。这里没有任何多余假设——回避性本身就是全部条件；结论正面回答了上述公开问题，并直接推出 χ(G_N) ≥ C⁻¹·N^c。作者注明证明是非定量的，c 为正但极小，不给出可用数值。 |
证明了存在绝对常数 @@M@@c>0@@ 与 @@M@@C<\infty@@：不含非零平方差的集合 @@M@@A\subseteq\{1,\ldots,N\}@@ 必满足 @@M@@|A|\le CN^{1-c}@@。这正面回答了 Green–Sawhney 提出的固定幂问题，把 Sárköży 平方差定理以来的定量上界首次提升为固定幂。
问题源自 Lovász：@@M@@[N]@@ 中多大的集合能使其元素两两之差都不是非零平方？Furstenberg 与 Sárközy（1977–78）独立证明极值 @@M@@s(N)=o(N)@@。此后定量界在对数尺度上被反复改进：Pintz–Steiger–Szemerédi（1988）、Bloom–Maynard（2022），直到 Green–Sawhney（2025）的 @@M@@N\exp(-c_1\sqrt{\log N})@@，并在文中明确提出固定幂问题。下界方向，Ruzsa（1984）构造出 @@M@@N^{0.7330\ldots}@@ 的例子，Lewko 改进到 @@M@@0.7334\ldots@@，Krachun（2026）突破四分之三线达 @@M@@0.75279\ldots@@。上界 @@M@@1-c@@ 与下界指数之间的巨大缺口正是问题难度所在。
定理：存在绝对常数 @@M@@c>0@@、@@M@@C<\infty@@，对每个 @@M@@N\ge1@@ 与每个平方差自由集（square-difference-free）@@M@@A\subseteq[N]@@ 有 @@M@@|A|\le CN^{1-c}@@；等价地，任何超过 @@M@@CN^{1-c}@@ 的子集必含两个元素，其差的绝对值是正整数的平方。直接推论：平方差图 @@M@@G_N@@（顶点为 @@M@@[N]@@，平方差连边）的色数 @@M@@\chi(G_N)\ge C^{-1}N^c@@；当 @@M@@N>(Cr)^{1/c}@@ 时任何 @@M@@r@@-染色都给出同色的 @@M@@a@@ 与 @@M@@a+d^2@@（只要求两端同色）。作者注明指数为正但极小，论证不给出可用的数值或最优指数。
策略是构造一个控制密度固定次幂的非负量，再证它随区间长度幂衰减；两件事分别对应”换尺度比较”与”正比例指派相消”两条估计。
先造量。固定偶数 @@M@@d@@、含一条 24 个标签指定有向圈的标签集 @@M@@V@@，以及介于固定阈值 @@M@@P@@ 与 @@M@@N^\beta@@（@@M@@\beta=10^{-5}@@）之间的素数集 @@M@@\mathcal P@@。对每个 @@M@@p\in\mathcal P@@ 在 @@M@@\F_p@@ 上造概率律：单个标签一致分布；律反射正（reflection positivity，即棋盘法 chessboard method：沿指定反射切开元组所得耦合矩阵半正定）；除质量至多 @@M@@p^{-4}@@ 的例外部分外，指定圈的相邻标签对在 @@M@@\F_p@@ 中差为非零平方且在此类对中一致。逐素数相乘得乘积空间上的律，重复 Cauchy–Schwarz 给出符号 Hölder 不等式与半范数。@@M@@G@@ 取 @@M@@1_A@@ 的 Fourier 提升——保留分母无平方因子、@@M@@\le N^\beta@@ 且素因子全在 @@M@@\mathcal P@@ 中的有理频率系数，其均值恰为 @@M@@|A|/N@@。于是 @@M@@(|A|/N)^d\le Y(N,A)@@，只需证 @@M@@Y@@ 幂衰减。
换尺度：固定乘积不超过 @@M@@N@@ 的固定小幂的素坐标后，低频系数恰为模 @@M@@D@@ 剩余类上的平均；把该类按公差 @@M@@D^2@@ 拆进更短区间，尺度约为 @@M@@N/D^2@@——缩放 @@M@@D^2@@ 保持”差为平方”，回避性随之传递，半范数的平方仿射对称性给出带趋于 1 因子的比较（对一切剩余类指派可用）。
算术相消：把小素数与模 8 并入固定模 @@M@@M_0@@；固定正比例的圈指派使圈增量构成”严格平方类”（@@M@@\equiv1\pmod 8@@ 且模 @@M@@M_0@@ 的每个奇素因子为非零平方）。把 @@M@@[N]@@ 拆成有序区间，除”全部圈槽取同一区间”的小概率事件外，总有一条圈边从较早区间指向较晚区间；其余槽截断展开后归结为该边的对律。这里用符号核：模型核系数是规范单位二次 Gauss 和 @@M@@\mathfrak g(\xi)@@；实核支在真实平方 @@M@@m^2@@ 上，带权 @@M@@2m/N@@、根限制 @@M@@\rho_D@@ 与截断符号筛权（@@M@@w_p=(p\mathbf 1_{p\mid m}-1)/(p-1)@@，其完全除子和把一致剩余化为一致单位）。小弧用二次 Weyl 差分加 Dirichlet 逼近分块；大弧用周期均值与素数幂 Gauss 估计 @@M@@|G_j(a)|^2=p^{-j}@@；两核的 Fourier 变换一致相差 @@M@@\ll H^{-1/3}@@。回避性使实核双线性型逐项为零，从而对偶律相消。
最后对例外子测度做容斥展开：大乘积例外集由提升矩估计直接控制；小乘积 @@M@@q_B@@ 导向尺度 @@M@@\approx N/(M_0q_B)^2@@，其质量乘 @@M@@q_B@@ 后仍可和，足以吸收因子 @@M@@q_B^{2a_0}@@。合并成严格加权递归，归纳证明 @@M@@Y(N,A)\ll N^{-a_0}@@，取 @@M@@c=a_0/d@@。
本篇暂无形式化证明。它是结果族 182 的方法论源头：交集多项式篇明确以本篇的反射正 tuple 律与符号泛函为直接前身并加以推广，素数参数篇再继续推进；而素数篇中 @@M@@h=(x-1)^2@@ 的特例反过来重新蕴含本篇结论，形成闭环。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键也最脆弱的一步是什么？
（答：kernel 一节的双核逼近。模型核的系数是规范单位二次 Gauss 和，实核支在真实平方 m² 上、带权 2m/N 与截断符号筛权；论文须证两者的 Fourier 变换一致相差 ≪ H^(−1/3)——大弧靠周期均值与素数幂 Gauss 估计，小弧靠二次 Weyl 差分加 Dirichlet 逼近分块。这一”逼近精度”是整个收缩递归能闭合的咽喉：差一个 N^{o(1)} 因子，幂节省就退回亚指数。）
问 2：为什么指数 c 拿不到数值？
（答：论证是非定量的：结构常数层层嵌套（如 β=10⁻⁵、24 长度的指定圈、阈值 P），最终 c=a₀/d 由一串取 min 的结构参数决定，论文明确声明不给出可用数值或最优指数。这与下界构造（Krachun 2026 的 N^0.7528）之间留下巨大缺口。）
问 3：与 Green–Sawhney 的工作相比，真正新意在哪里？
（答：Green–Sawhney 用算术 level-d 不等式与随机稀疏化得到 N·exp(−c√log N)，并留下固定幂问题；本文完全换用”反射正 tuple 律 + Fourier 提升 + 符号核 + 收缩递归”的框架，首次跨过固定幂门槛。方法差异本身就是贡献——同族后续两篇正是沿此框架推广的。）
问 4：”换尺度保持回避性”这一步为什么微妙？
（答：把模 D 剩余类按公差 D² 拆进更短区间时，恰好是”缩放 D² 保持差为平方”救了命；半范数的平方仿射对称性给出带趋于 1 因子的比较。若公差不是平方，回避性传递即告失效——这一步是多项式推广篇必须重做”换尺度协变”的原因。）
问 5：AI 生成证明最可能在哪里出错？
（答：容斥展开处理例外子测度处。tuple 律允许质量至多 p^(−4) 的例外部分，多个素数相乘后例外集的结构分类（大乘积/小乘积 q_B）、质量求和条件与递归因子 q_B^{2a₀} 的相容性，是长组合论证里最容易悄悄失衡的地方；机器生成证明常在这类”可和性账本”上出现渐近系数对不齐。）
问 6：谁会用到它？
（答：直接推论是平方差图色数 χ(G_N) ≥ C⁻¹N^c，可用于 Ramsey 型染色问题；更重要的是它是结果族 182 的方法论源头——交集多项式篇与素数参数篇都以本文的 tuple 律与符号泛函为直接前身。）
总评
（这是 Sárközy 平方差定理近五十年定量长征里首次拿下固定幂的源头性工作，方法全新且被同族两篇继承；最大风险在于非定量论证的极小常数与长链条相消估计未经形式化核验。）