[論文レビュー] 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 $ の2つの列 $ 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 長さ $ p $ の $ \mathbb{Z}/p\mathbb{Z} $ 内の2つの列において、和集合 $ S_1 \cdot S_2 $ が群全体をカバーするための重複度制約は何か？
• RQ2 重複度の上限 $ \frac{2p+1}{5} $ は、$ S_1 \cdot S_2 = \mathbb{Z}/p\mathbb{Z} $ を保証するためのタイトな境界か？
• 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} $ の場合に反例が存在し、重複度制約なしでは定理が成立しないことが示される。