[論文レビュー] On the diameter of permutation groups

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

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$ の推移的置換群すべてに対して、準多項式的直径上界を確立すること。これにより、より広い群のクラスに結果を拡張する。
• 特に、交代群のような無限ランク族に対して、ババイの予想（有限単純群の直径に関する予想）を解決するための基盤を提供すること。

提案手法

• 生成集合の構造的性質と軌道の挙動を活用して、問題をより小さい交代群に再帰的に還元する降下法を用いる。
• $\operatorname{Sym}(n)$ および $\operatorname{Alt}(n)$ の部分集合に対して適用される積の定理を用い、乗算による集合の急速な成長を保証することで、群の元を効率的に生成する。
• 支持集合と軌道構造を制御したネストされた部分群 $B_w^+$ および $B_w^-$ を構成し、$B_w^-$ が定義域の大きな部分集合上で大きな交代群を生成することを保証する。
• $n$ に関する帰納法を用い、より小さい $n'$ に対しては境界が成り立つと仮定し、成長を制御するための再帰的不等式を満たす適切に選ばれた関数 $F_1(n)$ を用いる。
• 群の直径と生成集合の反復積の成長を結びつける重要な補題（命題 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)$ 以下に上界づけられ、定数は絶対的である。
• この準多項式的上界は、20年以上にわたり残っていた、$\exp((1+o(1))\sqrt{n\log n})$ という以前の最良の上界を顕著に改善する。
• この結果により、次数 $n$ のすべての推移的置換群に対して準多項式的直径上界が成り立つことが示され、ババイおよびセレスの予想が確認された。
• 証明により、適切な関数 $F_2$ を用いて、$A^{\lfloor n^{c_3 \log n} e^{c(\log n)^3 \cdot F_2(0.95n)} \rfloor} \supseteq \operatorname{Alt}(n)$ が成り立つことが示された。これは再帰的構成の根拠となった。
• 有向ケイリーグラフ $\vec{\Gamma}(G,A)$ の直径は $O\left(e^{(c+1)(\log n)^4 \log \log n}\right)$ 以下に抑えられ、$c = 49071$ である。これは有向生成における堅牢性を示している。
• 軌道のサイズと部分群の構成に基づく洗練された降下戦略により、交代群では標準的な積の定理が失敗する問題を効果的に克服した。