[論文レビュー] On Minkowski product size: The Vosper's property

Yahya Ould Hamidoune|arXiv (Cornell University)|Apr 18, 2010

Point processes and geometric inequalities参考文献 9被引用数 4

ひとこと要約

本稿は、非アーベル群におけるボスパーの部分集合の構造的特徴付けを、等周的メソッドと $k$-原子を用いて行い、$|S^{-1}S|, |SS^{-1}| < 2|S|$ かつ $S$ が等差数列でない場合、$S$ は部分群とその陪集合の和集合に含まれることを証明する。主な結果はボスパーの定理を非アーベル群へ一般化し、二重化定数が小さい部分集合に対する明確な逆構造を与える。

ABSTRACT

A subset $S$ of a group $G$ is said to be a Vosper's subset if $|A\cup AS|\ge \min (|G|-1,|A|+|S|),$ for any subset $A$ of $G$ with $|A|\ge 2.$ In the present work, we describe Vosper's subsets. Assuming that $S$ is not a progression and that $|S^{-1} S|, |S S^{-1}| &lt;2 |S|,|G'|-1,$ we show that there exist an element $a\in S,$ and a non-null subgroup $H$ of $G'$ such that either $S^{-1}HS =S^{-1}S \cup a^{-1}Ha$ or $SHS^{-1} =SS^{-1}\cup aHa^{-1},$ where $G'$ is the subgroup generated by $S^{-1}S.$

研究の動機と目的

• すべての $|A| \geq 2$ に対して $|A \bigcup AS| \geq \min(|G|-1, |A| + |S|)$ を満たす部分集合 $S$ を特徴付けることで、アーベル群におけるボスパーの定理を非アーベル群へ拡張すること。
• Minkowski積のサイズと二重化定数を分析するため、$k$-原子と $k$-断片を用いた非アーベルの等周的フレームワークを構築すること。
• 部分集合 $A$ に対して $|A^{-1}A|, |AA^{-1}| < 2|A|$ を満たす場合の逆定理を確立し、等差数列や部分群・陪集合の和集合のような構造的形を同定すること。
• トランスティヴ自己同型群とカーレイ関係を用いて、アーベルおよび有限の場合の結果を任意の群へ一般化すること。
• カーレイ図の退化を解消するため、非自明な部分群 $H$ に対して $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ または $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ が成り立つ条件を同定すること。

提案手法

• 反射的関係上の群における接続性と境界サイズを分析するため、$k$-原子と $k$-断片の枠組みを用いる。
• 非アーベル群への等周的アプローチを適用し、Minkowski積をモデル化するためのカーレイ関係 $x^{-1}y \in A$ に焦点を当てる。
• 境界成長が最小限である関係を分類するため、$k$-忠実およびボスパーの関係の概念を導入する。
• $2$-断片と $2$-原子の構造を用いて、部分群の包含関係と陪集合分解を導出する。
• 加法的組合せ論の補題 9.1 を適用し、$|S_i| + |S_j| > |H|$ のとき $S_i^{-1}S_j = S_i^{-1}HS_j$ が成り立つことから、積の閉包を導く。
• 逆グラフ解析と $\Gamma$ と $\Gamma^{-1}$ の双対性を用いて、対称的な場合を扱い、結果の対称性を証明する。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ の部分集合 $S$ が、すべての $|A| \geq 2$ に対してボスパーの性質 $|A \cup AS| \geq \min(|G|-1, |A| + |S|)$ を満たすために必要な構造的条件は何か？
• RQ2 アーベルの場合を除き、非アーベル群における $|A^{-1}A| < 2|A|$ の逆問題をどのように解決できるか？
• RQ3 非自明な部分群 $H$ に対して $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ または $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ が成り立つ条件は何か？
• RQ4 等周的メソッドを非アーベル群へ拡張することで、二重化定数が小さい集合に対する構造的結果を得られるか？
• RQ5 $2$-断片と $2$-原子は、退化したカーレイ図の特徴付けとその積の挙動に果たす役割は何か？

主な発見

• もし $S$ が等差数列ではなく、$|S^{-1}S|, |SS^{-1}| < 2|S|$ ならば、ある $a \in S$ と非自明な部分群 $H \leq G'$ が存在し、$G' = \langle S^{-1}S \rangle$ に対して、$S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ または $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ が成り立つ。
• 群 $G_0$ の任意の部分集合 $A$ に対して $|A^{-1}A|, |AA^{-1}| < 2|A|$ が成り立つとき、以下の4つの場合のいずれかが成立する：(i) $AA^{-1} = G \setminus \{u\}$ または $A^{-1}A = G \setminus \{u\}$ となるような対合 $u$ が存在する；(ii) $A$ は等差数列である；(iii) ある $a \in A$ と非自明な $H \leq G$ に対して $A^{-1}HA = A^{-1}A \cup a^{-1}Ha$ が成り立つ；(iv) ある $a \in A$ と非自明な $H \leq G$ に対して $AHA^{-1} = AA^{-1} \cup aHa^{-1}$ が成り立つ。
• カーレイ図 $\operatorname{Cay}(G,S)$ に $2$-断片または逆 $2$-断片が存在するならば、それぞれ $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ または $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ という構造的恒等式が成り立つ。
• $|S| < (1 - \frac{1}{p})|G| + 1$ という条件は、$|S| < |G|/2 + 1$ よりも鋭い境界を提供し、構造的特徴付けの閾値を向上させる。
• もし $S$ が $G$ を生成し、$|S^{-1}S|, |SS^{-1}| \leq |G| - 2$ ならば、カーレイ図 $\Gamma = \operatorname{Cay}(G,S)$ は退化しており、$2$-断片が存在し、部分群・陪集合構造が生じる。
• 証明により、$S^{-1}S = G$ または $SS^{-1} = G$ ならば、$|S^{-1}S| = |G| - 1$ であると $S^{-1}S = G \setminus \{u\}$ となるような対合 $u$ が存在し、定理 1.1 の場合 (i) を満たすことが示される。