🔢 mathematics

The sum-product conjecture is false for real numbers

本文通过构造具有同时极小的和集与积集的任意大集合，驳斥了实数及相关情形下的和积猜想，从而否定了该猜想及多和积猜想，并确立了线性方程与单位方程解的新界。

原作者： Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

发布于 2026-05-28

📖 1 分钟阅读🧠 深度阅读

原作者： Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

核心思想：打破一项 50 年的规则

想象你有一袋数字。你可以对它们做两件事：

将它们相加（生成一个“和集”）。
将它们相乘（生成一个“积集”）。

几十年来，数学家们信奉一条名为**“和积猜想”**的规则。这条规则很简单：你无法两者兼得。

其直觉在于：如果你的数字“聚集”在一起，以至于相加不会产生许多新数字（例如一条直线排列的数字），那么相乘就应该爆炸式地产生大量新数字。反之，如果相乘使它们保持微小（例如等比数列），那么相加就应该产生海量的新数字。

该猜想指出，对于任何大的实数集合，这两种运算中至少有一种必须产生大量结果。人们曾认为，不可能存在一个集合，使得加法和乘法产生的结果都保持微小。

这篇论文说：“且慢。”

作者们构建了一个数学“魔术”，推翻了实数范围内的这一规则。他们构造了特定的、巨大的数字集合，其中和集与积集都出人意料地保持微小。他们不仅打破了规则，而且是用一个巨大且可任意扩大的数字集合打破了它。

魔术揭秘：他们是如何做到的

要理解他们的构造，想象你正在建造一座城市。

1. 旧方法（Balog-Wooley 示例）

此前，数学家试图通过混合两种类型的街区来制造一个小集合：

几何街道：房屋按指数间隔排列（1, 10, 100, 1000...）。如果你相乘这些数字，你会留在街道上。但如果你相加它们，间隔如此巨大，以至于和会扩散到各处。
算术街道：房屋均匀排列（1, 2, 3, 4...）。如果你相加它们，它们会保持在一个紧密的街区中。但如果你相乘它们，数字会爆炸。

旧技巧是混合这些街道。但“几何街道”太稀疏了。就像在一条巨大的公路上只有几栋房子。当你相加它们时，结果仍然太大，无法打破规则。

2. 新方法（高维晶格）

作者们意识到，他们需要一个稠密的“几何街道”（挤满了房子），但在相乘时仍能表现良好。他们通过从平坦的二维地图转向高维超城市找到了这一点。

城市（数域）：他们不是在普通整数中工作，而是在一个称为全实数域的特殊“宇宙”中构建他们的数字。将其想象为一座拥有 $d$ 个不同维度的城市（其中 $d$ 是一个非常大的数）。
加法网格（盒子）：他们选取了一个在该高维空间中看起来像完美紧密立方体的数字块。当你从这个立方体中相加数字时，结果只是一个稍大的立方体。它保持紧凑。
乘法网格（单位）：他们还选取了一组特殊的数字，称为“单位”。在这个高维世界中，这些单位表现得像一个稠密的等比数列。当你相乘它们时，它们保持在一个紧密、可预测的形状内。

3. 秘密武器：“直积”

天才之举在于结合这两个网格。他们将“加法立方体”中的每个数字与“乘法网格”中的每个数字相乘。

为何有效：因为“加法立方体”如此紧密，而“乘法网格”如此稠密，生成的集合是巨大的（可任意大）。
结果：
- 当你从这个新集合中相加两个数字时，“加法立方体”部分防止了结果爆炸。
- 当你相乘两个数字时，“乘法网格”部分防止了结果爆炸。

这就像拥有一座城市，其街道设计得如此完美，以至于无论你如何行走（相加）或如何驾驶（相乘），你都不会离开一个微小、可管理的街区。

为何这很重要（根据论文）

这篇论文不仅仅说“我们打破了规则”。它展示了如何在不同的数学世界中打破它：

实数：他们证明了该规则对标准实数（我们日常生活中使用的数字）不成立。
p 进数：他们展示了同样的技巧在一种用于先进物理学和密码学的不同数字系统中也有效。
有限域：他们展示了即使在“时钟算术”（数字会回绕）中，也能找到打破规则的集合。
函数域：他们将此扩展到了形式幂级数域（用于编码理论）。

关于"AI"的说明

作者提到，他们受到最近一个由 AI 生成的反例（针对另一个数学问题，即“单位距离猜想”）的启发。虽然他们使用 AI（GPT-5.5 Pro）作为“共鸣板”来帮助简化一个特定的引理（一个小证明步骤），但核心思想、主要构造以及整个证明均由人类生成。AI 只是一个得力的助手，而非架构师。

总结

50 年来，数学家们认为不可能存在一个在加法和乘法下都“微小”的数字集合。这篇论文说：“我们构建了一个。”

他们通过构建一个巨大的、高维的数学结构做到了这一点，其中加法和乘法的规则完美平衡，以保持结果微小。他们证明了旧规则是错误的，不仅仅针对一个微小的、奇怪的例外，而是针对可以任意大的数字集合。

技术摘要：实数域上的和积猜想为假

问题陈述
本文探讨了 Erdős–Szemerédi 和积猜想，该猜想断言：对于环（特别是 $\mathbb{Z}$ 、 $\mathbb{R}$ 或 $\mathbb{C}$ ）中的任意有限集 $A$ ，其和集 $A+A = \{a+b : a,b \in A\}$ 或积集 $AA = \{ab : a,b \in A\}$ 中至少有一个必须近乎最大地增长。形式上，该猜想断言：
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
其中 $o(1)$ 项在 $|A| \to \infty$ 时趋于零。尽管针对 $\mathbb{R}$ 子集的最佳已知下界形式为 $|A|^{4/3+c}$ ，但该猜想仍未解决。作者研究了该猜想在实数域上是否成立。

方法论
作者利用代数数论构造了显式反例，具体借助了高次全实数域。核心策略是对 Balog–Wooley 示例进行高维推广，用数域 $K$ 的整数环 $\mathcal{O}_K$ 的结构化子集替代标准的几何级数和算术级数。

该构造依赖于 $\mathcal{O}_K$ 内两种不同的格结构：

加法格：一个代数整数“盒子” $P$ ，其所有实嵌入 $\sigma_i(p)$ 均位于短区间 $[X-cX, X+cX]$ 内。这确保了加法结构被限制在一个小区域内。
乘法格：一组单位 $u \in \mathcal{O}_K^\times$ ，其嵌入的对数 $|\log|\sigma_i(u)||$ 被常数 $Y$ 有界。这创造了一个具有小积增长（小倍加）的集合。

反例集合定义为乘积 $A = GP = \{up : u \in G, p \in P\}$ 。作者通过选择参数确保该乘积是直接的（即 $|A| = |G||P|$ ），使得 $P$ 中任意两个元素的比值不能是非平凡单位，这一性质由 Schinzel 关于单位分离的结果所保证。

合适数域的存在性由 Martinet 构造的全实数域塔所保证，这些域具有有界根判别式（ $\Delta_K \le C^d$ ）和受控的规数（ $R_K \le \Delta_K$ ）。这些界限确保了格体积（从而 $P$ 和 $G$ 的大小）随次数 $d$ 指数增长，从而允许构造任意大的集合 $A$ 。

主要贡献与结果

证伪实数域上的和积猜想：
主要结果（定理 1.1）确立了存在一个绝对常数 $c > 0$ ，使得存在任意大的有限集 $A \subset \mathbb{R}$ 满足：
$\max(|A+A|, |AA|) \le |A|^{2-c}$
这直接反驳了该猜想。该构造产生的集合中，和集很小（ $|A+A| \le |A|^{1+\epsilon}$ ），而积集表现出幂次节省（ $|AA| \le |A|^{2-c\epsilon}$ ）。
证伪“多和与多积”猜想：
作者扩展了其构造，以证伪 Erdős 关于 $k$ 重和与积的更强猜想。对于任意固定的 $k \ge 3$ ，他们构造了任意大的 $A \subset \mathbb{R}$ 使得：
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
这种对 $k$ 的依赖关系被认为在 $|A| \to \infty$ 时对于固定 $k$ 可能是最优的。
乘法群中线性方程的新下界：
该构造为线性方程 $x_1 + \dots + x_k = 1$ （其中 $x_i$ 属于乘法群 $\Gamma$ ）的解的数量提供了新的下界。
- 对于秩为 $d$ 的 $\mathbb{R}^\times$ 子群，非退化解的数量被证明至少为 $\exp((C^{-1}k \log k)d)$ ，这表明 Evertse–Schlickewei–Schmidt 上界指数中关于秩 $d$ 的线性依赖是最佳可能的。
- 对于数域中的单位方程，作者表明对于足够大的 $k$ ，存在次数为 $d$ 的域，其解的数量至少为 $C^d$ ，从而证伪了 $k \ge 3$ 时解呈次指数增长的猜想。
其他场景下的变体：
该方法论被调整以在其他场景中产生反例：
- $p$ -进数（ $\mathbb{Q}_p$ ）：利用 $p$ 完全分裂的域。
- 有限域（ $\mathbb{F}_p$ ）：通过将代数整数构造模 $p$ 约化，得到大小为 $p^c < |A| < p^{1/2}$ 且和积增长很小的集合。
- 函数域（ $\mathbb{F}_q((t))$ ）：利用具有许多有理点的代数曲线上的线丛（Drinfeld–Vlăduț–Zink 序列）在正特征下构造反例。

意义与声明
本文声称彻底证伪了实数域上的和积猜想，该问题数十年来一直是加法组合学的核心。作者强调，虽然该猜想对于有界次数数域（如 $\mathbb{Z}$ ）中的集合可能仍然成立，但由于高次代数结构的存在，它在 $\mathbb{R}$ 的一般设定下失效。

作者指出，他们的证明依赖于具有特定算术性质（有界判别式和规数）的数域的存在性，这些数域的构造虽非平凡，但在代数数论中已得到充分确立。他们明确表示，包括主要思想在内的最终证明几乎完全由人类生成，尽管他们在早期阶段利用人工智能作为“共鸣板”，并用于一个特定的初等引理（引理 3.4），该引理简化了一个更复杂的结果。

这项工作还提供了关于和积现象极限的新定量见解，表明只要底层代数结构足够丰富（高次），积集中的“幂次节省”就可以与小的和集同时实现。文章最后给出了常数 $c$ 的显式（尽管很小）值（例如 $c \ge 0.00000087$ ），并证明了类似现象在各种代数设定中都会发生，包括 $p$ -进数和函数域。