🔢 mathematics

Monochromatic Sums and Products over $\mathbb{Q}$

本文证明了对于任何正整数 $n$ ，有理数集的任何有限着色都包含一个由 $n$ 个元素组成的集合，使得它们的所有非空子集和以及子集积都具有相同的颜色，从而证实了有理数域上的希德曼猜想的一个版本。

原作者： Ryan Alweiss

发布于 2026-07-14

📖 1 分钟阅读🧠 深度阅读

原作者： Ryan Alweiss

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

想象一下，你有一个巨大的彩色弹珠盒，这些弹珠代表了所有的有理数（像 1/2, 3/4, -5/2 这样的分数）。有人给每一颗弹珠都涂上了其中一种颜色——比如红色、蓝色或绿色。这被称为“有限着色”。

一个世纪以来，数学家们一直在玩一个游戏。这个游戏是：无论你怎么用数学进行混合，你是否总能找到一组颜色相同的特殊弹珠？

1974年，一位名叫尼尔·欣德曼（Neil Hindman）的数学家证明了一个仅针对“加法”的奇妙规则。他表明，无论你如何着色，你总能找到一条无限的线，使得你做的任何加法（加两个、三个或一百个）结果都会落在同一种颜色上。这就像是找到了一组神奇的食材，无论你如何烹饪出各种各样的汤，味道都完全一样。

但随后，欣德曼提出了一个更宏大的问题：如果我们将加法和乘法混合在一起呢？我们能否找到一组数字，使得它们的每一个可能的加法结果和每一个可能的乘法结果都是同一种颜色？

坏消息（我们已知行不通的情况）
首先，让我们谈谈什么是不奏效的。欣德曼发现，如果你尝试在自然数（1, 2, 3...）中这样做，这个游戏是不可能的。你可以对自然数进行着色，从而打破这条规则。无论你如何挑选那条无限的线，你最终都会发现某个和或某个积改变了颜色。这就像试图建造一座积木塔，要求所有堆叠和粘贴的组合都呈现同一种颜色，但这些积木非常固执，拒绝配合。

重大突破（本文证明的内容）
本文由瑞安·阿尔韦斯（Ryan Alweiss）撰写，它解决了这个谜题的一个稍有不同的版本。阿尔韦斯并没有使用整个无限的自然数集，而是将目光投向了有理数（所有的分数）。

主要发现是一个响亮的**“是的”。本文证明，如果你对有填任何有限数量的颜色进行着色，你总能**找到一个有限的数字组（假设为 $n$ 个数字），使得：

你能从它们中做出的每一个可能的加法结果都是同一种颜色。
你能从它们中做出的每一个可能的乘法结果都是同一种颜色。

可以这样想：想象你拥有一个混乱的彩虹色分数世界。阿尔韦斯发现了一个挑选特定的一把数字的秘密配方。无论你如何混合它们——无论是像计算购物账单那样把它们相加，还是像缩放食谱比例那样把它们相乘——它们都会闪烁着完全相同的颜色。

他们是如何做到的（魔术技巧）
这个证明就像是一个有着严格规则的高级版“跟着领头人走”的游戏。作者使用了一个强大的工具，叫做多项式范德瓦尔登定理（Polynomial van der Waerden theorem）。

想象你有一台可以在混沌中寻找模式的机器。作者设置了一系列“更新”（就像计算机程序中的循环）。

首先，他们找到一些适用于简单加法的数字。
然后，他们通过“平移”和“缩放”这些数字（就像拉伸橡皮筋或移动拼图块一样）使它们也适用于乘法。
他们一遍又一遍地这样做，仔细调整数字，以确保数字的“大小”保持在可控范围内，从而保证模式能够成立。

这不是一个瞬间发生的魔法咒语，而是一个缓慢、审慎的算法，通过一步步构建来打造完美的集合。论文表明，通过使用这些有理数，你有足够的“活动空间”让加法和乘法完美对齐，而这在仅使用整数时是无法实现的。

仍然存在的谜团
虽然这篇论文解决了有理数的问题，但它为关于整数的原型难题留下了悬念。作者明确指出，这里使用的这种方法并不适用于整数，因为你无法通过分数来平移一个整数并依然留在整数的世界里（你不能通过分数偏移来保持整数特性）。

因此，核心问题仍然存在：是否能在整个整数集中找到这样一个完美的单色组？ 本文尚未回答这个问题。事实上，作者暗示对于整数来说，答案可能是“否”，或者至少需要一种完全不同、更复杂的数学方法来证明。

底线
瑞安·阿尔韦斯已经证明，在分数的世界里，宇宙足够友好，总能包含一个隐藏的、完美的、同时遵循加法和乘法规则的着色组。这是有理数的胜利，但整数之间的战斗仍在继续。

技术摘要：有理数域 $\mathbb{Q}$ 上的单色和与积

问题陈述
本文探讨了拉姆齐理论（Ramsey theory）中一个核心的开放问题，即混合加法与乘法模式的划分正则性（partition regularity）。虽然希曼德定理（Hindman's Theorem, 1974）保证了自然数集 $\mathbb{N}$ 的任何有限着色都包含一个无穷序列，其有限子集的元素之和均为同色，且乘法类似情形也成立，但同时要求和与积满足单色性则要严格得多。

希曼德（Hindman, 1979）证明了不存在一个 $\mathbb{N}$ 中的无穷序列，使得其所有两两之和与两两之积均为同色。因此，自然的有限推广——希曼德猜想（Conjecture 1.1）——假设对于任何 $n \ge 2$ ， $\mathbb{N}$ 的任何有限着色都包含 $n$ 个数 $\{x_1, \dots, x_n\}$ ，使得所有非空子集的元素之和 $\sum_{i \in S} x_i$ 与元素之积 $\prod_{i \in S} x_i$ 均为同色。该猜想在 $\mathbb{N}$ 上仍是一个开放问题，即使是对于最简单的情形 $n=2$ （模式 $\{x, y, x+y, xy\}$ ）也是如此。

本文研究的是该猜想在有理数 $\mathbb{Q}$ 上的较弱版本（Conjecture 1.2），此前该问题仅由 Bowen 和 Sabok (2023) 解决了 $n=2$ 的情况。作者旨在证明该命题在 $\mathbb{Q}$ 上对任意 $n$ 均成立。

方法论
证明依赖于一种构造性的、算法化的方法，通过迭代更新变量来满足日益复杂的单色条件。其核心技术手段包括：

多项式范德瓦尔登定理（Polynomial van der Waerden Theorem）： 作者大量使用了多维多项式范德瓦尔登定理（Bergelson 和 Leibman）。具体而言，他们应用了一个在 $\mathbb{Q}^\ell$ 上的版本（Theorem 2.4），该定理保证了存在一个向量 $u$ 和一个整数 $n$ ，使得 $u + \sum c_i p_i(n) v_i$ 为单色，其中 $p_i$ 是取值为整数且满足 $p_i(0)=0$ 的多项式， $c_i$ 是具有有界“规模”的有理系数。
辅助乘法着色（Auxiliary Product Colorings）： 为了管理和与积之间的相互作用，作者定义了辅助着色 $\chi_M$ ，用于编码变量的缩放与平移版本。这使得应用类范德瓦尔登结果来控制复杂多项式表达式的颜色成为可能。
迭代更新（平移与缩放）： 证明结构是一个维护变量序列 $x_n, \dots, x_1$ $x_{n}, \dots, x_{1}$ 的算法。作者定义了两种特定的操作：
- 平移（Shifts）： 形式为 $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$ 的操作。
- 缩放（Scalings）： 形式为 $x_i \leftarrow k x_i$ 的操作。
  这些更新通过执行来确保特定的多项式组合（例如 $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ ）相对于其基项保持单色。
规模参数（Size Parameters）： 引入了一个技术参数 $M$ （代表系数和分母的最大规模）。证明过程通过选择一个足够大的初始 $M_0$ ，并随着更新过程将其迭代减小为 $M_1, M_2, \dots$ ，从而确保最终所需的规模条件得到满足。

主要贡献与结果
主要结果是 Theorem 1.3，它指出：

对于任何 $n \ge 2$ ，如果 $\mathbb{Q}$ 被有限多种颜色着色，则存在非零 $x_1, \dots, x_n$ ，使得所有数字 $\sum_{i \in S} x_i$ 与 $\prod_{i \in S} x_i$ （对于非空 $S \subseteq [n]$ ）均为同一种颜色。

论文通过一个主引理（Proposition 4.1）建立了这一结论，该引理证明了一个更强、更具一般性的结构性质。该引理断言，存在变量 $x_n, \dots, x_1$ ，使得对于任何 $i$ 以及任何子集 $T \subseteq [i-1]$ ，对于所有具有有界规模的“良好”多项式 $P$ ，颜色 $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ 与 $P(x_i \prod_{j \in T} x_j)$ 的颜色一致，其中 $S$ 遍历所有严格大于 $T$ 的下标集合。

证明主定理（Section 5）将此引理与以下内容相结合：

拉姆齐定理（Ramsey's Theorem）： 用以提取一个子序列，使得乘积的颜色仅取决于其次数（因子个数）。
福克曼定理（Folkman's Theorem）： 应用于下标的辅助着色，以找到一组下标，其子集和对应于所需的次数。
最终构造： 将上述两者结合，构造出最终的集合 $\{X_1, \dots, X_r\}$ ，使得和与积均为单色。

意义与区别
作者强调了其工作与 Bowen 和 Sabok 最近关于 $n=2$ 结果之间的几点区别：

普适性： 本研究解决了任意 $n$ 的问题，而此前结果仅限于 $n=2$ 。
方法论： 与 Bowen 和 Sabok 不同，本证明并未将 Moreira 的结果作为“黑箱”使用。相反，它体现了作者早期证明 Moreira 结果的精神，即直接利用多项式范德瓦尔登定理。
显式界限： 证明给出了解的规模的显式界限，这是 Bowen-Sabok 证明中所不具备的特征。
在 $\mathbb{N}$ 上的局限性： 作者明确指出，其证明技术依赖于涉及除法（如 $b/c$ ）的“平移”操作，这在 $\mathbb{N}$ 中通常是无法实现的。这解释了为什么结果是在 $\mathbb{Q}$ 上建立的，而对于 $\mathbb{N}$ 的猜想仍然悬而未决。论文指出，解决 $\mathbb{N}$ 的情况可能需要新的思路，例如涉及更高阶的多项式或不同的结构约束，正如前作 [1] 中的 Conjecture 4.1 所暗示的那样。

论文最后讨论了向其他模式（例如涉及平方或不同乘积的模式）的潜在扩展，并提出了关于多项式半环上以及涉及负指数模式的开放性问题。

技术摘要：有理数域 Q\mathbb{Q}Q 上的单色和与积

类似论文

技术摘要：有理数域 $\mathbb{Q}$ 上的单色和与积