[論文レビュー] A Weighted Generalization of Two Theorems of Gao

David J. Grynkiewicz, Luz Elimar Marchan+1 more|ArXiv.org|Mar 16, 2009

Analytic and geometric function theory参考文献 12被引用数 4

ひとこと要約

この論文は、有限アーベル群におけるゼロ和列に関するGaoの古典的結果の重み付き一般化を確立し、任意の空でない部分集合 $A \subseteq \mathbb{Z}$ に対して、重み付きErdős–Ginzburg–Ziv不変量 $\mathsf{E}_A(G)$ が $|G| + \mathsf{D}_A(G) - 1$ に等しいことを証明し、長年の予想を確認した。証明は群構造に関する帰納法、部分群分解、重み付き部分列和技術を用い、一般の重み集合およびより高い $n$-和へ既存の結果を拡張した。

ABSTRACT

Let $G$ be a finite abelian group and let $A\subseteq \mathbb{Z}$ be nonempty. Let $D_A(G)$ denote the minimal integer such that any sequence over $G$ of length $D_A(G)$ must contain a nontrivial subsequence $s_1... s_r$ such that $\sum_{i=1}^{r}w_is_i=0$ for some $w_i\in A$. Let $E_A(G)$ denote the minimal integer such that any sequence over $G$ of length $E_A(G)$ must contain a subsequence of length $|G|$, $s_1... s_{|G|}$, such that $\sum_{i=1}^{|G|}w_is_i=0$ for some $w_i\in A$. In this paper, we show that $$E_A(G)=|G|+D_A(G)-1,$$ confirming a conjecture of Thangadurai and the expectations of Adhikari, et al. The case $A=\{1\}$ is an older result of Gao, and our result extends much partial work done by Adhikari, Rath, Chen, David, Urroz, Xia, Yuan, Zeng and Thangadurai. Moreover, under a suitable multiplicity restriction, we show that not only can zero be represented in this manner, but an entire nontrivial subgroup, and if this subgroup is not the full group $G$, we obtain structural information for the sequence generalizing another non-weighted result of Gao. Our full theorem is valid for more general $n$-sums with $n\geq |G|$, in addition to the case $n=|G|$.

研究の動機と目的

• Thangaduraiの予想およびAdhikariらの期待に応える、重み付きDavenport定数とErdős–Ginzburg–Ziv定数の関係に関する予想を解決すること。
• Gaoの古典的恒等式 $\mathsf{E}(G) = |G| + \mathsf{D}(G) - 1$ を、任意の空でない重み集合 $A \subseteq \mathbb{Z}$ に対する重み付き設定に拡張すること。
• 重み付きゼロ和表現に関する構造的結果を確立し、重複制約のもとで、非自明な部分群全体が重み付き和として表現可能であることを示すこと。
• $n = |G|$ から $n \geq |G|$ へ一般化し、$n$-和問題への適用範囲を広げること。

提案手法

• 群の位数 $|G|$ に関する帰納法を用い、商群および部分群分解により問題をより小さい部分群に還元する。
• 群 $G$ 上の列 $S$ の集合分割 $\mathscr{A}$ の概念を適用し、各集合 $A_i$ が重み付き和 $\sum a_i s_i$ に対応するようにする。
• 重み付き部分列和集合 $\Sigma_n^\cup(\mathscr{B})$ を用いて表現可能な群元を分析し、特に $n = |G|$ および $n \geq |G|$ の場合に注目する。
• 和集合の成長を制御するため、$L$ を最大周期部分群とするコセット $\delta' + L$ に含まれる重要な部分集合分割 $\mathcal{C}$ を導入する。
• サイズが 2 以上の部分集合分割 $\mathscr{A}_2$ に補題 3.5 を適用し、構造的還元のための非自明な部分群 $H \leq d \cdot G$ を得る。
• 商写像 $\phi_H$ を用いて問題をより小さい群に還元し、$|\mathscr{D}|$ が十分に大きい場合に $\phi_H(\mathscr{D})$ に帰納法仮定を適用する。

実験結果

リサーチクエスチョン

• RQ1 任意の空でない部分集合 $A \subseteq \mathbb{Z}$ および有限アーベル群 $G$ に対して、恒等式 $\mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1$ が成り立つか。
• RQ2 重複制約のもとで、ゼロ以外の非自明な部分群、特にゼロではなくその全体が重み付き和として表現可能になるか。
• RQ3 重み付き和の長さが $|G|$ でゼロである場合、特に生成される部分群が真部分群である場合に、列の構造にどのような性質が現れるか。
• RQ4 $n = |G|$ から任意の $n \geq |G|$ へ一般化すると、重み付き $n$-和の文脈で結果はどのように拡張されるか。

主な発見

• 任意の空でない $A \subseteq \mathbb{Z}$ および有限アーベル群 $G$ に対して、恒等式 $\mathsf{E}_A(G) = |G| + \mathsf{D}_A(G) - 1$ が成り立つことが確認され、Thangaduraiらの予想が裏付けられた。
• 適切な重複制約のもとで、重み付き和はゼロだけでなく、非自明な部分群 $H \leq G$ 全体を表現可能である。
• 表現可能な部分群 $H$ が真部分群である場合、列の構造はGaoの非重み付き部分群結果を一般化する形で制約を受ける。
• $n$-和について $n \geq |G|$ に一般化され、部分集合分割 $\mathcal{C}'$ に対して $\Sigma_n^\cup(\mathcal{C}') = |G|$ が成り立つことが示された。
• 証明は、特に $\phi_H$ および $H \leq d \cdot G$ を用いて和集合成長を制御する、商群および部分群分解による帰納的還元に依存している。
• 和集合 $\Sigma^\cup_{|G|}(\mathscr{B})$ の最大周期 $L$ を用いて、$\mathscr{B}$ の大部分を含むコセット $\delta' + L$ を特定し、帰納的適用を可能にした。