Showing 1–47 of 47 results for author: Li, C H

Fixers and derangements of finite permutation groups

Authors: Hong Yi Huang, Cai Heng Li, Yi Lin Xie

Abstract: Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large f… ▽ More Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large fixers of the almost simple primitive groups with socle $\mathrm{PSL}_2(q)$, and we use this result to verify a special case of a conjecture of Spiga on permutation characters. We also present some results on large fixers of almost simple primitive groups with socle an alternating or sporadic group. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 40 pages

Arc-transitive maps with coprime Euler characteristic and edge number

Authors: C. H. Li, Lu Yi Liu

Abstract: This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one carries out the classification work for arc-transitive maps with nonsolvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the construct… ▽ More This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one carries out the classification work for arc-transitive maps with nonsolvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the construction of some new and interesting arc-regular maps. △ Less

Submitted 27 March, 2024; originally announced March 2024.

MSC Class: 05C10; 20B25

Locally-primitive block designs

Authors: Jianfu Chen, Peice Hua, Cai Heng Li, Yanni Wu

Abstract: A locally-primitive design is a block design $(\mathcal{P},\mathcal{B})$ which admits an automorphism group $G$ with primitive local actions. It is proved that $G$ is primitive on the points $\mathcal{P}$, and either $G$ is an almost simple group, or $G$ acting on $\mathcal{P}$ is an affine group. A locally-primitive design is a block design $(\mathcal{P},\mathcal{B})$ which admits an automorphism group $G$ with primitive local actions. It is proved that $G$ is primitive on the points $\mathcal{P}$, and either $G$ is an almost simple group, or $G$ acting on $\mathcal{P}$ is an affine group. △ Less

Submitted 25 March, 2024; originally announced March 2024.

The finite groups with three automorphism orbits

Authors: Cai Heng Li, Yan Zhou Zhu

Abstract: A complete classification is given of finite groups whose elements are partitioned into three orbits by the automorphism groups, solving the long-standing classification problem initiated by G.\,Higman in 1963. As a consequence, a classification is obtained for finite permutation groups of rank $3$ which are holomorphs of groups. A complete classification is given of finite groups whose elements are partitioned into three orbits by the automorphism groups, solving the long-standing classification problem initiated by G.\,Higman in 1963. As a consequence, a classification is obtained for finite permutation groups of rank $3$ which are holomorphs of groups. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Comments: 22 pages

The factorizations of finite classical groups

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups. We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups. △ Less

Submitted 4 March, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

A Proof of Gross' Conjecture on $2$-Automorphic $2$-Groups

Authors: Cai Heng Li, Yan Zhou Zhu

Abstract: Building upon previous results, a classification is given of finite $p$-groups of which subgroups of order $p$ are all fused. This completes the classification problem dated back to Higman 1963 on the so-called Suzuki $2$-groups, and confirms a conjecture of Gross proposed in 1974. As a consequence, two open problems on AT-groups and FIF-groups are solved. Building upon previous results, a classification is given of finite $p$-groups of which subgroups of order $p$ are all fused. This completes the classification problem dated back to Higman 1963 on the so-called Suzuki $2$-groups, and confirms a conjecture of Gross proposed in 1974. As a consequence, two open problems on AT-groups and FIF-groups are solved. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 11 pages

Finite permutation groups of rank $3$

Authors: Hong Yi Huang, Cai Heng Li, Yan Zhou Zhu

Abstract: The classification of the finite primitive permutation groups of rank $3$ was completed in the 1980s and this landmark achievement has found a wide range of applications. In the general transitive setting, a classical result of Higman shows that every finite imprimitive rank $3$ permutation group $G$ has a unique non-trivial block system $\mathcal{B}$ and this provides a natural way to partition t… ▽ More The classification of the finite primitive permutation groups of rank $3$ was completed in the 1980s and this landmark achievement has found a wide range of applications. In the general transitive setting, a classical result of Higman shows that every finite imprimitive rank $3$ permutation group $G$ has a unique non-trivial block system $\mathcal{B}$ and this provides a natural way to partition the analysis of these groups. Indeed, the induced permutation group $G^{\mathcal{B}}$ is $2$-transitive and one can also show that the action induced on each block in $\mathcal{B}$ is also $2$-transitive (and so both induced groups are either affine or almost simple). In this paper, we make progress towards a classification of the rank $3$ imprimitive groups by studying the case where the induced action of $G$ on a block in $\mathcal{B}$ is of affine type. Our main theorem divides these rank $3$ groups into four classes, which are defined in terms of the kernel of the action of $G$ on $\mathcal{B}$. In particular, we completely determine the rank $3$ semiprimitive groups for which $G^{\mathcal{B}}$ is almost simple, extending recent work of Baykalov, Devillers and Praeger. We also prove that if $G$ is rank $3$ semiprimitive and $G^{\mathcal{B}}$ is affine, then $G$ has a regular normal subgroup which is a special $p$-group for some prime $p$. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Covers and Pseudocovers of Symmetric Graphs

Authors: Cai Heng Li, Yan Zhou Zhu

Abstract: We introduce the concept of {\it pseudocover}, which is a counterpart of {\it cover}, for symmetric graphs. The only known example of pseudocovers of symmetric graphs so far was given by Praeger, Zhou and the first-named author a decade ago, which seems technical and hard to extend to obtain more examples. In this paper, we present a criterion for a symmetric extender of a symmetric graph to be a… ▽ More We introduce the concept of {\it pseudocover}, which is a counterpart of {\it cover}, for symmetric graphs. The only known example of pseudocovers of symmetric graphs so far was given by Praeger, Zhou and the first-named author a decade ago, which seems technical and hard to extend to obtain more examples. In this paper, we present a criterion for a symmetric extender of a symmetric graph to be a pseudocover, and then apply it to produce various examples of pseudocovers, including (1) with a single exception, each Praeger-Xu's graph is a pseudocover of a wreath graph; (2) each connected tetravalent symmetric graph with vertex stabilizer of size divisible by $32$ has connected pseudocovers. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: 14 pages, 2 figures

Factorizations of almost simple orthogonal groups of plus type

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This is the fifth one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups of plus type. This is the fifth one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups of plus type. △ Less

Submitted 9 September, 2022; originally announced September 2022.

Comments: arXiv admin note: text overlap with arXiv:2109.05459, arXiv:2107.09630

On the EKR Module property

Authors: Cai Heng Li, Venkata Raghu Tej

Abstract: In the recent years, the generalization of the Erdős-Ko-Rado (EKR) theorem to permutation groups has been of much interest. A transitive group is said to satisfy the EKR-module property if the characteristic vector of every maximum intersecting set is a linear combination of the characteristic vectors of cosets of stabilizers of points. This generalization of the well-know permutation group versio… ▽ More In the recent years, the generalization of the Erdős-Ko-Rado (EKR) theorem to permutation groups has been of much interest. A transitive group is said to satisfy the EKR-module property if the characteristic vector of every maximum intersecting set is a linear combination of the characteristic vectors of cosets of stabilizers of points. This generalization of the well-know permutation group version of the Erdős-Ko-Rado (EKR) theorem, was introduced by K. Meagher. In this article, we present several infinite families of permutation groups satisfying the EKR-module property, which shows that permutation groups satisfying this property are quite diverse. △ Less

Submitted 15 April, 2024; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: Revised and trimmed for better readability. To appear in Algebraic Combinatorics

Locally Finite Vertex-Rotary Maps and Coset Graphs with Finite Valency and Finite Edge Multiplicity

Authors: Cai Heng Li, Cheryl E. Praeger, Shu Jiao Song

Abstract: It is well-known that a simple $G$-arc-transitive graph can be represented as a coset graph for the group $G$. This representation is extended to a construction of $G$-arc-transitive coset graphs $\Cos(G,H,J)$ with finite valency and finite edge-multiplicity, where $H, J$ are stabilisers in $G$ of a vertex and incident edge, respectively. Given a group $G=ła,z\r$ with $|z|=2$ and $|a|$ finite, the… ▽ More It is well-known that a simple $G$-arc-transitive graph can be represented as a coset graph for the group $G$. This representation is extended to a construction of $G$-arc-transitive coset graphs $\Cos(G,H,J)$ with finite valency and finite edge-multiplicity, where $H, J$ are stabilisers in $G$ of a vertex and incident edge, respectively. Given a group $G=ła,z\r$ with $|z|=2$ and $|a|$ finite, the coset graph $\Cos(G,ła\r,łz\r)$ is shown, under suitable finiteness assumptions, to have exactly two different arc-transitive embeddings as a $G$-arc-transitive map $(V,E,F)$, namely, a {\it $G$-rotary} map if $|az|$ is finite, and a {\it $G$-bi-rotary} map if $|zz^a|$ is finite. The $G$-rotary map can be represented as a coset geometry for $G$, extending the notion of a coset graph. However the $G$-bi-rotary map does not have such a representation, and the face boundary cycles must be specified in addition to incidences between faces and edges. We also give a coset geometry construction of a flag-regular map $(V,E,F)$. In all of these constructions we prove that the face boundary cycles are regular cycles which are simple cycles precisely when the given group acts faithfully on $V\cup F$. △ Less

Submitted 14 February, 2022; originally announced February 2022.

The graphs with a symmetrical Euler cycle

Authors: Jiyong Chen, Cai Heng Li, Cheryl E. Praeger, Shu-Jiao Song

Abstract: The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine… ▽ More The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine the family of graphs (which may have multiple edges) whose edge-sets can be sequenced to form a symmetrical Euler cycle. We first classify all graphs which have a cyclic subgroup of automorphisms acting bi-regularly on edges. We then apply this classification to obtain the graphs possessing a symmetrical Euler cycle, and therefore are the (only) candidates for the induced subgraphs of the boundary cycles of the faces of arc-transitive maps. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 31 pages

MSC Class: 20B25; 05C25; 05C35

Factorizations of almost simple orthogonal groups of minus type

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This is the fourth one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups of minus type. This is the fourth one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups of minus type. △ Less

Submitted 12 September, 2021; originally announced September 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2107.09630, arXiv:2106.03109, arXiv:2106.04278

Factorizations of almost simple orthogonal groups in odd dimension

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This is the third one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups in odd dimension. This is the third one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with orthogonal groups in odd dimension. △ Less

Submitted 31 July, 2021; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2106.04278, arXiv:2106.03109

Factorizations of almost simple unitary groups

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This is the second one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with almost simple unitary groups. This is the second one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with almost simple unitary groups. △ Less

Submitted 31 July, 2021; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2106.03109

Factorizations of almost simple linear groups

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This is the first one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with almost simple linear groups. This is the first one in a series of papers classifying the factorizations of almost simple groups with nonsolvable factors. In this paper we deal with almost simple linear groups. △ Less

Submitted 11 October, 2021; v1 submitted 6 June, 2021; originally announced June 2021.

Two-arc-transitive graphs of odd order -- II

Authors: Cai Heng Li, **g Jian Li, Zai ** Lu

Abstract: It is shown that each subgroup of odd index in an alternating group of degree at least 10 has all insoluble composition factors to be alternating. A classification is then given of 2-arc-transitive graphs of odd order admitting an alternating group or a symmetric group. This is the second of a series of papers aiming towards a classification of 2-arc-transitive graphs of odd order. It is shown that each subgroup of odd index in an alternating group of degree at least 10 has all insoluble composition factors to be alternating. A classification is then given of 2-arc-transitive graphs of odd order admitting an alternating group or a symmetric group. This is the second of a series of papers aiming towards a classification of 2-arc-transitive graphs of odd order. △ Less

Submitted 9 May, 2021; originally announced May 2021.

Comments: 12 pages

MSC Class: 05C25

Journal ref: European Journal of Combinatorics 96 (2021) 103354

Systems of imprimitivity for wreath products

Authors: Mikko Korhonen, Cai Heng Li

Abstract: Let $G$ be an irreducible imprimitive subgroup of $\operatorname{GL}_n(\mathbb{F})$, where $\mathbb{F}$ is a field. Any system of imprimitivity for $G$ can be refined to a nonrefinable system of imprimitivity, and we consider the question of when such a refinement is unique. Examples show that $G$ can have many nonrefinable systems of imprimitivity, and even the number of components is not uniquel… ▽ More Let $G$ be an irreducible imprimitive subgroup of $\operatorname{GL}_n(\mathbb{F})$, where $\mathbb{F}$ is a field. Any system of imprimitivity for $G$ can be refined to a nonrefinable system of imprimitivity, and we consider the question of when such a refinement is unique. Examples show that $G$ can have many nonrefinable systems of imprimitivity, and even the number of components is not uniquely determined. We consider the case where $G$ is the wreath product of an irreducible primitive $H \leq \operatorname{GL}_d(\mathbb{F})$ and transitive $K \leq S_k$, where $n = dk$. We show that $G$ has a unique nonrefinable system of imprimitivity, except in the following special case: $d = 1$, $n = k$ is even, $|H| = 2$, and $K$ is a transitive subgroup of $C_2 \wr S_{n/2}$. As a simple application, we prove results about inclusions between wreath product subgroups. △ Less

Submitted 23 August, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: to appear in J. Algebra

MSC Class: 20H20; 20C99

Journal ref: J. Algebra, 587 (2021), 628-637

Finite Simple Groups: Factorizations, Regular Subgroups, and Cayley Graphs

Authors: Cai Heng Li, Lei Wang, Binzhou Xia

Abstract: This paper addresses the factorization problem of almost simple groups, studies regular subgroups of quasiprimitive permutation groups, and characterizes $s$-arc transitive Cayley graphs of finite simple groups. The main result of the paper presents a classification of exact factorizations of almost simple groups, which has been a long-standing open problem initiated around 1980 by the work of W… ▽ More This paper addresses the factorization problem of almost simple groups, studies regular subgroups of quasiprimitive permutation groups, and characterizes $s$-arc transitive Cayley graphs of finite simple groups. The main result of the paper presents a classification of exact factorizations of almost simple groups, which has been a long-standing open problem initiated around 1980 by the work of Wiegold-Williamson (1980), and significantly progressed by Liebeck, Praeger and Saxl in 2010. A by-product theorem of classifying exact factorizations of almost simple groups shows that, if $G=HK$ is a classical group of Lie type and $H,K$ are nonsolvable, then $H$ or $K$ is `almost maximal', with only a couple of exceptions. As applications of the classification result, (1) a classification is given of quasiprimitive groups containing a regular simple group; (2) a characterization is obtained for $s$-arc transitive Cayley graphs of simple groups, showing that $3$-arc transitive Cayley graphs of simple groups are surprisingly rare; (3) a question regarding biperfect Hopf algebras is confirmed. △ Less

Submitted 11 February, 2022; v1 submitted 17 December, 2020; originally announced December 2020.

Erdős-Ko-Rado problems for permutation groups

Authors: Cai Heng Li, Shu Jiao Song, Venkata Raghu Tej Pantangi

Abstract: In this paper, we study intersecting sets in primitive and quasiprimitive permutation groups. Let $G \leqslant \mathrm{Sym}(Ω)$ be a transitive permutation group, and ${S}$ an intersecting set. Previous results show that if $G$ is either 2-transitive or a Frobenius group, then $|{S}|\leqslant|G_ω|$ (for some $ω\in Ω$). Furthermore, for some 2-transitive groups, $|{S}|=|G_ω|$ if and only if ${S}$ i… ▽ More In this paper, we study intersecting sets in primitive and quasiprimitive permutation groups. Let $G \leqslant \mathrm{Sym}(Ω)$ be a transitive permutation group, and ${S}$ an intersecting set. Previous results show that if $G$ is either 2-transitive or a Frobenius group, then $|{S}|\leqslant|G_ω|$ (for some $ω\in Ω$). Furthermore, for some 2-transitive groups, $|{S}|=|G_ω|$ if and only if ${S}$ is a coset of a stabilizer. In this paper, we prove that these statements are far from the truth for general transitive groups. In particular, we show that in the case of primitive groups, there is even no absolute constant $c$ such that $|{S}|\leqslant c|G_ω|$. In the case $G$ is a primitive permutation group isomorphic to $\mathrm{PSL(2,p)}$, we characterize the subgroups of $G$ which are intersecting sets. We also show that if $G \leqslant \mathrm{Sym}(Ω)$ is a permutation group of prime power degree, then for any intersecting set $S$, we have $|S|\leq |G_ω|$ (for some $ω\in Ω$). This proves a part of a conjecture in \cite{MRS}. △ Less

Submitted 16 January, 2021; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: 19 pages

Skew-morphisms of nonabelian characteristically simple groups

Authors: Jiyong Chen, Shaofei Du, Cai Heng Li

Abstract: A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $\s(xy)=\s(x)\s^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $\s $ of $G$, the product of $\lg \s \rg$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product… ▽ More A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $\s(xy)=\s(x)\s^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $\s $ of $G$, the product of $\lg \s \rg$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $\s$. The skew-morphism was introduced as an algebraic tool to investigate regular Cayley maps. In this paper, the skew-product groups are characterized, for all skew-morphisms of finite nonabelian characteristically simple groups (see Theorem 1.1) and correspondingly the Cayley maps on these groups are characterized (see Theorem 1.5). △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 18 Pages

MSC Class: 05C25; 05A05; 20B25

On solvable factors of almost simple groups

Authors: Timothy C. Burness, Cai Heng Li

Abstract: Let $G$ be a finite almost simple group with socle $G_0$. A (nontrivial) factorization of $G$ is an expression of the form $G=HK$, where the factors $H$ and $K$ are core-free subgroups. There is an extensive literature on factorizations of almost simple groups, with important applications in permutation group theory and algebraic graph theory. In a recent paper, Li and Xia describe the factorizati… ▽ More Let $G$ be a finite almost simple group with socle $G_0$. A (nontrivial) factorization of $G$ is an expression of the form $G=HK$, where the factors $H$ and $K$ are core-free subgroups. There is an extensive literature on factorizations of almost simple groups, with important applications in permutation group theory and algebraic graph theory. In a recent paper, Li and Xia describe the factorizations of almost simple groups with a solvable factor $H$. Several infinite families arise in the context of classical groups and in each case a solvable subgroup of $G_0$ containing $H \cap G_0$ is identified. Building on this earlier work, in this paper we compute a sharp lower bound on the order of a solvable factor of every almost simple group and we determine the exact factorizations with a solvable factor. As an application, we describe the finite primitive permutation groups with a nilpotent regular subgroup, extending classical results of Burnside and Schur on cyclic regular subgroups, and more recent work of Li in the abelian case. △ Less

Submitted 14 November, 2020; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 29 pages; to appear in Advances in Math

An explicit characterization of arc-transitive circulants

Authors: Cai Heng Li, Binzhou Xia, Sanming Zhou

Abstract: A reductive characterization of arc-transitive circulants was given independently by Kovacs in 2004 and the first author in 2005. In this paper, we give an explicit characterization of arc-transitive circulants and their automorphism groups. Based on this, we give a proof of the fact that arc-transitive circulants are all CI-digraphs. A reductive characterization of arc-transitive circulants was given independently by Kovacs in 2004 and the first author in 2005. In this paper, we give an explicit characterization of arc-transitive circulants and their automorphism groups. Based on this, we give a proof of the fact that arc-transitive circulants are all CI-digraphs. △ Less

Submitted 14 February, 2021; v1 submitted 11 June, 2019; originally announced June 2019.

A classification of finite locally 2-transitive generalized quadrangles

Authors: John Bamberg, Cai Heng Li, Eric Swartz

Abstract: Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, t… ▽ More Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-transitive generalized quadrangles up to duality. Recently, the authors made progress toward this conjecture by classifying those finite generalized quadrangles which have an automorphism group $G$ acting transitively on antiflags. In this paper, we take this classification much further by weakening the hypothesis to $G$ being transitive on ordered pairs of collinear points and ordered pairs of concurrent lines. △ Less

Submitted 29 June, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: Sections 3-6 rewritten and restructured to fill in gaps in, streamline, and avoid repetition of arguments. To appear in Transactions of the American Mathematical Society

MSC Class: 51E12; 20B05; 20B15; 20B25

Finite quasiprimitive permutation groups with a metacyclic transitive subgroup

Authors: Cai Heng Li, Jiangmin Pan, Binzhou Xia

Abstract: In this paper, we classify finite quasiprimitive permutation groups with a metacyclic transitive subgroup, solving a problem initiated by Wielandt in 1949. It also involves the classification of factorizations of almost simple groups with a metacyclic factor. In this paper, we classify finite quasiprimitive permutation groups with a metacyclic transitive subgroup, solving a problem initiated by Wielandt in 1949. It also involves the classification of factorizations of almost simple groups with a metacyclic factor. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Comments: 25 pages

Finite $3$-connected homogeneous graphs

Authors: Cai Heng Li, **-Xin Zhou

Abstract: A finite graph $\G$ is said to be {\em $(G,3)$-$($connected$)$ homogeneous} if every isomorphism between any two isomorphic (connected) subgraphs of order at most $3$ extends to an automorphism $g\in G$ of the graph, where $G$ is a group of automorphisms of the graph. In 1985, Cameron and Macpherson determined all finite $(G, 3)$-homogeneous graphs. In this paper, we develop a method for character… ▽ More A finite graph $\G$ is said to be {\em $(G,3)$-$($connected$)$ homogeneous} if every isomorphism between any two isomorphic (connected) subgraphs of order at most $3$ extends to an automorphism $g\in G$ of the graph, where $G$ is a group of automorphisms of the graph. In 1985, Cameron and Macpherson determined all finite $(G, 3)$-homogeneous graphs. In this paper, we develop a method for characterising $(G,3)$-connected homogeneous graphs. It is shown that for a finite $(G,3)$-connected homogeneous graph $\G=(V, E)$, either $G_v^{\G(v)}$ is $2$--transitive or $G_v^{\G(v)}$ is of rank $3$ and $\G$ has girth $3$, and that the class of finite $(G,3)$-connected homogeneous graphs is closed under taking normal quotients. This leads us to study graphs where $G$ is quasiprimitive on $V$. We determine the possible quasiprimitive types for $G$ in this case and give new constructions of examples for some possible types. △ Less

Submitted 18 October, 2022; v1 submitted 2 October, 2018; originally announced October 2018.

Constructing 2-Arc-Transitive Covers of Hypercubes

Authors: Michael Giudici, Cai Heng Li, Yian Xu

Abstract: We introduce the notion of a symmetric basis of a vector space equipped with a quadratic form, and provide a sufficient and necessary condition for the existence to such a basis. Symmetric bases are then used to study Cayley graphs of certain extraspecial 2-groups of order 2^{2r+1} (r\geq 1), which are further shown to be normal Cayley graphs and 2-arc-transitive covers of 2r-dimensional hypercube… ▽ More We introduce the notion of a symmetric basis of a vector space equipped with a quadratic form, and provide a sufficient and necessary condition for the existence to such a basis. Symmetric bases are then used to study Cayley graphs of certain extraspecial 2-groups of order 2^{2r+1} (r\geq 1), which are further shown to be normal Cayley graphs and 2-arc-transitive covers of 2r-dimensional hypercubes. △ Less

Submitted 7 May, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Factorizations of almost simple groups with a factor having many nonsolvable composition factors

Authors: Cai Heng Li, Binzhou Xia

Abstract: This paper classifies the factorizations of almost simple groups with a factor having at least two nonsolvable composition factors. This together with a previous classification result of the authors reduces the factorization problem of almost simple groups to the case where both factors have a unique nonsolvable composition factor. This paper classifies the factorizations of almost simple groups with a factor having at least two nonsolvable composition factors. This together with a previous classification result of the authors reduces the factorization problem of almost simple groups to the case where both factors have a unique nonsolvable composition factor. △ Less

Submitted 30 March, 2019; v1 submitted 3 November, 2017; originally announced November 2017.

Vertex-primitive $s$-arc-transitive digraphs of linear groups

Authors: Michael Giudici, Cai Heng Li, Binzhou Xia

Abstract: 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. 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. △ Less

Submitted 17 April, 2019; v1 submitted 25 October, 2017; originally announced October 2017.

Arc-transitive digraphs with quasiprimitive local actions

Authors: Michael Giudici, S. P. Glasby, Cai Heng Li, Gabriel Verret

Abstract: Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but p… ▽ More Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other. △ Less

Submitted 19 October, 2016; originally announced October 2016.

An infinite family of vertex-primitive 2-arc-transitive digraphs

Authors: Michael Giudici, Cai Heng Li, Binzhou Xia

Abstract: We solve the long-standing existence problem of vertex-primitive 2-arc-transitive digraphs by constructing an infinite family of such digraphs. We solve the long-standing existence problem of vertex-primitive 2-arc-transitive digraphs by constructing an infinite family of such digraphs. △ Less

Submitted 3 May, 2017; v1 submitted 21 September, 2016; originally announced September 2016.

Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5

Authors: Joanna B. Fawcett, Michael Giudici, Cai Heng Li, Cheryl E. Praeger, Gordon Royle, Gabriel Verret

Abstract: We classify finite primitive permutation groups having a suborbit of length 5. As a corollary, we obtain a classification of finite vertex-primitive graphs of valency 5. In the process, we also classify finite almost simple groups that have a maximal subgroup isomorphic to $\mathrm{Alt}(5)$ or $\mathrm{Sym}(5)$. We classify finite primitive permutation groups having a suborbit of length 5. As a corollary, we obtain a classification of finite vertex-primitive graphs of valency 5. In the process, we also classify finite almost simple groups that have a maximal subgroup isomorphic to $\mathrm{Alt}(5)$ or $\mathrm{Sym}(5)$. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Journal ref: J. Combin. Theory Ser. A 157 (2018) 247-266

Cubic arc-transitive $k$-circulants

Authors: Michael Giudici, István Kovács, Cai Heng Li, Gabriel Verret

Abstract: For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjectur… ▽ More For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjecture when $k$ is squarefree and coprime to $6$. △ Less

Submitted 4 March, 2016; originally announced March 2016.

The number of composition factors of order $p$ in completely reducible groups of characteristic $p$

Authors: Michael Giudici, S. P. Glasby, Cai Heng Li, Gabriel Verret

Abstract: Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where $\varepsilon_q$ is a function of $q$ satisfying $1\leqslant\varepsilon_q\leqslant 3/2$. For every $q$, we give examples showing this bound is sharp infinitely often. Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where $\varepsilon_q$ is a function of $q$ satisfying $1\leqslant\varepsilon_q\leqslant 3/2$. For every $q$, we give examples showing this bound is sharp infinitely often. △ Less

Submitted 9 August, 2017; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: 14 pages; Theorem 1 strengthened if $G$ is reducible; Corollary 10 added; reference [6] added

MSC Class: 20C33; 20E34

A classification of finite antiflag-transitive generalized quadrangles

Authors: John Bamberg, Cai Heng Li, Eric Swartz

Abstract: A generalized quadrangle is a point-line incidence geometry $\mathcal{Q}$ such that: (i) any two points lie on at most one line, and (ii) given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \… ▽ More A generalized quadrangle is a point-line incidence geometry $\mathcal{Q}$ such that: (i) any two points lie on at most one line, and (ii) given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \emph{antiflag-transitive} quadrangles. An antiflag of a generalized quadrangle is a non-incident point-line pair $(P, \ell)$, and we say that the generalized quadrangle $\mathcal{Q}$ is antiflag-transitive if the group of collineations is transitive on the set of all antiflags. We prove that if a finite thick generalized quadrangle $\mathcal{Q}$ is antiflag-transitive, then $\mathcal{Q}$ is either a classical generalized quadrangle or is the unique generalized quadrangle of order $(3,5)$ or its dual. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Finite 2-geodesic transitive graphs of prime valency

Authors: Alice Devillers, Wei **, Cai Heng Li, Cheryl E. Praeger

Abstract: We classify non-complete prime valency graphs satisfying the property that their automorphism group is transitive on both the set of arcs and the set of $2$-geodesics. We prove that either $Γ$ is 2-arc transitive or the valency $p$ satisfies $p\equiv 1\pmod 4$, and for each such prime there is a unique graph with this property: it is a non-bipartite antipodal double cover of the complete graph… ▽ More We classify non-complete prime valency graphs satisfying the property that their automorphism group is transitive on both the set of arcs and the set of $2$-geodesics. We prove that either $Γ$ is 2-arc transitive or the valency $p$ satisfies $p\equiv 1\pmod 4$, and for each such prime there is a unique graph with this property: it is a non-bipartite antipodal double cover of the complete graph $K_{p+1}$ with automorphism group $PSL(2,p)\times Z_2$ and diameter 3. △ Less

Submitted 16 April, 2015; originally announced April 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1110.2235

MSC Class: 05E18; 20B25

Factorizations of almost simple groups with a solvable factor, and Cayley graphs of solvable groups

Authors: Cai Heng Li, Binzhou Xia

Abstract: A classification is given for factorizations of almost simple groups with at least one factor solvable, and it is then applied to characterize $s$-arc-transitive Cayley graphs of solvable groups, leading to a striking corollary: Except the cycles, every non-bipartite connected 3-arc-transitive Cayley graph of a solvable group is a cover of the Petersen graph or the Hoffman-Singleton graph. A classification is given for factorizations of almost simple groups with at least one factor solvable, and it is then applied to characterize $s$-arc-transitive Cayley graphs of solvable groups, leading to a striking corollary: Except the cycles, every non-bipartite connected 3-arc-transitive Cayley graph of a solvable group is a cover of the Petersen graph or the Hoffman-Singleton graph. △ Less

Submitted 25 February, 2016; v1 submitted 2 August, 2014; originally announced August 2014.

Locally s-distance transitive graphs and pairwise transitive designs

Authors: Alice Devillers, Michael Giudici, Cai Heng Li, Cheryl E. Praeger

Abstract: The study of locally s-distance transitive graphs initiated by the authors in previous work, identified that graphs with a star quotient are of particular interest. This paper shows that the study of locally s-distance transitive graphs with a star quotient is equivalent to the study of a particular family of designs with strong symmetry properties that we call nicely affine and pairwise transitiv… ▽ More The study of locally s-distance transitive graphs initiated by the authors in previous work, identified that graphs with a star quotient are of particular interest. This paper shows that the study of locally s-distance transitive graphs with a star quotient is equivalent to the study of a particular family of designs with strong symmetry properties that we call nicely affine and pairwise transitive. We show that a group acting regularly on the points of such a design must be abelian and give a general construction for this case. △ Less

Submitted 1 August, 2013; originally announced August 2013.

Comments: 22 pages, has been accepted for publication in J. Comb. Theory Series A

MSC Class: 05C25; 05B05; 20B25

Characterising star-transitive and st(edge)-transitive graphs

Authors: Michael Giudici, Cai Heng Li, Akos Seress, Anne Thomas

Abstract: Recent work of Lazarovich provides necessary and sufficient conditions on a graph L for there to exist a unique simply-connected (k,L)-complex. The two conditions are symmetry properties of the graph, namely star-transitivity and st(edge)-transitivity. In this paper we investigate star-transitive and st(edge)-transitive graphs by studying the structure of the vertex and edge stabilisers of such gr… ▽ More Recent work of Lazarovich provides necessary and sufficient conditions on a graph L for there to exist a unique simply-connected (k,L)-complex. The two conditions are symmetry properties of the graph, namely star-transitivity and st(edge)-transitivity. In this paper we investigate star-transitive and st(edge)-transitive graphs by studying the structure of the vertex and edge stabilisers of such graphs. We also provide new examples of graphs that are both star-transitive and st(edge)-transitive. △ Less

Submitted 9 January, 2013; originally announced January 2013.

Comments: 21 pages

Line graphs and $2$-geodesic transitivity

Authors: Alice Devillers, Wei **, Cai Heng Li, Cheryl E. Praeger

Abstract: For a graph $Γ$, a positive integer $s$ and a subgroup $G\leq \Aut(Γ)$, we prove that $G$ is transitive on the set of $s$-arcs of $Γ$ if and only if $Γ$ has girth at least $2(s-1)$ and $G$ is transitive on the set of $(s-1)$-geodesics of its line graph. As applications, we first prove that the only non-complete locally cyclic $2$-geodesic transitive graphs are the complete multipartite graph… ▽ More For a graph $Γ$, a positive integer $s$ and a subgroup $G\leq \Aut(Γ)$, we prove that $G$ is transitive on the set of $s$-arcs of $Γ$ if and only if $Γ$ has girth at least $2(s-1)$ and $G$ is transitive on the set of $(s-1)$-geodesics of its line graph. As applications, we first prove that the only non-complete locally cyclic $2$-geodesic transitive graphs are the complete multipartite graph $K_{3[2]}$ and the icosahedron. Secondly we classify 2-geodesic transitive graphs of valency 4 and girth 3, and determine which of them are geodesic transitive. △ Less

Submitted 20 January, 2012; originally announced January 2012.

On distance, geodesic and arc transitivity of graphs

Authors: Alice Devillers, Wei **, Cai Heng Li, Cheryl E. Praeger

Abstract: We compare three transitivity properties of finite graphs, namely, for a positive integer $s$, $s$-distance transitivity, $s$-geodesic transitivity and $s$-arc transitivity. It is known that if a finite graph is $s$-arc transitive but not $(s+1)$-arc transitive then $s\leq 7$ and $s\neq 6$. We show that there are infinitely many geodesic transitive graphs with this property for each of these value… ▽ More We compare three transitivity properties of finite graphs, namely, for a positive integer $s$, $s$-distance transitivity, $s$-geodesic transitivity and $s$-arc transitivity. It is known that if a finite graph is $s$-arc transitive but not $(s+1)$-arc transitive then $s\leq 7$ and $s\neq 6$. We show that there are infinitely many geodesic transitive graphs with this property for each of these values of $s$, and that these graphs can have arbitrarily large diameter if and only if $1\leq s\leq 3$. Moreover, for a prime $p$ we prove that there exists a graph of valency $p$ that is 2-geodesic transitive but not 2-arc transitive if and only if $p\equiv 1\pmod 4$, and for each such prime there is a unique graph with this property: it is an antipodal double cover of the complete graph $K_{p+1}$ and is geodesic transitive with automorphism group $PSL(2,p)\times Z_2$. △ Less

Submitted 10 October, 2011; originally announced October 2011.

An infinite family of biquasiprimitive 2-arc transitive cubic graphs

Authors: Alice Devillers, Michael Giudici, Cai Heng Li, Cheryl E. Praeger

Abstract: A new infinite family of bipartite cubic 3-arc transitive graphs is constructed and studied. They provide the first known examples admitting a 2-arc transitive vertex-biquasiprimitive group of automorphisms for which the index two subgroup fixing each half of the bipartition is not quasiprimitive on either bipartite half. A new infinite family of bipartite cubic 3-arc transitive graphs is constructed and studied. They provide the first known examples admitting a 2-arc transitive vertex-biquasiprimitive group of automorphisms for which the index two subgroup fixing each half of the bipartition is not quasiprimitive on either bipartite half. △ Less

Submitted 28 March, 2011; originally announced March 2011.

Comments: 19 pages

Basic and degenerate pregeometries

Authors: Michael Giudici, Cai Heng Li, Geoffrey Pearce, Cheryl E. Praeger

Abstract: We study pairs $(Γ,G)$, where $Γ$ is a 'Buekenhout-Tits' pregeometry with all rank 2 truncations connected, and $G\leqslant\mathrm{Aut} Γ$ is transitive on the set of elements of each type. The family of such pairs is closed under forming quotients with respect to $G$-invariant type-refining partitions of the element set of $Γ$. We identify the 'basic' pairs (those that admit no non-degenerate qu… ▽ More We study pairs $(Γ,G)$, where $Γ$ is a 'Buekenhout-Tits' pregeometry with all rank 2 truncations connected, and $G\leqslant\mathrm{Aut} Γ$ is transitive on the set of elements of each type. The family of such pairs is closed under forming quotients with respect to $G$-invariant type-refining partitions of the element set of $Γ$. We identify the 'basic' pairs (those that admit no non-degenerate quotients), and show, by studying quotients and direct decompositions, that the study of basic pregeometries reduces to examining those where the group $G$ is faithful and primitive on the set of elements of each type. We also study the special case of normal quotients, where we take quotients with respect to the orbits of a normal subgroup of $G$. There is a similar reduction for normal-basic pregeometries to those where $G$ is faithful and quasiprimitive on the set of elements of each type. △ Less

Submitted 31 August, 2010; originally announced September 2010.

MSC Class: 05B25; 51E24; 20B25

Locally $s$-distance transitive graphs

Authors: Alice Devillers, Michael Giudici, Cai Heng Li, Cheryl E. Praeger

Abstract: We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance… ▽ More We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance $i$ from $v$, for each $i$ from 1 to $s$. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for $s\geq 2$, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph, or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups. △ Less

Submitted 27 October, 2010; v1 submitted 11 March, 2010; originally announced March 2010.

Comments: Revised after referee reports

MSC Class: 05C12

On imprimitive rank 3 permutation groups

Authors: Alice Devillers, Michael Giudici, Cai Heng Li, Geoffrey Pearce, Cheryl E. Praeger

Abstract: A classification is given of rank 3 group actions which are quasiprimitive but not primitive. There are two infinite families and a finite number of individual imprimitive examples. When combined with earlier work of Bannai, Kantor, Liebler, Liebeck and Saxl, this yields a classification of all quasiprimitive rank 3 permutation groups. Our classification is achieved by first classifying imprimitiv… ▽ More A classification is given of rank 3 group actions which are quasiprimitive but not primitive. There are two infinite families and a finite number of individual imprimitive examples. When combined with earlier work of Bannai, Kantor, Liebler, Liebeck and Saxl, this yields a classification of all quasiprimitive rank 3 permutation groups. Our classification is achieved by first classifying imprimitive almost simple permutation groups which induce a 2-transitive action on a block system and for which a block stabiliser acts 2-transitively on the block. We also determine those imprimitive rank 3 permutation groups $G$ such that the induced action on a block is almost simple and $G$ does not contain the full socle of the natural wreath product in which $G$ embeds. △ Less

Submitted 31 July, 2011; v1 submitted 11 March, 2010; originally announced March 2010.

Comments: updated after revisions

MSC Class: 20B05

Journal ref: J. London Math. Soc. (2011) 84 (3): 649-669, Erratum: J. London Math. Soc. (2012) doi: 10.1112/jlms/jdr074

On finite edge-primitive and edge-quasiprimitive graphs

Authors: Michael Giudici, Cai Heng Li

Abstract: Many famous graphs are edge-primitive, for example, the Heawood graph, the Tutte--Coxeter graph and the Higman--Sims graph. In this paper we systematically analyse edge-primitive and edge-quasiprimitive graphs via the O'Nan--Scott Theorem to determine the possible edge and vertex actions of such graphs. Many interesting examples are given and we also determine all $G$-edge-primitive graphs for… ▽ More Many famous graphs are edge-primitive, for example, the Heawood graph, the Tutte--Coxeter graph and the Higman--Sims graph. In this paper we systematically analyse edge-primitive and edge-quasiprimitive graphs via the O'Nan--Scott Theorem to determine the possible edge and vertex actions of such graphs. Many interesting examples are given and we also determine all $G$-edge-primitive graphs for $G$ an almost simple group with socle $PSL(2,q)$. △ Less

Submitted 14 September, 2009; originally announced September 2009.

Comments: 30 pages To appear in Journal of Combinatorial Theory Series B

MSC Class: 05C25; 20B25; 20B15

Primitive decompositions of Johnson graphs

Authors: Alice Devillers, Michael Giudici, Cai Heng Li, Cheryl E. Praeger

Abstract: A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts. A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts. △ Less

Submitted 10 December, 2007; originally announced December 2007.

Comments: 35 pages

MSC Class: 05C25; 20B25