[論文レビュー] Constructing subsets of a given packing index in Abelian groups

N. Lyaskovska|ArXiv.org|Jan 8, 2009

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

ひとこと要約

この論文は、無限アーベル群における部分集合の可能な鋭いパッキング指数を特徴づけ、任意の無限アーベル群 $G$ に対して、鋭いパッキング指数 $κ$ を持つ部分集合 $A \subset G$ が存在するための必要十分条件を示している。その条件は、特定の群論的制約を満たす必要があり、特にトーショントルス系の一部では $κ = 3$ または $4$ は除外される。この結果により、アーベル群におけるパッキング指数の実現可能性に関する問題が解決され、群の構造と濃度に基づく完全な分類が得られた。

ABSTRACT

By definition, the sharp packing index $\ind_P^\sharp(A)$ of a subset $A$ of an abelian group $G$ is the smallest cardinal $κ$ such that for any subset $B\subset G$ of size $|B|\geκ$ the family $\{b+A:b\in B\}$ is not disjoint. We prove that an infinite Abelian group $G$ contains a subset $A$ with given index $\ind_P^\sharp(A)=κ$ if and only if one of the following conditions holds: (1) $2\le κ\le|G|^+$ and $k otin \{3,4\}$; (2) $κ=3$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_3$; (3) $κ=4$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_2$ or to $\mathbb{Z}_4\oplus(\oplus_{i\in I} \mathbb{Z}_2)$.

研究の動機と目的

• 無限アーベル群 $G$ における部分集合 $A \subset G$ に対して、鋭いパッキング指数 $\mathrm{ind}_P^\sharp(A) = \kappa$ を満たすような基数 $\kappa$ がどのようなものかを同定すること。
• I. プロタソフが提起した問題、すなわち、任意の非ゼロ基数 $\kappa \leq |G|$ が $G$ のある部分集合においてパッキング指数として実現可能かどうかを解明すること。
• パッキング構成における上界と最大値の違いを明確にし、鋭いパッキング指数が互いに素な平行移動が交わらざるを得ない閾値を捉えていることを示すこと。
• 与えられた鋭いパッキング指数を持つ部分集合をもつ群の完全な構造的特徴づけを提供すること。ただし、小さい $\kappa$ の場合に例外が存在する。

提案手法

• 鋭いパッキング指数 $\mathrm{ind}_P^\sharp(A)$ を、任意の $B \subset G$ に対して $|B| \geq \kappa$ ならば $(B-B) \cap (A-A) \neq \{0\}$ となる最小の $\kappa$ として定義し、これにより $A$ の $\kappa$ 個の互いに素な平行移動が存在しないことを保証する。
• 2元集合間の単射かつ交差を保存する写像に関する組合せ論的補題を用い、集合のサイズをその像集合のサイズで上から抑える。
• 特定の和集合や差集合を避けるように、超限再帰を用いて群の元と集合 $\mathbb{B}_\kappa$ の超限列を構成する。
• 群論的構造の利用：任意の無限アーベル群は、$\mathbb{Z}$、$\mathbb{Z}(p^\infty)$、または有限巡回群の直和と同型な部分群を含む。
• 指定された群論的制約のもとで、$\kappa$ についての帰納法を用いて、$\mathrm{ind}_P^\sharp(A) = \kappa$ を満たす $A$ を構成することで、主結果を証明する。
• 関係式 $\mathrm{ind}_P(A) = \sup\{\kappa : \kappa < \mathrm{ind}_P^\sharp(A)\}$ を用いて、鋭い指数から標準的パッキング指数 $\mathrm{ind}_P(A)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 無限アーベル群 $G$ における部分集合 $A \subset G$ に対して、$\mathrm{ind}_P^\sharp(A) = \kappa$ を満たすような基数 $\kappa$ はどのようなものか？
• RQ2 任意の非ゼロ基数 $\kappa \leq |G|$ が、$G$ のある部分集合 $A$ に対してパッキング指数 $\mathrm{ind}_P(A)$ として実現可能か？
• RQ3 どの構造的条件が、鋭いパッキング指数 $\kappa = 3$ や $\kappa = 4$ を持つ部分集合の存在を妨げるか？
• RQ4 鋭いパッキング指数は、$A$ の互いに素な平行移動の族のサイズの上界とどのように関係するか？
• RQ5 $\mathrm{ind}_P^\sharp(A) = 3$ や $4$ を達成する部分集合を持たない群は存在するか？その場合、それらの群の構造的性質は何か？

主な発見

• 無限アーベル群 $G$ が、$\mathrm{ind}_P^\sharp(A) = \kappa$ を満たす部分集合 $A$ をもつための必要十分条件は、$2 \leq \kappa \leq |G|^+$ かつ $\kappa \notin \{3,4\}$、または $\kappa = 3$ で $G$ が $\oplus_{i \in I} \mathbb{Z}_3$ に同型でない、または $\kappa = 4$ で $G$ が $\oplus_{i \in I} \mathbb{Z}_2$ または $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$ に同型でない場合である。
• パッキング指数 $\mathrm{ind}_P(A)$ が $\kappa$ に等しいための必要十分条件は、$1 \leq \kappa \leq |G|$ かつ $\kappa \notin \{2,3\}$、または $\kappa = 2$ で $G$ が $\oplus_{i \in I} \mathbb{Z}_3$ に同型でない、または $\kappa = 3$ で $G$ が $\oplus_{i \in I} \mathbb{Z}_2$ または $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$ に同型でない場合である。
• $\kappa = 3$ の場合、$G \cong \oplus_{i \in I} \mathbb{Z}_3$ のとき、群の3- torsion に起因する構造的障害のため、そのような部分集合は存在しない。
• $\kappa = 4$ の場合、$G \cong \oplus_{i \in I} \mathbb{Z}_2$ または $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$ のとき、2-主成分の制約のため、そのような部分集合は存在しない。
• 鋭いパッキング指数は、関係式 $\mathrm{ind}_P(A) = \sup\{\kappa : \kappa < \mathrm{ind}_P^\sharp(A)\}$ を用いて標準的パッキング指数を完全に決定する。これにより、上界が達成されない可能性があることが示された。
• このような部分集合の構成には、超限再帰と、和集合および差集合の回避に細心の注意を払う手法が用いられ、交差を保存する写像に関する重要な組合せ論的補題が根幹にあった。