[论文解读] 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$ 的精确值。此外，本文提出了 $\chi\hat{}(\mathbb{Z}_n,3)$ 的一个猜想下界，该下界推广了 Gallardo、Grekos 等人先前的猜想，并在特定条件下证明了其成立。

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)$ 的精确值。
• 提出一个关于 $\chi\hat{}(\mathbb{Z}_n,3)$ 的猜想下界，该下界推广了 Gallardo、Grekos 等人先前的猜想。
• 在特定条件下证明该 $\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$ 的最小大小。
• 应用定理 2（Plagne）：$\rho(G,m,h) = u(n,m,h)$，该式给出所有 $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 受限 $h$-临界数 $\chi\hat{}(G,h)$ 在哪些群 $G$ 和整数 $h$ 下有定义？
• RQ3 对于 $h=2$、大 $h$ 以及偶数阶循环群 $\mathbb{Z}_n$，$\chi\hat{}(G,h)$ 的精确值是什么？
• RQ4 对 $\chi\hat{}(\mathbb{Z}_n,3)$ 的猜想下界（推广了 Gallardo、Grekos 等人先前的猜想）是否对所有 $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 整除时才可能成立。