[論文レビュー] Representation of Finite Abelian Group Elements by Subsequence Sums

David J. Grynkiewicz, E. Marchan+1 more|ArXiv.org|Jun 2, 2008

Limits and Structures in Graph Theory参考文献 13被引用数 3

ひとこと要約

この論文は、有限アーベル群における重み付き部分列和を調査し、ハミドゥーヌが提唱した部分列和による部分群表現に関する予想を反証するとともに、大規模な重み付き列に対する反例を特徴づけている。また、不変量 $\mathsf{d}^*(G)$ を用いた緩和された条件でガオの定理の重み付き類似を確立し、重複度および最大公約数の条件を満たす場合に $\Sigma_{|W|}(W,S) = \Sigma(W,S)$ が成り立つことを証明し、ゼロ和組合せ論における既存の境界を改善している。

ABSTRACT

Let $G\cong C_{n_1}\oplus ... \oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1... w_n$ is a sequence of integers, all but at most one relatively prime to $|G|$, and $S$ is a sequence over $G$ with $|S|\geq |W|+|G|-1\geq |G|+1$, the maximum multiplicity of $S$ at most $|W|$, and $σ(W)\equiv 0\mod |G|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\sum_{i=1}^{n}w_is_i$, with $s_1... s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples for large $|W|\geq {1/2}|G|$. A theorem of Gao, generalizing an older result of Olson, says that if $G$ is a finite abelian group, and $S$ is a sequence over $G$ with $|S|\geq |G|+D(G)-1$, then either every element of $G$ can be represented as a $|G|$-term subsequence sum from $S$, or there exists a coset $g+H$ such that all but at most $|G/H|-2$ terms of $S$ are from $g+H$. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis $|S|\geq |G|+D(G)-1$ can be relaxed to $|S|\geq |G|+d^*(G)$, where $d^*(G)=\Sum_{i=1}^{r}(n_i-1)$. We also use this method to derive a variation on Hamidoune's conjecture valid when at least $d^*(G)$ of the $w_i$ are relatively prime to $|G|$.

研究の動機と目的

• 有限アーベル群における群の元が重み付き部分列和として表現可能かどうかを調査すること。
• ハミドゥーヌの予想が特定の条件下で非自明な部分群が生成可能かどうかを検証し、反証すること。
• ガオの古典的ゼロ和定理を重み付き設定に拡張し、必要な列の長さ条件を緩和すること。
• 特に大規模な重み付き列に対して、予想された表現性の性質を満たさない列の構造を特徴づけること。
• 重み付きゼロ和定理において $\mathsf{D}(G)$ の代わりに不変量 $\mathsf{d}^*(G)$ を改良して用いること。

提案手法

• グリンキエヴィッチの重み付き集合分割定理を用いて、整数係数の重みを伴う部分列和を分析する。
• $\mathsf{d}^*(G) = \sum_{i=1}^r (n_i - 1)$ を用いて、$\mathsf{D}(G)$ の代わりに群の複雑さのより洗練された測度を導入する。
• $\Sigma_n(W,S)$ を、列 $W$ と $S$ から得られるすべての $n$ 項の重み付き部分列和の集合を表す記号として用いる。
• 重み付き和の全体的なゼロ和性を保証するための条件 $\sigma(W) \equiv 0 \pmod{|G|}$ を導入する。
• 和集合の安定化および周期構造を用いて、重み付き和の像における部分群構造を分析する。
• 文献[7]の結果を修正したバージョンを用いて、$S$ の最大重複度が $\mathsf{D}(G) - 1$ 以上である場合に $\Sigma(W,S) = \Sigma_{|W|}(W,S)$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 $G$ の非自明な部分群 $H$ のすべての元が、ハミドゥーヌの条件下で、列 $S$ の部分列 $s_i$ と重み $w_i$ を用いた重み付き部分列和 $\sum w_i s_i$ として表されるか。
• RQ2 ハミドゥーヌの予想における表現性の性質を満たさない列 $S$ の構造的性質は何か。
• RQ3 ガオの古典的ゼロ和定理を、緩和された長さ条件を満たす重み付き設定に拡張可能か。
• RQ4 $\Sigma(W,S) = \Sigma_{|W|}(W,S)$ が成り立つ条件は何か、特に $\mathsf{h}(S) \geq \mathsf{D}(G) - 1$ の場合に。
• RQ5 $\mathsf{d}^*(G)$ と $\mathsf{D}(G)$ を比較して、重み付き部分列和カバーの閾値長さを決定する際の役割は何か。

主な発見

• 論文は、ハミドゥーヌの予想を反証するための2つの反例を提示し、一般には成り立たないことを示している。
• $|W| \geq \frac{1}{2}|G|$ の場合、論文はハミドゥーヌの予想に対する反例を完全に特徴づけている。
• 条件 $\sigma(W) \equiv 0 \pmod{|G|}$ を満たす場合、$\mathsf{h}(S) \geq \mathsf{D}(G) - 1$ であれば $\Sigma(W,S) = \Sigma_{|W|}(W,S)$ が成り立つことを証明している。
• ガオの定理における仮定 $|S| \geq |G| + \mathsf{D}(G) - 1$ が、$|S| \geq |G| + \mathsf{d}^*(G)$ に改善され、ここで $\mathsf{d}^*(G) = \sum_{i=1}^r (n_i - 1)$ である。
• 少なくとも $\mathsf{d}^*(G)$ 個の重み $w_i$ が $|G|$ と互いに素であるという条件下で、ガオの定理の重み付き類似が確立されている。
• 少なくとも $\mathsf{d}^*(G)$ 個の $w_i$ が $|G|$ と互いに素である場合に成り立つ、ハミドゥーヌの予想の変種が導出されている。