[논문 리뷰] On Minkowski product size: The Vosper's property

Yahya Ould Hamidoune|arXiv (Cornell University)|2010. 04. 18.

Point processes and geometric inequalities참고 문헌 9인용 수 4

한 줄 요약

이 논문은 이소페리메트릭 방법과 $k$-atomp를 사용하여 비아벨 군에서 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.$

연구 동기 및 목표

• 모든 $|A| \geq 2$에 대해 $|A \bigcup AS| \geq \min(|G|-1, |A| + |S|)$를 만족하는 부분집합 $S$를 특성화하여 Vosper의 정리를 아벨 군에서 비아벨 군으로 확장한다.
• Minkowski 곱의 크기와 이중화 상수를 분석하기 위해 $k$-atomp와 $k$-fragment를 사용한 비아벨 이소페리메트릭 프레임워크를 개발한다.
• 이중화 상수가 작은 부분집합 $A$에 대한 역정리를 수립하여 진행형 또는 부분군과 여부의 합집합과 같은 구조적 형태를 규명한다.
• 전이 자동사상 군과 카일리 관계를 사용하여 아벨 및 유한 사례의 결과를 임의의 군으로 일반화한다.
• 비자명한 부분군 $H$에 대해 $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ 또는 $SHS^{-1} = SS^{-1} \cup aHa^{-1}$가 성립하는 조건을 규명하여 카일리 그래프의 열화를 해결한다.

제안 방법

• 접근성 있는 관계에서 연결성과 경계 크기를 분석하기 위해 $k$-atom 및 $k$-fragment 프레임워크를 사용한다.
• 비아벨 군에 대한 이소페리메트릭 접근법을 적용하며, Minkowski 곱을 모델링하기 위해 $x^{-1}y \in A$ 형태의 카일리 관계를 집중적으로 활용한다.
• 최소한의 경계 성장률을 가지는 관계를 분류하기 위해 $k$-충실성과 Vosper의 관계 개념을 도입한다.
• 2-fragment와 2-atom의 구조를 활용하여 부분군 포함관계와 여부 분해를 유도한다.
• 덧셈 조합론의 보조정리 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 비자명한 부분군 $H$에 대해 $S^{-1}HS = S^{-1}S \cup a^{-1}Ha$ 또는 $SHS^{-1} = SS^{-1} \cup aHa^{-1}$가 성립하는 조건은 무엇인가?
• RQ4 이소페리메트릭 방법을 비아벨 군으로 확장하여 이중화가 작은 집합에 대한 구조적 결과를 도출할 수 있는가?
• RQ5 2-fragment와 2-atom은 열화된 카일리 그래프와 그 곱 행동을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 만약 $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}$이다.
• 카일리 그래프 $\operatorname{Cay}(G,S)$에서 2-fragment 또는 역 2-fragment의 존재는 각각 $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-fragment가 존재하여 부분군-여부의 구조로 이어진다.
• 증명은 $S^{-1}S = G$ 또는 $SS^{-1} = G$이면 $|S^{-1}S| = |G| - 1$이면 $S^{-1}S = G \setminus \{u\}$이 되며, 이는 정리 1.1의 경우 (i)를 만족함을 보여준다.