[論文レビュー] 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 $ のゼロ和部分列が存在するか、およびその境界を調査する。$ \textsf{s}'_t(I_k) $、つまりそのような部分列を保証する最小長さが有限であるための必要十分条件は、$ D(I_k) = \text{max}\{2, 2k-1\} $ の各整数が $ t $ を割り切ることである。本稿は、$ t + k(k-1) \triangleq \textsf{s}'_t(I_k) \triangleq t + (2k-2)(2k-3) $ というタイトな境界を確立し、$ k \triangleq 3 $ に対して等式 $ \textsf{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) $ が有限である場合の上界と下界を確立すること。
• $ k \leq 3 $ に対して $ \textsf{s}'_t(I_k) = t + k(k-1) $ が成り立つことを確認し、すべての $ k \geq 1 $ に対して同様に成り立つと予想すること。
• Davenport定数 $ D(I_k) = \text{max}\{2, 2k-1\} $ が $ \textsf{s}'_t(I_k) $ の有限性を決定づける役割を特定すること。

提案手法

• すべての長さ $ \geq \ell $ のゼロ和列 $ S $ が、長さ $ t $ のゼロ和部分列を含むような最小整数 $ \ell $ を $ \textsf{s}'_t(I_k) $ と定義する。そのような $ \ell $ が存在しない場合は $ \infty $ とする。
• 特に部分列和と項の重複度に注目した、$ I_k $ 上のゼロ和列の構造的解析を用いる。
• 項の分布（例：5, 4, 3 などの個数）に関する組合せ的議論とケース解析を用いて、$ t $ 長のゼロ和部分列を含まないゼロ和列の最大長を評価する。
• Davenport定数 $ 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 予想通り、すべての $ k \geq 1 $ に対して $ \textsf{s}'_t(I_k) = t + k(k-1) $ が成り立つか？
• RQ4 Davenport定数 $ D(I_k) $ は、$ I_k $ 上で所望の長さのゼロ和部分列の存在にどのように影響するか？
• RQ5 極値ゼロ和列を特徴づけることで、$ t $ 長のゼロ和部分列を避けることができるか？

主な発見

• $ \textsf{s}'_t(I_k) $ が有限であるのは、$ [1, D(I_k)] $ のすべての整数が $ t $ を割り切るときであり、$ 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）の重複度が有界で、和と長さの制約によって制限されること revealed された。
• 本研究の結果は、有限アーベル群上のゼロ和列に関する既知の結果を、無限群 $ \mathbb{Z} $ に一般化し、区間部分集合 $ I_k $ に焦点を当てたものである。