[論文レビュー] Improved bounds on the number of numerical semigroups of a given genus

Sergi Elizalde|ArXiv.org|May 4, 2009

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

ひとこと要約

本稿は、生成木構造と継続規則から導かれる関数方程式を用いて、種数 $ g $ の数値的半群の数に対する既知の最良の下界と上限を改善する。フィボナッチ数と母関数を含むより鋭い境界を確立し、$ ①\text{limsup } m_g^{1/g} \to \text{sqrt}(2) $ という漸近的上限を提示する。また、$ n_g $ がフィボナッチ数のように成長すると仮定した場合、より鋭い上限 $ \text{sqrt}(\text{phi}) $ を予想する。

ABSTRACT

We improve the previously best known lower and upper bounds on the number n_g of numerical semigroups of genus g. Starting from a known recursive description of the tree T of numerical semigroups, we analyze some of its properties and use them to construct approximations of T by generating trees whose nodes are labeled by certain parameters of the semigroups. We then translate the succession rules of these trees into functional equations for the generating functions that enumerate their nodes, and solve these equations to obtain the bounds. Some of our bounds involve the Fibonacci numbers, and the others are expressed as generating functions. We also give upper bounds on the number of numerical semigroups having an infinite number of descendants in T.

研究の動機と目的

• 種数 $ g $ の数値的半群の数 $ n_g $ に対する以前に知られていた下界と上限を、特に大きな $ g $ に対して改善すること。
• 生成木 $ \mathcal{T} $ の構造的性質と継続規則を分析することにより、数値的半群の生成木 $ \tfrac{\mathcal{T}}{} $ を分析すること。
• 近似された部分木内のノードを数える母関数に対する関数方程式を導出することにより、$ n_g $ に対する精密な境界を得ること。
• 既存の研究から得られた GCD を用いた特徴付けを用いて、$ \mathcal{T} $ 内で無限に多くの子孫をもつ半群の数に対する上限を提供すること。
• $ n_g $ がフィボナッチ数のように成長すると仮定したもとで、$ m_g $ の漸近的推定値を精緻化すること。

提案手法

• ノードに半群のパラメータ（例：最小元、有効な生成元）をラベル付けし、継続規則を導出することにより、生成木 $ \mathcal{T} $ の近似を構築する。
• これらの近似木の継続規則を、ノードを数える母関数に対する関数方程式に翻訳する。
• 代数的操作、特にカーネル法の技術と変数の置換（例：$ w = uv^2 $）を用いて、得られた関数方程式を解く。
• 文献[3]の特徴付け（半群が無限に多くの子孫をもつための必要十分条件は $ \gcd(\lambda_0, \dots, \lambda_{f-g}) \neq 1 $ であること）を用いて、そのような半群の数を制限する。
• 無限子孫をもつ半群からより小さな半群およびその除数への単射写像を適用し、基数の境界を導出する。
• 母関数からの境界と GCD に基づく数え上げを組み合わせることで、$ m_g^{1/g} $ の漸近的極限を導出する。

実験結果

リサーチクエスチョン

• RQ1 種数 $ g $ の数値的半群の数 $ n_g $ に対する改善された下界と上限は何か、特に大きな $ g $ に対しては？
• RQ2 数値的半群の生成木構造を活用して、$ n_g $ に対するより鋭い境界をもたらす関数方程式を導出できるか？
• RQ3 生成木 $ \mathcal{T} $ 内で無限に多くの子孫をもつ半群の数 $ m_g $ の漸近的成長率は何か？
• RQ4 $ n_g $ がフィボナッチ数に類似して成長すると仮定した場合、$ m_g $ の漸近的上限はどのように変化するか？
• RQ5 Frobenius数以下の小さな要素に関する GCD 条件を用いて、無限の鎖をもつ半群の数を制限できるか？

主な発見

• 本稿は、$ n_g $ の下界を $ 2F_g $ に改善し、ここで $ F_g $ は $ g $ 番目のフィボナッチ数である。また、母関数として表される新しい上限を提示する。
• 無限鎖をもつ半群の数に対する母関数が導出され、$ m_g \neq 1 + (g-1) \times \sum_{i=0}^{\lfloor(g-1)/2\rfloor} n_i $ という境界が得られ、これが漸近的成長の分析に用いられる。
• 漸近的上限 $ \limsup_{g \to \infty} m_g^{1/g} \leq \sqrt{2} $ が確立され、以前の推定値を改善する。
• $ \lim_{g \to \infty} n_{g+1}/n_g = \phi $ と仮定すると、上限は $ \limsup_{g \to \infty} m_g^{1/g} \leq \sqrt{\phi} \approx 1.27201965 $ に鋭く狭まる。
• 生成木のノードの母関数に対する関数方程式がカーネル法を用いて解かれ、$ \sum_{g \geq 1} d_g t^g = t + t^3 + \sum_{g \geq 1} 2F_{g-1} t^g $ が得られ、これは小さい $ g $ に対して正確な数え上げを可能にする。
• $ 1 \leq g \leq 4 $ に対して、導出された境界 $ d_g = g $ は真の半群の数 $ m_g $ と一致し、この方法が小さいケースにおいて妥当であることを検証する。