[논문 리뷰] Diameters of Chevalley groups over local rings

Oren Dinai|arXiv (Cornell University)|2012. 01. 23.

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

한 줄 요약

이 논문은 유한 국소환 $\mathbb{Z}/p^n\mathbb{Z}$ 위의 체바렐리 군의 지름에 대해 명시적인 다항식 상한을 확립한다. 임의의 생성집합 $S$에 대해, 모든 군 원소는 $S \cup S^{-1}$의 원소들로 이루어진 최대 $C n^d$ 개의 곱으로 표현 가능하며, 여기서 $C$와 $d$ 는 군의 랭크와 소수 $p$ 에만 의존한다. 증명은 리 이론적 교환자 분해와 소볼레이-키타에프 방법에 영감을 받은 효과적인 재귀 알고리즘을 조합하여, 임의의 원소에 대한 짧은 군 단어를 효율적으로 계산할 수 있는 알고리즘을 도출한다.

ABSTRACT

Let G be a Chevalley group scheme of rank l. We show that the following holds for some absolute constant d>0 and two functions p_0=p_0(l) and C=C(l,p). Let p>p_0 be a prime number and let G_n:=G(\Z/p^n\Z) be the family of finite groups for n>0. Then for any n>0 and any subset S which generates G_n we have diam(G_n,S)< C n^d, i.e., any element of G_n is a product of Cn^d elements from S\cup S^{-1}. In particular, for some C'=C'(l,p) and for any n>0 we have, diam(G_n,S)< C' log^d(|G_n|). Our proof is elementary and effective, in the sense that the constant d and the functions p_0(l) and C(l,p) are calculated explicitly. Moreover, there exists an efficient algorithm to compute a short path between any two vertices in any Cayley graph of the groups G_n.

연구 동기 및 목표

• 모든 $n \geq 1$ 과 충분히 큰 랭크에 비례하는 소수 $p$ 에 대해, 체바렐리 군 $G_n = G(\mathbb{Z}/p^n\mathbb{Z})$ 의 지름에 대해 명시적이고 효과적인 상한을 확립하는 것.
• 임의의 생성집합에 대해 $G_n$ 의 카일리 그래프에서 임의의 군 원소를 나타내는 짧은 단어를 계산하는 효과적이고 알고리즘적인 방법을 제공하는 것.
• 소볼레이-키타에프 방법을 국소환 위의 체바렐리 군으로 일반화하여, 리 대수의 교환자 구조와 $p$-진 군의 층 구조를 활용하는 것.
• 명시적인 상수 $C$와 $d$ 를 가진 $\mathrm{diam}(G_n, S) \leq C n^d$ 의 형태로 상한을 확보하고, $\mathrm{diam}(G_n) \leq C' \log^d |G_n|$ 를 만족시키는 $C'$ 가 존재함을 보여, 이 군의 클래스에 대해 바바이의 추측에 대한 정량적 버전을 제공하는 것.

제안 방법

• 군의 $p$-진 리 군 구조인 $\Gamma_0 = G(\mathbb{Z}_p)$ 를 사용하여, 층들 $\Gamma_n = \ker(\pi_n)$ 과 몫들 $\Delta_n = \Gamma_n / \Gamma_{n+1}$ 으로 분해하며, 이들은 지수 사상에 의해 리 대수 $L_0$ 와 동형이다.
• $\Gamma_n = \exp(p^n L_0)$ 를 증명함으로써, 군 이론 문제를 $\mathbb{Z}_p$ 위의 리 대수 문제로 변환할 수 있다.
• 핵심 기술 도구는 체바렐리 기저와 $r$-강하게 완전한 리 대수의 개념을 사용하여, 리 대수의 원소를 최대 네 개의 교환자 합으로 분해하는 것이다.
• 지름은 층 $\Delta_n$ 을 거쳐 단어 길이의 성장을 분석함으로써 재귀적으로 상한을 구한다. 교환자 단어는 낮은 층에서 높은 층으로 올릴 수 있음을 이용한다.
• 효과적인 알고리즘은 소볼레이-키타에프 스타일의 재귀를 사용하여 구축된다: $g$ 를 $\Gamma_n$ 에 대해 분해하고, 교환자 올림을 통해 분해를 올리며, 더 작은 층에서 재귀한다.
• 알고리즘은 단어 길이가 $C n^d$ 의 형태로 증가함을 보장하며, $d$ 는 2보다 약간 큰 값을 향해 수렴하고, $G_n$ 의 임의의 원소로의 구성 경로를 구축한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 1$ 에 대해 체바렐리 군 $G(\mathbb{Z}/p^n\mathbb{Z})$ 의 지름에 대한 최적의 명시적 다항식 상한은 무엇인가?
• RQ2 임의의 생성집합에 대해 $G(\mathbb{Z}/p^n\mathbb{Z})$ 의 카일리 그래프에서 임의의 군 원소를 나타내는 짧은 단어를 계산할 수 있는 효과적이고 구성적인 알고리즘을 설계할 수 있는가?
• RQ3 관련 체바렐리 군의 리 대수의 구조는 국소환 위에서 군의 지름을 어떻게 제어하는가?
• RQ4 소볼레이-키타에프 방법은 비유계, $p$-진 리 군과 그 유한 몫으로 일반화될 수 있는가?
• RQ5 주어진 체바렐리 군과 소수 $p$ 에 대해 지름 상한 $\mathrm{diam}(G_n) \leq C n^d$ 의 정확한 상수 $C$ 와 $d$ 는 무엇인가?

주요 결과

• 모든 랭크 $l$, 차원 $k$ 를 가진 체바렐리 군 $G$ 와 소수 $p > \max\left\{\frac{l+2}{2}, 19\right\}$ 에 대해, $G_n = G(\mathbb{Z}/p^n\mathbb{Z})$ 의 지름은 $\mathrm{diam}(G_n) \leq C p^{2k} n^{10}$ 를 만족한다. 여기서 상수 $C$ 는 $G$ 에만 의존하며 $p$ 에는 의존하지 않는다.
• 지름 상한은 $\mathrm{diam}(G_n, S) \leq C n^d$ 의 형태이며, $d = d_i = \frac{\log(4r)}{\log(2i) - \log(i+1)}$ ($r=4$) 로 주어지며, $i$ 가 증가함에 따라 $d_i$ 는 $2 + \log_2 3 \approx 3.58$ 으로 감소하여 $d$ 는 2에 임의로 가까이 갈 수 있음을 보여준다.
• $\mathrm{diam}(G_n) \leq C' \log^d |G_n|$ 는 어떤 $C'$ 가 존재하여 $G$ 에만 의존함을 보여, 이 군의 클래스에 대해 바바이의 추측에 대한 정량적 버전을 제공한다.
• 효율적인 알고리즘이 구성되었으며, 임의의 $g \in G_n$ 과 임의의 생성집합 $S$ 에 대해, $S \cup S^{-1}$ 의 원소들로 이루어진 길이 최대 $C n^d$ 의 단어를 $g$ 를 표현하도록 계산할 수 있다. 상수는 명시적이다.
• 메서드는 리 대수 $L_0$ 가 $p$ 가 충분히 크면 $\mathbb{Z}_p$ 위에서 $r=4$ 에 대해 $r$-강하게 완전하다는 사실에 기반하며, 이는 $\Gamma_n$ 의 임의의 원소가 $\Gamma_{n+1}$ 모듈로 최대 네 개의 교환자로 분해됨을 보장한다.
• 알고리즘은 재귀적이다: $\Gamma_{n-1}$ 에서의 해를 교환자 분해와 재귀 호출을 통해 $\Gamma_n$ 으로 올리며, 이로 인해 단어 길이가 $n$ 에 대해 다항식적으로 증가함을 보장한다.