[論文レビュー] On the structure of zero-sum free set with minimum subset sums in abelian groups

Jiangtao Peng, Wanzhen Hui|arXiv (Cornell University)|Dec 30, 2017

Advanced Topology and Set Theory参考文献 7被引用数 4

ひとこと要約

本稿は、有限アーベル群における長さ6のゼロ和自由部分集合 $ S $ で、部分集合和集合 $ \Sigma(S) $ が最小サイズ19をとるものの正確な構造を同定する。構造的解析と群論的技法を用いて、このような部分集合は、位数2または20の元を含む5つの特定の形のいずれかに同型であるか、10 torsion 群における対称的関係を満たす必要があることを証明する。この結果により、長さ6の極値ゼロ和自由集合の分類が完全に達成される。

ABSTRACT

Let $G$ be an additive abelian group and $S\subset G$ a subset. Let $Σ(S)$ denote the set of group elements which can be expressed as a sum of a nonempty subset of $S$. We say $S$ is zero-sum free if $0 ot\in Σ(S)$. It was conjectured by R.B.~Eggleton and P.~Erdös in 1972 and proved by W.~Gao et. al. in 2008 that $|Σ(S)|\geq 19$ provided that $S$ is a zero-sum free subset of an abelian group $G$ with $|S|=6$. In this paper, we determined the structure of zero-sum free set $S$ where $|S|=6$ and $|Σ(S)|=19$.

研究の動機と目的

• 有限アーベル群における長さ6のゼロ和自由部分集合 $ S $ で、$ |\Sigma(S)| = 19 $ であるようなものの完全な構造的特徴付けを求める。これは、既知の境界のもとで可能な最小サイズである。
• Eggleton-Erd\'os予想の極値ケース（$ |S| = 6 $）を解き、$ |\Sigma(S)| $ の下界が19であることが厳密に成立することを確認する。
• この最小部分集合和サイズが巡回群で達成可能かどうかを同定し、その場合の構造的条件を特定する。
• 既知の $ |S| = 5 $ の場合を越えて、極値ゼロ和自由集合の分類を拡張し、$ |S| = 6 $ の場合の完全な構造定理を提供する。

提案手法

• 著者らは、$ S $ に位数2の元が含まれるか否かに基づくケース別分析を用い、群の準同型および $ S $ の自己同型群作用による軌道構造を活用する。
• 部分集合和の重複度に基づき、同値類 $ \mathcal{A}_i $ および $ [x_i] $ を定義し、組合せ的境界を適用して $ \Sigma(S) $ のサイズを制御する。
• 仮定として $ |\Sigma(S)| = 19 $ をおくと、$ S $ が $ x_1, x_2, x_3 $ を生成元とする5つの特定の代数的形のいずれかを満たさない限り矛盾が生じる。
• 軌道クラスのサイズを合計する不等式 $ 63 \leq 4r - 19 $ を導出し、$ r > 20 $ の場合に矛盾が生じることから、$ S $ が5つの形のいずれかに強制される。
• 既知の最小ゼロ和列に関する結果および部分集合和の境界、特に補題2.1（部分列和の増加に関するもの）および補題2.6（軌道サイズの上限に関するもの）を応用する。
• 各5つの形が正確に19個の非空部分集合和を生成し、0を和として含まないことを確認することで、構造の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 長さ6のゼロ和自由部分集合 $ S $ が、有限アーベル群において $ |\Sigma(S)| = 19 $ を満たす場合、その完全な構造的特徴付けは何か？
• RQ2 長さ6の部分集合で $ |\Sigma(S)| $ の最小サイズが達成可能かどうか、そしてその場合の構造的条件は何か？
• RQ3 5つの指定された形とは異なる、$ |\Sigma(S)| = 19 $ を満たすゼロ和自由部分集合 $ S $ が存在するか？
• RQ4 長さ6のゼロ和自由集合が最小部分集合和サイズを達成するための、要素の位数および関係に関する制約は何か？

主な発見

• 本稿は、$ |\Sigma(S)| = 19 $ であるための必要十分条件として、$ S $ が位数2または20の元を含む5つの特定の形のいずれかに同型であるか、10 torsion 群における対称的関係を満たす必要があることを証明する。
• 形 (i) では $ \operatorname{ord}(x_1) = 2 $ かつ $ 2x_2 \in \langle x_1 \rangle $ である必要があり、2-主群における対称的配置を形成する。
• 形 (ii) では $ x_1 $ の位数が2で、$ 2x_2 $ が $ x_1 $ で生成される部分群に属し、$ x_1 $ を法とする等差数列として要素が配置される。
• 形 (iii) および (iv) は、位数20の巡回群における等差数列であり、それぞれ要素 $ -2x_1, x_1, 3x_1, 4x_1, 5x_1, 6x_1 $ および $ -3x_1, x_1, 4x_1, 5x_1, 9x_1, 12x_1 $ を含む。
• 形 (v) は、$ 2x_1 = 2x_2 $ かつ $ \operatorname{ord}(x_1) = \operatorname{ord}(x_2) = 10 $ を満たす群において生じ、10 torsion 群における対称的でアーベル的でない構造を形成する。
• 著者らは、奇数位数の有限アーベル群ではこのような部分集合が存在しないことを証明し、したがってそのような群では $ |\Sigma(S)| \geq 20 $ であると示す（補題1.4）。