[논문 리뷰] Expansion properties of finite simple groups

Oren Dinai|arXiv (Cornell University)|2010. 01. 27.

Finite Group Theory Research참고 문헌 35인용 수 14

한 줄 요약

이 논문은 모든 유한체 $\mathbb{F}_q$ 위에서 유한 단순군의 가족 $\mathrm{SL}_2(\mathbb{F}_{q})$ 및 $\mathrm{PSL}_2(\mathbb{F}_{q})$ 가 다항로그 길이를 가짐을 증명한다. 헬프고의 결과를 소수 체에서 일반 유한체로 확장한 것으로, 덧셈 조합론과 합-곱 정리들을 사용하여 강력한 균일 성장 성질을 확립한다: 임의의 생성 집합 $A$에 대해 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$ 이며, 이는 모든 유한체에 대해 일관되게 성립한다.

ABSTRACT

We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.

연구 동기 및 목표

• 소수 체 $\mathbb{F}_p$ 에서의 $\mathrm{SL}_2(\mathbb{F}_p)$ 에 대한 헬프고의 다항로그 길이 결과를 모든 유한체 $\mathbb{F}_{p^n}$ 으로 확장하는 것.
• 모든 유한체에 대해 $\mathrm{SL}_2(\mathbb{F}_q)$ 와 $\mathrm{PSL}_2(\mathbb{F}_q)$ 에 대해 다항로그 길이 유계를 유도하는 균일 성장 성질을 확립하는 것.
• 유한체 내의 부분체와 거의 부분체로 인해 발생하는 합-곱 추론의 복잡성을 해결하는 것.
• 모든 유한체에 대해 카이리 그래프의 직경이 절대 상수 $C,d>0$ 에 대해 $C \log^d |G|$ 이하로 증가함을 증명하는 것.
• 특성에 의존하지 않는 균일한 증명 전략을 제공하여 이전의 소수 체 결과를 일반화하는 것.

제안 방법

• 덧셈 조합론 도구, 특히 합-곱 정리를 사용하여 유한체 및 행렬군 내 성장 현상을 분석한다.
• 행렬 성장 문제를 대각화하여 행렬을 대각형태로 공액시키고 그 흔적을 분석함으로써 추적 함수로 환원한다.
• 체 내의 전개 개념을 적용: 집합 $S$ 가 $|S+S|, |S\cdot S| \gg |S|^{1+\varepsilon}$ 를 만족하면, $S$ 는 강력한 추출기이다.
• 공액을 통해 행렬 집합을 그 흔적으로 환원하여, 흔적 성장이 행렬 성장과 연결됨을 보여준다.
• 행렬 $\mathrm{SL}_2(\mathbb{F}_q)$ 의 흔적은 부분체에 속하고 고유값이 이차 확장을 생성하므로 성장을 제어할 수 있다.
• 함수 $T_g(x_1,x_2) = t \cdot \operatorname{tr}(x_1x_2) + (1-t) \cdot \operatorname{tr}(x_1/x_2)$ 의 이미지 분석을 통해 $\operatorname{Tr}(V_1 V_2^g)$ 의 크기를 유계하고, 이를 행렬 성장과 연결한다.

실험 결과

연구 질문

• RQ1 모든 유한체 $\mathbb{F}_q$ 에 대해 특성에 관계없이 $\mathrm{SL}_2(\mathbb{F}_q)$ 와 $\mathrm{PSL}_2(\mathbb{F}_q)$ 에 대해 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$ 의 성장 성질이 균일하게 성립할 수 있는가?
• RQ2 모든 유한체에 대해 $\mathrm{SL}_2(\mathbb{F}_q)$ 의 카이리 그래프 직경이 절대 상수 $C,d>0$ 에 대해 $C \log^d |G|$ 로 유계일 수 있는가?
• RQ3 $\mathbb{F}_{p^n}$ 내의 부분체와 거의 부분체가 $\mathrm{SL}_2(\mathbb{F}_q)$ 에서의 합-곱 및 성장 행동에 어떤 영향을 미치는가?
• RQ4 $T_g(x_1,x_2)$ 가 $|\operatorname{Im}(T_g)| \gg N^{1+\delta}$ 를 만족하는지, 이는 행렬 성장을 유도하는가?
• RQ5 $t \notin \{0,1\}$ 이고 $t$ 가 이차 확장 내에 있을 때, $T_g(x_1,x_2) = c$ 의 해의 수 $N_t(c)$ 가 $N^{1-\delta+O(\varepsilon)}$ 이하로 유계되는가?

주요 결과

• 모든 유한체에 대해 $\{\mathrm{SL}_2(\mathbb{F}_{q}) : q = p^n, p \text{ 소수}, n \in \mathbb{N}\}$ 의 가족은 다항로그 길이를 가지며, 절대 상수 $C,d>0$ 에 대해 $\operatorname{diam}(G) \leq C \log^d |G|$ 를 만족한다.
• 강력한 균일 성장 성질이 성립한다: $G = \mathrm{SL}_2(\mathbb{F}_q)$ 또는 $\mathrm{PSL}_2(\mathbb{F}_q)$ 의 임의의 생성 집합 $A$ 에 대해 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$ 이며, 이는 $q$ 에 관계없이 일관되게 성립하는 $\varepsilon > 0$ 이 존재한다.
• 이 증명은 헬프고의 결과를 소수 체 $\mathbb{F}_p$ 에서 모든 유한체 $\mathbb{F}_{p^n}$ 으로 확장하며, 부분체 및 거의 부분체의 문제를 해결한다.
• 함수 $T_g(x_1,x_2) = t \cdot \operatorname{tr}(x_1x_2) + (1-t) \cdot \operatorname{tr}(x_1/x_2)$ 는 $t \notin \{0,1\}$ 이고 $t$ 가 이차 확장 내에 있을 경우 이미지 크기 $|\operatorname{Im}(T_g)| \gg N^{2-O(\varepsilon)}$ 를 가진다.
• $t \notin \{0,1\}$ 이고 $t$ 가 이차 확장 내에 있을 경우, $T_g(x_1,x_2) = c$ 의 해의 수 $N_t(c)$ 는 $|N_t(c)| \ll N^{1-\delta+O(\varepsilon)}$ 를 만족하며, 이는 큰 이미지 크기를 유도한다.
• 부분체 $\mathbb{E}_i$ 와 그 이차 확장 $\mathbb{K}_i$ 내에서의 흔적과 고유값의 성장은 $|X_1 \cap X_2|, |T_1 \cap T_2| \ll N^{O(\varepsilon)}$ 를 이끌어내며, 이는 전개를 확립하는 데 핵심적이다.