🔢 mathematics

A sharp lower bound for some reciprocal Rado numbers

本文为倒数拉多数 $f_r(k)$ 建立了紧确下界，证明了针对一般 $r$ 和 $k$ 的特定不等式，确定了在 $k$ 满足特定条件时 $r=2$ 的确切值或改进后的界限，并提供了新的计算结果与推广。

原作者： Collier Gaiser, Mojtaba Ramezanpour

发布于 2026-07-07

📖 1 分钟阅读🧠 深度阅读

原作者： Collier Gaiser, Mojtaba Ramezanpour

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

想象一下，你有一个装满编号瓷砖的大袋子，编号从 1 到某个巨大的数字 $n$ 。你还有一套蜡笔（颜色）。你的目标是为袋子里的每一块瓷砖涂上颜色。

这篇论文探讨了一个涉及这些彩色瓷砖和一种非常特殊的“单位分数”（分子始终为 1 的分数，例如 1/2, 1/3, 1/4）的特定数学游戏。

游戏： “倒数拉多”挑战 (The "Reciprocal Rado" Challenge)

游戏的规则是这个方程：
$\frac{1}{x_1} + \frac{1}{x_2} + \dots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$

把这看作是一个食谱。你需要从你的袋子里挑选 $k$ 个数字（我们称之为“原料”）。当你把它们的“倒数”（把它们翻转过来）相加时，它们必须完美地等于最后一个数字的倒数（这个“成品”）。

限制条件： 你挑选的所有用于原料和成品的数字必须是同一种颜色。

核心问题是作者提出的：你的瓷砖袋子（ $n$ ）需要有多大，才能保证无论你如何尝试着色，都能找到一个解？

这个最小数字被称为倒数拉多数，记作 $f_r(k)$ 。

$r$ 是你拥有的颜色数量。
$k$ 是你食谱中原料的数量。

作者的发现：“安全网”

作者想要寻找一个“紧致下界”（sharp lower bound）。用通俗的话说，他们想要证明一个“安全网”的大小。他们想要表达的是：“如果你的袋子小于这个特定的数字，你总能找到一种给瓷砖着色的方法，使得没有任何单一颜色的食谱成立。”

他们证明了两件事：

对于 2 个原料 ( $k=2$ )： 如果你有 $r$ 种颜色，你的袋子至少需要大约 $4^{r/2}$ 那么大才能强制产生一个解。
- 类比： 想象你正试图在抽屉里藏出一双匹配的袜子。作者计算了在变得在数学上不可能不通过同色来隐藏这对袜子之前，你的抽屉里至少需要有多少只袜子。
对于 3 个或更多原料 ( $k \ge 3$ )： 如果你有 $r$ 种颜色，你的袋子至少需要 $(2r - 1) \times k^r$ 那么大。
- 类比： 随着食谱变得更加复杂（原料增多），“藏身之处”变得更难寻找，但作者发现一旦袋子足够大，藏身之处就会消失。

特殊情况：两种颜色 ( $r=2$ )

论文深入研究了你只有红色和蓝色蜡笔的情况。这是该游戏最常见的版本。

他们发现了一个非常精确的模式，即什么时候“安全网”是紧凑的（意味着数字正好符合公式预测），以及什么时候是松散的（意味着你需要比公式建议更大的袋子）。

“完美”匹配： 如果原料的数量 $k$ $k$ 是 3 乘以 2 的幂次（例如 6, 12, 24），那么魔术数字正好是 $3k^2$ $3 k^{2}$ 。
- 例子： 如果需要 6 个原料，袋子大小正好是 $3 \times 6^2 = 108$ 。
“奇素数”转折： 如果原料的数量 $k$ $k$ 是一个奇素数的幂（例如 3, 5, 7, 9, 11, 25），那么魔术数字会稍微高一点：至少是 $3k^2 + 1$ $3 k^{2} + 1$ 。
- 类比： 这就像一个拼图，大多数碎片都能完美放入盒子，但如果某个碎片是“素数”形状的，它就会稍微凸出来一点，需要一个稍大的盒子。

计算机侦探工作

作者并不仅仅是在纸上做数学，他们还利用计算机充当“侦探”。他们编写了代码来测试所有可能的、规模高达 25 的数字着色方式。

他们确认了对于像 6, 8, 10, 12 等数字，公式 $3k^2$ 完美适用。
他们确认了对于奇素数幂如 5, 7, 9, 11，公式确实需要那个额外的“+1”提升。
他们甚至发现之前的某项研究存在错误（声称一个数字是 39，但它实际上至少应该是 75），并且他们纠正了这一点。

基于他们的计算机结果，他们提出了一个猜想（一个强有力的猜测）：

“如果 $k$ 不是奇素数幂（且 $k \ge 4$ ），那么魔术数字正好是 $3k^2$ 。”

通用的食谱

最后，作者研究了一个更复杂的版本，其中原料带有“权重”（系数）。不再仅仅是相加 $1/x$ ，你可能会加上 $2/x$ 或 $5/x$ 。

他们证明了即使有了这些权重，你仍然可以计算出一个“安全网”的大小。这个大小取决于最小权重和所有权重的总和。这就像是在说：“即使你的食谱里加入了重口味的香料，我们仍然可以告诉你，为了保证能找到一组匹配的彩色罐子，你的储藏室需要多大。”

总结

这篇论文关于寻找特定类型分数方程中，混沌（随机着色）转向秩序（保证出现单色解）的精确临界点。作者为这个临界点提供了新的、更紧凑的公式，使用计算机验证了小规模数值，并发现了一个适用于原料数量为“奇素数幂”时的特殊规则。

技术摘要：关于某些倒数拉多数（Reciprocal Rado Numbers）的一个紧确下界

问题陈述
本文研究了算术拉姆齐理论（arithmetic Ramsey theory）中一个关于“倒数拉多数”的问题。具体而言，它研究了涉及单位分数（unit fractions）的方程：
$\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$
其中 $x_1, \dots, x_k$ 是不一定互不相同的正整数。令 $f_r(k)$ 表示最小的正整数 $n$ ，使得对集合 $\{1, 2, \dots, n\}$ 的任何 $r$ -着色都包含该方程的一个单色解。虽然 Brown 和 Rödler [4] 以及 Lefmann [11] 已证明对于足够大的值，这样的 $n$ 是存在的，但 $f_r(k)$ 的精确界限和精确值在很大程度上仍未知。本文旨在改进现有的 $f_r(k)$ 下界，并确定特定情况（特别是当 $r=2$ 时）的精确值或更紧的界限。

方法论
作者结合了组合构造、数论论证和计算验证的方法：

构造性下界： 为了建立 $f_r(k)$ 的下界，作者构造了区间 $\{1, 2, \dots, N\}$ 的显式 $r$ -着色，以避免单色解。这些构造将整数集划分为分配了特定颜色的不相交区间（ $A_1, A'_i, A''_i$ ）。证明的核心依赖于分析倒数方程中项的大小。一个关键工具是引理 2.1，它提供了特定范围内不同整数倒数之差的下界，用于在假设单色类内存在解时导出矛盾。
针对 $r=2$ 的情况分析： 对于 2-着色情况，作者分析了 $k$ 的特定形式。他们利用归纳法以及涉及 2 的幂次和 $k$ 的倍数的特定代数恒等式，来证明在特定条件下（例如当 $k$ 为奇素数幂时），对 $\{1, \dots, 3k^2\}$ 的某些着色无法产生单色解。
计算验证： 作者利用 Python 脚本（在 ChatGPT 5.5 和 ChatGPT Codex 的辅助下）以及布尔可满足性（SAT）求解器（Cadical195 和 Glucose3）来计算先前未确定的 $k$ 范围内的 $f_2(k)$ 和 $f_3(k)$ 的精确值。这些计算是在 AMD Ryzen 7 9800X3D 处理器上完成的。

主要贡献与结果

改进的一般下界：
本文证明了两个改进现有界限（如 $f_r(k) \ge k^r$ ）的主要定理：
- 对于 $r \ge 1$ ， $f_r(2) \ge 4^{r/2}$ 。
- 对于 $k \ge 3$ 且 $r \ge 1$ ， $f_r(k) \ge (2r - 1)k^r$ 。
  作者指出，对于 $r=2$ ，界限 $f_2(k) \ge 3k^2$ 对无穷多个 $k$ 是紧确的。
针对 $r=2$ 的精确值与更紧的界限：
- 情况 $k = 3 \cdot 2^m$ ： 作者证明，如果 $k$ 是形式为 $3 \cdot 2^m$ 的数（其中 $m$ 为正整数），则 $f_2(k) = 3k^2$ 。
- 情况 $k = p^m$ （奇素数幂）： 如果 $k$ 是奇素数幂，作者证明 $f_2(k) \ge 3k^2 + 1$ 。
- 计算结果： 本文提供了一个计算出的 $f_2(k)$ 表格，其中 $k \in \{2, \dots, 25\}$ 。这些结果纠正了 Myers 和 Parrish [12] 关于 $f_2(5)$ 的先前说法，表明其为 80（与新的下界一致），而非 39。数据表明，当且仅当 $k$ 不是奇素数幂时（对于 $k \ge 4$ ）， $f_2(k) = 3k^2$ 。
向系数的推广：
作者将他们的下界结果推广到具有任意正整数系数的方程：
$\frac{a_1}{x_1} + \frac{a_2}{x_2} + \cdots + \frac{a_k}{x_k} = \frac{1}{x_{k+1}}$
他们证明，对于 2-着色， $f(a_1, a_2) \ge 2\min\{a_1, a_2\}(a_1+a_2)^2$ ，且对于 $k \ge 3$ ， $f(a_1, \dots, a_k) \ge (2\min\{a_i\} + 1)(\sum a_i)^2$ 。
$r=3$ 的计算数据：
文中提供了 $k \in \{2, 3, 4, 5\}$ 时 $f_3(k)$ 的新计算结果。作者观察到，由其通用定理导出的下界 $f_3(k) \ge 7k^3$ 似乎是松弛的，因为计算出的值显著超过了该界限。

意义与主张
本文声称提供了一般情况下倒数拉多数第一个紧确下界，并确定了 $f_2(k)$ 的下界为精确值的特定无穷族 $k$ 。作者强调，他们的工作细化了关于倒数方程中单色解变得不可避免的阈值的理解。

作者通过以下方式谦虚地界定其发现：

提出猜想 1.3：对于 $k \ge 4$ ， $f_2(k) = 3k^2$ 当且仅当 $k$ 不是奇素数幂。
识别开放问题，包括改进 $f_3(k)$ 的下界、细化 $f_2(k)$ 在 $k$ 为奇素数幂时的界限，以及确定对于所有 $k \ge 4$ 是否存在二次上界。
指出虽然他们的下界在特定情况下是紧确的，但对于 $r \ge 3$ 的一般行为仍是一个开放的研究领域，正如 $f_3(k)$ 的计算结果与理论下界之间的差异所暗示的那样。

文章最后指出，在计算工作中使用了 AI 辅助编程，并邀请对单位分数最小距离性质进行进一步研究（问题 5.4）。

游戏： “倒数拉多”挑战 (The "Reciprocal Rado" Challenge)

作者的发现：“安全网”

特殊情况：两种颜色 (r=2r=2r=2)

计算机侦探工作

通用的食谱

总结

类似论文

特殊情况：两种颜色 ( $r=2$ )