[논문 리뷰] Symmetric Groups and Expanders

Martin Kassabov|ArXiv.org|2005. 03. 10.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 12

한 줄 요약

이 논문은 대칭군 $\text{Sym}(n)$ 과 교대군 $\text{Alt}(n)$ 에 대해 각각 명시적이고 유계 차수의 생성집합 $F_n$ 과 $\tilde{F}_n$ 를 구성하며, 모든 충분히 큰 $n$ 에 대해 그 카일리 그래프가 팽창기 가족을 이룬다. 핵심 결과는 카즈한 상수에 대한 균일한 하한을 확보하여, 이러한 군들이 유계 차수와 사라지지 않는 팽창 상수를 갖는 팽창기를 가짐을 증명한다.

ABSTRACT

We construct an explicit generating sets $F_n$ and $ ilde F_n$ of the alternating and the symmetric groups, which make the Cayley graphs $C(Alt(n), F_n)$ and $C(Sym(n), ilde F_n)$ a family of bounded degree expanders for all sufficiently large $n$. These expanders have many applications in the theory of random walks on groups and other areas of mathematics.

연구 동기 및 목표

• 대부분의 $n$ 에 대해 카일리 그래프가 팽창기를 이루는, $\text{Alt}(n)$ 과 $\text{Sym}(n)$ 에 대해 명시적이고 균일하게 유계인 생성집합을 구성하는 것.
• 이들 군에 대해 카즈한 상수에 대한 균일한 하한을 확립하여, $n$ 과 무관한 팽창을 보장하는 것.
• 기본적으로 아벨 부분군의 고정된 수의 곱으로 표현될 수 없는 교대군의 어려움을 극복하는 것.
• 기하군(예: $\text{SL}_n(\bbZ)$)에서 알려진 방법을, 고전적 의미에서 성질 T 를 갖지 않는 대칭군과 교대군으로 확장하는 것.
• 루보츠키의 추측, 즉 모든 비아벨 유한 단순군에 대해 유계 생성집합이 존재하여 팽창기 가족을 이룰 수 있음을 구축적으로 해결하는 것.

제안 방법

• 대칭군의 표현 이론을 사용하며, 특히 분할과 관련된 기약 성분으로 분해되는 정규 표현의 분해를 다룬다.
• 참고문헌 [21] 에서의 대칭군의 정규화된 특징에 대한 추정을 적용하여, 유계 지지도를 갖는 공共役류 $B$ 에 대해 $|\bar{\rho}_\nu(B)|$ 를 추정한다.
• 함수 공간 위에서 $K^{5/4}$-튜플에 대한 생성집합의 작용을 분석하며, 큰 집합 $E$ 에서의 랜덤 워크 혼합을 통해 스펙트럼 갭을 제어한다.
• $\text{Alt}(N)$ 가 $K^{5/4}$-튜플에 작용함으로써 유도되는 표현 $M$ 에서의 마코프 연산자 $\rho_2(g)$ 를 정의하고, 8단계 이후에 $\rho_2(g)$ 가 스펙트럼 갭 $>1/2$ 를 갖는다는 것을 보인다.
• $\text{Alt}(N)$ 표현에 대한 추정과 스펙트럼 갭 제어를 조합하여, 유니터리 표현에서의 영이 아닌 벡터가 생성자 작용 하에 큰 노름을 가져야 한다는 것을 보이며, 이는 균일한 카즈한 상수를 의미한다.
• $\text{Alt}(n)$ 이 지수적으로 증가하는 $n_s = (2^{3s}-1)^6$ 에 대해 유계 수의 $\text{Alt}(n_s)$ 복수의 곱으로 표현될 수 있다는 사실을 활용하여 생성집합의 귀납적 구성이 가능하다.

실험 결과

연구 질문

• RQ1 모든 큰 $n$ 에 대해 $\text{Alt}(n)$ 과 $\text{Sym}(n)$ 에 대해 명시적이고 유계 차수의 생성집합을 구성할 수 있는가? 이에 따라 카일리 그래프가 팽창기를 이룰 수 있는가?
• RQ2 이러한 생성집합에 대해 대칭군과 교대군의 카즈한 상수에 대한 최적의 하한은 무엇인가?
• RQ3 고전적 의미에서 성질 T 를 갖지 않음에도 불구하고, 카일리 그래프의 스펙트럼 갭이 0 에서 일정하게 떨어져 있는가?
• RQ4 기하군에서 사용된 표현 이론적 접근법을, 선형적이지 않으며 아벨 부분군에 의한 유계 생성이 없는 대칭군에 어떻게 적응시킬 수 있는가?
• RQ5 오직 치환 원소들만을 사용하여 이러한 생성집합을 구성할 수 있으며, 그 최소 크기는 얼마인가?

주요 결과

• 논문은 $F_n \to \text{Alt}(n)$ 과 $\tilde{F}_n \to \text{Sym}(n)$ 이라는 명시적 생성집합을 구성하여, 모든 충분히 큰 $n$ 에 대해 카일리 그래프 $\text{C}(\text{Alt}(n), F_n)$ 과 $\text{C}(\text{Sym}(n), \tilde{F}_n)$ 가 유계 차수 팽창기를 이룬다.
• 카즈한 상수 $\fancyscript{K}(\text{Alt}(n); F_n)$ 에 대해 균일한 하한 $\boxed{\frac{1}{10^6}}$ 이 확립되었으며, 이는 균일한 스펙트럼 갭과 팽창을 의미한다.
• 충분히 큰 $n$ 에 대해 크기가 10인 생성집합 $\bar{F}_n$ 가 존재하며, 이는 오직 치환 원소들로만 이루어져 있고 $\fancyscript{K}(\text{Alt}(n); \bar{F}_n) \to 10^{-8}$ 로 보다 좋은 하한을 확보하며, 치환 기반 구성의 가능성을 보장한다.
• 생성집합의 귀납적 구성이 가능하도록, $\text{Alt}(n)$ 이 지수적으로 증가하는 $n_s = (2^{3s}-1)^6$ 에 대해 $<10^9$ 개의 $\text{Alt}(n_s)$ 복수의 곱으로 표현될 수 있다는 사실을 활용한다.
• $F_n$ 의 크기가 최대 $10^{10}$ 이며 $\fancyscript{K}(\text{Alt}(n); F_n) \to 10^{-15}$ 로 수렴함을 통해, 비영인 팽창 상수를 갖는 유계 차수 팽창기가 존재함을 확인한다.
• 유사한 표현 이론적 및 스펙트럼 갭 추론을 통해 방법이 대칭군으로 확장되며, 해당 생성집합에 대해 $\fancyscript{K}(\text{Sym}(n); \tilde{F}_n) \to 10^{-15}$ 를 확립한다.