arXiv++ Combinatorics

A finite group $G$ is $\varepsilon$-quasirandom if all its nontrivial irreducible complex representations have degree at least $|G|^\varepsilon$. Building on recent work of Golsefidy-Srinivas, we prove that expansion in a quasirandom group is controlled by expansion in its simple quotients. As a consequence, we remove the product theorem from the hypotheses of the Bourgain-Gamburd expansion machine. Moreover, we combine this result with crown theory to deduce that $1 + \lfloor \varepsilon^{-1} \rfloor$ random elements give an expander Cayley graph with high probability. Finally, generalizing results of Breuillard-Green-Tao and Pyber-Szabó, we prove that the diameter of any connected Cayley graph of a quasirandom group is polylogarithmic.

We prove that if $Γ$ is a finite connected vertex-transitive cubic graph, then either $|VΓ| \le 90$, or $Γ$ is a split Praeger--Xu graph, or there exist two vertices $α$ and $β$ such that the identity is the only automorphism of $Γ$ fixing both $α$ and $β$.

We study how the spectral gap and diameter of Cayley graphs depend strongly on the choice of generating set. We answer a question of Pyber and Szabó (2013) by exhibiting a sequence of finite groups $G_n$ with $|G_n| \to \infty$ admitting bounded generating sets $X_n,Y_n$ such that $\operatorname{Cay}(G_n,X_n)$ is an expander while $\operatorname{Cay}(G_n,Y_n)$ has super-polylogarithmic diameter. The construction uses the semidirect product $G_n = C_p^{n-1} \rtimes S_n$ with $p$ exponentially large in $n$, and the analysis reduces to bounding some exponential sums of permutational type.

We survey the known group properties that a sequence of finite groups or group actions needs to satisfy to admit subsets of bounded cardinality producing expander Cayley or Schreier graphs. We prove that an infinite amenable group and solvable groups of bounded derived length do not produce expander Schreier graphs, generalizing with easier proofs results of Lubotzky and Weiss for Cayley graphs. In particular, the poor expansion properties of a group action cannot in general be detected by looking at the abelian sections or at the representations above the stabilizer of a point.

Let $G$ be a permutation group on the finite set $Ω$. We prove various results about partitions of $Ω$ whose stabilizers have good properties. In particular, in every solvable permutation group there is a set-stabilizer whose orbits have length at most $6$, which is best possible and answers two questions of Babai. Every solvable maximal subgroup of any almost simple group has derived length at most $10$, which is best possible. In every primitive group with solvable stabilizer, there are two points whose stabilizer has derived length bounded by an absolute constant.

We give a combinatorial proof of the following theorem. Let $G$ be any finite group acting transitively on a set of cardinality $n$. If $S \subseteq G$ is a random set of size $k$, with $k \geq (\log n)^{1+\varepsilon}$ for some $\varepsilon >0$, then the diameter of the corresponding Schreier graph is $O(\log_k n)$ with high probability. Except for the implicit constant, this result is the best possible.

Consider a finite primitive solvable group. We observe that a result of Y. Yang implies that there exist two points whose pointwise stabilizer has derived length at most $9$. We show that, if the group has odd cardinality, then there exist two points whose pointwise stabilizer is abelian.

We show the existence of an absolute constant $α>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{α/ \log \log |G:H|}$. This inequality is the best possible for the symmetric groups, and we conjecture that it is the best possible for every family of arbitrarily large finite groups.

Given a finite group $G$ and a generating set $S \subseteq G$, the diameter $diam(G,S)$ is the least integer $n$ such that every element of $G$ is the product of at most $n$ elements of $S$. In this paper, for bounded $|S|$, we characterize groups with polynomial diameter as the groups with a large abelian section close to the top, precisely of size an exponential portion of the size of the full group. This complements a key result of Breuillard and Tointon. As a consequence, groups with polynomial diameter have many conjugacy classes, and contain a large nilpotent subgroup of class at most $2$.

Given an abstract group $G$, we study the function $ab_n(G) := \sup_{|G:H| \leq n} |H/[H,H]|$. If $G$ has no abelian composition factors, then $ab_n(G)$ is bounded by a polynomial: as a consequence, we find a sharp upper bound for the representation growth of these groups.

Let the group $G$ act transitively on the finite set $Ω$, and let $S \subseteq G$ be closed under taking inverses. The Schreier graph $Sch(G \circlearrowleft Ω,S)$ is the graph with vertex set $Ω$ and edge set $\{ (ω,ω^s) : ω\in Ω, s \in S \}$. In this paper, we show that random Schreier graphs on $C \log|Ω|$ elements exhibit a (two-sided) spectral gap with high probability, magnifying a well known theorem of Alon and Roichman for Cayley graphs. On the other hand, depending on the particular action of $G$ on $Ω$, we give a lower bound on the number of elements which are necessary to provide a spectral gap. We use this method to estimate the spectral gap when $G$ is nilpotent.

We show that, for every transitive group $G$ of degree $n\ge 2$, the largest abelian quotient of $G$ has cardinality at most $4^{n/\sqrt{\log_2 n}}$. This gives a positive answer to a 1989 outstanding question of László Kovács and Cheryl Praeger.