[論文レビュー] The set of numerical semigroups of a given multiplicity and Frobenius number

M. B. Branco, Ignacio Ojeda+1 more|arXiv (Cornell University)|Feb 17, 2023

Commutative Algebra and Its Applications被引用数 8

ひとこと要約

本稿では、与えられたmultiplicity $m$ とFrobenius数 $F$ を持つすべての数値半群を計算するためのアルゴリズム的手法を提示する。この手法は、数値半群の集合 $ olimits(m,F)$ を、極小数値半群によってインデックス付けられる同値類に分割する同値関係を活用する。主な貢献は、まず根付き木構造を用いて $I(m,F)$ を効率的に計算し、その後各同値類に属するすべての半群を再構成することで、全探索に比べて著しく性能を向上させた効率的アルゴリズムの開発である。この手法はGAPで実装され、固定されたmultiplicityとgenusを持つ半群の計算に最適化されている。

ABSTRACT

We study the structure of the family of numerical semigroups with fixed multiplicity and Frobenius number. We give an algorithmic method to compute all the semigroups in this family. Moreover, several characterizations of this family are given. As an application we compute the set of all numerical semigroups with given multipliciy and gender.

研究の動機と目的

• 固定されたmultiplicity $m$ とFrobenius数 $F$ を持つすべての数値半群、すなわち $\mathcal{L}(m,F)$ を計算するためのアルゴリズム的手法を開発すること。
• 特に $m$ が小さく $F$ が大きい場合に顕著な計算非効率性を示す、multiplicity でフィルタリングを行わない従来の手法の問題を解決すること。
• アルゴリズムをgenus制約に適応させることで、与えられたmultiplicity とgenus を持つ数値半群の計算を可能にすること。
• Wilfの予想およびBrasの予想に関する研究を支援するため、深さ（すなわち $F/m$ の比）が大きい半群の族を効率的に生成できること。

提案手法

• 集合 $\mathcal{L}(m,F)$ 上に同値関係 $\sim$ を定義し、各同値類がちょうど1つの極小数値半群を含むようにすることで、$\mathcal{L}(m,F)/\sim \cong I(m,F)$ という自然な全単射を確立する。
• 与えられた $m$ と $F$ を持つすべての極小数値半群を体系的に生成できるように、根が $C(m,F)$ である根付き木構造を構築する。
• 半群をKunz座標で表現し、$I(m,F)$ を求める問題を特定の整数計画問題として解釈することで、アルゴリズムによる計算を可能にする。
• 各極小数値半群 $S \in I(m,F)$ に対して、その同値類 $[S]$ を計算する。具体的には、$g(T) = g(Z([S])) - |B|$ を満たすような $B \subseteq D(S) = S \setminus Z([S])$ 全ての集合 $B$ を特定し、$T = Z([S]) \cup \bigcup_{b \in B} (b + Z([S]))$ を定義する。
• NumericalSgpsパッケージを用いたGAPでアルゴリズムを実装し、最適化されたコードにより、$F=25$, $m=11$ の場合に $\mathcal{L}(m,F)$ の計算を0.1秒未満で実行。これはGAPのネイティブなフィルターよりも2.788秒を大幅に上回る性能向上を達成している。
• クラス $[S]$ を指定されたgenus $g$ を持つものに制限することで、アルゴリズムをmultiplicity とgenus を指定した半群の計算に適応させる。この際、$T(B)$ の集合の濃度制約を用いる。

実験結果

リサーチクエスチョン

• RQ1 固定されたmultiplicity $m$ とFrobenius数 $F$ を持つ数値半群の集合 $\mathcal{L}(m,F)$ を、全探索を避けて効率的に計算する方法は何か？
• RQ2 同値関係 $\sim$ における $\mathcal{L}(m,F)$ の同値類の構造は何か？ また、極小数値半群とどのように関係しているか？
• RQ3 $\mathcal{L}(m,F)$ のアルゴリズムを拡張することで、与えられたmultiplicity とgenus を持つ数値半群の集合を計算できるか？
• RQ4 数値半群の深さ（$q = \lfloor (F+1)/m \rfloor$ で定義される）は、$\mathcal{L}(m,F)$ の構造と計算可能性にどのように影響を与えるか？

主な発見

• 集合 $\mathcal{L}(m,F)$ が空でないための必要十分条件は、$F \geq m-1 \geq 1$ かつ $m \nmid F$ であり、最小元は $\langle m \rangle \cup \{F+1, \to\}$ である。
• $m \geq 3$ かつ $F > 2m$ の場合、集合 $\mathcal{L}(m,F)$ は同値関係 $\sim$ によって同値類に分割され、各同値類にちょうど1つの極小数値半群が含まれる。
• 与えられた $m$ と $F$ を持つ極小数値半群の集合 $I(m,F)$ は、根が $C(m,F)$ である根付き木を形成し、これによりアルゴリズム22を用いて体系的な列挙が可能となる。
• アルゴリズムは $m=11$, $F=25$ の場合に0.092秒で $\mathcal{L}(m,F)$ を計算し、全探索を避けることでGAPのネイティブフィルター（2.788秒）を大きく上回る性能を発揮した。
• クラス $[S]$ を指定されたgenus $g$ を持つものに制限することで、アルゴリズムをmultiplicity とgenus を指定した半群の計算に適応可能であり、この際 $T(B)$ の集合の濃度制約を用いる。
• 各同値類 $[S]$ の構造は多項式環上の二項イデアルに対応し、イデアル $I_{[S]}$ は和集合に関する半群を符号化することで、クラスの代数的特徴付けを可能にする。