🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

本文对 Ma 和 Chen 提出的关于非最终周期性 $S$ -差集之极小加法补的问题给出了肯定的回答。

原作者： Min Tang, Wenjing He

发布于 2026-07-30

📖 1 分钟阅读🧠 深度阅读

原作者： Min Tang, Wenjing He

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

想象一下，你正站在一条由整数方块组成的无限长廊中，它向两个方向无限延伸。你拥有一组特殊的“跳跃石”，称为 $W$ 。如果你站在 $W$ 中的任何一块石头上，并利用一组特定的“辅助”石集 $C$ 进行跨步，你希望能够踏遍长廊中的每一个方块。用数学语言来说，如果你的辅助石之和与跳跃石之和覆盖了整个数轴，我们就说 $C$ 是 $W$ 的一个“加法补集”（additive complement）。

这里有一个转折：如果你的辅助石集合太大了怎么办？如果你扔掉一些石头，却依然能踏遍所有的方块呢？“极小加法补集”（minimal additive complement）是指你能使用的最小辅助石组——这个组小到即便你移除其中任何一个单体，长廊中都会出现一个无人能达到的缝隙。数学家们十多年来一直痴迷于这个谜题，试图弄清楚什么样的跳跃石模式能允许这种完美的、精简的辅助团队。核心问题在于：如果你的跳跃石遵循一种永不重复的模式（即“非最终周期性”集合），且它们之间的间隙始终选自一组特定的数字，你是否总能找到这样一个极小的团队？

由 Min Tang 和 Wenjing He 撰写的这篇论文回答了这个问题，给出了肯定的答案：“是”。作者处理了这个问题的某个特定且棘手的版本，即 $W$ 中石块之间的间隙是从一个有限的正整数列表 $S$ 中选取的，且该列表中每个数字都会作为间隙出现无数次。他们证明了，无论你选择什么样的列表 $S$ （只要它包含至少两个不同的数字），你总能构造出一个永不重复的跳跃石序列，并且该序列拥有一个极小加法补集。他们不仅仅是在猜测，而是构建了一个详细的、循序渐进的配方，来创造这些序列，并从数学上证明由此产生的辅助团队确实是最小的。

缝隙填充者的故事

为了理解 Tang 和 He 所做的工作，让我们把这个问题想象成一场填充巨大无限马赛克的游戏。

参与者

模式 ( $W$ )： 想象一排踏脚石。相邻两块石头之间的距离绝非随机；它总是来自一个特定的“菜单”尺寸，我们称之为 $S$ 。例如，你的菜单可能是 $\{3, 5\}$ 。那么，你可能会跳 3 步，然后 5 步，接着 3 步，再 3 步，然后又是 5 步。规则是：你必须无数次地使用菜单上的每一个尺寸，且跳跃的模式绝不能陷入枯燥的循环（比如永远是 3-5-3-5-3-5）。这就是数学家所说的“INEP S-差集”（无限且非最终周期性的 S-差集）。
辅助者 ( $C$ )： 这些是你在缝隙中放置的石头。如果你站在一块辅助石上并跳向模式 $W$ 中的任何一块石头，你应该能够到达数轴上的每一个整数。
目标： 寻找最小的辅助集合。这意味着找到一个最小的辅助团队，其中每一位成员都是绝对不可或缺的。如果你解雇了其中任何一人，覆盖范围就会出现断层。

前人的谜团
在此论文发表之前，数学家已经知道某些特定菜单下的答案。如果你的菜单仅为 $\{1, 2\}$ ，或者这些数字之间存在特殊关系（例如一个是另一个的倍数），他们就能构建出解法。但对于像 $\{3, 7, 11\}$ 这样通用的菜单，或者任何随机混合的数字，问题仍然悬而未决：是否总能找到一个极小团队？ 早期的研究曾暗示，如果间隙过于规律，你可能找不到极小加法补集；但如果间隙足够混乱，你或许可以。本文作者想要为任何有限的间隙菜单定下结论。

宏伟计划：搭建桥梁
Tang 和 He 不仅仅是说“它存在”。他们亲手构建了它。他们的证明就像是一份建筑蓝图，用于建造一座跨越无限峡谷的大桥。他们将构建过程分为两个主要场景，取决于菜单 $S$ 中的最小数字。

场景 1：菜单包含数字 1
如果你的最小间隙是 1，那么构建过程就像铺设一条漫长且蜿蜒的小径。作者从一小块易于处理的石头块开始。然后，他们使用一种巧妙的归纳法（循序渐进地构建）将路径无限延伸。

他们创建了石头的“区块”。
在这些区块内部，他们利用一种数学工具（与解决“Frobenius 硬币问题”相关，该问题探讨如何使用特定的硬币面额进行找零）来确保石头之间的间隙符合菜单中的数字 $S$ 。
他们在特定的间隔处精心放置“辅助石”（集合 $C$ ）。
奇迹发生在区块之间的“过渡”阶段。他们安排间隙的方式使得辅助石可以触及每一个整数，但如果你移除其中任何一个辅助石，就会出现一个特定的“洞”，而其他任何辅助石都无法填补这个洞。他们证明了在他们的构建中，石块之间的间隙以特定的方式变得越来越大，从而确保模式永不重复，同时极小辅助团队依然能完美运作。

场景 2：菜单起始数字大于 1
这是更难的部分。如果你的菜单中最小的间隙是 3 或 5，你就不能仅仅通过单步跨越来填补间隙。作者必须发挥创意。

他们意识到，如果菜单中的数字不共享公约数（它们在某种意义上是“互质”的），你仍然可以构建这条路径。
他们构建了一个更复杂的结构，其中“辅助石”以小型组或簇的形式出现。
他们使用了一种精密的计数论证，证明即使间隙较大，辅助簇的排列也能形成一张捕捉每一个整数的“网”。
至关重要的是，他们证明了移除一个辅助石后留下的“洞”是该特定辅助石所独有的。这就像是一个锁与钥匙的系统：辅助者 A 打开一把特定的锁，而没有其他辅助者拥有这把钥匙。如果你拿走辅助者 A，那把锁就会保持关闭，覆盖也会因此失败。

结论
作者的构建是严谨的。他们并没有在计算机上进行模拟，也没有仅仅暗示这可能是真的；他们提供了一个数学证明。他们表明，对于任何包含至少两个元素的有限正整数集 $S$ ，你都可以创建一个仅使用 $S$ 中数字的非重复间隙序列，并且对于该序列，一个极小加法补集始终存在。

他们有效地结束了关于这个特定版本的讨论。对于“是否对于任何有限集 $S$ 都成立……”这个问题，答案是肯定的。论文证实，间隙中那种混乱、非重复的性质并不会阻碍极小辅助团队的存在。事实上，正是这种模式中的“混沌性”让作者得以设计出解决方案，确保每一个辅助者都是不可或缺的，并且整个数轴都能被完美覆盖。

技术摘要：关于非最终周期性 S-差集之最小加法补集的探讨

问题陈述
本文探讨了加法数论中一个关于无穷整数集是否存在最小加法补集的特定问题。设 $C$ 和 $W$ 为整数的子集。若 $C + W = \mathbb{Z}$ ，则称 $C$ 是 $W$ 的一个加法补集（additive complement）。若不存在 $C$ 的真子集满足此条件，则称 $C$ 是一个最小加法补集（minimal additive complement）。

虽然 Nathanson、Chen、Yang、Kiss、Sándor 等人已经证明了有限集以及某些具有无界间隙或特定周期结构的无穷集存在最小补集，但对于具有有界间隙且非最终周期性集合的情况，研究仍不够充分。具体而言，Ma 和 Chen [14] 提出了以下问题（其著作中的问题 1.3）：

令 $S$ 为一个包含至少两个正整数的有限集合。是否存在一个无穷的、非最终周期的集合 $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ ，使得：

$W$ 具有一个最小加法补集；

对于所有 $i$ ，相邻元素的差值 $w_{i+1} - w_i$ 属于 $S$ ；

对于无穷多个指标 $i$ ，每个元素 $s \in S$ 都作为差值 $w_{i+1} - w_i$ 出现。

这样的集合 $W$ 被称为 INEP $S$ -差集（Infinite, Not Eventually Periodic $S$ -difference set，无穷非最终周期 $S$ -差集）。先前的研究解决了特定的子情况（例如，当 $S$ 中的元素互为整除关系，或满足特定模约束的 $\gcd(s_1, s_2)=1$ 时），但缺乏针对任意 $S$ 的通用解法。

方法论
作者 Tang 和 He 通过构造此类集合及其对应的最小补集，对上述问题给出了肯定的回答。其方法论依赖于对集合 $W$ 的归纳构造以及对集合 $C$ 的精心设计。

通过缩放进行简化： 作者首先利用引理 2.2，将一般情况简化为 $\gcd(s_1, \dots, s_l) = 1$ 的情形。他们证明了如果缩减后的集合存在最小补集，则可以构造出缩放后的集合 $dW$ 的最小补集。
归纳构造： 证明根据 $S$ $S$ 中最小元素 $s_1$ $s_{1}$ 的大小分为两种情况：
- 情况 1 ( $s_1 = 1$ )： 作者通过归纳方式构造序列 $\{d_i\}$ ${d_{i}}$ 、 $\{W_i\}$ ${W_{i}}$ 和 $\{c_i\}$ ${c_{i}}$ 。集合 $W$ $W$ 通过若干阶段构建，每个阶段 $W_i$ $W_{i}$ 在前一阶段 $W_{i-1}$ $W_{i - 1}$ 的基础上增加三个不相交的子集（ $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ ）。
  - 步骤 1： 使用步长 1（由于 $s_1=1$ ）和最大元素 $s_l$ 来填充特定的区间。
  - 步骤 2 & 3： 利用 引理 2.1（关于 Frobenius 硬币问题的结论），将区间长度表示为 $S$ 中元素的正线性组合。这使得作者能够使用严格属于 $S$ 的步长来填充间隙，从而确保差集性质。
  - 集合 $C$ 被构造为 $\{c_i\}_{i=1}^\infty$ ，其中 $c_i$ 的选取需满足特定的不等式，以确保 $C$ 与 $W$ 相加时能覆盖 $\mathbb{Z}$ ，同时保证移除任何元素都会破坏覆盖。
- 情况 2 ( $s_1 \ge 2$ )： 由于无法使用步长 1，此情况更为复杂。作者构造了序列 $\{d_i\}$ ${d_{i}}$ 、 $\{W_i\}$ ${W_{i}}$ 以及参数集 $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ 。
  - 他们定义了一个基于 $s_j$ 除以 $s_1$ 的余数 $r$ 的函数 $h(s_1; r)$ 。
  - 构造过程涉及创建具有特定模性质的块（blocks）。集合 $C$ 被构造为在每个阶段由 $s_1$ 个算术级数（经过平移）组成的并集。
  - 与情况 1 类似，引理 2.1 被用于用 $S$ 中的步长填充区间。构造过程确保了由 $C$ 的特定结构填充的“间隙”，同时保持 $W$ 内部的间隙仍属于 $S$ 。
验证最小性： 对于两种情况，作者都严谨地证明了所构造的 $C$ 是一个最小补集。这包括证明对于任何 $n \in \mathbb{Z}$ ，都有 $n \in W+C$ ，并且对于 $C$ 中的任何特定元素 $c$ ，都存在一个整数 $n$ ，使得 $n \in W+c$ 但 $n \notin W + (C \setminus \{c\})$ 。通过分析利用 $d_i$ 的归纳定义和所构造集合的不相交性，可以实现对移除元素后在和集中产生的“空洞”的分析。

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

定理 1.1： 令 $l \ge 2$ 为正整数， $S = \{s_1, s_2, \dots, s_l\}$ 为一个正整数集合，且满足 $1 \le s_1 < s_2 < \dots < s_l$ 。存在一个 INEP $S$ -差集 $W$ ，且存在 $W$ 的一个最小补集。

这一结果推广了之前的定理（引言中的定理 E、F 和 G），那些定理仅限于 $S$ 中元素之间的特定关系（如整除或互质条件）。当前的工作移除了这些限制，证明了对于任何基数 $|S| \ge 2$ 的有限集合 $S$ ，该结论均成立。

意义与主张
作者声称，他们的工作提供了一个统一的证明框架，将已知结果的范围扩展到了任意 $S$ -差集。通过解决 Ma 和 Chen 提出的问题 2，本文解决了在由任意有限差集 $S$ 定义的无穷、非最终周期集合背景下，最小加法补集的存在性问题。

论文并未声称解决了 $|S|=1$ 的问题（取决于周期性，这可能是平凡的或不可能的），也没有声称要刻画所有此类集合，而是旨在证明对于任何有效的 $S$ ，至少存在一个这样的集合。这项工作借鉴了定理 F 和 G 的构造思想，但将其综合起来以处理一般情况。

结论
本文成功回答了关于非最终周期 $S$ -差集是否存在最小加法补集的开放问题。通过利用 Frobenius 硬币问题（引理 2.1）和对模运算进行精心控制的复杂归纳构造，作者证明了对于任何基数至少为 2 的有限正整数集合 $S$ ，都可以构造出一个具有 $S$ 中差值的无穷非周期集合 $W$ ，且该集合拥有一个最小加法补集。

缝隙填充者的故事

技术摘要：关于非最终周期性 S-差集之最小加法补集的探讨

类似论文