[论文解读] On Partial Sums in Cyclic Groups

Douglas R. Stinson, David R. Cheriton+2 more|arXiv (Cornell University)|Jan 27, 2015

Advanced Mathematical Theories and Applications参考文献 4被引用 33

一句话总结

本文研究了关于循环群 ℤₙ 中非零元素子集的一个猜想：即任何此类子集均可被排序，使得所有部分和互不相同。作者证明了猜想1（部分和互异）可由Alspach的猜想2（当总和非零时，部分和互异且非零）推出，并通过计算验证了 n ≤ 25 的情形，同时给出了关于子集排序结构及素数阶群中子集和分布的结构性结果。

ABSTRACT

We are interested in ordering the elements of a subset A of the non-zero integers modulo n in such a way that all the partial sums are distinct. We conjecture that this can always be done and we prove various partial results about this problem.

研究动机与目标

• 证明若 Alspach 的猜想2（当总和非零时，部分和互异且非零）成立，则 ℤₙ\{0} 子集中部分和互异的主猜想（猜想1）可被推出。
• 通过穷举搜索，计算验证猜想1对所有 n ≤ 25 及所有非空子集 A ⊆ ℤₙ\{0} 成立。
• 建立关于 k 元子集 A ⊆ ℤₙ\{0} 的 t 元子集 B 的结构性结果，即存在多少 t 元子集可被排序以产生互异的部分和。
• 分析有限域 Fₚ 中 k 元子集和的分布，特别是 Fₚ\{0} 中和为零的 k 元子集的数量。
• 将早期关于可序列化和 R-可序列化群的结果推广并细化至 ℤₙ\{0} 的任意子集。

提出的方法

• 通过分析总和的两种情况（非零与零），证明若 Alspach 的猜想2成立，则猜想1可被推出。
• 使用计算机搜索，对所有 n ≤ 25 及所有非空子集 A ⊆ ℤₙ\{0}，检查所有可能的排序是否产生互异的部分和。
• 建立递推计数论证：给定长度为 r 且部分和互异的子序列，证明至少存在 (2t - 2r) 种方式可将其扩展至长度 r+1，从而给出有效排序数的下界。
• 应用群作用与对称性论证：利用 Fₚ* 中元素 α 的乘法作用，证明对所有 α ≠ 0，和为 α 的 k 元子集数量相同，从而证明非零和计数的均匀性。
• 利用加法平移（S → β + S）证明，对所有 α ∈ Fₚ，Fₚ 中和为 α 的 k 元子集数量相同，从而建立所有和值上的均匀性。
• 通过数学归纳法与恒等式 Nₖ(α) = Nₖ₋₁*(α) + Nₖ*(α) 推导出 Nₖ*(0)（即 Fₚ\{0} 中和为零的 k 元子集数量）的闭式表达式，得到公式：当 k 为偶数时，Nₖ*(0) = (1/p)(binomial(p-1,k) + 1)；当 k 为奇数时，Nₖ*(0) = (1/p)(binomial(p-1,k) - 1)。

实验结果

研究问题

• RQ1 是否每个子集 A ⊆ ℤₙ\{0} 都可被排序，使得所有部分和 s_j = ∑_{i=1}^j a_i 互不相同？
• RQ2 Alspach 的猜想2（当 ∑A ≠ 0 时，部分和互异且非零）是否蕴含猜想1？
• RQ3 对于一个 k 元子集 A ⊆ ℤₙ\{0}，有多少个 t 元子集 B ⊆ A 可被排序以产生互异的部分和？
• RQ4 当 p 为素数时，Fₚ\{0} 中和为零的 k 元子集的确切数量是多少？
• RQ5 当 p 为素数时，k 元子集和在 Fₚ 上的分布有多均匀？

主要发现

• 猜想2蕴含猜想1：若子集 A ⊆ ℤₙ\{0} 的总和非零，则其可被排序以产生互异的部分和；若总和为零，仍可通过重新排列前 k−1 个元素并添加最后一个元素来构造有效排序。
• 猜想1 已通过计算验证，涵盖所有 n ≤ 25 及所有非空子集 A ⊆ ℤₙ\{0}。
• 对于任意满足 |A| = 2t 的子集 A ⊆ ℤₙ\{0}，至少存在 2^t 个不同的 t 元子集 B ⊆ A，可被排序以产生互异的部分和。
• 当 p 为素数时，Fₚ\{0} 中和为零的 k 元子集数量为 (1/p)(binomial(p-1,k) + 1)（若 k 为偶数），或 (1/p)(binomial(p-1,k) - 1)（若 k 为奇数）。
• 对于任意固定的非零 α ∈ Fₚ，Fₚ\{0} 中和为 α 的 k 元子集数量对所有 α ≠ 0 相同，且等于 (1/p)binomial(p-1,k)。
• Fₚ 上 k 元子集和的分布对所有 α ∈ Fₚ 均匀，且对所有 α ∈ Fₚ，有 Nₖ(α) = (1/p)binomial(p,k)。