On the diameter of Cayley graphs of classical groups with generating sets containing a transvection
type: Item
instance of: scholarly article
title: On the diameter of Cayley graphs of classical groups with generating sets containing a transvection
zbMATH Open document ID: 1548.20038
author: Martino Garonzi
author: Zoltán Halasi
author: Gábor Somlai
published in: Israel Journal of Mathematics
publication date: 2024-08-28T00:00:00Z
review text: Let \(G\) be a finite group, \(X\) a set of generators of \(G\), and let \(\mathrm{Cay}(G,X)\) be the Cayley graph of \(G\) associated to \(X\). The diameter of \(\mathrm{Cay}(G,X)\) equals the maximum over \(g \in G\) of the length of a shortest expression of \(g\) as a product of generators in \(X\) and their inverses, it is denoted by \(\operatorname{diam} \mathrm{Cay}(G,X)\). The diameter of \(G\) is\N\[\N\operatorname{diam} G= \max \{ \operatorname{diam} \mathrm{Cay}(G,X) \mid X \subseteq G, \langle X \rangle =G \}.\N\]\N\N\textit{L. Babai} and \textit{Á. Seress} [J. Comb. Theory, Ser. A 49, No. 1, 175--179 (1988; Zbl 0649.20002)] proposed the following conjecture: If \(G\) is a non-abelian finite simple group, then \(\operatorname{diam} G \leq ( \log |G| )^{c}\) for some absolute constant \(c\).\N\NThe main result of this paper is Theorem 1.5: Let \(V\) be an \(n\)-dimensional vector space over the finite field \(\mathbb{F}_{q}\) where \(q\) is odd and \(G\) is one of \(\mathrm{SL}(V)\), \(\mathrm{Sp}(V)\) or \(\mathrm{SU}(V)\). Let \(X\) be a generating set for \(G\) containing a transvection. Then \(\operatorname{diam} \mathrm{Cay}(G,X) \leq (n \log q)^{c}\) for some constant \(c\) provided that (a) \(q \not= 9\) if \(G=\mathrm{Sp}(V )\); (b) \(q \not =81\) if \(G=\mathrm{SU}(V)\); (c) \(q \not \in \{9, 81\}\) if \(G=\mathrm{SL}(V)\). So Babai-Seress' bound holds for these cases.
reviewed by: Enrico Jabara
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 05C25
Mathematics Subject Classification ID: 20D05
Mathematics Subject Classification ID: 05C12
zbMATH DE Number: 7903073
zbMATH Keywords: simple classical group
zbMATH Keywords: generating set
zbMATH Keywords: Cayley graph
zbMATH Keywords: transvection
MaRDI profile type: MaRDI publication profile
cites work: Q4039891
cites work: On the diameter of Cayley graphs of the symmetric group
cites work: On the diameter of permutation groups
cites work: New Dimensional Estimates for Subvarieties of Linear Algebraic Groups
cites work: A diameter bound for finite simple groups of large rank
cites work: Approximate subgroups of linear groups.
cites work: Orbits Under Symplectic Transvections I
cites work: Sets of Transvections Generating Subgroups Isomorphic to Special Linear Groups
cites work: Q3251484
cites work: Babai's conjecture for high-rank classical groups with random generators
cites work: Q3913574
cites work: Diameter of Cayley graphs of \(\mathrm{SL}(n,p)\) with generating sets containing a transvection
cites work: An improved diameter bound for finite simple groups of Lie type
cites work: Growth and generation in \(\text{SL}_2(\mathbb{Z}/p\mathbb{Z})\).
cites work: Growth in \(\mathrm{SL}_3(\mathbb Z/p\mathbb Z)\).
cites work: On the diameter of permutation groups.
cites work: Endliche Gruppen I
cites work: Q4312077
cites work: Q3996618
cites work: Diameters of finite simple groups: sharp bounds and applications
cites work: Discrete groups, expanding graphs and invariant measures. With an appendix by Jonathan D. Rogawski
cites work: Q4100111
cites work: Growth in finite simple groups of Lie type
cites work: Groups generated by elations
cites work: The Finite Simple Groups
DOI: 10.1007/S11856-024-2605-1
description: scientific article; zbMATH DE number 7903073