[논문 리뷰] On the diameter of permutation groups

H. A. Helfgott, Ákos Seress|arXiv (Cornell University)|2011. 09. 16.

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

한 줄 요약

이 논문은 군 이론에서 오랫동안 남아있던 추측을 해결하며 대칭군과 교환군의 지름에 대해 준다항식 상界를 확립한다. 곱 정리와 순열군의 구조적 분석에 기반한 재귀적 내림내림 증명을 통해 저자들은 $\operatorname{Sym}(n)$ 및 $\operatorname{Alt}(n)$의 지름이 $\exp\left(O((\log n)^4 \log \log n)\right)$ 이하임을 증명한다. 이는 이전의 $\sqrt{n \log n}$에 대한 지수적 상계보다 크게 향상된 결과이다.

ABSTRACT

Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$. It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomially bounded in $n$, but the best previously known upper bound was exponential in $\sqrt{n \log n}$. We give a quasipolynomial upper bound, namely, \[ ext{diam}(G) = \exp(O((\log n)^4 \log\log n)) = \exp((\log \log |G|)^{O(1)})\] for G = Sym(n) or G = \Alt(n), where the implied constants are absolute. This addresses a key open case of Babai's conjecture on diameters of simple groups. By standard results, our bound also implies a quasipolynomial upper bound on the diameter of all transitive permutation groups of degree $n$.

연구 동기 및 목표

• 대칭군과 교환군의 지름이 $n$에 대해 다항식적으로 증가한다는 추측을 해결함으로써, 군 이론과 이론적 컴퓨터 과학 분야에서 핵심적인 열린 문제를 해결하고자 한다.
• $\operatorname{Sym}(n)$ 및 $\operatorname{Alt}(n)$의 지름에 대해 이전까지 알려진 최선의 상계인 $\exp((1+o(1))\sqrt{n\log n})$ 를 향상시키고자 한다.
• 차수 $n$인 전이적 순열군 전반에 대해 준다항식 지름 상계를 확립함으로써, 더 넓은 군의 범주로 결과를 확장하고자 한다.
• 특히 랭크가 유계가 아닌 가족(예: 교환군)에 대해 적용 가능한 바바이의 추측을 해결하기 위한 기초 단계를 마련하고자 한다.

제안 방법

• 생성집합의 구조적 성질과 궤도 행동을 활용하여 문제를 더 작은 교환군으로 줄이는 재귀적 내림내림 증명 기법을 사용한다.
• Subset에 대한 곱 정리를 $\operatorname{Sym}(n)$ 및 $\operatorname{Alt}(n)$에 적용하여 곱셈에 의한 집합의 급속한 성장을 보장함으로써 효율적인 군 원소 생성을 가능하게 한다.
• 제어된 지지집합과 궤도 구조를 가진 내재된 부분군 $B_w^+$ 및 $B_w^-$를 구성함으로써, $B_w^-$가 도메인의 큰 부분집합 위에서 큰 교환군을 생성하도록 보장한다.
• 성립을 $n$에 대해 귀납적으로 적용하며, 더 작은 $n'$에 대해 성립한다고 가정하고, 성장률을 제어하기 위해 재귀적 불등식을 만족하는 적절히 선택된 함수 $F_1(n)$을 사용한다.
• 반복된 생성집합의 곱의 성장률과 군의 지름 간의 관계를 연결하는 핵심 명제(Prop. 6.5)에 의존하며, $\operatorname{Alt}(n)$를 생성하기 위해 필요한 반복 횟수의 상한을 사용한다.
• 최종 상계는 형태 $F_1(n) \geq e^{c_4(\log n)^3 \log \log n} \max(F_1(0.95n), 1)$ 인 재귀적 불등식을 푸는 것으로 유도되며, 그 해는 $F_1(n) = C e^{c(\log n)^4 \log \log n}$ 이다.

실험 결과

연구 질문

• RQ1 바바이 및 다른 이들이 추측한 바와 같이, $\operatorname{Sym}(n)$ 및 $\operatorname{Alt}(n)$의 지름이 $n$에 대해 준다항식 함수로 유계화될 수 있는가?
• RQ2 차수 $n$인 전이적 순열군의 지름이 바바이 및 세레스가 제기한 바와 같이 최대 준다항식적으로 증가하는가?
• RQ3 교환군에서 표준 곱 정리의 실패를 궤도 구조와 부분군 조합에 기반한 재귀적 내림내림 전략으로 극복할 수 있는가?
• RQ4 이전의 리 대수군 유형에 대한 결과들과 마찬가지로 유계 랭크 가정 없이도 $\operatorname{Alt}(n)$에 대해 준다항식 지름 상계를 달성할 수 있는가?
• RQ5 임의의 생성집합 $A$에 대해 $A^{F(n)} = \operatorname{Alt}(n)$ 가 성립하는 최소의 함수 $F(n)$는 무엇이며, 그러한 함수는 어떻게 재귀적으로 구성할 수 있는가?

주요 결과

• $\operatorname{Sym}(n)$ 및 $\operatorname{Alt}(n)$의 지름은 $\exp\left(O((\log n)^4 \log \log n)\right)$ 이하로 상한이 존재하며, 이 상한은 절대 상수를 포함한다.
• 이 준다항식 상한은 이전까지 알려진 최선의 상한인 $\exp((1+o(1))\sqrt{n\log n})$ 보다 크게 향상되었으며, 이는 20여 년 이상 유지된 상태였다.
• 이 결과는 모든 차수 $n$인 전이적 순열군에 대해 준다항식 지름 상한이 존재함을 시사하며, 바바이 및 세레스의 추측을 확인한다.
• 증명 과정에서 $A^{\lfloor n^{c_3 \log n} e^{c(\log n)^3 \cdot F_2(0.95n)} \rfloor} \supseteq \operatorname{Alt}(n)$ 를 만족하는 적절한 함수 $F_2$ 가 존재함을 보여주며, 이는 재귀적 구성의 기초를 이룬다.
• 방향 카일리 그래프 $\vec{\Gamma}(G,A)$ 의 지름은 $O\left(e^{(c+1)(\log n)^4 \log \log n}\right)$ 이하로 유계이며, 여기서 $c = 49071$ 이다. 이는 방향 생성에 있어서의 강건성을 보여준다.
• 궤도 크기와 부분군 조합에 기반한 정교한 내림내림 전략을 통해, 교환군에서 표준 곱 정리의 실패를 성공적으로 극복하였다.