[論文レビュー] More on the $h$-critical numbers of finite abelian groups

Béla Bajnok|arXiv (Cornell University)|Nov 22, 2016

Limits and Structures in Graph Theory参考文献 7被引用数 3

ひとこと要約

この論文は、すべての有限アーベル群 $G$ に対して $ \widehat{\chi}(G,h)$ および $ \widehat{\chi}(G,[0,s])$ の不変量を完全に特定し、加法的組合せ論における2つの未解決問題を解決した。$ \widehat{\chi}(G,h) = v(n,h) + 1$ および $ \widehat{\chi}(G,[0,s]) = v(n,s) + 1$ を証明した。ここで $v(n,h)$ は、$n$ の約数 $d$ についての $f_d(n,h) = \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right)\cdot\frac{n}{d}$ の最大値であり、生成集合への既知の結果を一般化した。

ABSTRACT

For a finite abelian group $G$, a nonempty subset $A$ of $G$, and a positive integer $h$, we let $hA$ denote the $h$-fold sumset of $A$; that is, $hA$ is the collection of sums of $h$ not-necessarily-distinct elements of $A$. Furthermore, for a positive integer $s$, we set $[0,s] A=\cup_{h=0}^s h A$. We say that $A$ is a generating set of $G$ if there is a positive integer $s$ for which $[0,s] A=G$. The $h$-critical number $χ(G,h)$ of $G$ is defined as the smallest positive integer $m$ for which $hA=G$ holds for every $m$-subset $A$ of $G$; similarly, $χ(G,[0,s])$ is the smallest positive integer $m$ for which $[0,s]A=G$ holds for every $m$-subset $A$ of $G$. We define $\widehatχ (G, h)$ as the smallest positive integer $m$ for which $hA=G$ holds for every generating $m$-subset $A$ of $G$; $\widehatχ (G, [0,s])$ is defined similarly. The value of $χ(G,h)$ has been determined by this author for all $G$ and $h$, and $\widehatχ (G, [0,s])$ was introduced and resolved for some special cases by Klopsch and Lev. Here we determine the remaining two quantities in all cases.

研究の動機と目的

• すべての有限アーベル群 $G$ に対して、$hA = G$ または $[0,s]A = G$ を満たす生成部分集合 $A$ の最小サイズを測る $ \widehat{\chi}(G,h)$ および $ \widehat{\chi}(G,[0,s])$ の不変量を特定すること。
• 生成部分集合に制限した場合の $h$-臨界数に関する、以前未解決であった2つの問題を解決すること。
• 従来、任意の部分集合に対して確立されていた臨界数の理論を、より洗練された生成部分集合の設定に拡張し、群の生成という文脈における和集合カバレッジに必要な最小サイズを捉えること。
• 群の位数 $n$ の約数に基づいて導出される関数 $v(n,h)$ を用いて、これらの不変量を完全に特徴付けることにより、すべてのアーベル群に一様に適用可能な結果を提供すること。

提案手法

• $v(n,h) = \max_{d \mid n} \left\{ \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right) \cdot \frac{n}{d} \right\}$ を定義し、これは位数 $n$ の群における $h$-不完全部分集合の最大サイズを捉える。
• 群の位数 $n$ についての帰納法を用い、$v(n,h)$ の最大値が $d_0 < n$ の真の約数で達成されるか、$d = n$ で達成されるかに応じて場合分けを行う。
• 最大値が真の約数 $d_0$ で達成される場合、位数 $d_0$ の商群 $G/H$ における $h$-不完全だが生成する部分集合 $B$ の逆像 $A = \pi^{-1}(B)$ を構成し、$A$ が $G$ を生成するが $hA \neq G$ であることを保証する。
• 最大値が $d = n$ で達成される場合、$G$ を素数位数 $p$ の巡回群とし、$A = \{1, 2, \dots, \left\lfloor\frac{p-2}{h}\right\rfloor + 1\}$ を構成し、$hA \neq \mathbb{Z}_p$ であるが $\langle A \rangle = \mathbb{Z}_p$ であることを示す。
• 合成数 $n$ の場合、$v(n,h) = f_n(n,h)$ ならば、$n$ のすべての素因数 $p$ は $p \equiv 1 \pmod{h}$ を満たし、$n \equiv 1 \pmod{h}$ であることを示し、群の不変因子分解の各成分における集合 $A_i$ の和集合として $A$ を構成する。
• 任意の $h$-重和において非ゼロ座標を寄与する成分の最大インデックス $k$ を分析することで、$hA$ が単位元を含まないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 $G$ の生成 $m$-部分集合 $A$ がすべて $hA = G$ を満たすような最小サイズ $m$ は何か？
• RQ2 生成部分集合に制限した場合の $h$-臨界数 $\chi(G,h)$ はどのように変化するか？$ \widehat{\chi}(G,h)$ の正確な値は何か？
• RQ3 有限アーベル群 $G$ の生成 $m$-部分集合 $A$ がすべて $[0,s]A = G$ を満たすような最小サイズ $m$ は何か？
• RQ4 $h$-不完全部分集合のサイズを界にする関数 $v(n,h)$ は、すべての有限アーベル群に対して $ \widehat{\chi}(G,h)$ を完全に特徴付けるために使用可能か？
• RQ5 群論的条件（例：指数やランク）が $ \widehat{\chi}(G,h)$ と $\chi(G,h)$ を分けるのはどのような場合か？

主な発見

• $\widehat{\chi}(G,h)$ の値は、$v(n,h) = \max_{d \mid n} \left\{ \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right) \cdot \frac{n}{d} \right\}$ を用いて、正確に $v(n,h) + 1$ に等しく、すべての有限アーベル群に対して $ \widehat{\chi}(G,h)$ 問題が解決された。
• $\widehat{\chi}(G,[0,s])$ については、$v(n,s) + 1$ が得られ、既知の $\chi(G,s)$ 結果が生成部分集合に拡張された。
• 群の位数 $n$ が素数の場合、$\widehat{\chi}(\mathbb{Z}_n,h) = \left\lfloor\frac{n-2}{h}\right\rfloor + 2$ であり、これは集合 $\{1, 2, \dots, \left\lfloor\frac{n-2}{h}\right\rfloor + 1\}$ によって達成され、$\mathbb{Z}_n$ を生成するが、$h$-重和集合は $h-1$ を欠く。
• 合成数 $n$ の場合、$v(n,h) = f_n(n,h) = \left\lfloor\frac{n-2}{h}\right\rfloor + 1$ ならば、$n \equiv 1 \pmod{h}$ であり、$\widehat{\chi}(G,h) = \frac{n-1}{h} + 1$ である。
• 群の不変因子分解の各成分における集合 $A_i$ の和集合として構成された、$v(n,h)$ のサイズの生成部分集合 $A \subset G$ を提供し、$0 \notin hA$ であることを、非ゼロ座標の最大インデックスを追跡することで保証した。
• 証明により、$\widehat{\chi}(G,h) = \chi(G,h)$ であるための必要十分条件は、$v(n,h) + 1 = \chi(G,h)$ であり、これは最大の $f_d(n,h)$ が $d=n$ で達成される場合に成立する。それ以外の場合は $\widehat{\chi}(G,h) < \chi(G,h)$ である。