🔢 mathematics

Problems in additive number theory, VII: The structure of additive $h$ -bases for $n$

本文介绍了一类新问题，涉及整数至 $n$ 的加法 $h$ -基的结构，该类问题专为人工智能求解而设计。

原作者： Melvyn B. Nathanson

发布于 2026-05-27

📖 1 分钟阅读🧠 深度阅读

原作者： Melvyn B. Nathanson

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

以下是梅尔文·B·纳森松（Melvyn B. Nathanson）的论文《加法数论中的问题，VII》的解释，已用通俗易懂的语言并辅以富有创意的类比进行翻译。

宏观图景：用数字搭建桥梁

想象你拥有一套特殊的积木（整数）。你被允许将恰好 $h$ 块这样的积木堆叠在一起，搭成一座塔。塔的高度即为这些积木上数字的总和。

这篇论文的核心问题是：我们能从地面（0）开始，搭建多高且连续不间断的阶梯状塔楼？

如果你能搭建出高度为 0、1、2、3、4……直至某个数字 $n$ 的塔楼，中间没有任何缺口，那么你的这套积木就被称为" $n$ 的 $h$ -基"。

这篇论文引入了一组关于这些积木集合的新谜题。作者纳森松实际上是在说：“我们知道如何搭建这些阶梯，但我们尚未完全理解它们能变得多大，或者积木需要如何排列的规律。这里有一些新的谜题等待解决，其中一些甚至对高级人工智能来说可能颇具挑战性。”

四大主角（函数）

这篇论文定义了四种不同的方式来衡量用特定数量的积木（ $k$ ）所能搭建的“最佳”阶梯。可以将它们视为同一款游戏的四种不同计分系统：

“自下而上”得分（ $n_h(k)$ ）：
- 规则： 你只能使用正积木（或零）。你必须从 0 开始搭建阶梯。
- 目标： 你能在不出现缺口的情况下搭建多高？
- 类比： 你正在从地面搭建一个斜坡。你不能使用负数（即不能挖洞），也不能从半空中开始搭建。
“悬浮”得分（ $n^\sharp_h(k)$ ）：
- 规则： 你只能使用正积木（或零），但你可以从任意位置开始搭建阶梯（高度为 5、100 或 -50 均可）。
- 目标： 无论从哪里开始，你能覆盖的最长连续数字跨度是多少？
- 类比： 只要只使用正砖块，你可以在宇宙中的任何地方建造一座桥梁。
“全范围”得分（ $m_h(k)$ ）：
- 规则： 你可以使用任意整数（正数、负数或零）。你必须从 0 开始。
- 目标： 你能在不出现缺口的情况下搭建多高？
- 类比： 你拥有一个装有负数（即能减少高度的“反砖块”）的魔法工具箱。你必须从地面开始，但可以使用这些特殊工具来延伸你的覆盖范围。
“终极”得分（ $m^\sharp_h(k)$ ）：
- 规则： 你可以使用任意整数，并且可以从任意位置开始搭建阶梯。
- 目标： 你能覆盖的最长连续数字跨度绝对值是多少？
- 类比： 你拥有全套工具箱，并且可以自由地将桥梁放置在任意位置。

论文的发现：
纳森松证明，对于“悬浮”和“终极”得分（即计分系统 2 和 4），是否允许使用负数实际上并不重要。如果你能利用负数搭建一座长桥，你就可以重新排列积木，仅用正数搭建出一座同样长度的桥。在这两种情况下的“最佳”长度是相同的。

“孤立”积木与“西顿”秘密

这篇论文还考察了你所生成的数字集合的形状。

问题： 有时，当你将积木相加时，你会得到一个完美的阶梯（0, 1, 2, 3...），但随后会出现一个巨大的缺口，接着是一个孤零零的数字（一个“孤立”的整数）漂浮在远处。
目标： 纳森松想知道：我们能否构建一个完全孤立的阶梯？也就是说，我们得到一个长长的、不间断的区间，而除了该区间微小的子部分外，附近没有任何其他东西存在？

为了解决这个问题，他使用了一个称为 西顿集（Sidon Set） 的概念。

类比： 想象一组音符。在普通集合中，你可能会演奏 C+E 得到一个和弦，其声音与 D+F 相同。这会造成混淆。
西顿集： 这是一个音符集合，其中任意两个音符的每一种组合都会产生一个独特的和弦。没有任何两对音符的总和是相同的。
“ $\Delta$ -分离”的转折： 纳森松将这一概念推进一步。他创建的集合不仅要求和是唯一的，而且它们彼此之间还必须相距甚远。如果你将两个数字相加，结果保证与任何其他结果保持一定的距离。这种“间距”使他能够构建出能形成完美阶梯然后立即停止的集合，从而让数字线的其余部分保持空白。

人工智能挑战

作者明确指出，这篇论文旨在测试人工智能的极限。

人工智能能做的： 解决非常困难的数学问题（如博士论文级别）。
人工智能的短板： 判断什么是有趣的问题，或者发明新的问题类别。
论文的角色： 纳森松正在向人工智能提供一份新谜题清单（问题 1 至 11）。其中一些问题标有星号（*），因为它们可能过于抽象，或者需要一种关于什么使模式“优美”或“有趣”的“人类直觉”，而当前的 AI 可能会忽略这一点。

“问题”摘要

该论文列出了约 11 个具体的挑战，供数学家（和人工智能）解决：

模式猎捕： 你能预测给定数量的积木所有可能的“阶梯高度”的精确列表吗？
缺口分析： 如果你只增加一块积木，阶梯的长度会如何变化？
负数： 使用负数实际上能帮助你从零开始搭建更长的阶梯吗？（论文暗示对于最大长度而言，答案是“不”，但这仍是一个待证明的问题）。
稀疏性： 我们能否构建这些积木集合，使数字彼此非常遥远（稀疏），但仍能形成完美的阶梯？
多重阶梯： 我们能否构建一个积木集合，使其恰好形成两个独立的阶梯，而中间没有任何其他东西？

“警告”（给读者的警示）

在结尾处，纳森松添加了一个“读者慎入”（Caveat Lector）。他指出，关于这些特定数字，存在大量古老且大多被遗忘的文献（主要是德语）。这些新谜题的答案可能已经埋藏在旧期刊中，等待再次被发现。他实际上是在说：“我们可能是在重复造轮子，但这确实是一个值得转动的轮子。”

nutshell（核心总结）

这篇论文是数字加法世界中一片未开垦领域的地图。它定义了游戏规则，证明了一些基本定律（例如“负数无法帮助你走得更远”），然后绘制了一张藏宝图，指向 11 个新的"X"标记，那里可能隐藏着宝藏（即解决方案）。它邀请人类数学家和人工智能系统一同去挖掘。

技术摘要：加性数论中的问题，VII：n 的加性 h-基的结构

引言与动机
本文由 Melvyn B. Nathanson 撰写，介绍了加性数论中关于 n 的加性 h-基结构的一类新问题。这项工作置于人工智能在数学领域不断发展的能力背景之下。虽然人工智能系统已展现出解决适合博士论文水平的复杂问题的能力，但它们目前尚缺乏识别“有趣”问题或提出新猜想的能力。因此，本文认为，提出新颖且可解的问题仍然是人类数学家的独特优势。文中提出的问题旨在供人类求解，并在某些情况下可由应用于算术的当前人工智能系统求解。

定义与框架
本文基于以下定义建立了严格的框架：

n 的加性 h-基：一个有限整数集 A 是 n 的加性 h-基，如果其 h 倍和集 hA（即 A 中 h 个元素（不必互异）的所有和的集合）包含区间 [0, n]。
n 的区间 h-基：集合 A 是 n 的区间 h-基，如果 hA 包含某个整数 c 对应的区间 [c, c+n]。
最大区间：对于集合 A， $\ell_h(A)$ 表示满足 $[0, n] \subseteq hA$ 的最大 n，而 $\ell^\sharp_h(A)$ 表示满足对某个 c 有 $[c, c+n] \subseteq hA$ 的最大 n。
四个关键函数：本文基于大小为 k 的集合定义了四个函数：
1. $n_h(k)$ ：满足大小为 k 的集合 $A \subseteq \mathbb{N}_0$ 使得 $[0, n] \subseteq hA$ 的最大 n。
2. $n^\sharp_h(k)$ ：满足大小为 k 的集合 $A \subseteq \mathbb{N}_0$ 使得对某个 c 有 $[c, c+n] \subseteq hA$ 的最大 n。
3. $m_h(k)$ ：满足大小为 k 的集合 $A \subseteq \mathbb{Z}$ 使得 $[0, n] \subseteq hA$ 的最大 n。
4. $m^\sharp_h(k)$ ：满足大小为 k 的集合 $A \subseteq \mathbb{Z}$ 使得对某个 c 有 $[c, c+n] \subseteq hA$ 的最大 n。

主要贡献与结果

函数的单调性：
定理 1 证明了序列 $(n_h(k))$ 、 $(m_h(k))$ 、 $(n^\sharp_h(k))$ 和 $(m^\sharp_h(k))$ 在 $h, k \ge 2$ 时是严格递增的。该证明依赖于通过向大小为 k 的最大集合 A 添加一个元素来构造大小为 k+1 的集合 A'，从而将所覆盖的区间至少扩展一个单位。
Sidon 集的推广：
为了构造特定的区间基，本文引入了 H 级 $\Delta$ -分离集的概念。若任意两个不同子集和之间的差至少为 $\Delta$ ，则称该集合为 $\infty$ 级 $\Delta$ -分离集。
- 定理 2 证明了幂集 $A(g) = \{g^i : i \in \mathbb{N}\}$ （其中 $g = \Delta + 1$ ）是 $\infty$ 级 $\Delta$ -分离集。这提供了一种构造具有高度分离和集的集合的方法。
区间 2-基的构造：
定理 3 给出了大小为 $2n+2$ 的集合 A 存在的构造性证明，使得 $2A$ 包含唯一的区间 $[c, c+n]$ 且不包含其他区间（ $[c, c+n]$ 的子区间除外）。 $2A \setminus [c, c+n]$ 中的所有元素都是孤立的。该构造利用了一个增长足够快的整数序列，以确保目标区间之外的和得到分离。
非负基与整数基的等价性：
定理 5 确立了 $n^\sharp_h(k) = m^\sharp_h(k)$ 。这一结果表明，只要区间可以平移，在基集中允许负整数并不会增加 h 倍和集所能覆盖的区间的最大长度。证明涉及将包含负整数的集合平移为非负整数集合，而不改变所覆盖区间的长度。
直径界限：
定理 6 给出了实现最大区间长度 $n_h(k)$ 的集合 $A \subseteq \mathbb{N}_0$ 的直径的上界。具体而言，如果 $\ell_h(A) = n_h(k)$ ，则 $\text{diam}(A) \le n_h(k)$ 。该证明论证道，如果最大元素大于 $n_h(k)$ ，那么它在覆盖区间 $[0, n_h(k)]$ 时将是冗余的，这与 $n_h(k)$ 的最大性相矛盾。

开放问题与方法论
本文并未解决主要的计算问题，而是将其表述为未来研究的挑战。方法论包括：

模式识别：列出小 $h$ 和 $k$ 的具体值（例如 $L_{\mathbb{N}_0, h}(k)$ ）以识别隐藏的模式。
构造性证明：利用快速增长的序列（整数的幂）来隔离特定的和集。
平移论证：利用除法算法平移区间，并将 $\mathbb{Z}$ 上的问题与 $\mathbb{N}_0$ 上的问题联系起来。

本文指出了若干具体问题，其中许多标有星号 (*) 以表示其对人工智能的潜在难度：

问题 1 与 2：描述固定 $h$ 和 $k$ 时 $\ell_h(A)$ 和 $\ell^\sharp_h(A)$ 的可能值集合。
问题 3：计算这四个函数的序列，并开发算法以判断给定整数 $w$ 是否属于它们的值域。
问题 4：分析这些函数的差分序列。
问题 5：确定包含负数是否严格增加了最大区间 $[0, n]$ 的大小。
问题 7–9：研究构造和集仅在特定且间距较远的位置包含区间的集合的可能性。
问题 10：确定这四个函数是否相等（例如， $n_h(k) = m_h(k)$ 是否成立？）。

意义与范围
本文的主要意义在于提出了这些新问题。它承认函数 $n_h(k)$ 已在较旧的德语文献中得到广泛研究（引用了 Bloom、Hofmeister 和 Rohrbach 等作者），相关解可能存在于历史期刊中。然而，本文旨在通过以下方式使研究现代化：

系统地定义四个相关函数（ $n_h, n^\sharp_h, m_h, m^\sharp_h$ ）。
引入 $\Delta$ -分离集的概念，以构造具有特定结构属性的区间基。
明确将这些问题表述为人工智能在数学发现方面能力的基准。

该工作的主张是适度的，指出它提出了“新问题”，而非提供这些函数渐近行为的确定性解。它强调，虽然计数函数 $n_h(k)$ 一直是以往研究的焦点，但其他计数函数以及区间基的结构属性在很大程度上尚未被研究。本文最后指出，类似的问題也存在于其他集合（如平方数、素数）和其他构型（如等差数列）中，为未来的研究留下了广泛的议程。