English

An improved diameter bound for finite simple groups of Lie type

Group Theory 2019-08-14 v1 Combinatorics

Abstract

For a finite group GG, let diam(G)\mathrm{diam}(G) denote the maximum diameter of a connected Cayley graph of GG. A well-known conjecture of Babai states that diam(G)\mathrm{diam}(G) is bounded by (log2G)O(1){(\log_{2} |G|)}^{O(1)} in case GG is a non-abelian finite simple group. Let GG be a finite simple group of Lie type of Lie rank nn over the field FqF_{q}. Babai's conjecture has been verified in case nn is bounded, but it is wide open in case nn is unbounded. Recently, Biswas and Yang proved that diam(G)\mathrm{diam}(G) is bounded by qO(n(log2n+log2q)3)q^{O( n {(\log_{2}n + \log_{2}q)}^{3})}. We show that in fact diam(G)<qO(n(log2n)2)\mathrm{diam}(G) < q^{O(n {(\log_{2}n)}^{2})} holds. Note that our bound is significantly smaller than the order of GG for nn large, even if qq is large. As an application, we show that more generally diam(H)<qO(n(log2n)2)\mathrm{diam}(H) < q^{O( n {(\log_{2}n)}^{2})} holds for any subgroup HH of GL(V)\mathrm{GL}(V), where VV is a vector space of dimension nn defined over the field FqF_q.

Keywords

Cite

@article{arxiv.1812.04566,
  title  = {An improved diameter bound for finite simple groups of Lie type},
  author = {Zoltán Halasi and Attila Maróti and László Pyber and Youming Qiao},
  journal= {arXiv preprint arXiv:1812.04566},
  year   = {2019}
}

Comments

14 pages