[論文レビュー] The $h$-critical number of finite abelian groups

Béla Bajnok|arXiv (Cornell University)|Dec 12, 2014

Limits and Structures in Graph Theory参考文献 13被引用数 4

ひとこと要約

本稿は、すべての有限アーベル群 $G$ およびすべての $h$ に対して、無制限 $h$-臨界数 $\chi(G,h)$ を決定し、制限付き $h$-臨界数 $\chi\hat{}(G,h)$ についても、いくつかの重要な結果を確立している。特に $h=2$、大きな $h$、偶数位数の巡回群 $\mathbb{Z}_n$ について正確な値が得られている。また、Gallardo, Grekos らの先行した予想を一般化した $\chi\hat{}(\mathbb{Z}_n,3)$ の正確な下界に関する予想を提示し、特定の条件下でそれを証明している。

ABSTRACT

For a finite abelian group $G$ and a positive integer $h$, the unrestricted (resp.~restricted) $h$-critical number $χ(G,h)$ (resp.~$χ\hat{\;}(G,h)$) of $G$ is defined to be the minimum value of $m$, if exists, for which the $h$-fold unrestricted (resp.~restricted) sumset of every $m$-subset of $G$ equals $G$ itself. Here we determine $χ(G,h)$ for all $G$ and $h$; and prove several results for $χ\hat{\;}(G,h)$, including the cases of any $G$ and $h = 2$, any $G$ and large $h$, and any $h$ for the cyclic group $\mathbb{Z}_n$ of even order. We also provide a lower bound for $χ\hat{\;}(\mathbb{Z}_n,3)$ that we believe is exact for every $n$---this conjecture is a generalization of the one made by Gallardo, Grekos, et al.~that was proved (for large $n$) by Lev.

研究の動機と目的

• すべての有限アーベル群 $G$ およびすべての $h$ に対して、無制限 $h$-臨界数 $\chi(G,h)$ の正確な値を決定すること。
• 制限付き $h$-臨界数 $\chi\hat{}(G,h)$ が定義可能となる条件を特定すること。
• $h=2$、大きな $h$、偶数位数の巡回群 $\mathbb{Z}_n$ に対して、$\chi\hat{}(G,h)$ の正確な値を確立すること。
• Gallardo, Grekos らの先行予想を一般化した $\chi\hat{}(\mathbb{Z}_n,3)$ の予想される下界を提示すること。
• 特定の条件下で、$\chi\hat{}(\mathbb{Z}_n,3)$ の予想される下界が成り立つことを証明すること。特に $n \geq 7p$ または $n$ が 3 を法として 2 に合同な素因数を持たない場合に該当する。

提案手法

• 関数 $u(n,m,h) = \min\{ f_d : d \in D(n) \}$ を用い、$f_d = (h\lceil m/d \rceil - h + 1) \cdot d$ と定義することで、$|A| = m$ である $h$-重和集合 $hA$ の最小サイズを計算する。
• Theorem 2（Plagne）を適用し、$\rho(G,m,h) = u(n,m,h)$ が成り立つ。これは、$G$ のすべての $m$-部分集合 $A \subseteq G$ における $hA$ の最小サイズを与える。
• 制限付き臨界数を分析するために、関数 $v_g(n,h) = \max\left\{ \left( \left\lfloor \frac{d-1 - \gcd(d,g)}{h} \right\rfloor + 1 \right) \cdot \frac{n}{d} : d \in D(n) \right\}$ を導入する。
• 除数、最大公約数、および合同条件を含む組合せ論的および数論的議論を用いて、制限付き和集合の構造を分析する。
• 特に、$n$ の素因数分解に基づく帰納法と場合分けを用い、$n$ が 3 を法として 2 に合同な素因数を持つかどうかに注目する。
• Lev や Gao、Hamidoune の既知の結果を用いて、$\chi\hat{}(\mathbb{Z}_n,3)$ の予想される下界を支持する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限アーベル群 $G$ およびすべての $h$ に対して、無制限 $h$-臨界数 $\chi(G,h)$ の正確な値は何か？
• RQ2 $G$ と整数 $h$ に対して、制限付き $h$-臨界数 $\chi\hat{}(G,h)$ が定義可能となるのはどのような場合か？
• RQ3 $h=2$、大きな $h$、偶数位数の巡回群 $\mathbb{Z}_n$ に対して、$\chi\hat{}(G,h)$ の正確な値は何か？
• RQ4 Gallardo, Grekos らの先行予想を一般化した $\chi\hat{}(\mathbb{Z}_n,3)$ の予想される下界は、すべての $n$ に対して正確に成り立つか？
• RQ5 $\rho\hat{}(\mathbb{Z}_n,m,3) = n$ が成り立つ条件は何か？また、$\rho\hat{}(\mathbb{Z}_n,m,3) < n$ である場合、$n$ が 9 で割り切れる必要があるのはいつか？

主な発見

• すべての有限アーベル群 $G$ およびすべての $h$ に対して、無制限 $h$-臨界数 $\chi(G,h)$ が正確に決定され、その値は $u(n,m,h) = n$ を満たす最小の $m$ に等しい。
• 制限付き $h$-臨界数 $\chi\hat{}(G,h)$ は、$h \in \{1, n-1\}$、$h \in \{2, n-2\}$ かつ $G$ が初等アーベル2群でない、または $3 \leq h \leq n-3$ の場合に限り定義可能である。
• $h=2$ の場合、本稿ではすべての位数 $n \geq 4$ の有限アーベル群 $G$ に対して $\chi\hat{}(G,2) = \left\lfloor \frac{n}{2} \right\rfloor + 1$ を証明している。
• 大きな $h$ の場合、すべての位数 $n$ の有限アーベル群 $G$ に対して $\chi\hat{}(G,h) = n - h + 1$ が成り立つことを確立している。
• 偶数位数の巡回群 $\mathbb{Z}_n$ に対して、特定の条件下で $\chi\hat{}(\mathbb{Z}_n,3) = \left\lfloor \frac{n}{3} \right\rfloor + 3$ を証明している。
• 本稿では、予想される下界 $\chi\hat{}(\mathbb{Z}_n,3) \geq \left\lfloor \frac{n}{3} \right\rfloor + 3$ が、すべての $n \geq 7p$ または $n$ が 3 を法として 2 に合同な素因数を持たない場合に正確に成り立つことを証明しており、この場合に $\rho\hat{}(\mathbb{Z}_n,m,3) < n$ であるのは $n$ が 9 で割り切れる場合に限る。