Sum-product, unit distances, and number fields：深度解读

背景

近期，数学界在组合数学领域取得了两项重大突破：针对实数域上的**单位距离猜想（Unit Distance Conjecture）和和积猜想（Sum-Product Conjecture）**的反例被相继提出。这些反例由 OpenAI 的研究团队（包括 Sawin、Schildkraut、Zhelezov 等人）以及独立研究者发现，彻底推翻了长期以来的直觉性假设。

这篇文章旨在为读者提供对这些反例构造的个人化解读。作者的目标受众是那些对代数数论（Algebraic Number Theory）了解有限，但希望理解这些定量改进究竟从何而来的读者。文章侧重于组合数学的视角，并尽可能直观地解释构造背后的直觉，而在涉及深奥的数论证明时，则引导读者查阅原始文献。

核心内容

1. 热身：加法组合中的“张量幂技巧”

为了理解复杂的反例，作者首先通过一个简化的加法组合问题引入核心思想——张量幂技巧（Tensor Power Trick）。

考虑一个加法组合学中的自然问题：给定一个集合 $A$，其和集 $A+A = {a+b : a,b\in A}$ 与差集 $A-A = {a-b : a,b\in A}$ 的大小关系如何？我们能否用 $|A-A|$ 来界定 $|A+A|$ 的上界？即是否存在常数 $c$，使得 $|A+A| \leq |A-A|^c$？

• 平凡界限：显然 $c=2$ 是成立的，因为 $|A-A| \geq |A|$ 且 $|A+A| \leq |A|^2$。
• 直觉猜想：实验表明，和集通常比差集小。因此，人们可能猜想对于足够大的集合 $A$，指数 $c$ 可以任意接近 1，即 $|A+A| \leq |A-A|^{1+o(1)}$。

反例构造与张量幂技巧： 这个猜想是错误的。作者通过“张量幂技巧”展示了如何放大微小的偏差：

1. 小集合的异常：在低维或小集合中，可能会出现 $|A+A| > |A-A|$ 的情况。例如，取 $A={0, 2, 3, 4, 7, 11, 12, 14}$，计算可得 $|A+A|=26$，而 $|A-A|=25$。此时，$|A+A| \geq |A-A|^c$ 中的 $c \approx 1.012$。
2. 维度提升：在加法组合学中，这些概念不仅适用于整数，也适用于任何阿贝尔群。我们可以构造高维集合 $B = A^d \subset \mathbb{Z}^d$。此时，和集与差集也是笛卡尔积的形式：
   • $|B+B| = 26^d$
   • $|B-B| = 25^d$
3. 结论：随着维度 $d \to \infty$，存在任意大的集合 $B$，使得 $|B+B| \geq |B-B|^{1.012\cdots}$。这意味着指数 $c$ 必须严格大于 1，且无法通过限制“足够大的集合”来挽救原猜想。

核心启示：两个反例（单位距离与和积）的构造逻辑相似：先找到一个仅靠常数因子优势的“平凡”构造，然后通过取 $d$ 维版本（$d \to \infty$）将这个常数优势放大。

2. 从阿贝尔群到实数域的挑战

在上面的例子中，利用阿贝尔群的直积 $G^d$ 很容易实现维度提升。但在单位距离猜想（涉及 $\mathbb{R}^2$ 中的距离）和和积猜想（涉及 $\mathbb{R}$ 中的乘法）中，直接取笛卡尔积会遇到两个主要问题：

1. 我们需要在 $\mathbb{R}$ 或 $\mathbb{R}^2$ 中构造集合，而不是在任意阿贝尔群中。
2. 除了加法，还需要确保乘法（和积问题）或距离（单位距离问题）也能以可预测的方式缩放。

解决第二个问题需要借助代数数论。

3. 代数数论回顾

为了在实数域中实现上述的“维度提升”并保持运算结构，作者简要回顾了相关的代数数论概念：

• 数域（Number Field）：数域 $K$ 是一个特征为 0 的域，包含有理数域 $\mathbb{Q}$。$K$ 在 $\mathbb{Q}$ 上的有限维数称为 $K$ 的次数（Degree），记为 $d$。
• 代数整数：如果 $x \in K$ 是某个整系数首一多项式的根，则称 $x$ 为代数整数。所有代数整数在 $K$ 中构成一个环，记为 $\mathcal{O}_K$。
• 嵌入（Embeddings）：由于 $\mathbb{C}$ 包含 $\mathbb{Q}$ 的代数闭包，我们可以将 $K$ 视为 $\mathbb{C}$ 的子集。但这种嵌入不是唯一的。
  • 例如，对于 $K=\mathbb{Q}(\sqrt{2})$，$\sqrt{2}$ 可以是正根也可以是负根，这对应于 $K$ 到 $\mathbb{R}$ 的不同嵌入。
  • 一般地，次数为 $d$ 的数域 $K$ 恰好有 $d$ 个到 $\mathbb{C}$ 的嵌入（域同态）。
  • 如果所有嵌入都映射到 $\mathbb{R}$，则 $K$ 称为全实数域（Totally Real）。
  • 非实嵌入成对出现（共轭复数）。通常用 $r_1$ 表示实嵌入的数量，$r_2$ 表示复嵌入对的数量，满足 $d = r_1 + 2r_2$。

几何视角：这些嵌入提供了一种将数域 $K$ 几何化为高维空间的方法。通过选择合适的数域和嵌入，研究者可以将高维结构“折叠”回低维实数空间，同时保持加法和乘法（或距离）的结构特性，从而构造出反例所需的集合。

关键要点

• 反例的核心机制：单位距离猜想与和积猜想的反例均利用了张量幂技巧。通过在高维空间（$d \to \infty$）中重复低维结构，将微小的常数优势放大，从而推翻基于低维直觉的猜想。
• 维度提升的难点：在实数域 $\mathbb{R}$ 或 $\mathbb{R}^2$ 中直接进行维度提升会破坏乘法或距离的结构。解决这一难题需要引入代数数论，利用数域的嵌入性质来协调不同运算的缩放行为。
• 代数数论的作用：数域的嵌入（Embeddings）提供了将抽象代数结构映射到几何空间（如 $\mathbb{R}^n$）的桥梁。通过精心选择全实数域或其他特定类型的数域，可以构造出满足特定组合性质的集合。
• 无需深奥数论知识：尽管涉及代数数论，但解释这些构造的核心直觉并不需要理解素数、理想或类群等复杂概念。重点在于理解嵌入如何影响集合的大小和运算结果。
• 原始文献的重要性：本文仅提供了构造的直觉和框架，具体的严格证明和更深入的数论细节需参考原始论文（如 OpenAI 团队发表的论文及 Sawin 等人的工作）。

意义与影响

1. 推翻长期猜想：这两项反例终结了关于实数域上单位距离数量和和积集合