[论文解读] 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$ 的可迁置换群建立准多项式直径上界，将结果推广至更广泛的群类。
• 为解决 Babai 关于有限单群直径的猜想奠定基础，尤其针对交错群这类无界秩族。

提出的方法

• 采用递归下降论证，将问题约化至更小的交错群，利用生成集的结构性质与轨道行为。
• 应用 $\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 是否可以如 Babai 等人所猜想的那样，用 $n$ 的准多项式函数来界定 $\operatorname{Sym}(n)$ 与 $\operatorname{Alt}(n)$ 的直径？
• RQ2 可迁置换群的直径是否最多以准多项式方式增长，如 Babai 与 Seress 所建议？
• RQ3 能否通过基于轨道结构与子群构成的递归下降策略，克服交错群中乘积定理的失效？
• RQ4 是否可能在不依赖有界秩假设的前提下，为 $\operatorname{Alt}(n)$ 实现准多项式直径上界，如以往对典型群类的结果所示？
• RQ5 是否存在最小函数 $F(n)$，使得对任意生成集 $A$ 都有 $A^{F(n)} = \operatorname{Alt}(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})$。
• 该结果意味着所有次数为 $n$ 的可迁置换群均具有准多项式直径上界，证实了 Babai 与 Seress 的一个猜想。
• 证明建立了 $A^{\lfloor n^{c_3 \log n} e^{c(\log n)^3 \cdot F_2(0.95n)} \rfloor} \supseteq \operatorname{Alt}(n)$，其中 $F_2$ 为适当函数，支撑了递归构造。
• 有向 Cayley 图 $\vec{\Gamma}(G,A)$ 的直径被限制在 $O\left(e^{(c+1)(\log n)^4 \log \log n}\right)$ 之内，其中 $c = 49071$，表明在有向生成下仍具鲁棒性。
• 该方法通过基于轨道大小与子群构成的精细化下降策略，成功克服了标准乘积定理在交错群中失效的问题。