[论文解读] An asymptotic result concerning a question of Wilf

Alex Zhai|arXiv (Cornell University)|Nov 11, 2011

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

一句话总结

本文提供了对数值半群上威尔夫猜想的渐近验证，表明对于任意固定的嵌入维数 $k$，除了有限多个满足 $e(\Lambda) = k$ 的数值半群 $\Lambda$ 外，比值 $\frac{c'(\Lambda)}{c(\Lambda)}$ 均大于 $\frac{1}{k} - \epsilon$，其证明基于阿佩里集与涉及重数的不等式。该结果为证明完整猜想奠定了基础。

ABSTRACT

Let $Λ$ be a numerical semigroup with embedding dimension $e(Λ)$. Define $c(Λ)$ to be one plus the largest integer not in $Λ$, and define $c'(Λ)$ to be the number of elements in $Λ$ less than $c(Λ)$. It was asked by Wilf whether $\frac{c'(Λ)}{c(Λ)} \ge \frac{1}{e(Λ)}$ always holds. We prove an asymptotic version of this conjecture: we show that for a fixed positive integer $k$ and any $ε> 0$, the inequality $\frac{c'(Λ)}{c(Λ)} \ge \frac{1}{k} - ε$ holds for all but finitely many numerical semigroups $Λ$ satisfying $e(Λ) = k$.

研究动机与目标

• 研究威尔夫猜想，该猜想提出对所有数值半群 $\Lambda$，有 $\frac{c'(\Lambda)}{c(\Lambda)} \geq \frac{1}{e(\Lambda)}$。
• 提供该猜想的渐近版本，证明对任意 $\epsilon > 0$，除了有限多个嵌入维数为 $k$ 的半群外，比值 $\frac{c'(\Lambda)}{c(\Lambda)}$ 均大于 $\frac{1}{k} - \epsilon$。
• 建立关于重数 $m(\Lambda)$ 的 $\frac{c'(\Lambda)}{c(\Lambda)}$ 的定量下界，强化了先前的部分结果。
• 通过阿佩里集与格点计数探索数值半群的结构，以推导其渐近行为。

提出的方法

• 使用阿佩里集 $A(\Lambda)$ 将 $c'(\Lambda)$ 表示为模重数 $m(\Lambda)$ 的剩余类上的和，从而实现对导子以下元素的精确计数。
• 一个关键引理将 $c'(\Lambda)$ 计算为 $\frac{m-1}{2} + \sum_{i=0}^{m-1} \frac{c(\Lambda) - a_i}{m}$，其中 $a_i$ 为阿佩里集的元素。
• 通过在单纯形中进行格点计数，推导出一个不等式，从而得到 $c'(\Lambda)$ 关于 $e(\Lambda)$ 与 $m(\Lambda)$ 的下界。
• 通过证明当嵌入维数 $k = e(\Lambda)$ 固定时，对于大半群，重数与导子之比 $\frac{m(\Lambda)}{c(\Lambda)}$ 趋近于零，从而从主不等式推出渐近界。
• 证明利用了主不等式中等号仅在生成元几乎相等时成立的事实，而这种情况在一般半群中极为罕见。
• 通过界定主不等式中误差项的大小，并证明其在 $\frac{m(\Lambda)}{c(\Lambda)} \to 0$ 时趋于零，从而导出渐近结果。

实验结果

研究问题

• RQ1 当导子增大且嵌入维数 $k$ 固定时，比值 $\frac{c'(\Lambda)}{c(\Lambda)}$ 是否从上方趋近于 $\frac{1}{e(\Lambda)}$？
• RQ2 通过分析主格点估计中等号偏离的情况，能否将威尔夫猜想加强为一个精确不等式？
• RQ3 渐近界 $\frac{1}{k} - \epsilon$ 是否是紧的？$\lim_{M \to \infty} F(M,k) = \frac{1}{k}$ 是否成立，其中 $F(M,k)$ 是在满足 $e(\Lambda)=k$ 且 $m(\Lambda) > M$ 的半群中 $\frac{c'(\Lambda)}{c(\Lambda)}$ 的下确界？
• RQ4 在威尔夫猜想中几乎达到等号的数值半群具有何种结构？它们与等号情形 $\{k, nk+1, \dots, nk+k-1\}$ 有何关联？
• RQ5 本文所用技术能否通过细化 $c'(\Lambda)$ 不等式中的误差项，进而推广以证明完整的威尔夫猜想？

主要发现

• 对于任意固定的嵌入维数 $k$ 及任意 $\epsilon > 0$，除了有限多个满足 $e(\Lambda) = k$ 的数值半群 $\Lambda$ 外，均有 $\frac{c'(\Lambda)}{c(\Lambda)} > \frac{1}{k} - \epsilon$，从而确立了威尔夫猜想的渐近版本。
• 推导出一个显式下界：$c'(\Lambda) \geq \frac{c(\Lambda)}{e(\Lambda)} - \frac{(m(\Lambda)-1)(e(\Lambda)-2)}{2e(\Lambda)}$，该式量化了与猜想界之间的偏差。
• 该下界在如下意义上是紧的：底层格点不等式中等号成立仅当非极小生成元相等，而这一条件在一般半群中极少满足。
• 渐近结果源于证明 $\frac{m(\Lambda)}{c(\Lambda)} \to 0$ 对于固定 $k$ 的大半群成立，使得该下界中的误差项可忽略不计。
• 威尔夫猜想的等号情形出现在生成元为 $\{k, nk+1, \dots, nk+k-1\}$ 时，此类半群构成一个无限族，且满足 $\frac{c'(\Lambda)}{c(\Lambda)} = \frac{1}{k}$。
• 本文表明，下确界 $\lim_{M \to \infty} F(M,k)$ 至少为 $\frac{1}{k}$，暗示渐近界在极限下是紧的。