数値半群の商とほぼ等差数列に関する論文の技術的サマリー

以下は、Feihu Liu 氏による「数値半群の商：ほぼ等差数列の場合（ON QUOTIENTS OF NUMERICAL SEMIGROUPS FOR ALMOST ARITHMETIC PROGRESSIONS）」という論文の技術的サマリーです。

1. 研究の背景と問題設定

1.1 数値半群とその商

数値半群 $S$ は、非負整数集合 $\mathbb{N}$ の部分集合であり、加法について閉じており、0 を含み、補集合 $\mathbb{N} \setminus S$ が有限であるものです。生成元 $A = \{a_1, a_2, \dots, a_n\}$（$\gcd(A)=1$）に対して、$S = \langle A \rangle$ と表記されます。

本研究の核心は、**数値半群の商（Quotient）**の概念にあります。正整数 $p$ に対する $\langle A \rangle$ の商 $\langle A \rangle_p$ は以下のように定義されます。
$$\langle A \rangle_p = \{ x \in \mathbb{N} \mid px \in \langle A \rangle \}$$
これは再び数値半群となりますが、その構造を解析することは一般的に困難です。

1.2 研究課題

主要な不変量として、フロベニウス数 $F(S)$（半群に属さない最大の整数）と種数 $g(S)$（半群に属さない非負整数の個数）が挙げられます。

• $n=2$ の場合、Sylvester によって閉じた式が得られています。
• $n \ge 3$ の場合、一般的な閉形式は存在しないことが知られていますが、特殊な生成元を持つ半群（等差数列など）については多くの研究があります。

A. Adeniran ら（[1]）は、生成元が等差数列 $A = (a, a+d, \dots, a+kd)$ である場合の商 $\langle A \rangle_p$ に関するフロベニウス数と種数の公式をいくつかのケースで導出しましたが、$p$ が $a$ の約数である場合（$p \mid a$）における一般化された公式の導出は未解決問題（Open Problem 1.1）として残されていました。

本研究は、この未解決問題に対して、$p \mid a$ となるケースにおいて部分的な解決策を提示し、さらに「ほぼ等差数列」や「初期ギャップを持つ等差数列」など、より広範な生成元パターンに対する公式を導出することを目的としています。

2. 手法とアプローチ

2.1 アペリー集合（Apéry Set）の縮約

数値半群 $S$ における $m \in S \setminus \{0\}$ に対するアペリー集合 $\text{Ap}(S, m)$ は、$S$ に属し $m$ を引くと $S$ に属さない最小の非負整数の集合 $\{w_0, w_1, \dots, w_{m-1}\}$ として定義されます（$w_r \equiv r \pmod m$）。
Lemma 2.1（Brauer, Shockley, Selmer）により、アペリー集合が得られれば、フロベニウス数と種数は以下の式で容易に計算できます。
$$F(S) = \max(w_r) - m, \quad g(S) = \frac{1}{m} \sum_{r=1}^{m-1} w_r - \frac{m-1}{2}$$

2.2 最小化問題への帰着

本研究の主要な手法は、商 $\langle A \rangle_p$ のアペリー集合の要素を計算する問題を、単純な**最小化問題（Optimization Problem, OB）**に帰着させることです。
生成元が $A = (a, ha + db_1, \dots, ha + db_k)$ の形（$p \mid a$）をとる場合、商 $\langle A \rangle_p$ のアペリー集合の要素 $N_{dr, p}$ は、以下の式で表現されます（Proposition 2.2）。

$$N_{dr, p} = \min \left\{ \text{OB}(ma + rp) \cdot \frac{ha}{p} + \left(\frac{ma}{p} + r\right)d \mid m \in \mathbb{N} \right\}$$

ここで、$\text{OB}(M)$ は以下の最小化問題の解です。
$$\text{OB}(M) = \min \left\{ \sum_{i=1}^k x_i \;\middle|\; \sum_{i=1}^k b_i x_i = M, \; x_i \in \mathbb{N} \right\}$$

この帰着により、複雑な半群の構造解析が、離散的な最小化問題の解析へと変換され、具体的な閉形式の導出が可能になります。

3. 主要な結果（定理）

論文では、$p \mid a$ という条件下で、以下の 4 つの主要な定理が証明されています。

定理 1.2: 共通因子 $d$ を持つ生成元の一般化

生成元が $A = (a, db_1, \dots, db_k)$ の形（$d$ が共通因子）の場合、商 $\langle A \rangle_p$ の不変量は、$d=1$ の場合の不変量を用いて以下のように表せます。

• $F(\langle A \rangle_p) = d \cdot F(\langle a, b_1, \dots, b_k \rangle_p) + \frac{a(d-1)}{p}$
• $g(\langle A \rangle_p) = d \cdot g(\langle a, b_1, \dots, b_k \rangle_p) + \frac{(a-p)(d-1)}{2p}$

定理 1.3: ほぼ等差数列（Almost Arithmetic Progressions）

生成元が $A = (a, ha+d, ha+2d, \dots, ha+kd)$ である場合（$1 \le k \le a-1$）、$p \mid a$ に対して以下の閉形式が得られます。

• フロベニウス数: $F(\langle A \rangle_p) = \lceil \frac{a-p}{k} \rceil \cdot \frac{ha}{p} + \frac{a(d-1)}{p} - d$
• 種数: 和の形で表される具体的な公式。
  特に $h=1$ の場合（通常の等差数列生成元）は、Adeniran らの未解決問題に対する部分的な解答となります。

定理 1.4: 初期ギャップを持つほぼ等差数列

生成元が $A = (a, ha+(K+1)d, \dots, ha+kd)$ のように、最初の $K$ 項が欠けている場合、$p$ と $K$ の大小関係によって公式が分岐します。

• $p > K$ の場合：定理 1.3 と同様の構造。
• $p \le K$ の場合：より複雑なケース分けを含む公式が導出されます。

定理 1.5: 特定の 3 項生成元

生成元が $A = (a, ha-d, ha+d)$である場合、$s = \lfloor \frac{ha-d}{2hp} \rfloor$ を用いた最大値の比較による公式が得られます。

定理 1.6: 奇数項のみを持つ等差数列

生成元が $A = (a, ha+d, ha+3d, \dots)$ のように、公差 $d$ の倍数が奇数倍のみ現れる場合、$a-p$ を $2k+1$ で割った余りの偶奇によって公式が異なります。

• 余りが偶数の場合：閉形式が得られます。
• 余りが奇数の場合：閉形式の導出は困難であり、この論文では未解決のままです。

4. 検証と具体例

各定理の導出後、具体的な数値例（例：$a=84, h=3, d=101$ など）が提示されています。これらの数値例は、GAP パッケージ「numericalsgps」を用いて検証されており、導出された公式の正確性が確認されています。

5. 意義と結論

学術的意義

1. 未解決問題への貢献: Adeniran らが提起した「$p \mid a$ における等差数列生成元の商の不変量」の問題に対し、$h=1$ のケースを含む広範な解を提供しました。
2. 手法の一般化: アペリー集合の計算を「最小化問題 OB(M)」に帰着させる手法を確立し、これを「ほぼ等差数列」や「初期ギャップあり」など、多様な生成元パターンに適用可能にしました。
3. 閉形式の提供: 多くの特殊ケースにおいて、フロベニウス数と種数に対する明示的な閉形式（Closed formulas）を初めて導出しました。

結論

本論文は、数値半群の商という難解な問題に対し、アペリー集合の構造を巧みに解析することで、特定の生成元クラス（ほぼ等差数列など）に対して完全な解を与えました。特に、$p$ が生成元の最小要素の約数であるという条件の下で、複雑な半群の不変量を計算可能にする体系的な枠組みを構築した点が最大の貢献です。今後の研究課題として、定理 1.6 の「余りが奇数」の場合や、$p \nmid a$ の場合への拡張が挙げられます。