🔢 mathematics

On quotients of numerical semigroups for almost arithmetic progressions

本文针对由几乎等差数列生成的数值半群，通过将商半群中 Apery 集的计算转化为简单的极小化问题，推导出了其 Frobenius 数的闭式公式，从而部分解决了 A. Adeniran 等人提出的一个开放问题。

原作者： Feihu Liu

发布于 2026-04-13

📖 1 分钟阅读🧠 深度阅读

原作者： Feihu Liu

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

这篇论文听起来充满了数学符号和术语，但如果我们把它想象成一场**“数字积木游戏”**，它的核心思想就会变得非常有趣和直观。

想象一下，你有一堆不同颜色的积木（代表数字 $a_1, a_2, \dots$ ）。你可以用这些积木搭出各种高度的塔（代表数字相加）。

数值半群（Numerical Semigroup）：就是你能用这些积木搭出的所有可能的塔高的集合。
弗罗贝尼乌斯数（Frobenius number）：就是你绝对搭不出来的最高塔高。一旦超过这个高度，你就一定能用积木搭出来。
亏格（Genus）：就是你根本搭不出来的塔高总共有多少个。

1. 核心挑战：把积木“缩小”

这篇论文研究的是一个叫**“商”（Quotient）的操作。
想象你有一个巨大的积木仓库（原始半群 $\langle A \rangle$ ）。现在，老板规定：“以后我们只关心那些高度是 $p$ 的倍数**的塔”。

如果你能搭出一个高度为 $100 $的塔，而$ p=10 $，那么$ 100 $是$ 10$ 的倍数，这个塔就符合新规则。
但是，新规则下的“最小单位”变了。原本高度为 $10$ 的塔，现在在新规则下只算作“高度 1"。
问题在于：如果我们把积木“缩小”了（除以 $p$ ），新的“搭不出来的最高塔”是多少？新的“搭不出来的塔”总数又是多少？

这就像是你把尺子的刻度从“厘米”换成了“分米”，虽然物体没变，但描述它们“能不能拼出来”的规则变得非常复杂，很难直接算出答案。

2. 作者的“魔法”：寻找最简路径

作者刘飞虎（Feihu Liu）发现了一个聪明的办法，不需要去数所有的塔，而是去寻找**“阿佩里集”（Apéry set）**。

比喻：想象你在玩一个迷宫游戏。你的目标是找到从起点出发，到达每一个“余数房间”（比如除以 $a$ 余 0、余 1、余 2...）的最短路径。
一旦你找到了每个房间的最短路径（最小塔高），整个迷宫的“最高不可达点”和“不可达点总数”就能立刻算出来。

作者的关键突破是：当 $p$ 是某个特定数字的因数（比如 $p$ 能整除第一个积木的高度 $a$ ）时，这个寻找最短路径的过程，可以简化为一个非常简单的**“最小化问题”**。

这就好比，原本你需要在复杂的迷宫里到处乱跑，现在作者发现了一条**“高速通道”**，让你直接通过简单的计算就能知道最短路径是多少。

3. 具体解决了什么？（几乎等差数列）

论文主要解决了一类特殊的积木组合，叫做**“几乎等差数列”（Almost Arithmetic Progressions）**。

普通等差数列：比如积木高度是 $10, 20, 30, 40$（每次加 10）。
几乎等差数列：比如 $10, 25, 35, 45$（第一个是 10，后面每次加 10，但第二个多出了 5）。
作者还处理了更复杂的情况：
- 有“初始缺口”的：前面几个数字跳过了，从中间开始。
- 只有“奇数项”的：比如 $10, 25, 45, 65$（跳过了偶数位置的增量）。

作者为这些复杂的积木组合，在“缩小”（除以 $p$ ）之后，给出了精确的公式。

以前：数学家们面对这些复杂的积木，只能猜或者用计算机慢慢算，没有通用的公式。
现在：作者给出了像 $F = \dots$ 这样的“魔法公式”，只要把数字代进去，就能直接算出答案。

4. 为什么这很重要？

这篇论文解决了一个由其他数学家（A. Adeniran 等人）提出的**“开放问题”**。

这就好比在数学界，大家一直有一个谜题：“如果我有这样一组特殊的积木，并且把它们缩小 $p$ 倍，那个‘搭不出来的最高塔’到底是多少？”
大家知道答案肯定存在，但没人能写出一个简单的公式。
这篇论文部分解答了这个谜题（在 $p$ 是 $a$ 的因数时），并给出了漂亮的公式。

总结

简单来说，这篇论文就像是一位**“数字建筑师”**：

他面对一堆复杂的积木规则（几乎等差数列）。
他发明了一种**“透视眼镜”**（阿佩里集简化法），能直接看穿复杂的结构。
他利用这副眼镜，为那些原本难以计算的“缩小版”积木游戏，写出了精确的说明书（公式）。

这不仅让数学家们能更快地算出答案，也为未来解决更复杂的数字组合问题提供了新的工具和思路。

以下是关于论文《ON QUOTIENTS OF NUMERICAL SEMIGROUPS FOR ALMOST ARITHMETIC PROGRESSIONS》（几乎等差数列数值半群的商）的详细技术总结：

1. 研究背景与问题定义

核心概念：

数值半群 (Numerical Semigroup)：由互素正整数集合 $A = \{a_1, a_2, \dots, a_n\}$ 生成的加法半群 $\langle A \rangle$ 。
商半群 (Quotient)：对于正整数 $p$ ， $\langle A \rangle$ 关于 $p$ 的商定义为 $\langle A \rangle_p = \{x \in \mathbb{N} \mid px \in \langle A \rangle\}$ 。已知 $\langle A \rangle_p$ 也是一个数值半群。
关键不变量：
- Frobenius 数 ( $F$ )：不属于该半群的最大整数。
- Genus ( $g$ )：不属于该半群的非负整数的个数（即空隙数）。

研究动机与开放问题：

当 $n \ge 3$ 时，Frobenius 数通常没有封闭公式。
对于商半群 $\langle A \rangle_p$ ，计算其 $F(\langle A \rangle_p)$ 和 $g(\langle A \rangle_p)$ 是一个难点。
Open Problem 1.1 (Adeniran et al.)：针对生成元为几乎等差数列 $A = (a, a+d, a+2d, \dots, a+kd)$ 的情况，在 $\gcd(a, d)=1$ 且 $p|a$ 的条件下，寻找 $F(\langle A \rangle_p)$ 和 $g(\langle A \rangle_p)$ 的封闭公式。

2. 方法论：Apery 集的简化与优化问题

本文提出了一种基于 Apery 集 (Apéry set) 的简化计算方法，将复杂的半群结构问题转化为简单的最小化优化问题。

核心步骤：

Apery 集定义：对于半群 $S$ 和元素 $m \in S$ ，Apery 集定义为 $Ap(S, m) = \{w \in S \mid w - m \notin S\}$ 。一旦获得 Apery 集，Frobenius 数和 Genus 即可通过简单的极值公式计算（引理 2.1）。
降维转化：
- 考虑生成元形式为 $A = (a, ha+db_1, \dots, ha+db_k)$ 的半群，其中 $p|a$ 。
- 作者证明了 $\langle A \rangle_p$ 中关于 $a/p$ 的 Apery 集元素 $N_{dr, p}$ 可以转化为一个最小化问题 $OB(M)$。
- 关键公式 (命题 2.2)：
  $N_{dr, p} = \min \left\{ OB(ma + rp) \cdot \frac{ha}{p} + \left(\frac{ma}{p} + r\right)d \mid m \in \mathbb{N} \right\}$
  其中 $OB(M) = \min \{ \sum x_i \mid \sum b_i x_i = M, x_i \in \mathbb{N} \}$ 是一个线性丢番图方程系数的最小和问题。
单调性分析：通过证明上述表达式随 $m$ 增加而单调递增，作者将计算简化为只需考虑 $m=0$ 或特定边界情况，从而获得 Apery 集元素的显式公式。

3. 主要贡献与结果

本文在 $p|a$ 的条件下，解决了 Adeniran 等人提出的开放问题的一部分，并推广到了多种“几乎等差数列”的变体。

3.1 一般性缩放定理 (Theorem 1.2)

对于生成元为 $A = (a, db_1, \dots, db_k)$ 的半群，建立了 $\langle A \rangle_p$ 与 $\langle (a, b_1, \dots, b_k) \rangle_p$ 之间的关系：

$F(\langle A \rangle_p) = d \cdot F(\langle (a, b_i) \rangle_p) + \frac{a(d-1)}{p}$
$g(\langle A \rangle_p) = d \cdot g(\langle (a, b_i) \rangle_p) + \frac{(a-p)(d-1)}{2p}$
意义：将带系数 $d$ 的问题转化为 $d=1$ 的基础问题，极大地简化了计算。

3.2 几乎等差数列 (Almost Arithmetic Progressions) (Theorem 1.3)

针对 $A = (a, ha+d, ha+2d, \dots, ha+kd)$ ：

给出了 $F(\langle A \rangle_p)$ 和 $g(\langle A \rangle_p)$ 的封闭公式。
当 $h=1$ 时，直接回答了 Open Problem 1.1 中 $p|a$ 的情况。
公式涉及取整函数 $\lceil \cdot \rceil$ 和求和项，结构清晰。

3.3 带初始间隙的几乎等差数列 (Theorem 1.4)

针对 $A = (a, ha+(K+1)d, \dots, ha+kd)$ （即跳过了前 $K$ 项）：

根据 $p$ 与 $K$ 的大小关系（ $p > K$ 或 $p \le K$ ），给出了分段定义的封闭公式。
当 $p \le K$ 时，公式更为复杂，涉及对求和上限的调整。

3.4 特定结构的半群 (Theorem 1.5 & 1.6)

三项情况 (Theorem 1.5)：针对 $A = (a, ha-d, ha+d) $，给出了基于$ s = \lfloor \frac{ha-d}{2hp} \rfloor$ 的显式公式。
奇数项情况 (Theorem 1.6)：针对 $A = (a, ha+d, ha+3d, \dots)$ $A = (a, ha + d, ha + 3 d, \dots)$ （步长为 $2d$ $2 d$ 的奇数项序列）：
- 当 $t' \equiv 0 \pmod 2$ （即 $a-p$ 除以 $2k+1$ 的余数为偶数）时，给出了封闭公式。
- 指出当 $t'$ 为奇数时情况复杂，难以获得封闭公式，这是该方法的局限性。

4. 验证与实例

论文提供了多个数值实例（如 $a=84, h=3, d=101$ 等），并使用 GAP 软件包 (numericalsgps) 验证了计算出的 Frobenius 数和 Genus 的正确性。
验证了当 $p=1$ 时，公式退化为已知的经典结果（如 Selmer, Roberts, Brauer 等人的公式）。

5. 研究意义与结论

理论贡献：
1. 提供了一种通用的Apery 集简化技术，将商半群的计算转化为线性优化问题。
2. 部分解决了 Adeniran 等人提出的关于几乎等差数列商半群的开放问题。
3. 扩展了 Frobenius 数研究范围，涵盖了带系数、带初始间隙、奇数项等多种复杂生成元结构。
方法论创新：通过引入中间函数 $N_{dr, p}(m)$ 并分析其单调性，避免了直接处理复杂的半群元素枚举，使得推导过程更加系统化和公式化。
局限性：对于某些特定参数组合（如 Theorem 1.6 中 $t'$ 为奇数的情况），目前尚未获得统一的封闭公式，这为未来的研究留下了空间。

总结：该论文通过巧妙的代数变换和优化问题建模，成功推导出了一系列数值半群商结构的 Frobenius 数和 Genus 的封闭公式，丰富了数值半群理论在商运算和特殊生成元序列方面的研究成果。