[论文解读] 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$ 的 $χ̂}(G,h)$ 和 $χ̂}(G,[0,s])$ 不变量，解决了加法组合数学中的两个开放问题。证明了 $χ̂}(G,h) = v(n,h) + 1$ 且 $χ̂}(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$ 的 $\u03c7̂}(G,h)$ 和 $\u03c7̂}(G,[0,s])$ 不变量，这些不变量衡量的是生成子集 $A$ 的最小大小，使得 $hA = G$ 或 $[0,s]A = G$。
• 解决加法组合数学中关于限制在生成子集时的 $h$-临界数的两个先前开放问题。
• 将已知的临界数理论——此前针对任意子集建立——扩展至更精细的生成子集设定，捕捉在群生成背景下和集覆盖所需的最小大小。
• 使用从群阶 $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$ 处取得，区分不同情况。
• 当 $v(n,h)$ 在真因数 $d_0$ 处取得时，构造商群 $G/H$（阶为 $d_0$）中子集 $B$ 的原像 $A = \pi^{-1}(B)$，其中 $B$ 是 $h$-不完全但生成 $G/H$，确保 $A$ 生成 $G$ 但 $hA \neq G$。
• 当 $v(n,h)$ 在 $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$ 为群的不变因子分解中各分量的集合 $A_i$ 的并集。
• 通过分析任意 $h$-重和中贡献非零坐标的最大指标 $k$，证明 $0 \notin hA$，从而说明 $hA$ 避免单位元。

实验结果

研究问题

• RQ1 对于有限交换群 $G$ 的任意生成 $m$-子集 $A$，满足 $hA = G$ 的最小大小 $m$ 是多少？
• RQ2 当限制在生成子集时，$h$-临界数 $\chi(G,h)$ 如何变化，$\u03c7̂}(G,h)$ 的精确值是什么？
• RQ3 对于有限交换群 $G$ 的任意生成 $m$-子集 $A$，满足 $[0,s]A = G$ 的最小大小 $m$ 是多少？
• RQ4 $v(n,h)$ 这一限制 $h$-不完全子集大小的函数，能否完全表征所有有限交换群的 $\u03c7̂}(G,h)$？
• RQ5 在何种群论条件下（例如在指数或秩方面），$\u03c7̂}(G,h)$ 与 $\chi(G,h)$ 不同？

主要发现

• 对于 $\u03c7̂}(G,h)$，其值恰好为 $v(n,h) + 1$，其中 $v(n,h) = \max_{d \mid n} \left\{ \left(\left\lfloor\frac{d-2}{h}\right\rfloor + 1\right) \cdot \frac{n}{d} \right\}$，完全解决了所有有限交换群的 $\u03c7̂}(G,h)$ 问题。
• 对于 $\u03c7̂}(G,[0,s])$，结果为 $v(n,s) + 1$，将已知的 $\chi(G,s)$ 结果扩展至生成子集。
• 当 $n$ 为素数时，$\u03c7̂}(\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}$，且 $\u03c7̂}(G,h) = \frac{n-1}{h} + 1$。
• 通过群的不变因子分解中各分量的集合 $A_i$ 的并集，提供了一个大小为 $v(n,h)$ 的生成子集 $A \subset G$，满足 $hA \neq G$，通过追踪最大非零坐标指标确保 $0 \notin hA$。
• 证明表明 $\u03c7̂}(G,h) = \chi(G,h)$ 当且仅当 $v(n,h) + 1 = \chi(G,h)$，当且仅当最大值 $f_d(n,h)$ 在 $d=n$ 处取得；否则 $\u03c7̂}(G,h) < \chi(G,h)$。