[論文レビュー] Computing the number of numerical semigroups using generating functions

Víctor Blanco, Pedro A. García-Sánchez+1 more|ArXiv.org|Jan 9, 2009

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

ひとこと要約

本稿では、Apéry集合から導かれる有界な多面体における整数点として数えることにより、生成関数に基づく数え上げ手法を導入し、数値的半群を生成関数を用いて数える。固定された種数またはFrobenius数を持つ半群の数え上げは多項式時間で可能であり、乗法的次数3および4の明示的な準多項式公式を導出し、すべての種数およびFrobenius数において正確な列挙が可能である。

ABSTRACT

This paper presents a new methodology to count the number of numerical semigroups of given genus or Frobenius number. We apply generating function tools to the bounded polyhedron that classifies the semigroups with given genus (or Frobenius number) and multiplicity. First, we give theoretical results about the polynomial-time complexity of counting the number of these semigroups. We also illustrate the methodology analyzing the cases of multiplicity 3 and 4 where some formulas for the number of numerical semigroups for any genus and Frobenius number are obtained.

研究の動機と目的

• 生成関数を用いて、固定された種数またはFrobenius数を持つ数値的半群の数え上げを多項式時間で行うアルゴリズムの開発。
• すべての種数およびFrobenius数において、乗法的次数3および4の数値的半群の数を記述する明示的な準多項式公式の提供。
• 最大埋め込み次元を持つ数値的半群、および固定された乗法的次数、種数、Frobenius数を持つ半群の数え上げの複雑さの分析。
• 種数が増加するに従いスケーリングが著しく悪化する再帰的列挙法の限界を、短い生成関数とパラメトリック多面体を活用することで克服。

提案手法

• 固定された乗法的次数、種数、またはFrobenius数を持つ数値的半群を、Apéry集合から導かれる有界な有理係数多面体内の整数点としてモデル化。
• Barvinokの短い生成関数を用いて、これらの多面体内の整数点の数を効率的に符号化・計算。
• 多面体のパラメトリック性を活用し、種数またはFrobenius数を関数とする準多項式表現を導出。
• Selmerの公式を用いてApéry集合の要素と種数、Frobenius数の関係を関係づけ、正確な多面体的制約を可能に。
• Barvinokのアルゴリズムに基づく計算技術を用いて、得られた多面体内の格子点を数え上げ、正確な数え上げを実現。
• e(S)=2,3,4などの異なる埋め込み次元を扱うために、ディオファントス的制約を分析し、GCD条件に応じた床関数の調整を適用。

実験結果

リサーチクエスチョン

• RQ1 生成関数を用いることで、固定された種数またはFrobenius数を持つ数値的半群の数え上げを多項式時間で行うことは可能か？
• RQ2 すべての種数またはFrobenius数において、乗法的次数3および4の数値的半群の数を記述する明示的な準多項式公式は何か？
• RQ3 生成関数を用いた場合、乗法的次数、種数、Frobenius数が変化するに従い、数値的半群の数え上げの複雑さはどのように変化するか？
• RQ4 乗法的次数4で固定された種数gおよびFrobenius数Fを持つ最大埋め込み次元の数値的半群の正確な数は何か？
• RQ5 パラメトリック多面体アプローチにより、固定された乗法的次数に対して、すべての種数における数値的半群の数の閉形式表現が得られるか？

主な発見

• 乗法的次数3では、種数gにおける数値的半群の数は、gを3で割った剰余に基づく3つのケースに分けられる準多項式で与えられ、すべてのgに対して正確な数え上げが可能である。
• 乗法的次数4では、Fとgの合同条件に依存する12個の異なるケースを持つ準多項式で、すべての種数において完全な公式が得られている。
• 乗法的次数4で固定された種数gおよびFrobenius数Fを持つ最大埋め込み次元の数値的半群の数は、床関数と合同条件を含む区分的公式で与えられ、F=5, g=7では最大2個の半群が存在する。
• 本稿では、乗法的次数が固定されている場合、パラメトリック多面体構造のおかげで、固定された種数またはFrobenius数を持つ数値的半群の数え上げが多項式時間で解けると証明している。
• 乗法的次数5では、準多項式が9つの部分に分けられ、複雑さが増加しているが、依然として計算的に実行可能である。
• 理論的複雑度において、再帰的列挙法に比べて本手法が優れているが、現在の実装では計算制約のため、種数15までに制限されている。