[论文解读] An application of graph pebbling to zero-sum sequences in abelian groups

Shawn Elldge, Glenn Hurlbert|ArXiv.org|Sep 29, 2004

Graph Labeling and Dimension Problems参考文献 30被引用 27

一句话总结

该论文运用图标记技术证明了Kleitman与Lemke针对有限交换群提出的一个猜想：在任意有限交换群G的|G|个元素序列中，存在一个非空零和子序列，其元素阶的倒数之和至多为1。该结果推广了经典零和定理，并通过群结构与布尔格上的加权标记技术，建立了此类子序列最小长度的新界。

ABSTRACT

A sequence of elements of a finite group G is called a zero-sum sequence if it sums to the identity of G. The study of zero-sum sequences has a long history with many important applications in number theory and group theory. In 1989 Kleitman and Lemke, and independently Chung, proved a strengthening of a number theoretic conjecture of Erdos and Lemke. Kleitman and Lemke then made more general conjectures for finite groups, strengthening the requirements of zero-sum sequences. In this paper we prove their conjecture in the case of abelian groups. Namely, we use graph pebbling to prove that for every sequence (g_k)_{k=1}^{|G|} of |G| elements of a finite abelian group G there is a nonempty subsequence (g_k)_{k in K} such that sum_{k in K}g_k=0_G and sum_{k in K}1/|g_k|\le 1, where |g| is the order of the element g in G.

研究动机与目标

• 证明Kleitman与Lemke关于有限交换群中零和子序列的猜想，强化此前关于零和序列的研究结果。
• 通过引入元素阶的倒数，建立零和子序列最小长度的新界。
• 应用图标记技术，特别是布尔格上的加权标记，来处理有限交换群的结构。
• 通过群的分解与标记不变量，将结果1（关于模n整数）推广至任意有限交换群。
• 证明当∑1/|g_k| ≤ 1时，子序列长度至多为群的指数N(G)，且当且仅当子序列中所有元素阶均为最大阶时取等。

提出的方法

• 将群G表示为素数幂阶循环群的直和，使用不变因子分解G ≅ ⊕_{i=1}^t ⊕_{j=1}^{m_i} ℤ_{p_i^{e_{i,j}}}.
• 在模p_i^{e_{i,j}}的坐标系中表示G的元素，实现逐坐标加法与阶的计算。
• 构建加权布尔格图B^n(w)，其中边权w_i对应素数幂阶，应用Chung的广义标记定理π(B^n(w)) = ∏w_i。
• 利用标记数确保|G|个标记可经连续标记操作抵达对应单位元顶点(1)。
• 在对应群元素的顶点处定义‘位置恰当’的标记，确保阶的倒数之和（Ord(A)）不超过1。
• 通过素数幂分量上的归纳与提升论证，利用引理4在高层组合标记并保持阶的约束。

实验结果

研究问题

• RQ1 在任意有限交换群G中，|G|个元素的序列是否总包含一个非空零和子序列，满足∑1/|g_k| ≤ 1？
• RQ2 图标记技术能否用于证明交换群中强于经典Davenport常数的零和结果？
• RQ3 ∑1/|g_k| ≤ 1的界是否对交换群是紧致的？该界是否意味着零和子序列长度至多为N(G)？
• RQ4 群的结构，特别是其秩与指数，如何影响此类零和子序列的存在性与性质？
• RQ5 整数情形（结果1）能否通过统一的标记框架自然推广至所有有限交换群？

主要发现

• 在任意有限交换群G的|G|个元素序列中，总存在一个非空子序列，其和为单位元0_G。
• 该子序列中各元素阶的倒数之和至多为1，即∑_{k∈K} 1/|g_k| ≤ 1。
• 该界意味着子序列长度至多为群的指数N(G)，且当且仅当子序列中所有元素阶均为N(G)时取等。
• 该结果将结果1（关于模n整数）推广至所有有限交换群，循环群情形为特例。
• 证明依赖于将G分解为素数幂分量，并利用布尔格上的加权图标记技术模拟群加法与阶约束。
• 该构造确保大小为|G|的标记配置总能在加权图中抵达单位元顶点，从而保证此类子序列的存在性。