arXiv++ Combinatorics

A fascinating problem on digraphs is the existence problem of the finiteupper bound on s for all vertex-primitive s-arc-transitive digraphs except directed cycles (which is known to be reduced to the almost simple groups case). In this paper,we prove that s 2 for all G-vertex-primitive s-arc-transitive digraphs with G an (insoluble) alternating or symmetric group, which makes an important progress towards a solution of the problem. The proofs involves some methods that may be used to investigate other almost simple groups cases.

In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases. We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.

Let $G$ be the simple group ${\rm PSU}(2,2^{2^n})$, $n>0$. For any subgroup $H$ of $G$, we compute the Möbius function $μ_L(H,G)$ of $H$ in the subgroup lattice $L$ of $G$, and the Möbius function $μ_{\bar L}([H],[G])$ of $[H]$ in the poset $\bar L$ of conjugacy classes of subgroups of $G$. For any prime $p$, we provide the Euler characteristic of the order complex of the poset of $p$-subgroups of $G$.

We give new bounds and asymptotic estimates on the largest Kronecker and induced multiplicities of finite groups. The results apply to large simple groups of Lie type and other groups with few conjugacy classes.

Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the singularity problem reduces to finding an irreducible character $χ$ of $G$ for which $\sum_{h\in H}\,χ(h)=0.$ At this stage we focus on the case when $H$ is a single conjugacy class $h^G$ of $G.$ Here the above equality is equivalent to $χ(h)=0$. Much is known in this situation, with essential information coming from the block theory of representations of finite groups. An element $h\in G$ is called vanishing if $χ(h)=0$ for some irreducible character $χ$ of $G.$ We study vanishing elements mainly in finite simple groups and in alternating groups in particular. We suggest some approaches for constructing singular Cayley graphs.

A binary $[98280, 24, 47104]_2$ projective two-weight code related to the sporadic simple group ${\rm Co}_1$ of Conway is constructed as a faithful and absolutely irreducible submodule of the permutation module induced by the primitive action of ${\rm Co}_1$ on the cosets of ${\rm Co}_2$. The dual code of this code is a uniformly packed $[98280, 98256,3]_2$ code. The geometric significance of the codewords of the code can be traced to the vectors in the Leech lattice, thus revealing that the stabilizer of any non-zero weight codeword in the code is a maximal subgroup of ${\rm Co}_1$. Similarly, the stabilizer of the codewords of minimum weight in the dual code is a maximal subgroup of ${\rm Co}_1$. As by-product, a new strongly regular graph on 16777216 vertices and valency 98280 is constructed using the codewords of the code.

Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.

We study $G$-vertex-primitive and $(G,s)$-arc-transitive digraphs for almost simple groups $G$ with socle $\mathrm{PSL}_n(q)$. It turns out that $s\leqslant2$ for such digraphs, which provides the first step in determining an upper bound on $s$ for all the vertex-primitive $s$-arc-transitive digraphs.

High dimensional expanders is a vibrant emerging field of study. Nevertheless, the only known construction of bounded degree high dimensional expanders is based on Ramanujan complexes, whereas one dimensional bounded degree expanders are abundant. In this work, we construct new families of bounded degree high dimensional expanders obeying the local spectral expansion property. This property has a number of important consequences, including geometric overlapping, fast mixing of high dimensional random walks, agreement testing and agreement expansion. Our construction also yields new families of expander graphs which are close to the Ramanujan bound, i.e., their spectral gap is close to optimal. The construction is quite elementary and it is presented in a self contained manner; This is in contrary to the highly involved previously known construction of the Ramanujan complexes. The construction is also very symmetric (such symmetry properties are not known for Ramanujan complexes) ; The symmetry of the construction could be used, for example, in order to obtain good symmetric LDPC codes that were previously based on Ramanujan graphs. The main tool that we use for is the theory of coset geometries. Coset geometries arose as a tool for studying finite simple groups. Here, we show that coset geometries arise in a very natural manner for groups of elementary matrices over any finitely generated algebra over a commutative unital ring. In other words, we show that such groups act simply transitively on the top dimensional face of a pure, partite, clique complex.

A graph $Γ$ is said to be symmetric if its automorphism group $\rm Aut(Γ)$ acts transitively on the arc set of $Γ$. In this paper, we show that if $Γ$ is a finite connected heptavalent symmetric graph with solvable stabilizer admitting a vertex-transitive non-abelian simple group $G$ of automorphisms, then either $G$ is normal in $\rm Aut(Γ)$, or $\rm Aut(Γ)$ contains a non-abelian simple normal subgroup $T$ such that $G\leq T$ and $(G,T)$ is explicitly given as one of $11$ possible exception pairs of non-abelian simple groups. Furthermore, if $G$ is regular on the vertex set of $Γ$ then the exception pair $(G,T)$ is one of $7$ possible pairs, and if $G$ is arc-transitive then the exception pair $(G,T)=(A_{17},A_{18})$ or $(A_{35},A_{36})$.

A recent conjecture of the author and Teng Fang states that there are only finitely many finite simple groups with no cubic graphical regular representation. In this paper, we make a crucial progress towards this conjecture by giving an affirmative answer for groups of Lie type of large rank.

Let $Γ$ be a graph and let $G$ be a group of automorphisms of $Γ$. The graph $Γ$ is called $G$-normal if $G$ is normal in the automorphism group of $Γ$. Let $T$ be a finite non-abelian simple group and let $G = T^l$ with $l\geq 1$. In this paper we prove that if every connected pentavalent symmetric $T$-vertex-transitive graph is $T$-normal, then every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal. This result, among others, implies that every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal except $T$ is one of $57$ simple groups. Furthermore, every connected pentavalent symmetric $G$-regular graph is $G$-normal except $T$ is one of $20$ simple groups, and every connected pentavalent $G$-symmetric graph is $G$-normal except $T$ is one of $17$ simple groups.

We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius-Schur indicators are 1), and we are able to show this holds for all finite simple groups $G$ other than the groups $\mathrm{Sp}(2n,q)$ with $q$ even or $Ω^{\pm}(4m,q)$ with $q$ even. We prove computationally that for small $n$ and $m$ this statement indeed holds for these groups by equating their character degree sums to the number of involutions. We also prove a result on a certain twisted indicator for the groups $\mathrm{SO}^{\pm}(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating function and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.

In this paper, we study arc-transitive Cayley graphs on non-abelian simple groups with soluble stabilizers and valency seven. Let $\Ga$ be such a Cayley graph on a non-abelian simple group $T$. It is proved that either $\Ga$ is a normal Cayley graph or $\Ga$ is $S$-arc-transitive, with $(S,T)=(\A_n,\A_{n-1})$ and $n=7,21,63$ or $84$; and, for each of these four values of $n$, there really exists arc-transitive $7$-valent non-normal Cayley graphs on $\A_{n-1}$ and specific examples are constructed.

A graph $\G$ is {\em symmetric} or {\em arc-transitive} if its automorphism group $\Aut(\G)$ is transitive on the arc set of the graph, and $\G$ is {\em basic} if $\Aut(\G)$ has no non-trivial normal subgroup $N$ such that the quotient graph $\G_N$ has the same valency with $\G$. In this paper, we classify symmetric basic graphs of order $2qp^n$ and valency 5, where $q<p$ are two primes and $n$ is a positive integer. It is shown that such a graph is isomorphic to a family of Cayley graphs on dihedral groups of order $2q$ with $5\di (q-1)$, the complete graph $K_6$ of order $6$, the complete bipartite graph $K_{5,5}$ of order 10, or one of the nine sporadic coset graphs associated with non-abelian simple groups. As an application, connected pentavalent symmetric graphs of order $kp^n$ for some small integers $k$ and $n$ are classified.

We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.

A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from the first graph onto the second can be found in time poly(n).

A Cayley graph for a group $G$ is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of $G$ is an element of the normaliser of $G$. A group $G$ is then said to be CCA if every connected Cayley graph on $G$ is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that "many" 2-groups are non-CCA.

We study vertex-quasiprimitive $2$-arc-transitive digraphs, reducing the problem of vertex-primitive $2$-arc-transitive digraphs to almost simple groups. This includes a complete classification of vertex-quasiprimitive $2$-arc-transitive digraphs where the action on vertices has O'Nan-Scott type SD or CD.

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.