结果族 159：Erdős’s reciprocal-sum conjecture and quasipolynomial Szemerédi bounds · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
把正整数想成长街上一排排门牌，”等差数列”就是一串间距相等的门牌（如 3、7、11、15）。Erdős 在 1974 年猜：一个门牌集合若”够厚”——厚到倒数之和加起来是无穷大——那它必定藏着任意长的等距门牌串。本文证明了这个猜想，并给出定量版本：想在大盘子里完全躲开等差数列，集合的占比必须小到”逐段可求和”的程度。
关键词卡片
@@M@@r_k(N)@@：从 1 到 N 中不沾任何 k 项等差数列的集合，最多能装下多少个数。@@M@@N\exp(-c(\log N)^{\varepsilon})@@ 的上界，比此前所有一般情形的结果都强。看个具体例子
公式卡（数字版定理）：在 @@M@@\{1,\dots,N\}@@ 里想完全避开 k 项等差数列，集合规模至多
@@M@@Dr_k(N)\le C_k\,N\,e^{-c_k(\log N)^{\varepsilon_k}}.@@
代入读法：取 @@M@@N=2^{100}@@，”躲藏者”的最大占比约为 @@M@@e^{-c_k\cdot 100^{\varepsilon_k}}@@（对数底已并入常数），随 N 增大衰减得足够快，逐个二进段求和后收敛。这正是解开倒数和猜想的钥匙：把长街按 2 的幂切段，每段躲藏者的占比衰减可求和，于是倒数和发散的集合迟早会在某段密度过高、藏不住等差数列。素数的倒数和 @@M@@\tfrac12+\tfrac13+\tfrac15+\cdots@@ 发散，所以素数含任意长等差数列——Green–Tao 定理成为直接推论。
为什么值得关心
Szemerédi 定理的定量理论由此首次跨过”可求和”门槛，半个世纪的 Erdős 倒数和猜想获解。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把正整数想成长街上的门牌，等差数列就是一串间距相等的门牌。翻译成半数学语言：对象是正整数的子集，要考察的操作是在集合内部寻找一串间距固定的元素；集合的”厚度”用它的倒数之和来衡量，猜想说足够厚的集合必藏任意长的等距串。
第二级台阶
用本科术语精确化三个概念：@@M@@r_k(N)@@ 是从 1 到 N 的整数里不含任何非常数 @@M@@k@@ 项等差数列的子集的最大规模；倒数和 @@M@@\sum_{a\in A}1/a@@ 发散刻画集合厚度；拟多项式界指形如 @@M@@N\exp(-c(\log N)^{\varepsilon})@@ 的上界。倒数和猜想的难点恰在这里：定性估计 @@M@@r_k(N)=o(N)@@ 不够，需要衰减到逐个二进区间可求和的程度。
第三级台阶
论文 Theorem 1.1 在密度增量方法的语境下陈述：对每个固定的 @@M@@k\ge3@@，存在正常数 @@M@@C_k,c_k,\varepsilon_k@@ 使 @@M@@r_k(N)@@ 不超过 @@M@@C_kN\exp(-c_k(\log N)^{\varepsilon_k})@@；等价的阈值形式说，密度 @@M@@\alpha@@ 的子集只要 @@M@@\log N@@ 足够大就必含 @@M@@k@@ 项数列。”@@M@@k@@ 固定”挡住了常数依赖失控的麻烦；可求和的衰减则挡住了旧方法里区间长度对数损失逐轮累积的病灶。结论用这些术语说：倒数和发散的集合必含任意长等差数列，素数的 Green–Tao 定理作为直接推论被重新覆盖。
证明了 Erdős 1974 年的倒数和猜想：倒数和发散的正整数集必含任意有限长度的非平凡等差数列；定量上对每个固定 @@M@@k\ge 3@@ 给出拟多项式界 @@M@@r_k(N)\le C_kN\exp(-c_k(\log N)^{\varepsilon_k})@@，这是首个对所有长度都可逐二进段求和的 Szemerédi 型界。
1974 年 Erdős 提出猜想：凡正整数集 @@M@@A@@ 满足 @@M@@\sum_{a\in A}1/a=\infty@@，就包含任意有限长度的非平凡等差数列（arithmetic progression）。它源自 Erdős–Turán 1936 年开创的密度问题：Roth 1953 年用傅里叶分析证明 3 项情形的 @@M@@r_3(N)=o(N)@@，Szemerédi 1975 年证明一般情形，Furstenberg 随后给出遍历论证明。但定性估计 @@M@@r_k(N)=o(N)@@ 不足以解决倒数和问题——证明需要更强的可求和条件 @@M@@\sum_m r_k(2^m)/2^m<\infty@@。此前仅 3 项情形达标：Bloom–Sisask 2020 年的 @@M@@r_3(N)\ll N/(\log N)^{1+c}@@ 跨过求和阈值，Kelley–Meka 2023 年进一步给出 @@M@@\exp(-c(\log N)^{1/12})@@ 型界；而对 @@M@@k\ge 5@@，Leng–Sah–Sawhney 的界 @@M@@r_k(N)\ll_k N\exp(-(\log\log N)^{c_k})@@ 不满足求和性。卡点在于密度增量（density increment）迭代时区间长度的对数损失会随轮数累积失控。
主定理（论文 Theorem 1.1）：对每个固定整数 @@M@@k\ge 3@@，存在常数 @@M@@C_k,c_k,\varepsilon_k>0@@，使得对一切 @@M@@N\ge2@@ 有 @@M@@r_k(N)\le C_kN\exp(-c_k(\log N)^{\varepsilon_k})@@，其中 @@M@@r_k(N)@@ 是 @@M@@\{1,\ldots,N\}@@ 中不含非常数 @@M@@k@@ 项等差数列的子集的最大规模。等价的阈值形式说：密度 @@M@@\alpha@@ 的子集只要 @@M@@\log N\ge A_k(2+\log(1/\alpha))^{A_k}@@ 就必含 @@M@@k@@ 项数列。立即得到核心推论：倒数和发散的集合含任意有限长度数列——对二进区间 @@M@@[2^m,2^{m+1})@@ 求和即 @@M@@\sum 2^{-m}r_k(2^m)\le\sum C_k\exp(-c_k(m\log2)^{\varepsilon_k})<\infty@@。论文还给出更强的加权判据（@@M@@\sum_{a\in A}(\log(2+a))^B/a=\infty@@ 即可）、重现 Green–Tao 的素数定理，并导出染色数上界 @@M@@W_r(k)\le\lceil\exp(A_k(2+\log r)^{A_k})\rceil@@，与姊妹篇的下界配合，证明对固定 @@M@@k@@ 该数随颜色数的增长超多项式但不超拟多项式。
整体是密度增量框架：数列缺失强迫密度在更小的结构化区域上提升，固定倍率的增益只能用 @@M@@O_k(1+\log(1/\alpha))@@ 次，故全部增量的对数长度损失总和必须是 @@M@@2+\log(1/\alpha)@@ 的多项式。论文的关键创新是增量区域的形状与预算制度。区域取为三角多项式胞腔（triangular polynomial cell）：空间变量 @@M@@u@@ 权重为 1，整块 @@M@@b_h@@ 权重为 @@M@@h@@，逐层由约束 @@M@@\|b_h-C_h(u,b_{<h})-l_h\|_\infty\le w_h@@ 决定，窄宽度 @@M@@w_h\le1/32@@ 保证整块唯一，记精度 @@M@@Q_h=\log(2/w_h)@@。核心的”三角增量定理”规定：新胞腔在权重 @@M@@h@@ 处的新增精度只依赖于维度数据、密度参数 @@M@@p@@ 及严格更高权重的精度，绝不依赖当前或更低的 @@M@@Q@@——否则多项式度会在逐轮代入中不断升高，正是此前方法失效之处。由于权重层数 @@M@@D@@ 固定，自上而下的归纳保证所有维度与精度在 @@M@@T=O_k(p)@@ 轮迭代后仍为多项式。
增量的来源分两步。第一步是”绝对增量”：先用 Leng–Sah–Sawhney 的拟多项式逆定理（inverse theorem），把大的均匀度范数（uniformity norm）转化为与 nilsequence（紧幂零流形上的多项式轨道与 Lipschitz 函数）的相关性；再用平移比较定理（改造 Kelley–Meka 的失衡与筛选技术，配合 Schoen–Sisask 对半径敏感的殆周期性定理）从结构性测试过渡到正的数列计数；高阶比较则借助 Green–Tao 与 Leng 的多项式轨道等分布定理消去最高次频率。由此得到的引理给出与维度无关的新坐标数：新添加的整数槽至多 @@M@@d_0=(2+p)^{C_k}@@ 个，与所处盒子的维数无关。第二步是”返回原胞腔”：在采样盒上找到的增量必须换回原变量，且旧的决定方程必须精确保持——把整数槽原样代入后续所有多项式，误差才不会逐层传播。权重高于 @@M@@s=k-2@@ 的层是被动层，用 Conlon–Fox–Zhao 稠密化的立方体版本处理稀疏因子；最后 @@M@@s@@ 个主动层用精确投影保持旧方程。证明主线是：先做秩切割准备，再沿受约束路径下降到终端盒，应用绝对增量，然后逐层返回，提取新三角胞腔，最后闭合预算并迭代；约 @@M@@O_k(p)@@ 轮后阈值超过 1，而 @@M@@fB^-\le B^+@@ 逐点成立，阈值 @@M@@\ge1@@ 的证书不可能，矛盾。其中前向质量比较只要求证书的严格不等式、不计其盈余的逆，这也是能迭代到底的要点之一。
本论文主结果暂无形式化证明，OpenAI 官方亦声明”未经形式化的结果可能有问题”，请以社区核验为准。论文的两大外部解析输入——Leng–Sah–Sawhney 逆定理与 Schoen–Sisask 殆周期性定理——均在正文引用处注明精确假设，且框图与接口表逐项列出各分析命题的完整证明位置。族内姊妹篇给出互补的 van der Waerden 数下界 @@M@@W_r(k)>\exp((\log r)^2/(64\log2))@@（@@M@@r\ge256@@），与本文上界共同夹出拟多项式增长；本文自陈未改进 3 项情形的指数，贡献在于全长度、可求和的界。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：三角增量定理的”精度预算制度”——新胞腔在权重 @@M@@h@@ 处的新增精度只许依赖维度数据、密度参数及严格更高权重的精度。此前 Leng–Sah–Sawhney 的界卡在 @@M@@\exp(-(\log\log N)^{c_k})@@，病根就是增量迭代中多项式度逐轮升高；本文靠固定权重层数与自上而下归纳压住维度，任何一层的依赖方向出现口子，度数就会重新膨胀，整个 @@M@@O_k(p)@@ 轮迭代的预算随之崩塌。
问 2：为什么非要拟多项式界，@@M@@r_k(N)=o(N)@@ 不够用吗？
答：不够。倒数和猜想需要逐二进段求和 @@M@@\sum_m r_k(2^m)/2^m<\infty@@，即占比衰减可求和；Szemerédi 定理只给 @@M@@o(N)@@，衰减速率完全没保证。此前仅 @@M@@k=3@@ 由 Bloom–Sisask、Kelley–Meka 跨过求和阈值，@@M@@k\ge5@@ 一直无人达标。
问 3：与已有工作相比真正的新意是什么？
答：作者自陈没有改进 @@M@@k=3@@ 的指数，新意在于首次对所有 @@M@@k\ge3@@ 给出可求和的界，从而解决 Erdős 倒数和猜想；技术上新在增量区域的形状——带权重的三角多项式胞腔、维度无关的新坐标数 @@M@@d_0=(2+p)^{C_k}@@，以及把 Kelley–Meka 的平移比较改造后从结构性测试提取数列计数。
问 4：这种 AI 生成的长证明最可能在哪里出错？
答：”接口处”最险：把采样盒上找到的增量”返回原胞腔”时，旧的决定方程必须精确保持，误差稍有逐层传播，预算制度即失效。这类组合与分析衔接处的隐藏假阳性是典型风险；论文以接口表逐项列出分析命题的证明位置可查性较好，但主结果暂无形式化证明，宜以社区核验为准。
问 5：哪个假设最不能去掉？
答：@@M@@k@@ 固定。常数 @@M@@C_k,c_k,\varepsilon_k@@ 对 @@M@@k@@ 的依赖未被控制，若允许 @@M@@k@@ 随 @@M@@N@@ 增长结论未必成立；论文对一致 @@M@@k@@ 的情形未展开。倒是厚度条件有松动余地：加权判据一节证明 @@M@@\sum_{a\in A}(\log(2+a))^B/a=\infty@@ 已足够。
问 6：这个结果谁会用？
答：加法数论里一切靠”集合厚度”吃饭的论证——倒数和发散是比正密度弱得多的条件，素数集因此被自动覆盖；与姊妹篇的 van der Waerden 数下界配合，还把 @@M@@W_r(k)@@ 对固定 @@M@@k@@ 的增长夹在超多项式与拟多项式之间。论文未讨论向多项式数列或高维的推广。
总评
这是半个世纪的 Erdős 猜想获解加上 Szemerédi 定量理论首次跨过可求和门槛，分量极重；最大风险在于长链条密度增量论证中精度预算与返回步骤的隐含误差，无形式化背书前应保持审慎。