Finding involutions with small support

We show that the proportion of permutations $g$ in $S_n$ or $A_n$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^\varepsilon \rceil$ is at least a constant multiple of $\varepsilon$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^\varepsilon \rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2 \rfloor^\varepsilon \rceil$ for a symplectic or orthogonal group

Finding involutions with small support

We show that the proportion of permutations $g$ in $S_n$ or $A_n$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^\varepsilon \rceil$ is at least a constant multiple of $\varepsilon$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^\varepsilon \rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2 \rfloor^\varepsilon \rceil$ for a symplectic or orthogonal group

Elements in finite classical groups whose powers have large 1-Eigenspaces

We estimate the proportion of several classes of elements in finite classical groups which are readily recognised algorithmically, and for which some power has a large fixed point subspace and acts irreducibly on a complement of it. The estimates are used in complexity analyses of new recognition algorithms for finite classical groups in arbitrary characteristic

Identifying long cycles in finite alternating and symmetric groups acting on subsets

Let $H$ be a permutation group on a set $\Lambda$, which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$-element subsets of points from $\{1,\ldots,n\}$, for some arbitrary but fixed $k$. Suppose moreover that no isomorphism with this action is known. We show that key elements of $H$ needed to construct such an isomorphism $\varphi$, such as those whose image under $\varphi$ is an $n$-cycle or $(n-1)$-cycle, can be recognised with high probability by the lengths of just four of their cycles in $\Lambda$.Comment: 45 page

Straight-line programs with memory and matrix Bruhat decomposition

We advocate that straight-line programs designed for algebraic computations should be accompanied by a comprehensive complexity analysis that takes into account both the number of fundamental algebraic operations needed, as well as memory requirements arising during evaluation. We introduce an approach for formalising this idea and, as illustration, construct and analyse straight-line programs for the Bruhat decomposition of $d \times d$ matrices with determinant 1 over a finite field of order $q$ that have length $O(d^2 \log(q))$ and require storing only $O(\log(q))$ matrices during evaluation

The Divisibility Graph of finite groups of Lie Type

The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic

Fast recognition of alternating groups of unknown degree

We present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input. Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternating and symmetric groups. These results are of independent interest; for instance, we establish a lower bound for the proportion of involutions with small support.Comment: 31 pages, submitted to Journal of Algebr