[論文レビュー] An application of graph pebbling to zero-sum sequences in abelian groups

Shawn Elldge, Glenn Hurlbert|ArXiv.org|Sep 29, 2004

Graph Labeling and Dimension Problems参考文献 30被引用数 27

ひとこと要約

この論文は、有限アーベル群におけるクライトマンとレムケの予想を、グラフ・ピーブリング技法を用いて証明する。任意の有限アーベル群 G の |G| 個の要素からなる列において、その要素の位数の逆数の和が 1 以下となる非空のゼロ和部分列が存在する。この結果は古典的ゼロ和定理を一般化し、群構造とブール格子上の重み付きピーブリングを用いて、このような部分列の最小長に対する新たな境界を確立する。

ABSTRACT

A sequence of elements of a finite group G is called a zero-sum sequence if it sums to the identity of G. The study of zero-sum sequences has a long history with many important applications in number theory and group theory. In 1989 Kleitman and Lemke, and independently Chung, proved a strengthening of a number theoretic conjecture of Erdos and Lemke. Kleitman and Lemke then made more general conjectures for finite groups, strengthening the requirements of zero-sum sequences. In this paper we prove their conjecture in the case of abelian groups. Namely, we use graph pebbling to prove that for every sequence (g_k)_{k=1}^{|G|} of |G| elements of a finite abelian group G there is a nonempty subsequence (g_k)_{k in K} such that sum_{k in K}g_k=0_G and sum_{k in K}1/|g_k|\le 1, where |g| is the order of the element g in G.

研究の動機と目的

• 有限アーベル群におけるゼロ和部分列に関するクライトマンとレムケの予想を証明し、ゼロ和列に関する既存の結果を強化すること。
• 要素の位数の逆数を組み込むことで、ゼロ和部分列の最小長に対する新たな境界を確立すること。
• 特にブール格子上の重み付きピーブリングを用いて、有限アーベル群構造にグラフ・ピーブリング技法を適用すること。
• 群の分解とピーブリング不変量を用いて、整数モジュロ n に関する結果 1 を任意の有限アーベル群に一般化すること。
• ∑1/|g_k| ≤ 1 という条件が、部分列長が群の指数 N(G) 以下であることを保証し、すべての要素が最大位数を持つ場合にのみ等号が成り立つことを示すこと。

提案手法

• 群 G を素数べき位数の巡回群の直和として表し、不変因子分解 G ≅ ⊕_{i=1}^t ⊕_{j=1}^{m_i} ℤ_{p_i^{e_{i,j}}} を用いる。
• G の要素を p_i^{e_{i,j}} を法とする座標系におけるベクトルとして表現し、座標ごとの加法と位数の計算を可能にする。
• 辺の重み w_i が素数べき位数に対応する重み付きブール格子グラフ B^n(w) を構築し、チュンの一般化されたピーブリング定理 π(B^n(w)) = ∏w_i を適用する。
• ピーブリング数を用いて、|G| 個のピーブルが連続するピーブリング移動によって単位元頂点 (1) に到達できることを保証する。
• 群の要素に対応する頂点に「適切に配置された」ピーブルを定義し、位数の逆数の和（Ord(A)）が 1 を超えないように保証する。
• 素数べき成分ごとに帰納法と持ち上げ議論を用い、補題 4 を用いて高次元でのピーブルを結合し、位数の境界を維持する。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 G における |G| 個の要素の任意の列は、∑1/|g_k| ≤ 1 を満たす非空のゼロ和部分列を含むか？
• RQ2 グラフ・ピーブリング技法を用いて、古典的ダベンポート定数を越えるアーベル群における強いゼロ和結果を証明できるか？
• RQ3 ∑1/|g_k| ≤ 1 という境界はアーベル群においてタイトか？また、これはゼロ和部分列長が N(G) 以下であることを示唆するか？
• RQ4 特に群のランクと指数が、このようなゼロ和部分列の存在性および性質にどのように影響するか？
• RQ5 整数の場合（結果 1）は、統一的なピーブリング枠組みを用いて、すべての有限アーベル群に自然に拡張可能か？

主な発見

• 任意の有限アーベル群 G における |G| 個の要素の列に対して、単位元 0_G に和が一致する非空の部分列が存在する。
• この部分列に含まれる要素の位数の逆数の和は 1 以下である。すなわち、∑_{k∈K} 1/|g_k| ≤ 1 が成り立つ。
• この境界により、部分列の長さは群の指数 N(G) 以下であることが保証され、すべての要素が位数 N(G) を持つ場合にのみ等号が成り立つ。
• この結果は、整数モジュロ n に関する結果 1 をすべての有限アーベル群に一般化したものであり、巡回群の場合が特殊ケースである。
• 証明は、G を素数べき成分に分解し、ブール格子上の重み付きグラフ・ピーブリングを用いて群加法と位数制約をシミュレートすることに依存する。
• 構成により、サイズ |G| のピーブル配置が、常に重み付きグラフの単位元頂点に到達可能であり、このような部分列の存在を保証する。