Abstract:Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $\Gamma_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.

The Brauer indecomposability of Scott modules and the quadratic group Qd(p)

The Brauer indecomposability of Scott modules with semidihedral vertex

Lifting Brauer indecomposability of a Scott module

Brauer $p$-dimension and Kato's Swan Conductor

On the Brauer groups of fibrations II

Relative stable equivalences of Morita type for the principal blocks of finite groups and relative Brauer indecomposability

A $p$-adic local invariant cycle theorem with applications to Brauer groups

Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

Scott Complexity of Reduced Abelian $p$-Groups

Splendid Morita equivalences for principal 2-blocks with dihedral defect groups

On p-torsions of geometric Brauer groups

On Krull-Schmidt decompositions of unit groups of number fields

Boundedness of the p-primary torsion of the Brauer group of products of varieties

Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

On geometric Brauer groups and Tate-Shafarevich groups

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

Indecomposable involutive set-theoretical solutions to the Yang-Baxter equation of size $p^2$

Squares of conjugacy classes and a variant on the Baer-Suzuki Theorem

Remarks on $p$-primary torsion of the Brauer group

Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields