[논문 리뷰] Expansion in finite simple groups of Lie type

Emmanuel Breuillard, Ben Green외 2명|arXiv (Cornell University)|2013. 09. 08.

Finite Group Theory Research참고 문헌 64인용 수 5

한 줄 요약

이 논문은 고정된 랭크를 가진 리 유형의 유한 단순군에서 무작위로 선택한 원소 쌍이 높은 확률로 확산 그래프를 형성하는 것을 증명한다. 보르가인-감버드 방법과 그들의 동반 논문 [BGGT]의 결과를 사용하여, 저자들은 이러한 군에 대해 스펙트럼 확산을 확립하며, 체의 크기가 커짐에 따라 관련 무작위 카일리 그래프가 확산군을 이룬다는 것을 보여주며, 고정된 랭크에 대해 군 크기에 관계없이 일관된 확산 상수가 존재한다.

ABSTRACT

We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.

연구 동기 및 목표

• 고정된 랭크를 가진 리 유형의 유한 단순군에서 무작위 원소 쌍이 확산 카일리 그래프를 생성함을 입증하는 것.
• 고정된 랭크를 가진 리 유형의 유한 단순군에 대해 보르가인-감버드 방법을 확장하는 것.
• 군 크기가 증가함에 따라 관련 무작위 카일리 그래프의 스펙트럼 간격이 0으로부터 일관되게 떨어져 있음을 증명하는 것.
• 확장 성질이 높은 확률(1 - O(|G|^{-δ}))로 성립함을 보여주는 것 (δ > 0이며 랭크에만 의존함).
• 결과를 리 유형의 쿼시스임프레 군의 거의 직접적 곱으로 일반화하는 것.

제안 방법

• 저자들은 확산의 스펙트럼 정의를 사용하여, 대칭 생성 집합 위의 균일 측도와 관련된 L²(G) 위의 복합 연산자 T의 연산자 노름에 초점을 맞춘다.
• 비집합성과 스펙트럼 간격 추정에 기반하는 보르가인-감버드 방법을 적용하여, 리 유형의 유한군에서의 확산을 확립한다.
• 동반 논문 [BGGT]의 주요 결과를 활용하여, 리 유형 군에서의 스펙트럼 간격과 준무작위성에 대한 핵심 추정치를 제공한다.
• 작은 두배 구조를 가진 집합의 구조를 분석하고, 확산을 방해할 수 있는 큰 부분군의 존재를 배제하기 위해 피봇링 추론을 사용한다.
• 히처리 부등식에 기반한 스펙트럼 추론을 통해, 스펙트럼 간격 영역에 있는 고유함수는 지수 2 부분군의 특성 함수여야 한다는 것을 보여주며, 생성자가 이러한 부분군을 피할 경우 모순을 이끌어낸다.
• 집합 성장에 대한 조합적 추정과 유한군 위의 조화 분석을 조합하여, 비확산 구성이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 고정된 랭크를 가진 리 유형의 유한 단순군에서 무작위 원소 쌍이 확산 카일리 그래프를 생성하는가?
• RQ2 보르가인-감버드 방법을 고정된 랭크를 가진 리 유형의 유한 단순군에 대해 확장하여 확산을 증명할 수 있는가?
• RQ3 군 크기가 증가함에 따라 이들 군의 관련 무작위 카일리 그래프의 스펙트럼 간격이 0으로부터 일관되게 떨어져 있는가?
• RQ4 어떤 군의 구조적 성질이 확산을 방해하는가, 그리고 이러한 성질들은 어떻게 고정된 랭크에서 높은 확률로 배제할 수 있는가?
• RQ5 결과는 리 유형의 쿼시스임프레 군의 거의 직접적 곱으로 확장될 수 있는가?

주요 결과

• 군 크기가 |G|일 때, 고정된 랭크를 가진 리 유형의 유한 단순군에서 무작위 원소 쌍이 확률 적어도 1 - C|G|^{-δ}로 ε-확산 집합을 생성한다. 여기서 ε, C, δ는 모두 랭크에만 의존한다.
• 고정된 랭크에 대해 군 크기 |G|가 무한히 커짐에 따라, 관련 무작위 카일리 그래프의 스펙트럼 간격이 0으로부터 일관되게 떨어져 있다.
• 확산은 스펙트럼적이고 조합적으로 모두 성립한다: 모든 A ⊆ G에 대해 |A| ≤ |G|/2 이면 |S²A| ≥ (1+ε)|A| 를 만족한다.
• 결과는 고정된 랭크를 가진 모든 리 유형의 유한 단순군에 대해 균일하게 성립하며, PSL_r+1(F_q) 및 PSU_r+1(F_{q²})와 같은 고전적 및 비틀린 군을 포함한다.
• 피봇링 추론과 스펙트럼 분석을 통해, 확산을 방해할 수 있는 큰 부분군이나 지수 2 부분군의 존재를 배제하는 방법을 제시한다.
• 결과는 Theorem 8.3에서 보여지듯이, 리 유형의 쿼시스임프레 군의 거의 직접적 곱으로도 확장된다.