[논문 리뷰] Kazhdan Constants for $SL_n(Z)$

Martin Kassabov|ArXiv.org|2003. 11. 26.

Finite Group Theory Research참고 문헌 8인용 수 6

한 줄 요약

이 논문은 표준 생성집합인 초등행렬에 대한 $\operatorname{SL}_n(\mathbb{Z})$의 카즈단 상수에 대해 새로운 하한을 확립하며, $\mathcal{K}(\operatorname{SL}_n(\mathbb{Z}), E_n) \geq (42\sqrt{n} + 860)^{-1}$임을 증명한다. 이는 기존 상한 $\sqrt{2/n}$의 游근 성장률과 정확히 일치한다. 이 결과는 유계 생성과 일반화된 초등 연산을 활용하여 도출되었으며, 스펙트럼 갭 추정치와 제품 치환 알고리즘의 알고리즘적 효율성을 향상시킨다.

ABSTRACT

In this article we improve the known Kazhdan constant for $SL_n(Z)$ with respect to the generating set of the elementary matrices. We prove that the Kazhdan constant is bounded from below by $[42\sqrt{n}+860]^{-1}$, which gives the exact asymptotic behavior of the Kazhdan constant, as $n$ goes to infinity, since $\sqrt{2/n}$ is an upper bound. We can use this bound to improve the bounds for the spectral gap of the Cayley graph of $SL_n(F_p)$ and for the working time of the product replacement algorithm for abelian groups.

연구 동기 및 목표

• 표준 생성집합인 초등행렬에 대한 $\operatorname{SL}_n(\mathbb{Z})$의 카즈단 상수에 대한 정량적 하한을 확립하는 것.
• $\operatorname{SL}_n(\mathbb{F}_p)$의 카이리 그래프 스펙트럼 갭에 대한 기존 추정치를 향상시키는 것.
• 아벨 군에서 제품 치환 알고리즘의 작동 시간을 분석하기 위한 정량적 기초를 제공하는 것.
• 수체의 정수환과 기타 유한 생성을 가진 가환환으로 이 방법을 확장하는 것.

제안 방법

• Y. Shalom의 유계 생성 접근법을 활용하여 카즈단 상수에 대한 명시적 하한을 구성하는 것.
• $\mathbb{Z}^k$ 내 벡터 체계에 대한 일반화된 초등 연산을 도입하여 변환 복잡도를 통제하는 것.
• $\mathbb{Z}[t_1,\dots,t_s]$의 프로프린트 완비화에 대한 구조 정리와 귀납법을 사용하여 필요한 변환 수를 근사하는 것.
• Carter와 Keller의 $\operatorname{SL}_3(\mathcal{O})$에서의 유계 생성 결과를 활용하여 수체의 정수환으로의 추론을 확장하는 것.
• 재귀적 구성 과정에서 상수를 정확히 추적하여 이전 연구들보다 더 날카로운 하한을 얻는 것.
• 밀도 있는 부분환과 안정 범위 성질을 활용하여, $\mathcal{L}(\operatorname{SL}_n(\mathbb{C}))$와 같은 컴act환과 루프 군으로의 프레임워크를 일반화하는 것.

실험 결과

연구 질문

• RQ1 표준 초등행렬 생성집합에 대한 $\operatorname{SL}_n(\mathbb{Z})$의 카즈단 상수의 정확한 游근 행동은 무엇인가?
• RQ2 더 날카로운 카즈단 상수를 사용하여 $\operatorname{SL}_n(\mathbb{F}_p)$의 스펙트럼 갭 추정치를 향상시킬 수 있는가?
• RQ3 수체의 정수환 $\mathcal{O}$에 대해 $\operatorname{SL}_n(\mathcal{O})$의 카즈단 상수는 어떻게 행동하는가?
• RQ4 이 방법을 $\mathbb{Z}[[t]]$ 또는 $\operatorname{Hom}(S^1, \mathbb{C})$와 같은 비산술환으로 확장할 수 있는가?
• RQ5 일반적인 경우에서 수체의 판별식에 따라 카즈단 상수가 어떻게 의존하는가?

주요 결과

• $\operatorname{SL}_n(\mathbb{Z})$의 초등행렬에 대한 카즈단 상수는 $ (42\sqrt{n} + 860)^{-1} $ 이하로 하한이 있으며, 이는 기존 상한 $ \sqrt{2/n} $의 游근 성장률과 정확히 일치한다.
• $\operatorname{SL}_n(\mathbb{F}_p)$의 경우 추정치는 $ (31\sqrt{n} + 700)^{-1} $으로 향상되어 스펙트럼 갭 추정치를 개선한다.
• $\mathcal{O}$가 수체의 정수환일 때 $\operatorname{SL}_n(\mathcal{O})$에 대해 $ (50\sqrt{n} + (B + C\Delta)6^m)^{-1} $의 하한을 도출한다. 여기서 $\Delta$는 판별식을 의미한다.
• $\operatorname{SL}_n(\mathbb{Z}[t_1,\dots,t_s])$의 경우 $ l_s(n) = \min\{\sqrt{3n + 21.6^s}, 12\} $ 과 $ k_s(n) = \min\{\sqrt{6n + 48.6^s}, 12\} $을 사용하여 변환 복잡도를 통제하는 방식으로 일반화된다.
• $\mathcal{L}(\operatorname{SL}_n(\mathbb{C}))$가 리 군이 아니지만, 카즈단 상수가 $ (50\sqrt{n} + B)^{-1} $ 이상임을 보여주며, 성질 $T$를 갖는다.
• 안정 범위가 2 이하이고 유한 생성 밀도 부분환을 갖는 임의의 환에 대해 이 프레임워크를 적용할 수 있으며, 이 경우 $\operatorname{SL}_n(R)$의 카즈단 상수는 $ O(1/\sqrt{n}) $ 수준이 된다.