Skip to main content
4 of 4
added link, fixed typo
YCor
  • 63.9k
  • 5
  • 187
  • 286

Diameter of Cayley graphs of finite simple groups

Babai, Kantor and Lubotzky proved in 1989 the following theorem (Sciencedirect link to article).

THEOREM 1.1. There is a constant $C$ such that every nonabelian finite simple group $G$ has a set $S$ of at most 7 generators for which the diameter of $\mathrm{Cay}(G,S)$ is at most $C\log|G|$.

Then they remark that

"A crude estimate for $C$ is $10^{10}$, but we will not include the bookkeeping required to estimate $C$."

This is my question.

"Is there a finite simple group $G$ for which there exists a generating set $S$ which satisfies the conditions in the above theorem for some reasonably small $C$ (comparing to the order of $G$)?"

khers
  • 237
  • 1
  • 6