[论文解读] Weighted Sequences in Finite Cyclic Groups

David J. Grynkiewicz, Jujuan Zhuang|ArXiv.org|Oct 19, 2007

Limits and Structures in Graph Theory参考文献 7被引用 5

一句话总结

该论文证明，对于素数 $ p > 7 $，若在循环群 $ \mathbb{Z}/p\mathbb{Z} $ 中的两个长度为 $ p $ 的序列 $ S_1 $ 和 $ S_2 $，其最大项重数均不超过 $ \frac{2p+1}{5} $，则在某个排列下，每个群元素均可表示为对应项乘积的和。关键结果证实了关于加权子序列和的猜想，并将 Erdős–Ginzburg–Ziv 定理推广至具有有界重数约束的加权情形。

ABSTRACT

Let $p>7$ be a prime, let $G=\Z/p\Z$, and let $S_1=\prod_{i=1}^p g_i$ and $S_2=\prod_{i=1}^p h_i$ be two sequences with terms from $G$. Suppose that the maximum multiplicity of a term from either $S_1$ or $S_2$ is at most $\frac{2p+1}{5}$. Then we show that, for each $g\in G$, there exists a permutation $σ$ of $1,2,..., p$ such that $g=\sum_{i=1}^{p}(g_i\cdot h_{σ(i)})$. The question is related to a conjecture of A. Bialostocki concerning weighted subsequence sums and the Erdős-Ginzburg-Ziv Theorem.

研究动机与目标

• 解决 A. Bialostocki 提出的关于有限交换群中加权子序列和的猜想。
• 确定在何种条件下，和集 $ S_1 \cdot S_2 $ 覆盖整个群 $ \mathbb{Z}/p\mathbb{Z} $。
• 为素数阶循环群建立确保 $ S_1 \cdot S_2 = \mathbb{Z}/p\mathbb{Z} $ 的项重数的紧界。
• 通过显式反例证明重数阈值 $ \frac{2p+1}{5} $ 的紧性。

提出的方法

• 将序列 $ S_1 $ 和 $ S_2 $ 分解为长度为 2 或 3 的无平方因子子序列，以分析乘积和集 $ S_1 \cdot S_2 $。
• 应用 Cauchy–Davenport 定理和 Vosper 定理，对分解后分量的迭代和集大小进行界定。
• 通过定理 2.1 和推论 2.3 进行迭代和集估计，推导出 $ |\sum A_i| $ 的下界，其中 $ A_i = U_i \cdot V_i $。
• 通过反证法：假设 $ |S_1 \cdot S_2| \leq p-1 $，然后推导出 $ |\sum A_i| $ 的下界，从而迫使 $ h \geq \frac{2p+1}{5} $，与重数假设矛盾。
• 单独分析极端情形 $ p = 5, 7 $，利用 $ |A_i| \geq 4 $ 的直接和集计算，证明群的完全覆盖。
• 通过构造 $ \max h(S_i) = \lceil \frac{2n+2}{5} \rceil $ 且 $ |S_1 \cdot S_2| \leq n-1 $ 的例子，验证边界的紧性。

实验结果

研究问题

• RQ1 在 $ \mathbb{Z}/p\mathbb{Z} $ 中，两个长度为 $ p $ 的序列满足何种重数约束时，其和集 $ S_1 \cdot S_2 $ 能覆盖整个群？
• RQ2 确保 $ S_1 \cdot S_2 = \mathbb{Z}/p\mathbb{Z} $ 的重数上界 $ \frac{2p+1}{5} $ 是否为紧界？
• RQ3 在有界重数条件下，Bialostocki 的加权子序列和猜想是否可被证实？
• RQ4 为何该猜想对奇数 $ n $ 失效？何种结构约束导致无法实现完全覆盖？

主要发现

• 对于素数 $ p > 7 $，若 $ \max\{h(S_1), h(S_2)\} \leq \frac{2p+1}{5} $，则 $ S_1 \cdot S_2 = \mathbb{Z}/p\mathbb{Z} $，即每个群元素均可通过某个排列表示为对应项乘积的和。
• 通过显式构造证明，上界 $ \frac{2p+1}{5} $ 是紧的，即存在 $ \max h(S_i) = \lceil \frac{2n+2}{5} \rceil $ 且 $ |S_1 \cdot S_2| \leq n-1 $ 的例子。
• 对于 $ p = 7 $，条件 $ \max h(S_i) \leq 2 $ 是 $ S_1 \cdot S_2 = \mathbb{Z}/7\mathbb{Z} $ 的必要且充分条件，且该界亦为紧界。
• 对于 $ p = 5 $ 的情形处理方式类似，$ \max h(S_i) \leq 2 $ 可确保完全覆盖，且由于例子 $ S_1 = S_2 = 0^3 1^2 $ 的存在，该界为紧界。
• 该结果在有界重数条件下证实了 Erdős–Ginzburg–Ziv 定理的加权推广，扩展了关于 $ \mathcal{F}(G) $ 的先前结果。
• 对于 $ p = 3 $ 和 $ n \equiv -1 \pmod{4} $，存在反例，表明若无重数约束，该定理不成立。