[논문 리뷰] Expansion in simple groups

Emmanuel Breuillard, Alexander Lubotzky|arXiv (Cornell University)|2018. 07. 10.

Advanced Algebra and Geometry참고 문헌 64인용 수 6

한 줄 요약

이 논문은 유한 및 컴act 단순군에서의 확장 이론을 조사하며, 카즈단의 성질 (T)이 확장 그래프를 구성하고 루지에비치 문제를 해결하는 데서 수행하는 역할을 강조한다. 최근의 스펙트럼 간극 현상, 양자 게이트를 위한 탐색 알고리즘, 그리고 양자 계산 응용에서 최적의 단어 길이 근사치를 달성하기 위해 리 군 내 산술 격자를 사용하는 것에 대해 다룬다.

ABSTRACT

Two short seminal papers of Margulis used Kazhdan's property $(T)$ to give, on the one hand, explicit constructions of expander graphs, and to prove, on the other hand, the uniqueness of some invariant means on compact simple Lie groups. These papers opened a rich line of research on expansion and spectral gap phenomena in finite and compact simple groups. In this paper we survey the history of this area and point out a number of problems which are still open.

연구 동기 및 목표

• 마르기스의 기초적인 작업에 뿌리를 두고, 유한 및 컴 pact 단순군에서의 확장 현상의 발전을 조사하기 위해.
• 카즈단의 성질 (T)을 통한 리 군에서의 불변 평균의 유일성과 확장 그래프의 구성 간의 연결 고리를 설정하기 위해.
• 유한 단순군과 컴 pact 리 군에 대한 스펙트럼 간극 이론의 열린 문제를 탐구하기 위해.
• 특히 양자 계산 응용을 위한 목적으로 컴 pact 군에서의 탐색 문제를 검토하기 위해.
• 산술 격자와 브하트-티츠 빌딩이 효율적인 단어 길이 근사치(골든 게이트)를 구성하는 데서 수행하는 역할을 조사하기 위해.

제안 방법

• 반단순 군의 격자 몫의 카일리 그래프에서 스펙트럼 간극을 확립하기 위해 카즈단의 성질 (T)을 활용한다.
• L²(G)에서 라플라스 연산자 Δ^S의 두 번째 고유값을 유계하는 데 단위 표현 이론을 적용하여 균일한 스펙트럼 간극을 확보한다.
• 솔로바이-키타에프 알고리즘과 스펙트럼 방법을 활용하여 컴 pact 리 군 내 임의의 군 원소를 근사하는 짧은 단어를 구성한다.
• PU(n) × PGL_n(K)와 같은 곱에서의 산술 격자를 활용하여 PU(n)로 조밀한 부분군을 투영하고, p-진 요소를 탐색에 사용한다.
• 산술군이 브하트-티츠 빌딩(또는 랭크 1의 경우 트리)에 작용하는 방식을 활용하여 단어 분해를 위한 효율적인 알고리즘을 설계한다.
• G에서 ε-구역의 체적 성장 μ_ε를 분석하여, ℓ ≲ log(1/ε)의 하한을 도출함으로써 최적 또는 근접 최적의 상수를 얻고자 한다.

실험 결과

연구 질문

• RQ1 콤팩트 단순 리 군 G의 유한 대칭 생성집합 S가 카일리 그래프 Cay(G, S)에서 균일한 스펙트럼 간극을 제공할 수 있는가?
• RQ2 S의 생성자들을 사용하여 G의 임의의 원소 g ∈ G를 ε-근사하기 위해 필요한 최소 단어 길이 ℓ는 얼마이며, 이를 효율적으로 달성할 수 있는가?
• RQ3 실수 및 p-진 군의 곱에서의 산술 격자가 PU(n)에서 스펙트럼 간극과 효율적 탐색을 동시에 가능하게 하는 방식은 무엇인가?
• RQ4 브하트-티츠 빌딩은 PU(3)와 같은 고랭크 군으로 트리 기반 탐색을 일반화하는 데서 수행하는 역할는 무엇인가?
• RQ5 스펙트럼 방법을 활용하여 솔로바이-키타에프 알고리즘을 개선하여 양자 게이트 합성에서 더 짧은 단어 길이를 달성할 수 있는가?

주요 결과

• 카즈단의 성질 (T)은 격자 몫의 카일리 그래프에서 균일한 스펙트럼 간극을 보장하여, 명시적인 확장 그래프의 구성으로 이어진다.
• 성질 (T)를 사용하여 S^n (n ≥ 4)에 대한 루지에비치 문제를 해결하였으며, 회전에 대해 불변인 유일한 측도는 르베그 측도임을 보였다.
• PU(2)의 경우 로스와 세링거는 산술군 PU₂(ℤ[√2][1/√2])를 사용하여 탐색 문제의 해를 구성하였으며, 짧은 단어 근사치를 달성하였다.
• 파르잔체브스키와 사르나크는 PU(2) × PGL₂(K)에서의 산술 격자를 통해 '골든 게이트'를 일반화하였으며, 브하트-티츠 트리를 탐색에 사용하였다.
• 에브라와 파르잔체브스키는 PU(3)로 이 프레임워크를 확장하였으며, PU(3) × PGL₃(ℚ_p)에서의 산술 격자를 활용하여 빌딩 구조를 통한 탐색을 가능하게 하였다.
• 이론적 한계는 ε-근사에 대해 단어 길이 ℓ가 O(log(1/ε)) 이하로 낮아질 수 있음을 시사하며, 일부 구성에서는 최적 상수에 가까이 접근하고 있다.