arXiv++ Combinatorics

The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to investigate generalised quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O'Nan-Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in non-Abelian finite simple groups, and about fixities of primitive permutation groups.

Answering a question of Gowers, Tao proved that any $A\times B\times C\subset SL_d(\mathbb{F}_q)^3$ contains $|A||B||C|/|SL_d(\mathbb{F}_q)|+O_d(|SL_d(\mathbb{F}_q)|^2/q^{\min(d-1,2)/8})$ three-term progressions $(x,xy,xy^2)$. Using a modification of Tao's argument, we prove such a mixing result for three-term progressions in all nonabelian finite simple groups except for $PSL_2(\mathbb{F}_q)$ with an error term that depends on the degree of quasirandomness of the group. This argument also gives an alternative proof of Tao's result when $d>2$, but with the error term $O(|SL_d(\mathbb{F}_q)|^2/q^{(d-1)/24})$.

A graph $Γ$ is called $(G, s)$-arc-transitive if $G \le \mathrm{Aut}(Γ)$ is transitive on the set of vertices of $Γ$ and the set of $s$-arcs of $Γ$, where for an integer $s \ge 1$ an $s$-arc of $Γ$ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots,v_s)$ of $Γ$ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$. $Γ$ is called 2-transitive if it is $(\mathrm{Aut}(Γ), 2)$-arc-transitive but not $(\mathrm{Aut}(Γ), 3)$-arc-transitive. A Cayley graph $Γ$ of a group $G$ is called normal if $G$ is normal in $\mathrm{Aut}(Γ)$ and non-normal otherwise. It was proved by X. G. Fang, C. H. Li and M. Y. Xu that if $Γ$ is a tetravalent 2-transitive Cayley graph of a finite simple group $G$, then either $Γ$ is normal or $G$ is one of the groups $\mathrm{PSL}_2(11)$, $M_{11}$, $M_{23}$ and $A_{11}$. However, it was unknown whether $Γ$ is normal when $G$ is one of these four groups. In the present paper we answer this question by proving that among these four groups only $M_{11}$ produces connected tetravalent 2-transitive non-normal Cayley graphs. We prove further that there are exactly two such graphs which are non-isomorphic and both determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

In recent work we constructed two new near octagons, one related to the finite simple group $\mathrm{G}_2(4)$ and another one as a sub-near-octagon of the former. In the present paper, we give a direct construction of this sub-near-octagon using a split extension of the group $\mathrm{L}_3(4)$. We derive several geometric properties of this $\mathrm{L}_3(4)$ near octagon, and determine its full automorphism group. We also prove that the $\mathrm{L}_3(4)$ near octagon is closely related to the second subconstituent of the distance-regular graph on 486 vertices discovered by Soicher in 1993.

For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.

We prove that every finite non-abelian simple group acts as the automorphism group of a chiral polyhedron, apart from the groups $PSL_2(q)$, $PSL_3(q)$, $PSU_3(q)$ and $A_7$.

In this paper, we will study the chromatic number of Cayley graphs of algebraic groups that arise from algebraic constructions. Using Lang-Weil bound and representation theory of finite simple groups of Lie type, we will establish lower bounds on the chromatic number of these graphs. This provides a lower bound for the chromatic number of Cayley graphs of the regular graphs associated to the ring of $n\times n$ matrices over finite fields. Using Weil's bound for Kloosterman sums we will also prove an analogous result for $\mathrm{SL}_2$ over finite rings.

In recent work, we constructed a new near octagon $\mathcal{G}$ from certain involutions of the finite simple group $G_2(4)$ and showed a correspondence between the Suzuki tower of finite simple groups, $L_3(2) < U_3(3) < J_2 < G_2(4) < Suz$, and the tower of near polygons, $\mathrm{H}(2,1) \subset \mathrm{H}(2)^D \subset \mathsf{HJ} \subset \mathcal{G}$. Here we characterize each of these near polygons (except for the first one) as the unique near polygon of the given order and diameter containing an isometrically embedded copy of the previous near polygon of the tower. In particular, our characterization of the Hall-Janko near octagon $\mathsf{HJ}$ is similar to an earlier characterization due to Cohen and Tits who proved that it is the unique regular near octagon with parameters $(2, 4; 0, 3)$, but instead of regularity we assume existence of an isometrically embedded dual split Cayley hexagon, $\mathrm{H}(2)^D$. We also give a complete classification of near hexagons of order $(2, 2)$ and use it to prove the uniqueness result for $\mathrm{H}(2)^D$.

Coherent configurations (CCs) are highly regular colorings of the set of ordered pairs of a "vertex set"; each color represents a "constituent digraph." CCs arise in the study of permutation groups, combinatorial structures such as partially balanced designs, and the analysis of algorithms; their history goes back to Schur in the 1930s. A CC is primitive (PCC) if all its constituent digraphs are connected. We address the problem of classifying PCCs with large automorphism groups. This project was started in Babai's 1981 paper in which he showed that only the trivial PCC admits more than $\exp(\tilde{O}(n^{1/2}))$ automorphisms. (Here, $n$ is the number of vertices and the $\tilde{O}$ hides polylogarithmic factors.) In the present paper we classify all PCCs with more than $\exp(\tilde{O}(n^{1/3}))$ automorphisms, making the first progress on Babai's conjectured classification of all PCCs with more than $\exp(n^ε)$ automorphisms. A corollary to Babai's 1981 result solved a then 100-year-old problem on primitive but not doubly transitive permutation groups, giving an $\exp(\tilde{O}(n^{1/2}))$ bound on their order. In a similar vein, our result implies an $\exp(\tilde{O}(n^{1/3}))$ upper bound on the order of such groups, with known exceptions. This improvement of Babai's result was previously known only through the Classification of Finite Simple Groups (Cameron, 1981), while our proof, like Babai's, is elementary and almost purely combinatorial. Our analysis relies on a new combinatorial structure theory we develop for PCCs. In particular, we demonstrate the presence of "asymptotically uniform clique geometries" on PCCs in a certain range of the parameters.

This is the fourth paper in a series. We prove a conjecture made independently by Boston et al and Shalev. The conjecture asserts that there is an absolute positive constant delta such that if G is a finite simple group acting transitively on a set of size n > 1, then the proportion of derangements in G is greater than delta. We show that with possibly finitely many exceptions, one can take delta = .016. Indeed, we prove much stronger results showing that for many actions, the proportion of derangements goes to 1 as n increases and prove similar results for families of permutation representations.

We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a number of applications to the geometry and spectrum of finite Cayley graphs. For example, we show that a finite group has moderate growth in the sense of Diaconis and Saloff-Coste if and only if its diameter is larger than a fixed power of the cardinality of the group. We call such groups almost flat and show that they have a subgroup of bounded index admitting a cyclic quotient of comparable diameter. We also give bounds on the Cheeger constant, first eigenvalue of the Laplacian, and mixing time. This can be seen as a finite-group version of Gromov's theorem on groups with polynomial growth. It also improves on a result of Lackenby regarding property (tau) in towers of coverings. Another consequence is a universal upper bound on the diameter of all finite simple groups, independent of the CFSG.

Let $G$ be a finite group, let $π(G)$ be the set of prime divisors of $|G|$ and let $Γ(G)$ be the prime graph of $G$. This graph has vertex set $π(G)$, and two vertices $r$ and $s$ are adjacent if and only if $G$ contains an element of order $rs$. Many properties of these graphs have been studied in recent years, with a particular focus on the prime graphs of finite simple groups. In this note, we determine the pairs $(G,H)$, where $G$ is simple and $H$ is a proper subgroup of $G$ such that $Γ(G) = Γ(H)$.

Here we study the automorphism groups of $1$-designs constructed from finite nonabelian simple groups by using two methods presented in Moori (Information Security, Coding Theory and Related Combinatorics, 2011). We obtain some general results for both and improve one of these methods. In an application to the sporadic Mathieu groups $M_{n}$, we are able to retrieve the Steiner systems $S(t,t+3,n)$ where $(n,t)\in\{(22,3),(23,4),(24,5)\}$.

We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.

This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.

Let $G$ be a finite group acting transitively on a set $Ω$. We study what it means for this action to be {\it quasirandom}, thereby generalizing Gowers' study of quasirandomness in groups. We connect this notion of quasirandomness to an upper bound for the convolution of functions associated with the action of $G$ on $Ω$. This convolution bound allows us to give sufficient conditions such that sets $S,T\subset G$ and $Γ\subseteq Ω$ contain elements $s\in S, t\in T, γ\inΓ$ such that $s(γ)=t$. Other consequences include an analogue of `the Gowers trick' of Nikolov and Pyber for general group actions, a sum-product type theorem for large subsets of a finite field, as well as applications to expanders and to the study of the diameter and width of a finite simple group.

We show that pairs of generators for the family Sz(q) of Suzuki groups may be selected so that the corresponding Cayley graphs are expanders. By combining this with several deep works of Kassabov, Lubotzky and Nikolov, this establishes that the family of all non-abelian finite simple groups can be made into expanders in a uniform fashion.

In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.

Block-transitive Steiner $t$-designs form a central part of the study of highly symmetric combinatorial configurations at the interface of several disciplines, including group theory, geometry, combinatorics, coding and information theory, and cryptography. The main result of the paper settles an important open question: There exist no non-trivial examples with $t=7$ (or larger). The proof is based on the classification of the finite 3-homogeneous permutation groups, itself relying on the finite simple group classification.

The Sylow graph $Γ(G)$ of a finite group $G$ originated from recent investigations on the so--called $\mathbf{N}$--closed classes of groups. The connectivity of $Γ(G)$ was proved only few years ago, involving the classification of finite simple groups, and the structure of $G$ may be strongly restricted, once information on $Γ(G)$ are given. The first result of the present paper deals with a condition on $\mathbf{N}$--closed classes of groups. The second result deals with a computational criterion, related to the connectivity of $Γ(G)$.