[论文解读] 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

一句话总结

本文提出了一种基于生成函数的方法，通过将数值半群建模为由阿佩里集导出的有界多面体中的整数点，来计数数值半群。该方法建立了在固定亏格或弗罗贝尼乌斯数情况下计数的多项式时间复杂度，并推导出乘法性为3和4的显式拟多项式公式，从而实现了对所有亏格和弗罗贝尼乌斯数的精确计数。

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.

研究动机与目标

• 通过生成函数开发一种在固定亏格或弗罗贝尼乌斯数下计数数值半群的多项式时间算法。
• 为所有亏格和弗罗贝尼乌斯数下乘法性为3和4的数值半群数量提供显式拟多项式公式。
• 分析在使用生成函数时，计数最大嵌入维数数值半群以及具有固定乘法性、亏格和弗罗贝尼乌斯数的数值半群的复杂度。
• 通过短生成函数和参数多面体，克服递归计数方法在亏格增大时扩展性差的局限。

提出的方法

• 将具有固定乘法性、亏格或弗罗贝尼乌斯数的数值半群建模为由阿佩里集导出的有界有理多面体中的整数点。
• 应用巴尔维诺克的短生成函数，高效地编码并计算这些多面体中的整数点数量。
• 利用多面体的参数性质，推导出作为亏格或弗罗贝尼乌斯数函数的数值半群数量的拟多项式表达式。
• 利用塞尔默公式将阿佩里集元素与亏格和弗罗贝尼乌斯数关联，从而实现精确的多面体约束。
• 基于巴尔维诺克算法的计算技术，对所得多面体中的格点进行计数，获得精确计数结果。
• 通过分析丢番图约束并应用向下取整函数调整以满足最大公约数条件，处理不同嵌入维数（如 e(S)=2,3,4）的情况。

实验结果

研究问题

• RQ1 能否使用生成函数在多项式时间内计算具有固定亏格或弗罗贝尼乌斯数的数值半群数量？
• RQ2 哪些显式拟多项式公式能描述任意亏格或弗罗贝尼乌斯数下乘法性为3和4的数值半群数量？
• RQ3 在使用生成函数时，计数数值半群的复杂度如何随乘法性、亏格和弗罗贝尼乌斯数变化？
• RQ4 对于乘法性为4且具有固定亏格和弗罗贝尼乌斯数的最大嵌入维数数值半群，其精确数量是多少？
• RQ5 参数多面体方法能否为固定乘法性下所有亏格的数值半群数量提供闭式表达式？

主要发现

• 对于乘法性为3的情况，亏格为g的数值半群数量由一个基于g模3的3种情况的拟多项式给出，可对所有g实现精确计数。
• 对于乘法性为4的情况，亏格为g的数值半群数量由一个包含12种不同情况的拟多项式描述，这些情况取决于F和g的同余条件，从而在所有亏格下提供完整公式。
• 具有乘法性4、固定亏格g和弗罗贝尼乌斯数F的最大嵌入维数数值半群数量由一个分段公式给出，该公式涉及向下取整函数和同余条件，且当F=5、g=7时最多仅有2个这样的半群。
• 本文证明，当乘法性固定时，由于参数多面体结构的存在，具有固定亏格或弗罗贝尼乌斯数的数值半群计数问题可在多项式时间内求解。
• 对于乘法性为5的情况，拟多项式包含9个部分，表明复杂度增加，但该方法在计算上仍可行。
• 该方法在理论复杂度上优于递归计数，尽管当前实现受限于计算资源，仅能处理亏格至15。