[論文レビュー] Counting numerical semigroups

Ernst Kunz, Rolf Waldi|arXiv (Cornell University)|Oct 27, 2014

Commutative Algebra and Its Applications参考文献 5被引用数 5

ひとこと要約

本稿は、多面体錐と格子点を用いた幾何的・代数的枠組みを構築し、数値的半群の個数をEhrhart準多項式を用いて記述することを示している。主な貢献は、多重度4で奇数の特徴的数 $ q $ を持つ数値的半群の個数が $ \frac{1}{72}q^3 $ に漸近的に増加することを示す公式であり、特に対称的および擬対称的ケースに対して明示的な漸化式と閉形式が得られている。

ABSTRACT

We are interested in formulas for the number of elements in certain classes of numerical semigroups

研究の動機と目的

• 数値的半群を $ \mathbb{R}^{p-1} $ 内のApéry集合と多面体錐を用いて幾何モデル化すること。
• 半群の最大埋め込み次元、対称的、擬対称的タイプを、錐 $ C_p $ の面および超平面切断における格子点を用いて特徴付けること。
• 特に $ p=4 $ および $ p=5 $ の場合に、固定された種数を持つ半群の個数に対する準多項式表現を導出すること。
• 特徴的数 $ q \to \infty $ のとき、このような半群の個数の成長に対する漸近公式を確立すること。
• 特に $ p=4 $ の場合に、対称的および擬対称的半群に対して明示的な漸化式と閉形式を提供すること。

提案手法

• 各数値的半群 $ H \in \mathfrak{H}_p $ を、$ p $ に関するApéry集合を用いて、多面体錐 $ C_p \subset \mathbb{R}^{p-1} $ 内の格子点へ一対一に写像する。
• Ehrhart理論を用いて、$ C_p $、その面、および超平面切断内の格子点の個数を種数 $ g $ に関する準多項式として表現する。
• Apéryの特徴付けとFrobenius数の条件を用いて、対称的および擬対称的半群を $ C_p $ 内の特定の面および直線上の格子点として特徴付ける。
• 互いに素な整数 $ p $ と $ q $ を含む半群の集合 $ \mathfrak{H}_{pq} $ を、$ C_p $ の超平面切断内の格子点としてモデル化し、再帰的数え上げを可能にする。
• 長方形内の格子路の数え上げを適用して、多重度4および奇数の特徴的数 $ q $ を持つ半群の個数 $ N(4,q) $ の漸化式を導出する。
• Fibonacciの $ \sum j^2 $ の和公式を用いて、$ N(4,q) $ の立方項漸近的成長を導出し、極限 $ \lim_{q\to\infty} \frac{N(4,q)}{q^3} = \frac{1}{72} $ に至る。

実験結果

リサーチクエスチョン

• RQ1 多重度4で奇数の特徴的数 $ q $ を持つ数値的半群の個数の漸近的成長率は何か？
• RQ2 対称的および擬対称的数値的半群は、Apéry錐 $ C_p $ 内でどのように幾何的に特徴付けられるか？
• RQ3 $ \mathfrak{H}_{pq} $ である2つの互いに素な整数 $ p $ と $ q $ を含む半群の集合の構造は何か？ そのサイズはどのように計算できるか？
• RQ4 固定された種数を持つ半群の個数に対して、$ \mathfrak{H}_p $ 内で明示的な漸化式を導出できるか？
• RQ5 固定された種数を持つ半群を数えるEhrhart準多項式の主要項は何か？

主な発見

• 多重度4で奇数の特徴的数 $ q $ を持つ数値的半群の個数 $ N(4,q) $ に対して、$ \lim_{q\to\infty} \frac{N(4,q)}{q^3} = \frac{1}{72} $ が成り立つ。
• $ p=4 $ の場合、対称的半群の個数 $ \text{Sym}(4,q) $ は、$ q \not\equiv 1 \pmod{6} $ のとき $ \text{Sym}(4,q) = \text{Sym}(4,q-4) + 1 + \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} $ を満たし、$ q \equiv 1 \pmod{6} $ のときは $ \text{Sym}(4,q) = \text{Sym}(4,q-4) + \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} + 1 $ を満たす。
• 擬対称半群の個数 $ \text{Psym}(4,q) $ は、$ \text{Psym}(4,q) = \text{Psym}(4,q-4) + 2 $ を満たし、$ \text{Psym}(4,3) = 1 $ である。
• $ q \geq 7 $ のとき、$ q \equiv 1 \pmod{6} $ ならば $ \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} $ 個の対称的半群が存在し、そうでない場合は $ \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} + 1 $ 個である。
• $ q \geq 7 $ のとき、$ \mathfrak{H}_{4q} $ 内の擬対称半群の個数は正確に2個である。
• $ \mathfrak{H}_{4q} $ 内の最大埋め込み次元4の半群の個数 $ \text{Medim}(4,q) $ に対して、$ \lim_{q\to\infty} \frac{\text{Medim}(4,q)}{q^3} = \frac{1}{72} $ が成り立ち、これは $ N(4,q) $ の成長と一致する。