[论文解读] Avoiding zero-sum subsequences of prescribed length over the integers

C. Augspurger, M. Minter+3 more|arXiv (Cornell University)|Mar 13, 2016

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

一句话总结

本文研究了在整数区间 $ I_k = [-k, k] $ 上，指定长度 $ t $ 的零和子序列的存在性及其界限。研究证明，$ extsf{s}'_t(I_k) $（即保证存在此类子序列的最小长度）为有限值，当且仅当从 1 到 $ D(I_k) = ext{max} ext{big} ext{brace} ext{vert} 2, 2k-1 ext{big} ext{rbrace} $ 的每个整数都整除 $ t $。本文证明了紧致界限 $ t + k(k-1) ightarrow extsf{s}'_t(I_k) ightarrow t + (2k-2)(2k-3) $，并确认当 $ k ightarrow 3 $ 时等式 $ extsf{s}'_t(I_k) = t + k(k-1) $ 成立，同时推测该等式对所有 $ k \geq 1 $ 均成立。

ABSTRACT

Let $t$ and $k$ be a positive integers, and let $I_k=\{i\in \mathbb{Z}:\; -k\leq i\leq k\}$. Let $\mathsf{s}'_t(I_k)$ be the smallest positive integer $\ell$ such that every zero-sum sequence $S$ over $I_k$ of length $|S|\ge \ell$ contains a zero-sum subsequence of length $t$. If no such $\ell$ exists, then let $\mathsf{s}'_t(I_k)=\infty$. In this paper, we prove that $\mathsf{s}'_t(I_k)$ is finite if and only if every integer in $[1,D(I_k)]$ divides $t$, where $D(I_k)=\max\{2,2k-1\}$ is the Davenport constant of $I_k$. Moreover, we prove that if $\mathsf{s}'_t(I_k)$ is finite, then $t+k(k-1)\leq \mathsf{s}'_t(I_k)\leq t+(2k-2)(2k-3)$. We also show that $\mathsf{s}'_t(I_k)=t+k(k-1)$ holds for $k\leq 3$ and conjecture that this equality holds for any $k\geq1$.

研究动机与目标

• 确定在何种条件下，保证在 $ I_k = [-k,k] $ 上存在长度为 $ t $ 的零和子序列的最小长度 $ \textsf{s}'_t(I_k) $ 为有限值。
• 当 $ \textsf{s}'_t(I_k) $ 为有限值时，建立其上下界。
• 验证猜想：$ \textsf{s}'_t(I_k) = t + k(k-1) $ 对 $ k \leq 3 $ 成立，并将其推广至所有 $ k \geq 1 $。
• 刻画戴维森常数 $ D(I_k) = \text{max}\{2, 2k-1\} $ 在决定 $ \textsf{s}'_t(I_k) $ 有限性中的作用。

提出的方法

• 将 $ \textsf{s}'_t(I_k) $ 定义为最小整数 $ \ell $，使得每个长度 $ \geq \ell $ 的 $ I_k $ 上的零和序列 $ S $ 均包含一个长度为 $ t $ 的零和子序列；若不存在这样的 $ \ell $，则定义为 $ \infty $。
• 通过分析 $ I_k $ 上零和序列的结构，特别关注子序列和与项的重数。
• 运用组合论证与项分布的案例分析（例如 5、4、3 等的个数），以界定不包含长度为 $ t $ 的零和子序列的零和序列的最大长度。
• 利用戴维森常数 $ D(I_k) $ 作为关键阈值：$ \textsf{s}'_t(I_k) $ 为有限值当且仅当 $ [1, D(I_k)] $ 中每个整数都整除 $ t $。
• 通过极值序列构造与反证法，证明紧致界限：$ t + k(k-1) \leq \textsf{s}'_t(I_k) \leq t + (2k-2)(2k-3) $。
• 通过项组合与和约束的穷举案例分析，验证 $ k = 1,2,3 $ 时等式 $ \textsf{s}'_t(I_k) = t + k(k-1) $ 成立。

实验结果

研究问题

• RQ1 在 $ t $ 和 $ k $ 满足何种条件时，$ \textsf{s}'_t(I_k) $ 为有限值？
• RQ2 当 $ \textsf{s}'_t(I_k) $ 为有限值时，其最紧致的上下界为何？
• RQ3 如所猜想，等式 $ \textsf{s}'_t(I_k) = t + k(k-1) $ 是否对所有 $ k \geq 1 $ 成立？
• RQ4 戴维森常数 $ D(I_k) $ 如何影响在 $ I_k $ 上存在指定长度零和子序列的可能性？
• RQ5 能否对 $ I_k $ 上的极值零和序列进行刻画，以避免出现长度为 $ t $ 的零和子序列？

主要发现

• 当且仅当区间 $ [1, D(I_k)] $ 中每个整数都整除 $ t $ 时，$ \textsf{s}'_t(I_k) $ 为有限值，其中 $ D(I_k) = \text{max}\{2, 2k-1\} $。
• 当 $ \textsf{s}'_t(I_k) $ 为有限值时，其满足界限 $ t + k(k-1) \leq \textsf{s}'_t(I_k) \leq t + (2k-2)(2k-3) $。
• 当 $ k \leq 3 $ 时，等式 $ \textsf{s}'_t(I_k) = t + k(k-1) $ 成立，证实了小规模情况下的猜想。
• 本文对 $ I_3 $ 上避免长度为 $ t $ 的零和子序列的极值零和序列进行了完整分类，证明了 $ \textsf{s}'_t(I_3) = t + 6 $。
• 分析表明，避免长度为 $ t $ 的零和子序列的序列必须对大绝对值项（如 5、4、3）的重数加以限制，且受和与长度条件的约束。
• 本研究将有限交换群上零和序列的已知结果推广至无限群 $ \mathbb{Z} $，聚焦于区间子集 $ I_k $。