🔢 mathematics

Split primes and the Elekes-Rónyai problem

本文通过证明存在任意大的有限集 $A \subset \mathbb{R}$ ，使得非加性且非乘性的多项式 $x+y+(x-y)^2$ 的像显著小于二次方（具体而言，被界定为 $|A|^{2-c}$ ，其中 $c$ 为某个绝对常数），从而为 Elekes-Rónyai 问题提出了一个反例。

原作者： Cosmin Pohoata

发布于 2026-06-12

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Cosmin Pohoata

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

核心问题：你能隐藏混沌吗？

想象你拥有一台巨大的机器（一个数学公式），它接收两个数字 $x$ 和 $y$ ，然后吐出一个新的数字。我们把这个机器称为 $f$ 。

现在，想象你有一个装满数字的大袋子，我们称之为 集合 A。你从这个袋子里取出所有可能的数字对，将它们喂进机器，并收集所有的结果。这个结果的集合被称为 图像集（Image Set）。

谜题：
数学家们长期以来一直在思考：如果你选择一个“复杂”的机器（即不是简单的加法或乘法运算），你是否能通过巧妙安排袋子里的数字，使得机器产生的“唯一结果”非常少？

“简单”的机器： 如果你的机器只是加法（ $x+y$ ）或乘法（ $x \times y$ ），你可以轻易地“欺骗”它。如果你放入一个等差数列（如 1, 2, 3, 4），它们的和会保持较小且可预测；如果你放入一个等比数列（如 2, 4, 8, 16），它们的积也会保持较小。在这种情况下，随着你向袋子中添加更多数字，唯一结果的数量增长得非常缓慢（呈线性增长）。
“困难”的机器： 著名的 Elekes-Rónyai 问题 提出了这样一个疑问：如果机器不那么简单呢？如果它是一个混合体，比如 $x + y + (x-y)^2$ 会怎样？当时的普遍观点（由 Elekes 提出的猜想）是：对于这些“困难”的机器，无论你多么聪明地挑选数字，唯一结果的数量都会爆炸式增长。如果你的袋子里有 $N$ 个数字，结果的数量应该接近于 $N$ 的平方（即大约 $N^2$ 个唯一结果）。

突破口：“魔力筛子”

在这篇论文中，作者 Cosmin Pohoata 说：“事实上，你是可以欺骗‘困难’机器的。”

他证明了存在一种特定的“困难”机器（ $f(x, y) = x + y + (x-y)^2$ ），并且存在一种挑选数字的方法，使得产生的唯一结果远比预期的要少。这不仅仅是稍微少了一点，而是显著地减少了，打破了那个曾被认为不可逾越的规则。

他是怎么做到的？（类比）

为了理解这个技巧，想象你正试图在一座巨大的多层建筑中隐藏一组特定的钥匙。

建筑（数系）： 作者没有使用普通的数字，而是构建了一个特殊的、高维度的“数字世界”（一种被称为“数域”的数学结构）。你可以把它想象成一座拥有数千层楼的建筑。
锁（素数）： 他选择了一组特殊的“锁”（素数），这些素数具有一个非常特殊的属性：它们能在建筑的每一层楼里完美地“分裂”成许多独立的房间。
陷阱（剩余类）： 作者设计了他的机器，使得无论你放入什么数字，输出结果必须落入这座建筑中一个非常特定的、微小的角落。
- 想象一下，在每一层楼上，机器都被迫只能落在“偶数号房间”或“红门房间”里。
- 因为机器必须同时满足在 每一层楼 上的这个规则，所以它可能落入的可能位置变得极其微小。
结果： 尽管这座建筑非常宏大（代表了一个巨大的数字集合），但由于“允许”的房间实在太少了，机器产生的唯一结果也就非常少。

“分裂素数”的秘方

这里的核心成分是被称为 分裂素数（Split Primes） 的概念。

在普通数学中，一个素数可能表现为一个单一、坚固的墙壁。
在作者这个特殊的数字世界里，这些素数会像树木分叉一样“分裂”出来。一个素数变成了许多独立的“剩余域”（就像许多个小而独立的房间）。
作者利用了这些一层又一层、不断增高的“数字世界之塔”（更高的维度）。
在每一个小房间里，机器都被迫产生一个“平方数”（例如 0, 1, 4, 9）。由于平方数相对于所有数字来说是非常稀少的，这限制了输出。
因为素数分裂成了许多房间，这种限制在每一个房间里反复发生。这些限制不断叠加、相乘，创造出了一个“瓶颈”，从而将唯一结果的数量剧烈压缩。

“小倍增”的额外奖励

论文还展示了更酷的一点。不仅机器产生的输出结果很少，而且袋子里的数字本身也具有一种特殊的性质：如果你把袋子里的任意两个数字相加，你不会得到太多新的数字。

类比： 想象一个群体，如果他们两两组队，所形成的独特队伍数量仍然相对较少。这种结构化的、高效的“数字袋”有助于让这个技巧发挥得更好。

结论

作者成功构建了一个反例。他证明了对于特定的公式 $x + y + (x-y)^2$ ，可以找到巨大的集合，使得唯一输出的数量大约为 $N^{2-c}$ （其中 $c$ 是一个很小的正数）。

这意味着输出是 次二次方级（sub-quadratic） 的。它的增长速度慢于输入规模的平方。这反驳了长期以来的猜想，即“困难”公式必须产生接近 $N^2$ 个唯一结果。

简而言之： 作者利用一个复杂的、高维度的数字系统和特殊的素数，找到了一个数学上的“漏洞”，从而迫使一个复杂的公式表现得像一个简单的公式一样，让唯一结果的数量保持在令人惊讶的低水平。

技术摘要：分裂素数与 Elekes–Rónyai 问题

问题陈述
本文探讨了 Elekes–Rónyai 问题，这是算术组合学和组合几何中的一个核心问题。该问题研究了二元多项式 $f \in \mathbb{R}[x, y]$ 在有限集 $A, B \subset \mathbb{R}$ 上的扩张性质。具体而言，它探究了当 $|A| = |B| = n$ 时，像集 $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ 的最小可能规模。

已有研究表明，如果 $f$ 是“特殊”的——即它是加性的（ $f(x, y) = g(u(x) + v(y))$ ）或乘性的（ $f(x, y) = g(u(x)v(y))$ ）——那么其像集规模可以与 $n$ 成线性关系（例如，通过选择算术级数或几何级数作为 $A$ 和 $B$ ）。对于“非特殊”多项式，Elekes 和 Rónyai (2000) 证明了其像集规模在定性上必须是超线性的（即 $|f(A, B)|/n \to \infty$ ）。Elekes 提出了一个著名的猜想，旨在给出定量界限：对于每一个非特殊多项式以及每一个 $\epsilon > 0$ ，存在一个常数 $C_{f, \epsilon}$ ，使得 $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ 。

方法论与构造
本文结合代数数论、格几何以及一种对“局部-全局”筛法原理的新颖应用，构造了一个 Elekes 猜想的反例。

多项式： 作者关注特定的非特殊多项式 $f(x, y) = x + y + (x - y)^2$ 。
代数数论输入： 该构造依赖于一系列次数 $d_i \to \infty$ 且根判别式有界的全实数域塔 $K_i$ （基于 Hajir, Maire, 和 Ramakrishna 的结果）。至关重要的是，存在一个无穷素数集 $P$ ，它们在每一层数域中完全分裂。
局部剩余限制： 作者定义了一个辅助多项式 $f_Q(x, y) = Q(x + y) + (x - y)^2$ ，其中 $Q$ 是来自 $P$ 的不同素数的乘积。模去任何整除 $Q$ 的素理想 $\mathfrak{p}$ ， $Q(x+y)$ 项均消失，从而迫使 $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ 。因此， $f_Q$ 在剩余域 $\mathbb{F}_p$ 中的像被限制在二次剩余（平方数）集合中，其密度约为 $1/2$ 。
通过格进行全局构造：
- 作者从数域塔中选取一个次数为 $d$ 的域 $K$ ，并考虑其整数环 $\mathcal{O}_K$ 中的对称闵可夫斯基框 $B_K(X)$ 。
- 通过中国剩余定理，由于分裂素数产生的 $d$ 个独立的剩余域，限制在二次剩余中的性质会在这些域之间复合。这迫使 $f_Q$ 的像落在密度为 $\rho^d$ 的剩余类集合中，其中 $\rho < 1$ 。
- 利用几何数论估计（Blichfeldt 引理和填充参数），作者表明 Minkowski 框中的整点数量随 $d$ 指数级增长（具体为 $\sim X^d$ ），而允许的剩余类数量则以 $(\rho Q)^d$ 的速度增长。
- 由于 $\rho < 1$ ，这种“同余节省”因子 $\rho^d$ 主导了集合规模的增长，导致多项式像集的规模是一个小于 2 的固定幂次。

主要结果
本文确立了以下主要定理：

定理 1.1： 存在任意大的有限集 $A \subset \mathbb{R}$ 以及一个绝对常数 $c > 0$ ，使得对于 $f(x, y) = x + y + (x - y)^2$ ：
$|f(A, A)| \le |A|^{2-c}$
此外，对于任何固定的 $\epsilon > 0$ ，可以选择使得加性倍增较小（ $|A+A| \le |A|^{1+\epsilon}$ ），同时保持像集界限 $|f(A, A)| \le |A|^{2-c_\epsilon}$ 。
非特殊性验证： 本文严格证明了 $f(x, y) = x + y + (x - y)^2$ 在 $\mathbb{C}$ 上既不是加性的也不是乘性的，从而确认其为 Elekes–Rónyai 问题的有效候选对象。

意义与主张
本文声称反驳了关于非特殊多项式具有近二次方下界的 Elekes 猜想。通过展示一个特定的非特殊多项式的像集规模可以达到 $O(n^{2-c})$ （其中 $c > 0$ 为常数），作者表明所猜想的 $n^{2-\epsilon}$ 界限是错误的。

该构造被描述为一种“组合大筛法”方法的逆过程。虽然典型的筛法使用局部分支来证明具有有限重数的集合必然很小，但这项工作利用局部分支（分裂素数）将数值强制约束在极小的一组局部剩余类中，从而构造出一个具有小像集的庞大集合。

论文指出，该构造最初于 2026 年 6 月在一次博客文章中公布，并依赖于 Erdős 单位距离问题和乘积和猜想的最新突破，特别是利用了高维对称 Minkowski 框和有界根判别式域塔。本工作提供了这些反例的正式证明和详细背景。