[论文解读] 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$-原子，对非交换群中的 Vosper 子集建立了结构表征，证明了若 $|S^{-1}S|, |SS^{-1}| < 2|S|$ 且 $S$ 不是等差数列，则 $S$ 必须包含于一个子群与一个陪集的并集中。关键结果将 Vosper 定理推广至非交换群，并为具有小倍乘性的子集提供了精确的逆结构。

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.$

研究动机与目标

• 将 Vosper 定理从交换群推广至非交换群，通过刻画满足对所有 $|A| \geq 2$ 有 $|A \bigcup AS| \geq \min(|G|-1, |A| + |S|)$ 的子集 $S$ 来实现。
• 利用 $k$-原子和 $k$-片段构建非交换群的等周框架，以分析 Minkowski 乘积大小和倍乘常数。
• 为满足 $|A^{-1}A|, |AA^{-1}| < 2|A|$ 的子集 $A$ 建立逆定理，识别出如等差数列或子群与陪集的并集等结构形式。
• 通过传递自同构群和 Cayley 关系，将交换群和有限情形的结果推广至任意群。
• 通过刻画 $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ 或 $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ 在非平凡子群 $H$ 下成立的条件，解决 Cayley 图的退化性问题。

提出的方法

• 使用 $k$-原子和 $k$-片段框架分析群上反射关系的连通性和边界大小。
• 将等周方法应用于非交换群，聚焦于 Cayley 关系 $x^{-1}y \in A$ 以建模 Minkowski 乘积。
• 引入 $k$-忠实关系和 Vosper 关系的概念，以对边界增长最小的关系进行分类。
• 利用 $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$ 有 Vosper 性质 $|A \cup AS| \geq \min(|G|-1, |A| + |S|)$？
• RQ2 在非交换群中，如何解决 $|A^{-1}A| < 2|A|$ 的逆问题，超越交换群的情形？
• RQ3 在何种条件下，有 $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ 或 $SHS^{-1} = SS^{-1} \cup aHa^{-1}$ 对某个非平凡子群 $H$ 成立？
• RQ4 等周方法能否扩展至非交换群，以对小倍乘性集合产生结构结果？
• RQ5 $2$-片段和 $2$-原子在刻画退化 Cayley 图及其乘积行为中起什么作用？

主要发现

• 若 $S$ 不是等差数列且 $|S^{-1}S|, |SS^{-1}| < 2|S|$，则存在 $a \in S$ 和非平凡子群 $H \leq G'$，使得 $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ 或 $SHS^{-1} = SS^{-1} \cup aHa^{-1}$，其中 $G' = \langle S^{-1}S \rangle$。
• 对任意群 $G_0$ 的子集 $A$，若 $|A^{-1}A|, |AA^{-1}| < 2|A|$，则以下四种情形之一成立：(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}$。
• 若 Cayley 图 $\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$ 时，Cayley 图 $\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)。