1: \begin{abstract}

2:   By now, we have a product theorem in every finite simple group $G$ of Lie type,

3:   with the strength of the bound depending only in the rank of $G$. Such theorems

4:   have numerous consequences: bounds on the diameters of Cayley graphs, spectral

5:   gaps, and so forth. For the alternating group $\Alt_n$, we have a quasipolylogarithmic

6:   diameter bound (Helfgott-Seress 2014), but it does not rest on a product theorem.

7: 

8:   We shall revisit the proof of the bound for $\Alt_n$, bringing it closer to the proof

9:   for linear algebraic groups, and making some common themes clearer. As a result,

10:   we will show how to prove a product theorem for $\Alt_n$ -- not of full strength,

11:   as that would be impossible, but strong enough to imply the diameter bound.

12: %  A further motivation lies in contributing to clear the route towards an eventual

13: %  strong diameter bound for groups of Lie type and unbounded rank.

14:   %  Indeed, it is known that we cannot have a product theorem of full strength for

15: %  $\Alt_n$, or for simple groups of Lie type of unbounded rank. Nevertheless,

16: %  it is still believed that a polylogarithmic bound on

17: %  the diameters of the Cayley graphs of both kinds of groups should be true.

18:     %Our aim is to give a bound better than 

19: %$\exp(O((\log n)^4))$ for the diameter of any Cayley graph of $\Sym(n)$

20: %or $\Alt(n)$ (or of any other transitive group on $n$ elements, for that matter).

21: %We also aim to avoid -- at least for $\Sym(n)$ and $\Alt(n)$ -- any use

22: %of the Classification Theorem.

23: \end{abstract}

24: