1: \begin{abstract}

2: Given a finite group $G$ and a set $A$ of generators, the diameter

3: $\diam(\Gamma(G,A))$ of the Cayley graph $\Gamma(G,A)$ is the smallest

4: $\ell$ such that every element of $G$ can be expressed as a word of length

5: at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding

6: $\diam(G):= \max_A\diam(\Gamma(G,A))$.

7: 

8: It has long been conjectured that the diameter of the symmetric group of

9: degree $n$ is polynomially bounded in $n$, but the best previously known

10: upper bound was exponential in $\sqrt{n \log n}$. We give a

11: quasipolynomial upper bound, namely,

12: \[\diam(G) = \exp\left(O((\log n)^4 \log\log n)\right) = \exp\left((\log \log |G|)^{O(1)}\right)\]

13: for $G = \Sym(n)$ or $G = \Alt(n)$, where the implied constants are absolute. 

14: This addresses a key open case of Babai's conjecture

15: on diameters of simple groups. By a result of Babai and Seress (1992), 

16: our bound also implies a quasipolynomial upper bound  on the diameter of all 

17: transitive permutation groups of degree $n$.

18: 

19: \end{abstract}