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

一句话总结

该论文通过生成树结构和基于成功规则推导的函数方程，改进了关于 genus $ g $ 的数值半群数量的最佳已知下界和上界。论文建立了涉及斐波那契数和生成函数的更紧致的界，并给出了渐近上界 $  \boxed{\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.

研究动机与目标

• 改进此前已知的关于 genus $ g $ 的数值半群数量 $ n_g $ 的下界和上界，尤其针对较大的 $ g $。
• 通过研究其结构特性和成功规则，分析数值半群的生成树 $ \tfrac{\mathcal{T}}{} $。
• 推导出用于枚举 $ \mathcal{T} $ 的近似子树中节点的生成函数的函数方程，从而实现对 $ n_g $ 的精确界。
• 利用先前工作中基于最大公约数的刻画，对在 $ \mathcal{T} $ 中具有无限后代的半群数量提供上界。
• 在 $ n_g $ 呈斐波那契数列增长的假设下，改进对 $ m_g $（具有无限链的半群数量）的渐近估计。

提出的方法

• 通过用半群参数（如重数、有效生成元）标记节点，并推导成功规则，构建生成树 $ \mathcal{T} $ 的近似结构。
• 将这些近似树的成功规则转化为枚举其节点的生成函数的函数方程。
• 通过代数运算求解所得函数方程，包括使用核法技巧和变量替换（如 $ w = uv^2 $）。
• 利用文献 [3] 中的刻画：当且仅当 $ \gcd(\lambda_0, \dots, \lambda_{f-g}) \neq 1 $ 时，一个半群具有无限多个后代，从而对这类半群的数量进行界定。
• 通过将具有无限后代的半群注入到更小的半群和其因子中，推导出基数界。
• 结合生成函数的界与基于最大公约数的计数方法，推导出 $ m_g^{1/g} $ 的渐近极限。

实验结果

研究问题

• RQ1 对于 genus $ g $ 的数值半群数量 $ n_g $，其改进后的下界和上界是什么，尤其在 $ g $ 较大时？
• RQ2 能否利用数值半群的生成树结构，推导出能给出更紧致 $ n_g $ 界的函数方程？
• RQ3 在树 $ \mathcal{T} $ 中，具有无限多个后代的数值半群数量 $ m_g $ 的渐近增长速率是多少？
• RQ4 若假设 $ n_g $ 呈斐波那契数列增长，这将如何影响 $ m_g $ 的渐近上界？
• RQ5 能否利用 Frobenius 数以下小元素的最大公约数条件，对具有无限链的半群数量进行界定？

主要发现

• 论文将 $ 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 $ 一致，验证了该方法在小规模情形下的有效性。