[論文レビュー] 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'\left(\Lambda\right)}{c\left(\Lambda\right)}$ が $\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'\left(\Lambda\right)}{c\left(\Lambda\right)} \geq \frac{1}{e\left(\Lambda\right)}$ が成り立つというものである。
• 予想の漸近的バージョンを提供すること。すなわち、任意の $\epsilon > 0$ に対して、埋め込み次元 $k$ を持つ半群のうち、有限個を除き、比 $\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)}$ が $\frac{1}{k} - \epsilon$ よりも大きくなることを示すこと。
• 多重度 $m\left(\Lambda\right)$ を用いて、$\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)}$ の定量的下界を確立することにより、以前の部分的結果を強化すること。
• アペリー集合と格子点数え上げを用いて数値半群の構造を探索し、漸近的挙動を導出すること。

提案手法

• アペリー集合 $A\left(\Lambda\right)$ を用いて、$c'\left(\Lambda\right)$ を多重度 $m\left(\Lambda\right)$ に関する剰余類ごとの和として表現し、導かれた導出元の数を正確に数える。
• 重要な補題として、$a_i$ をアペリー集合の要素とすると、$c'\left(\Lambda\right) = \frac{m-1}{2} + \sum_{i=0}^{m-1} \frac{c\left(\Lambda\right) - a_i}{m}$ が得られる。
• 単体における格子点数え上げを用いて不等式を導出し、$e\left(\Lambda\right)$ と $m\left(\Lambda\right)$ を用いた $c'\left(\Lambda\right)$ の下界を得る。
• 主結果は、固定された $k = e\left(\Lambda\right)$ を持つ大きな半群に対して、多重度対導出元比 $\frac{m\left(\Lambda\right)}{c\left(\Lambda\right)}$ が小さくなることを示すことにより証明される。これにより、主要不等式から漸近的境界が導かれる。
• 主な不等式における等号が成立するのは生成元がほぼ等しい場合に限られ、一般の半群ではまれであるという事実を証明に活用する。
• 主要不等式の誤差項をバウンドし、$\frac{m\left(\Lambda\right)}{c\left(\Lambda\right)} \to 0$ のとき誤差項が消えることを示すことにより、漸近的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された埋め込み次元 $k$ に対して、導出元が大きくなるにつれ、比 $\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)}$ は $\frac{1}{e\left(\Lambda\right)}$ に上から近づくか？
• RQ2 主要な格子点推定における等号からのずれを分析することで、ウィルフ予想を正確な不等式に強化できるか？
• RQ3 漸近的境界 $\frac{1}{k} - \epsilon$ は鋭いか？ また、$F(M,k)$ を $e\left(\Lambda\right)=k$ かつ $m\left(\Lambda\right) > M$ を満たす半群における $\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)}$ の下界とすると、$\lim_{M \to \infty} F(M,k) = \frac{1}{k}$ となるか？
• RQ4 ウィルフ予想において等号に非常に近い状態に達する数値半群の構造は何か？ また、そのような半群は $\{k, nk+1, \dots, nk+k-1\}$ の等号ケースとどのように関係しているか？
• RQ5 本稿で用いられた手法を、$c'\left(\Lambda\right)$ の不等式における誤差項を精緻化することで、完全なウィルフ予想を証明するために応用できるか？

主な発見

• 固定された埋め込み次元 $k$ に対して、任意の $\epsilon > 0$ について、$e\left(\Lambda\right) = k$ を満たす数値半群 $\Lambda$ のうち、有限個を除き、比 $\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)} > \frac{1}{k} - \epsilon$ が成り立つ。これはウィルフ予想の漸近的バージョンを確立する。
• 明示的な下界が得られた：$c'\left(\Lambda\right) \geq \frac{c\left(\Lambda\right)}{e\left(\Lambda\right)} - \frac{\left(m\left(\Lambda\right)-1\right)\left(e\left(\Lambda\right)-2\right)}{2e\left(\Lambda\right)}$。これは、予想された境界からのずれを定量的に表している。
• この下界は鋭い。なぜなら、格子点不等式における等号が成立するのは、非最小生成元が等しい場合に限られ、一般の半群ではまれな状況であるためである。
• 漸近的結果は、$k$ を固定した大きな半群に対して $\frac{m\left(\Lambda\right)}{c\left(\Lambda\right)} \to 0$ となることを示すことにより導かれる。これにより、境界における誤差項は無視可能になる。
• ウィルフ予想の等号ケースは、生成元が $\{k, nk+1, \dots, nk+k-1\}$ のときであり、このような半群は無限族をなし、$\frac{c'\left(\Lambda\right)}{c\left(\Lambda\right)} = \frac{1}{k}$ を満たす。
• 本稿では、$\lim_{M \to \infty} F(M,k)$ が $\frac{1}{k}$ 以上であることを示しており、これは漸近的境界が極限において鋭い可能性を示唆している。