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

研究动机与目标

• 开发一种基于Apéry集与 $ \mathbb{R}^{p-1} $ 中多面体锥体的数值半群计数几何模型。
• 通过锥体 $ C_p $ 的面与超平面截面中的格点，刻画最大嵌入维数、对称与拟对称类型半群的特征。
• 推导固定亏格半群数量的准多项式表达式，尤其针对 $ p=4 $ 与 $ p=5 $ 的情形。
• 建立当导出数 $ q \to \infty $ 时，此类半群数量增长的渐近公式。
• 为 $ p=4 $ 情形下的对称与拟对称半群提供显式递推与闭式公式。

提出的方法

• 利用关于 $ p $ 的Apéry集，将每个数值半群 $ H \in \mathfrak{H}_p $ 双射映射到 $ \mathbb{R}^{p-1} $ 中的多面体锥体 $ C_p $ 内的格点。
• 应用Ehrhart理论，将 $ C_p $、其面与超平面截面中的格点数量表示为亏格 $ g $ 的准多项式。
• 利用Apéry的刻画与Frobenius数条件，将对称与拟对称半群表征为 $ C_p $ 内特定面与直线上的格点。
• 将包含两个互素整数 $ p $ 与 $ q $（满足 $ \gcd(p,q)=1 $）的半群集合 $ \mathfrak{H}_{pq} $ 建模为 $ C_p $ 超平面截面中的格点，从而实现递归计数。
• 通过矩形中格路计数推导 $ N(4,q) $（即重数为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 包含两个互素整数 $ p $ 与 $ q $ 的半群集合 $ \mathfrak{H}_{pq} $ 的结构为何？其大小如何计算？
• RQ4 能否为 $ \mathfrak{H}_p $ 中固定亏格的半群数量推导出显式递推关系？
• RQ5 计数 $ \mathfrak{H}_p $ 中固定亏格半群的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) $ 的增长速率一致。