[논문 리뷰] Growth and generation in SL_2(Z/pZ)

H. A. Helfgott|ArXiv.org|2005. 09. 01.

Limits and Structures in Graph Theory참고 문헌 8인용 수 43

한 줄 요약

이 논문은 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 모든 부분집합이 군 곱셈에 대해 빠르게 커진다는 것을 증명하며, 임의의 생성집합에 대한 카일리 그래프의 지름이 절대 상수 $c$에 대해 $O((\log p)^c)$로 유계임을 보인다. 주요 결과는 바바이의 추측을 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에 대해 확인하며, 모든 원소가 생성원 또는 그 역원의 $O((\log p)^c)$개의 곱으로 표현 가능하다는 것을 보여주며, 이때 상수는 $p$와 생성집합에 관계없이 일정하다.

ABSTRACT

We show that every subset of SL_2(Z/pZ) grows rapidly when it acts on itself by the group operation. It follows readily that, for every set of generators A of SL_2(Z/pZ), every element of SL_2(Z/pZ) can be expressed as a product of at most O((log p)^c) elements of the union of A and A^{-1}, where c and the implied constant are absolute.

연구 동기 및 목표

• 비아벨리안 유한 단순군에 대한 카일리 그래프의 지름에 관한 바바이의 추측을 해결하는 것. 특히 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에 초점을 맞춘다.
• 생성집합에 관계없이 일관된 다항식 성장 유계를 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 부분집합에 대해 확립하는 것.
• $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 모든 원소가 임의의 생성집합 $A \cup A^{-1}$에서 오는 $O((\log p)^c)$개의 원소의 곱으로 표현될 수 있음을 증명하는 것. 여기서 $c$와 은닉 상수는 절대 상수이다.
• 분석적 방법(예: 스테파노프의 방법)을 피하고 조합적 기법을 사용해 $\mathbb{F}_p^*$에서의 합-곱 현상에 대한 증명을 제공하며, 이를 바탕으로 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에서의 성장 현상을 유도하는 것.

제안 방법

• $\delta > 0$에 대해, 부분군에 포함되지 않으며 크기가 $|A| < p^{3-\delta}$인 부분집합 $A \subset \operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에 대해, $|A \cdot A \cdot A| > c|A|^{1+\epsilon}$를 만족하는 절대 상수 $c, \epsilon > 0$가 존재함을 보여주는 핵심 보조정리를 사용한다. 이 상수는 $\delta$에만 의존한다.
• $\mathbb{F}_p^*$에서의 합-곱 추정을 사용해 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에서의 곱의 성장을 제어하며, 해석적 수론이 아닌 조합 기법에 의존한다.
• $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에서 단어 방정식 $w(g,h) = I$의 해의 수를 분석하여, 군을 생성하지 못하는 쌍의 수를 유계로 제한한다. 다항식 제약과 차수 고려를 사용한다.
• 거의 모든 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 원소 쌍이 군을 생성하고 짧은 고리가 없는 카일리 그래프를 유도한다는 것을 수세기로 보여주는 수량적 추론을 사용한다.
• 카일리 그래프에 짧은 고리가 없음을 이용해 반복적인 성장에 의해 지름을 유계로 제한한다. 짧은 고리가 없다면, $\{g,h\}^k$는 군 전체를 덮을 때까지 급격히 커진다.
• 핵심 보조정리의 (b) 부분을 적용해, 임의의 생성 쌍 $\{g,h\}$에 대해 모든 원소가 $O((\log p)^c)$ 길이의 곱으로 표현 가능하다는 것을 결론 내린다. 여기서 $c$는 절대 상수이다.

실험 결과

연구 질문

• RQ1 임의의 생성집합에 대해 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 카일리 그래프 지름이 $p$의 다항로그 함수로 유계가 될 수 있는가?
• RQ2 부분군에 포함되지 않으며 크기가 $|A| < p^{3-\delta}$인 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 부분집합 $A$에 대해, 삼중곱이 빠르게 커지는가?
• RQ3 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$에 대해 스펙트럼 갭이나 확산 그래프 이론에 의존하지 않고도 균일한 지름 유계를 증명할 수 있는가?
• RQ4 $\mathbb{F}_p^*$에서의 합-곱 현상은 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$와 같은 행렬군에서의 성장 유도에 얼마나 활용할 수 있는가?
• RQ5 어느 정도의 비율로 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 생성 쌍이 작은 지름을 갖는 카일리 그래프를 유도하며, 이를 어떻게 정량화할 수 있는가?

주요 결과

• $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 카일리 그래프 $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), A)$의 지름은 절대 상수 $c$에 대해 $O((\log p)^c)$로 유계이며, 여기서 $A$는 임의의 생성집합이다.
• 임의의 부분집합 $A \subset \operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$가 부분군에 포함되지 않으며 $|A| < p^{3-\delta}$인 경우, 삼중곱에 대해 $|A \cdot A \cdot A| > c|A|^{1+\epsilon}$를 만족한다. 여기서 $c, \epsilon > 0$는 $\delta$에만 의존하는 절대 상수이다.
• $|A| > p^{\delta}$인 임의의 생성집합 $A$에 대해, $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$의 모든 원소는 $A \cup A^{-1}$에서 오는 최대 $k$개의 원소 곱으로 표현 가능하다. 여기서 $k$는 $\delta$에만 의존한다.
• $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), A)$에서의 랜덤 워크의 혼합 시간은 $O(|A| (\log p)^{2c+1})$로 유계이며, $c$와 은닉 상수는 절대 상수이다.
• 임의의 생성자 쌍 $(g,h)$에 대해, $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), \{g,h\})$의 지름은 $p \to \infty$일 때 확률이 1로 수렴하는 $O(\log p)$이다. 은닉 상수는 절대 상수이다.
• $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$를 생성하지 못하거나 짧은 고리가 있는 그래프를 유도하는 쌍 $(g,h)$의 집합은 $o(|\mathscr{C}_p|)$이다. 여기서 $\mathscr{C}_p$는 생성 쌍의 집합이다.