[论文解读] A Weighted Generalization of Two Theorems of Gao

David J. Grynkiewicz, Luz Elimar Marchan+1 more|ArXiv.org|Mar 16, 2009

Analytic and geometric function theory参考文献 12被引用 4

一句话总结

本文建立了Gao关于有限交换群中零和序列之经典结果的加权推广，证明了对于任意非空子集 $ A \subseteq \mathbb{Z} $，加权Erdős–Ginzburg–Ziv不变量 $\mathsf{E}_A(G)$ 满足 $ |G| + \mathsf{D}_A(G) - 1 $，从而证实了一个长期存在的猜想。证明方法基于群结构的归纳论证、子群分解以及加权子序列和技巧，将先前结果推广至一般权重集和更高阶 $ n $-和问题。

ABSTRACT

Let $G$ be a finite abelian group and let $A\subseteq \mathbb{Z}$ be nonempty. Let $D_A(G)$ denote the minimal integer such that any sequence over $G$ of length $D_A(G)$ must contain a nontrivial subsequence $s_1... s_r$ such that $\sum_{i=1}^{r}w_is_i=0$ for some $w_i\in A$. Let $E_A(G)$ denote the minimal integer such that any sequence over $G$ of length $E_A(G)$ must contain a subsequence of length $|G|$, $s_1... s_{|G|}$, such that $\sum_{i=1}^{|G|}w_is_i=0$ for some $w_i\in A$. In this paper, we show that $$E_A(G)=|G|+D_A(G)-1,$$ confirming a conjecture of Thangadurai and the expectations of Adhikari, et al. The case $A=\{1\}$ is an older result of Gao, and our result extends much partial work done by Adhikari, Rath, Chen, David, Urroz, Xia, Yuan, Zeng and Thangadurai. Moreover, under a suitable multiplicity restriction, we show that not only can zero be represented in this manner, but an entire nontrivial subgroup, and if this subgroup is not the full group $G$, we obtain structural information for the sequence generalizing another non-weighted result of Gao. Our full theorem is valid for more general $n$-sums with $n\geq |G|$, in addition to the case $n=|G|$.

研究动机与目标

• 解决Thangadurai提出的关于加权Davenport常数与Erdős–Ginzburg–Ziv常数之间关系的猜想，以及Adhikari等人所预期的关系。
• 将Gao的经典恒等式 $\mathsf{E}(G) = |G| + \mathsf{D}(G) - 1$ 推广至任意非空权重集 $ A \subseteq \mathbb{Z} $ 的加权情形。
• 建立加权零和表示的结构性结果，表明在多重性约束下，整个非平凡子群均可表示为加权和。
• 将结果从 $ n = |G| $ 推广至任意 $ n \geq |G| $，扩大其在 $ n $-和问题中的适用范围。

提出的方法

• 对群的阶 $ |G| $ 使用归纳法，通过商群与子群分解将问题约化为更小的子群。
• 应用序列 $ S $ 的集合划分 $\mathscr{A}$ 概念，其中每个集合 $ A_i $ 对应一个加权和 $ \sum a_i s_i $。
• 使用加权子序列和集 $ \Sigma_n^\cup(\mathscr{B}) $ 分析可表示的群元素，特别关注 $ n = |G| $ 和 $ n \geq |G| $ 的情形。
• 引入一个关键的子集合划分 $\mathcal{C}$，其包含于一个陪集 $ \delta' + L $ 中，其中 $ L $ 是极大周期子群，以控制和集的增长。
• 对大小 $ \geq 2 $ 的子集合划分 $\mathscr{A}_2 $ 应用引理3.5，得到一个非平凡子群 $ H \leq d \cdot G $，用于结构约化。
• 使用商映射 $ \phi_H $ 将问题约化为更小的群，当 $ |\mathscr{D}| $ 足够大时，对 $ \phi_H(\mathscr{D}) $ 应用归纳假设。

实验结果

研究问题

• RQ1 对于所有非空子集 $ A \subseteq \mathbb{Z} $ 和有限交换群 $ G $，恒等式 $ \mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1 $ 是否成立？
• RQ2 加权零和表示是否可扩展，以保证在多重性约束下，不仅能表示零，还能表示整个非平凡子群？
• RQ3 当加权和长度为 $ |G| $ 时，若所生成的子群是真子群，序列的结构会呈现何种特性？
• RQ4 在加权 $ n $-和的背景下，该结果如何从 $ n = |G| $ 推广至任意 $ n \geq |G| $ ？

主要发现

• 恒等式 $ \mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1 $ 对所有非空 $ A \subseteq \mathbb{Z} $ 和有限交换群 $ G $ 成立，证实了Thangadurai等人提出的猜想。
• 在适当的多重性限制下，加权和可表示整个非平凡子群 $ H \leq G $，而不仅限于单位元。
• 若可表示的子群 $ H $ 是真子群，则序列的结构受到约束，其性质推广了Gao的非加权子群结果。
• 该结果可推广至 $ n \geq |G| $ 的 $ n $-和情形，表明对大小为 $ |G| + \mathsf{D}_A(G) - 1 $ 的子集合划分 $ \mathcal{C}' $，有 $ \Sigma_n^\cup(\mathcal{C}') = |G| $。
• 证明依赖于通过商群与子群分解进行的归纳约化，特别是利用 $ \phi_H $ 和 $ H \leq d \cdot G $ 来控制和集的增长。
• 利用加权和集 $ \Sigma^\cup_{|G|}(\mathscr{B}) $ 的最大周期 $ L $，定位包含 $ \mathscr{B} $ 中大部分集合的陪集 $ \delta' + L $，从而实现归纳应用。