[논문 리뷰] Suzuki groups as expanders

Emmanuel Breuillard, Ben Green외 1명|arXiv (Cornell University)|2010. 05. 05.

Finite Group Theory Research참고 문헌 12인용 수 4

한 줄 요약

이 논문은 무작연 생성 쌍에 대해 수지 군 $\operatorname{Sz}(q)$ 가 확산 그래프를 갖는다는 것을 증명하여, 모든 비아벨 유한 단순군에 대한 균일한 확산 그래프 구성에서 남아 있던 핵심적 갭을 해결한다. 유한체 위의 확률적 방법과代수기하학을 사용하여, 높은 확률로 임의의 원소 쌍이 $\operatorname{Sz}(q)$ 를 생성하고 어떤 $\varepsilon>0$ 에 대해 $\varepsilon$-확산 그래프를 유도함으로써, 이러한 군들에 대한 균일한 확산 그래프 결과를 완성한다.

ABSTRACT

We show that pairs of generators for the family Sz(q) of Suzuki groups may be selected so that the corresponding Cayley graphs are expanders. By combining this with several deep works of Kassabov, Lubotzky and Nikolov, this establishes that the family of all non-abelian finite simple groups can be made into expanders in a uniform fashion.

연구 동기 및 목표

• 모든 비아벨 유한 단순군에 대한 균일한 확산 그래프 구성에서 남아 있던 갭을 메우기 위해 수지 군 $\operatorname{Sz}(q)$ 가 확산 그래프임을 증명하는 것.
• 무작위 생성자 쌍이 $\operatorname{Sz}(q)$ 에서 $q \to \infty$ 일 때 확률이 1에 수렴하도록 확산 그래프 카일리 그래프를 유도함을 확립하는 것.
• 기존 기법이 실패하는 $\operatorname{SL}_2(q')$ 부분군을 갖지 않는 수지 군에 대해 부르간과 감버드의 방법 프레임워크를 확장하는 것.
• 수지 군 $\operatorname{Sz}(q)$ 에서의 약간의 부분군에 대한 헬프고트 유형 결과가 그 부분군을 자명하거나 전체 군으로 제어함으로써 확산 분석이 가능함을 보여주는 것.

제안 방법

• 확률적 방법을 사용하여 $q \to \infty$ 일 때, 무작위 쌍 $a,b \in \operatorname{Sz}(q)$ 가 군을 생성하고 $\varepsilon$-확산 그래프를 형성할 확률이 높다는 것을 보이는 것.
• $\operatorname{Sz}(q)$ 가 리 타입의 단순군이므로 헬프고트 유형 결과를 적용하여, 임의의 $K$-근사 부분군이 $\{\mathrm{id}\}$ 또는 $\operatorname{Sz}(q)$ 에 대해 $K^{O(1)}$-제어됨을 보장하는 것.
• 길이 $\kappa \log q$ 의 단어 방정식 $w(a,b) = \mathrm{id}$ 를 $\mathbb{F}_q$ 위의 다항식 방정식으로 분석하여, 각 변수에 대해 차수 $O(\log q)$ 를 갖는다.
• 레마 4.2 를 적용하여 길이 $\kappa \log q$ 의 비자명한 단어를 만족하는 무작위 쌍의 확률을 $O(q^{-1/2} \log q)$ 로 bound 하는 것.
• 레마 B.1 을 사용하여 각 변수에 대해 차수 $\leq d$ 인 비자명한 다항식 $p(x, x^\theta) = 0$ 의 해의 수를 $2d^2$ 이하로 bound 하는 것.
• 이러한 bound 를 스펙트럼 간극 기준과 비집합성 성질을 결합하여 확산를 도출하는 것.

실험 결과

연구 질문

• RQ1 수지 군 $\operatorname{Sz}(q)$ 는 $\operatorname{SL}_2(q')$ 부분군을 갖지 않기 때문에, 무작위 생성자를 사용하여 확산 그래프임을 보일 수 있는가?
• RQ2 무작위 쌍이 $\operatorname{Sz}(q)$ 에서 군을 생성하고 확산 그래프 카일리 그래프를 유도할 확률은 얼마인가?
• RQ3 약간의 부분군에 대한 헬프고트 유형 구조 정리가 수지 군에 어떻게 적용되어 확산를 보장하는가?
• RQ4 유한체 $\mathbb{F}_q$ 위의 대수기하학을 사용하여 $\operatorname{Sz}(q)$ 에서의 단어 방정식 $w(a,b) = \mathrm{id}$ 의 해의 수를 효과적으로 bound 할 수 있는가?
• RQ5 다항식 방정식 $p(x, x^\theta) = 0$ 의 해의 수에 대한 bound 를 얼마나 향상시킬 수 있는가? 이를 통해 더 강력한 확산 bound 를 회복할 수 있는가?

주요 결과

• 논문은 모든 수지 군 $\operatorname{Sz}(q)$ 에 대해 $\varepsilon > 0$ 가 존재하여, 무작위 생성 쌍 $a,b$ 가 확률 $\to 1$ 로 $\varepsilon$-확산 그래프 카일리 그래프 $\operatorname{Cay}(G, \{a^{\pm 1}, b^{\pm 1}\})$ 를 유도함을 증명한다.
• 무작위 쌍 $a,b \in \operatorname{Sz}(q) \setminus B$ 가 길이 $\kappa \log q$ 의 단어 $w$ 에 대해 $w(a,b) = \mathrm{id}$ 를 만족할 확률은 $O(q^{\kappa \log 3 - 1/2} \log q)$ 이하로 bound 되며, $\kappa < 1/(2 \log 3)$ 인 경우 이 확률은 0으로 수렴한다.
• 비자명한 다항식 $p \in \mathbb{F}_q[x,y]$ 가 각 변수에 대해 차수 $\leq d$ 이면, $p(x, x^\theta) = 0$ 의 해의 수는 레마 B.1 에 의해 최대 $2d^2$ 이다.
• 수지 군 $\operatorname{Sz}(q)$ 에 대한 헬프고트 유형 결과는 임의의 $K$-근사 부분군이 군을 생성할 경우 $\{\mathrm{id}\}$ 또는 $\operatorname{Sz}(q)$ 에 대해 $K^{O(1)}$-제어됨을 의미하며, 이는 확산 분석에 기여한다.
• 저자는 모든 비아벨 유한 단순군의 가족이 균일하게 확산 그래프로 만들 수 있으며, 수지 군이 이제 완전히 포함되어 있어, 정리 1.1 이 완성됨을 확인한다.
• 비록 방법이 확률적이며 명시적인 $\varepsilon$ 는 제공하지 않지만, 결과는 $k=4$ 개의 생성자가 확산에 충분함을 암시하며, 초수론적 접근 대신 효과적인 대수기하학을 사용하면 원칙적으로 효과적인 bound 를 유도할 수 있다.