-
Basic Tetravalent Oriented Graphs of Independent-Cycle Type
Authors:
Nemanja Poznanovic,
Cheryl E. Praeger
Abstract:
The family $\mathcal{OG}(4)$ consisting of graph-group pairs $(Γ, G)$, where $Γ$ is a finite, connected, 4-valent graph admitting a $G$-vertex-, and $G$-edge-transitive, but not $G$-arc-transitive action, has recently been examined using a normal quotient methodology. A subfamily of $\mathcal{OG}(4)$ has been identified as `basic', due to the fact that all members of $\mathcal{OG}(4)$ are normal c…
▽ More
The family $\mathcal{OG}(4)$ consisting of graph-group pairs $(Γ, G)$, where $Γ$ is a finite, connected, 4-valent graph admitting a $G$-vertex-, and $G$-edge-transitive, but not $G$-arc-transitive action, has recently been examined using a normal quotient methodology. A subfamily of $\mathcal{OG}(4)$ has been identified as `basic', due to the fact that all members of $\mathcal{OG}(4)$ are normal covers of at least one basic pair. We provide an explicit classification of those basic pairs $(Γ, G)$ which have at least two independent cyclic $G$-normal quotients (these are $G$-normal quotients which are not extendable to a common cyclic normal quotient).
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Group actions on codes in graphs
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger
Abstract:
This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitiv…
▽ More
This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitive codes. The graphs considered are the Hamming, Johnson, and Kneser graphs and their q-analogues, as well as some graphs related to incidence structures.
△ Less
Submitted 13 July, 2024;
originally announced July 2024.
-
Maps, simple groups, and arc-transitive graphs
Authors:
Martin W. Liebeck,
Cheryl E. Praeger
Abstract:
We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $Γ$ admitting an almost simple arc-transitive group $X$ of automorphisms, such that $Γ$ has a 2-cell embedding as a map on a closed surface admitting a core-free arc-transitive subgroup $G$ of…
▽ More
We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $Γ$ admitting an almost simple arc-transitive group $X$ of automorphisms, such that $Γ$ has a 2-cell embedding as a map on a closed surface admitting a core-free arc-transitive subgroup $G$ of $X$. We prove that apart from the case where $X$ and $G$ have socles $A_n$ and $A_{n-1}$ respectively, the only such graphs are the complete graphs $K_n$ with $n$ a prime power, the Johnson graphs $J(n,2)$ with $n-1$ a prime power, and 14 further graphs. In the exceptional case, we construct infinitely many graph embeddings.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Higher-dimensional grid-imprimitive block-transitive designs
Authors:
Seyed Hassan Alavi,
Carmen Amarra,
Ashraf Daneshkhah,
Alice Devillers,
Cheryl E. Praeger
Abstract:
It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last…
▽ More
It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Chain-imprimitive, flag-transitive 2-designs
Authors:
Carmen Amarra,
Alice Devillers,
Cheryl E. Praeger
Abstract:
We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribu…
▽ More
We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Basic Tetravalent Oriented Graphs with Cyclic Normal Quotients
Authors:
Nemanja Poznanovic,
Cheryl E. Praeger
Abstract:
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at le…
▽ More
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at least one $G$-normal quotient which is isomorphic to a cycle graph. In doing so, we produce many new infinite families of examples and solve several problems posed in the recent literature on this topic. This result completes a research project aiming to provide a description of all basic pairs in $\mathcal{OG}(4)$.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Bipartite $q$-Kneser graphs and two-generated irreducible linear groups
Authors:
S. P. Glasby,
Alice C. Niemeyer,
Cheryl E. Praeger
Abstract:
Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is th…
▽ More
Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
Using mixed dihedral groups to construct normal Cayley graphs, and a new bipartite $2$-arc-transitive graph which is not a Cayley graph
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger,
Jin-Xin Zhou
Abstract:
A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in…
▽ More
A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in $\Aut(H)$ of $X\cup Y$. We use this criterion to resolve a questions of Li, Ma and Pan from 2009, by constructing a $2$-arc transitive normal cover of order $2^{53}$ of the complete bipartite graph $\K_{16,16}$ and prove that it is \emph{not} a Cayley graph.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Block-transitive 2-designs with a chain of imprimitive partitions
Authors:
Carmen Amarra,
Alice Devillers,
Cheryl E. Praeger
Abstract:
More than $30$ years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive $2$-design, with blocks of size $k$, could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of $k$. Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid st…
▽ More
More than $30$ years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive $2$-design, with blocks of size $k$, could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of $k$. Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid structure on the point set. We show, by construction of infinite families of designs, that there is no limit on the length of a chain of invariant point partitions for a block-transitive $2$-design. We introduce the notion of an `array' of a set of points which describes how the set interacts with parts of the various partitions, and we obtain necessary and sufficient conditions in terms of the `array' of a point set, relative to a partition chain, for it to be a block of such a design.
△ Less
Submitted 24 August, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
A family of $2$-groups and an associated family of semisymmetric, locally $2$-arc-transitive graphs
Authors:
Daniel R. Hawtin,
Jin-Xin Zhou,
Cheryl E. Praeger
Abstract:
A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley…
▽ More
A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley graph of $H$. We prove that $Σ$ is semisymmetric, that is, ${\rm Aut}(Σ)$ acts transitively on the edges, but intransitively on the vertices, of $Σ$. These graphs are the first known semisymmetric graphs constructed from groups that are not $2$-generated (indeed $H$ requires $2n$ generators). Additionally, we prove that $Σ$ is locally $2$-arc-transitive, and is a normal cover of the `basic' locally $2$-arc-transitive graph ${\rm K}_{2^n,2^n}$. As such, the construction of this family of graphs contributes to the investigation of normal covers of prime-power order of basic locally $2$-arc-transitive graphs -- the `local' analogue of a question posed by C.~H.~Li.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Rank three innately transitive permutation groups and related $2$-transitive groups
Authors:
Anton A. Baykalov,
Alice Devillers,
Cheryl E. Praeger
Abstract:
The sets of primitive, quasiprimitive, and innately transitive permutation groups may each be regarded as the building blocks of finite transitive permutation groups, and are analogues of composition factors for abstract finite groups. This paper extends classifications of finite primitive and quasiprimitive groups of rank at most $3$ to a classification for the finite innately transitive groups.…
▽ More
The sets of primitive, quasiprimitive, and innately transitive permutation groups may each be regarded as the building blocks of finite transitive permutation groups, and are analogues of composition factors for abstract finite groups. This paper extends classifications of finite primitive and quasiprimitive groups of rank at most $3$ to a classification for the finite innately transitive groups. The new examples comprise three infinite families and three sporadic examples. A necessary step in this classification was the determination of certain configurations in finite almost simple $2$-transitive groups called special pairs.
△ Less
Submitted 5 December, 2022;
originally announced December 2022.
-
A characterisation of edge-affine $2$-arc-transitive covers of $\K_{2^n,2^n}$
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger,
Jin-Xin Zhou
Abstract:
We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of…
▽ More
We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing a particular \emph{edge-affine} action on $\K_{2^n,2^n}$. Conversely, we prove that if $Σ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing an \emph{edge-affine} action on $\K_{2^n,2^n}$, then the line graph $Γ$ of $Σ$ is a Cayley graph of an $n$-dimensional mixed dihedral group. Furthermore, we give an explicit construction of a family of $n$-dimensional mixed dihedral groups. This family addresses a problem proposed by Li concerning normal covers of prime power order of the `basic' $2$-arc-transitive graphs. In particular, we construct, for each $n\geq 2$, a $2$-arc-transitive normal cover of $2$-power order of the `basic' graph $\K_{2^n,2^n}$.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
On the proportion of elements of prime order in finite symmetric groups
Authors:
Cheryl E. Praeger,
Enoch Suleiman
Abstract:
We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$.
We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Analysing flag-transitive point-imprimitive 2-designs
Authors:
Alice Devillers,
Cheryl E. Praeger
Abstract:
In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$-designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$-$(v,k,λ)$ designs with $λ$ at most…
▽ More
In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$-designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$-$(v,k,λ)$ designs with $λ$ at most $4$.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Tournaments and Even Graphs are Equinumerous
Authors:
Gordon F. Royle,
Cheryl E. Praeger,
S. P. Glasby,
Saul D. Freedman,
Alice Devillers
Abstract:
A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the r…
▽ More
A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the rather surprising conjecture that the number of pairwise non-isomorphic even graphs on $n$ vertices is equal to the number of pairwise non-isomorphic tournaments on $n$ vertices. We prove this conjecture using a counting argument with several applications of the Cauchy-Frobenius Theorem.
△ Less
Submitted 18 November, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
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.
-
Codes and Designs in Johnson Graphs From Symplectic Actions on Quadratic Forms
Authors:
John Bamberg,
Alice Devillers,
Mark Ioppolo,
Cheryl E. Praeger
Abstract:
The Johnson graph $J(v, k)$ has as vertices the $k$-subsets of $\mathcal{V}=\{1,\ldots, v\}$, and two vertices are joined by an edge if their intersection has size $k-1$. An \emph{$X$-strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codewo…
▽ More
The Johnson graph $J(v, k)$ has as vertices the $k$-subsets of $\mathcal{V}=\{1,\ldots, v\}$, and two vertices are joined by an edge if their intersection has size $k-1$. An \emph{$X$-strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codeword $Δ$, the setwise stabiliser $X_Δ$ is transitive on $Δ\times (\mathcal{V}\setminus Δ)$. We classify the \emph{$X$-strongly incidence-transitive codes} in $J(v,k)$ for which $X$ is the symplectic group $\mathrm{Sp}_{2n}(2)$ acting as a $2$-transitive permutation group of degree $2^{2n-1}\pm 2^{n-1}$, where the stabiliser $X_Δ$ of a codeword $Δ$ is contained in a \emph{geometric} maximal subgroup of $X$. In particular, we construct two new infinite families of strongly incidence-transitive codes associated with the reducible maximal subgroups of $\mathrm{Sp}_{2n}(2)$.
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
Block-transitive two-designs based on grids
Authors:
Seyed Hassan Alavi,
Ashraf Daneshkhah,
Alice Devillers,
Cheryl E. Praeger
Abstract:
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under…
▽ More
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Bounding $s$ for vertex-primitive $s$-arc-transitive digraphs of alternating and symmetric groups
Authors:
Junyan Chen,
Lei Chen,
Michael Giudici,
Jing Jian Li,
Cheryl E. Praeger,
Binzhou Xia
Abstract:
Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that…
▽ More
Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that $s\leqslant 2$ in the case where the group is an alternating or symmetric group.
△ Less
Submitted 22 February, 2024; v1 submitted 12 November, 2021;
originally announced November 2021.
-
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.
-
Totally $2$-closed finite groups with trivial Fitting subgroup
Authors:
Majid Arezoomand,
Mohammad A. Iranmanesh,
Cheryl E. Praeger,
Gareth Tracey
Abstract:
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of…
▽ More
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
△ Less
Submitted 4 November, 2021; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Random generation of direct sums of finite non-degenerate subspaces
Authors:
S. P. Glasby,
Alice C. Niemeyer,
Cheryl E. Praeger
Abstract:
Let $V$ be a $d$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$, we estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $e$-subspace of $V$ and $U'$ is a non-dege…
▽ More
Let $V$ be a $d$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$, we estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $e$-subspace of $V$ and $U'$ is a non-degenerate $e'$-subspace of $V$, such that $U\cap U'=0$ and $U\oplus U'$ is non-degenerate (the sum $U\oplus U'$ is direct and usually not perpendicular). The proportion is shown to be positive and at least $1-c/q>0$ for some constant $c$. For example, $c=7/4$ suffices in both the unitary and symplectic cases. The arguments in the orthogonal case are delicate and assume that $\dim(U)$ and $\dim(U')$ are even, an assumption relevant for an algorithmic application (which we discuss) for recognising finite classical groups. We also describe how recognising a classical groups $G$ relies on a connection between certain pairs $(U,U')$ of non-degenerate subspaces and certain pairs $(g,g')\in G^2$ of group elements where $U={\rm im}(g-1)$ and $U'={\rm im}(g'-1)$.
△ Less
Submitted 22 May, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Sequences of linear codes where the rate times distance grows rapidly
Authors:
Faezeh Alizadeh,
S. P. Glasby,
Cheryl E. Praeger
Abstract:
For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sens…
▽ More
For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sense that $k_id_i/n_i>\sqrt{k_i}-1>2i-1$. Another example of quick growth comes from a certain subsequence of Reed-Muller codes. Here the field is $\mathbb{F}=\mathbb{F}_2$ and $k_i d_i/n_i$ is asymptotic to $3n_i^{c}/\sqrt{π\log_2(n_i)}$ where $c=\log_2(3/2)\approx 0.585$.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
Vertex-primitive s-arc-transitive digraphs admitting a Suzuki or Ree group
Authors:
Lei Chen,
Michael Giudici,
Cheryl E Praeger
Abstract:
The investigation of s-arc-transitivity of digraphs can be dated back to 1989 when the third author showed that s can be arbitrarily large if the action on vertices is imprimitive. However, the situation is completely different when the digraph is vertex-primitive and not a directed cycle. In 2017 the second author, Li and Xia constructed the first infinite family of G-vertex-primitive 2-arc-trans…
▽ More
The investigation of s-arc-transitivity of digraphs can be dated back to 1989 when the third author showed that s can be arbitrarily large if the action on vertices is imprimitive. However, the situation is completely different when the digraph is vertex-primitive and not a directed cycle. In 2017 the second author, Li and Xia constructed the first infinite family of G-vertex-primitive 2-arc-transitive examples, and asked if there is an upper bound on s for G-vertex-primitive s-arc-transitive digraphs w=that are not directed. In 2018 the second author and Xia showed that if there is a largest such value of s then it will occur when G is almost simple. So far it has been shown that s\leq 2 for almost simple groups whose socle is an alternating group or a projective special linear group. The contribution of this paper is to prove that s\leq 1 in the case of the Suzuki and the small Ree groups. We give constructions with s=1 to show that the bound is sharp.
△ Less
Submitted 11 April, 2023; v1 submitted 21 September, 2021;
originally announced September 2021.
-
The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension
Authors:
S. P. Glasby,
Alice C. Niemeyer,
Cheryl E. Praeger
Abstract:
Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpend…
▽ More
Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.
△ Less
Submitted 15 May, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Circulant association schemes on triples
Authors:
Prabir Bhattacharya,
Cheryl E Praeger
Abstract:
Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their exam…
▽ More
Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their examples used 2-transitive permutation groups: the non-trivial ternary relations of the ASTs were sets of ordered triples of pairwise distinct points of the underlying set left invariant by the group; and the given permutation group was a subgroup of automorphisms of the AST. In this paper, we consider ASTs that do not necessarily admit 2-transitive groups as automorphism groups but instead a transitive cyclic subgroup of the symmetric group acts as automorphisms. Such ASTs are called circulant ASTs and the corresponding ternary relations are called circulant relations. We give a complete characterisation of circulant ASTs in terms of AST-regular partitions of the underlying set. We also show that a special type of circulant, that we call a thin circulant, plays a key role in describing the structure of circulant ASTs. We outline several open questions.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Normal edge-transitive Cayley graphs and Frattini-like subgroups
Authors:
Behnam Khosravi,
Cheryl E. Praeger
Abstract:
For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $Φ(G;C)$, then the remaining set is still an…
▽ More
For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $Φ(G;C)$, then the remaining set is still an $Aut(G;C)$-invariant normal generating set for $G$. The subgroup $Φ(G;C)$ contains the Frattini subgroup $Φ(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $Aut(G;C)$ acts transitively on the pairs $\{c,c^{-1}\}$ from $C$. We show that, for a normal edge-transitive Cayley graph $Cay(G,C)$, its quotient modulo $Φ(G;C)$ is the unique largest normal quotient which is isomorphic to a subdirect product of normal edge-transitive graphs of characteristically simple groups. In particular, we may therefore view normal edge-transitive Cayley graphs of characteristically simple groups as building blocks for normal edge-transitive Cayley graphs whenever the subgroup $Φ(G;C)$ is trivial. We explore several questions which these results raise, some concerned with the set of all inverse-closed generating sets for groups in a given family. In particular we use this theory to classify all $4$-valent normal edge-transitive Cayley graphs for dihedral groups; this involves a new construction of an infinite family of examples, and disproves a conjecture of Talebi.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
Orbits of Sylow subgroups of finite permutation groups
Authors:
John Bamberg,
Alexander Bors,
Alice Devillers,
Michael Giudici,
Cheryl E. Praeger,
Gordon F. Royle
Abstract:
We say that a finite group $G$ acting on a set $Ω$ has Property $(*)_p$ for a prime $p$ if $P_ω$ is a Sylow $p$-subgroup of $G_ω$ for all $ω\inΩ$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the recent work of Tornier (2018) on local Sylow $p$-subgroups of Burger-Mozes groups, and he determined the values of $p$ for which the alternating group $A_n$ and symmetric group $S_n$ actin…
▽ More
We say that a finite group $G$ acting on a set $Ω$ has Property $(*)_p$ for a prime $p$ if $P_ω$ is a Sylow $p$-subgroup of $G_ω$ for all $ω\inΩ$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the recent work of Tornier (2018) on local Sylow $p$-subgroups of Burger-Mozes groups, and he determined the values of $p$ for which the alternating group $A_n$ and symmetric group $S_n$ acting on $n$ points has Property $(*)_p$. In this paper, we extend this result to finite $2$-transitive groups and we give a structural characterisation result for the finite primitive groups that satisfy Property $(*)_p$ for an allowable prime $p$.
△ Less
Submitted 8 February, 2021; v1 submitted 31 January, 2021;
originally announced February 2021.
-
Subgroups of Classical Groups that are Transitive on Subspaces
Authors:
Michael Giudici,
S. P. Glasby,
Cheryl E. Praeger
Abstract:
For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automo…
▽ More
For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automorphisms of finite thick generalised quadrangles.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
Point-primitive generalised hexagons and octagons and projective linear groups
Authors:
S. P. Glasby,
E. Pierro,
Cheryl E. Praeger
Abstract:
We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or oct…
▽ More
We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or octagon with $G \leqslant{\rm Aut}(\mathcal{S})$ acting point-primitively and the socle of $G$ isomorphic to ${\rm PSL}_n(q)$ where $n \geqslant 2$, then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon $\mathcal{S}$ does not exist.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Finite totally $k$-closed groups
Authors:
Dmitry Churikov,
Cheryl E. Praeger
Abstract:
For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$-orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-close…
▽ More
For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$-orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-closed, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$. In particular, we prove that for each $k\geq2$ and each prime $p$, there are infinitely many finite abelian $p$-groups which are totally $k$-closed but not totally $(k-1)$-closed. This result in the special case $k=2$ is due to Abdollahi and Arezoomand. We pose several open questions about total $k$-closure.
△ Less
Submitted 12 February, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Diagonal groups and arcs over groups
Authors:
R. A. Bailey,
Peter J. Cameron,
Michael Kinyon,
Cheryl E. Praeger
Abstract:
In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $Ω$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$.
In this paper we investigate wha…
▽ More
In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $Ω$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$.
In this paper we investigate what happens if we have $m+r$ partitions with $r\geq 2$, any $m$ of which are minimal elements of a Cartesian lattice. If $m=2$, this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $m>2$, things are more restricted. Any $m+1$ of the partitions generate a join-semilattice admitting a diagonal group over a group $G$. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that $G$ must be abelian and must have three fixed-point-free automorphisms whose product is the identity. Under this hypothesis, such a structure gives an orthogonal array, and conversely in some cases.
If the group is cyclic of prime order $p$, then the structure corresponds exactly to an arc of cardinality $m+r$ in the $(m-1)$-dimensional projective space over the field with $p$ elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order $q$ give examples where $G$ is the elementary abelian group of order $q$. These examples can be lifted to non-elementary abelian groups using $p$-adic techniques.
△ Less
Submitted 1 April, 2021; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Delandtsheer--Doyen parameters for block-transitive point-imprimitive 2-designs
Authors:
Carmen Amarra,
Alice Devillers,
Cheryl E. Praeger
Abstract:
Delandtsheer and Doyen bounded, in terms of the block size, the number of points of a point-imprimitive, block-transitive 2-design. To do this they introduced two integer parameters, m and n, now called Delandtsheer--Doyen parameters, linking the block size with the parameters of an associated imprimitivity system on points. We show that the Delandtsheer--Doyen parameters provide upper bounds on t…
▽ More
Delandtsheer and Doyen bounded, in terms of the block size, the number of points of a point-imprimitive, block-transitive 2-design. To do this they introduced two integer parameters, m and n, now called Delandtsheer--Doyen parameters, linking the block size with the parameters of an associated imprimitivity system on points. We show that the Delandtsheer--Doyen parameters provide upper bounds on the permutation ranks of the groups induced on the imprimitivity system and on a class of the system. We explore extreme cases where these bounds are attained, give a new construction for a family of designs achieving these bounds, and pose several open questions concerning the Delandtsheer--Doyen parameters.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
A path-deformation framework for determining weighted genome rearrangement distance
Authors:
Sangeeta Bhatia,
Attila Egri-Nagy,
Stuart Serdoz,
Cheryl E. Praeger,
Volker Gebhardt,
Andrew Francis
Abstract:
Measuring the distance between two bacterial genomes under the inversion process is usually done by assuming all inversions to occur with equal probability. Recently, an approach to calculating inversion distance using group theory was introduced, and is effective for the model in which only very short inversions occur. In this paper, we show how to use the group-theoretic framework to establish m…
▽ More
Measuring the distance between two bacterial genomes under the inversion process is usually done by assuming all inversions to occur with equal probability. Recently, an approach to calculating inversion distance using group theory was introduced, and is effective for the model in which only very short inversions occur. In this paper, we show how to use the group-theoretic framework to establish minimal distance for any weighting on the set of inversions, generalizing previous approaches. To do this we use the theory of rewriting systems for groups, and exploit the Knuth--Bendix algorithm, the first time this theory has been introduced into genome rearrangement problems.
The central idea of the approach is to use existing group theoretic methods to find an initial path between two genomes in genome space (for instance using only short inversions), and then to deform this path to optimality using a confluent system of rewriting rules generated by the Knuth--Bendix algorithm.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
The geometry of diagonal groups
Authors:
R. A. Bailey,
Peter J. Cameron,
Cheryl E. Praeger,
Csaba Schneider
Abstract:
Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied.
The main purpose of this paper is…
▽ More
Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied.
The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite.
A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.)
A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics.
We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups).
Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.
△ Less
Submitted 6 May, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
On flag-transitive imprimitive 2-designs
Authors:
Alice Devillers,
Cheryl E. Praeger
Abstract:
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together wi…
▽ More
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than $100$ points. There are exactly eleven such examples, and for one of these designs, a flag-regular, point-imprimitive $2-(36,8,4)$ design with automorphism group ${\rm Sym}(6)$, there seems to be no construction previously available in the literature.
△ Less
Submitted 6 December, 2020; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Symmetries of biplanes
Authors:
Seyed Hassan Alavi,
Ashraf Daneshkhah,
Cheryl E Praeger
Abstract:
In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove tha…
▽ More
In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove that $|Aut(\mathcal{D})|$ divides $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 13$. We also provide an example of a biplane with parameters $(16,6,2)$ with a flag-transitive and point-primitive subgroup of automorphisms preserving a homogeneous cartesian decomposition. This motivated us to study biplanes with point-primitive automorphism groups preserving a cartesian decomposition. We prove that such an automorphism group is either of affine type (as in the example), or twisted wreath type.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Conjugacy class sizes in arithmetic progression
Authors:
Mariagrazia Bianchi,
Cheryl E. Praeger,
S. P. Glasby
Abstract:
Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with…
▽ More
Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$. Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.)
△ Less
Submitted 6 June, 2020; v1 submitted 8 March, 2020;
originally announced March 2020.
-
On flag-transitive 2-(v,k,2) designs
Authors:
Alice Devillers,
Hongxue Liang,
Cheryl E. Praeger,
Binzhou Xia
Abstract:
This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) fo…
▽ More
This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) for some n \geq 3. Alongside this analysis, we give a construction for a flag-transitive 2-(v,k-1,k-2) design from a given flag-transitive 2-(v,k,1) design which induces a 2-transitive action on a line. Taking the design of points and lines of the projective space PG(n-1,3) as input to this construction yields a G-flag-transitive 2-(v,3,2) design where G has socle PSL(n,3) and v=(3^n-1)/2. Apart from these designs, our PSL-classification yields exactly one other example, namely the complement of the Fano plane.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Most permutations power to a cycle of small prime length
Authors:
S. P. Glasby,
Cheryl E. Praeger,
W. R. Unger
Abstract:
We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$.
We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$.
△ Less
Submitted 5 May, 2021; v1 submitted 28 November, 2019;
originally announced November 2019.
-
Documentation for the GAP code file OrbOrd.txt
Authors:
Alexander Bors,
Michael Giudici,
Cheryl E. Praeger
Abstract:
We give a comprehensive description of the functions and variables defined in the authors' GAP code file OrbOrd.txt, which serve mainly to compute (bounds on) the number of $\operatorname{Aut}(S)$-orbits on $S$, or the set or number of element orders in $S$ for nonabelian finite simple groups of Lie type $S$.
We give a comprehensive description of the functions and variables defined in the authors' GAP code file OrbOrd.txt, which serve mainly to compute (bounds on) the number of $\operatorname{Aut}(S)$-orbits on $S$, or the set or number of element orders in $S$ for nonabelian finite simple groups of Lie type $S$.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Automorphism orbits and element orders in finite groups: almost-solubility and the Monster
Authors:
Alexander Bors,
Michael Giudici,
Cheryl E. Praeger
Abstract:
For a finite group $G$, we denote by $ω(G)$ the number of $\operatorname{Aut}(G)$-orbits on $G$, and by $\operatorname{o}(G)$ the number of distinct element orders in $G$. In this paper, we are primarily concerned with the two quantities $\mathfrak{d}(G):=ω(G)-\operatorname{o}(G)$ and $\mathfrak{q}(G):=ω(G)/\operatorname{o}(G)$, each of which may be viewed as a measure for how far $G$ is from bein…
▽ More
For a finite group $G$, we denote by $ω(G)$ the number of $\operatorname{Aut}(G)$-orbits on $G$, and by $\operatorname{o}(G)$ the number of distinct element orders in $G$. In this paper, we are primarily concerned with the two quantities $\mathfrak{d}(G):=ω(G)-\operatorname{o}(G)$ and $\mathfrak{q}(G):=ω(G)/\operatorname{o}(G)$, each of which may be viewed as a measure for how far $G$ is from being an AT-group in the sense of Zhang (that is, a group with $ω(G)=\operatorname{o}(G)$). We show that the index $|G:\operatorname{Rad}(G)|$ of the soluble radical $\operatorname{Rad}(G)$ of $G$ can be bounded from above both by a function in $\mathfrak{d}(G)$ and by a function in $\mathfrak{q}(G)$ and $\operatorname{o}(\operatorname{Rad}(G))$. We also obtain a curious quantitative characterisation of the Fischer-Griess Monster group $\operatorname{M}$.
△ Less
Submitted 3 November, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
Generating infinite digraphs by derangements
Authors:
Daniel Horsley,
Moharram Iradmusa,
Cheryl E. Praeger
Abstract:
A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^σ)$ for $x\in V$ and $σ\in\mathcal{S}$. We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors…
▽ More
A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^σ)$ for $x\in V$ and $σ\in\mathcal{S}$. We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erdős for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite $1$-factor cover for an associated bipartite (undirected) graph.
△ Less
Submitted 28 August, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Partial linear spaces with a rank 3 affine primitive group of automorphisms
Authors:
John Bamberg,
Alice Devillers,
Joanna B. Fawcett,
Cheryl E. Praeger
Abstract:
A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms…
▽ More
A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms $G$ of a proper partial linear space acts transitively on ordered pairs of distinct collinear points and ordered pairs of distinct non-collinear points precisely when $G$ is transitive of rank 3 on points. In this paper, we classify the finite proper partial linear spaces that admit rank 3 affine primitive automorphism groups, except for certain families of small groups, including subgroups of $AΓL_1(q)$. Up to these exceptions, this completes the classification of the finite proper partial linear spaces admitting rank 3 primitive automorphism groups. We also provide a more detailed version of the classification of the rank 3 affine primitive permutation groups, which may be of independent interest.
△ Less
Submitted 11 March, 2021; v1 submitted 29 August, 2019;
originally announced August 2019.
-
Generalised shuffle groups
Authors:
Carmen Amarra,
Luke Morgan,
Cheryl E. Praeger
Abstract:
The mathematics of shuffling a deck of $2n$ cards with two "perfect shuffles" was brought into clarity by Diaconis, Graham and Kantor. Here we consider a generalisation of this problem, with a so-called "many handed dealer" shuffling $kn$ cards by cutting into $k$ piles with $n$ cards in each pile and using $k!$ shuffles. A conjecture of Medvedoff and Morrison suggests that all possible permutatio…
▽ More
The mathematics of shuffling a deck of $2n$ cards with two "perfect shuffles" was brought into clarity by Diaconis, Graham and Kantor. Here we consider a generalisation of this problem, with a so-called "many handed dealer" shuffling $kn$ cards by cutting into $k$ piles with $n$ cards in each pile and using $k!$ shuffles. A conjecture of Medvedoff and Morrison suggests that all possible permutations of the deck of cards are achieved, so long as $k\neq 4$ and $n$ is not a power of $k$. We confirm this conjecture for three doubly infinite families of integers: all $(k,n)$ with $k>n$; all $(k, n)\in \{ (\ell^e, \ell^f )\mid \ell \geqslant 2, \ell^e>4, f \ \mbox{not a multiple of}\ e\}$; and all $(k,n)$ with $k=2^e\geqslant 4$ and $n$ not a power of $2$. We open up a more general study of shuffle groups, which admit an arbitrary subgroup of shuffles.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
Finite 2-arc-transitive strongly regular graphs and 3-geodesic-transitive graphs
Authors:
Wei Jin,
Cheryl E. Praeger
Abstract:
We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a…
▽ More
We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
On locally $n \times n$ grid graphs
Authors:
Carmen Amarra,
Wei Jin,
Cheryl E. Praeger
Abstract:
We investigate locally $n \times n$ grid graphs, that is, graphs in which the neighbourhood of any vertex is the Cartesian product of two complete graphs on $n$ vertices. We consider the subclass of these graphs for which each pair of vertices at distance two is joined by sufficiently many paths of length $2$. The number of such paths is known to be at most $2n$ by previous work of Blokhuis and Br…
▽ More
We investigate locally $n \times n$ grid graphs, that is, graphs in which the neighbourhood of any vertex is the Cartesian product of two complete graphs on $n$ vertices. We consider the subclass of these graphs for which each pair of vertices at distance two is joined by sufficiently many paths of length $2$. The number of such paths is known to be at most $2n$ by previous work of Blokhuis and Brouwer. We show that if each distance two pair is joined by at least $n-1$ paths of length $2$ then the diameter is bounded by $O(\log(n))$, while if each pair is joined by at least $2(n-1)$ such paths then the diameter is at most $3$ and we give a tight upper bound on the order of the graphs. We show that graphs meeting this upper bound are distance-regular antipodal covers of complete graphs. We exhibit an infinite family of such graphs which are locally $n \times n$ grid for odd prime powers $n$, and apply these results to locally $5 \times 5$ grid graphs to obtain a classification for the case where either all $μ$-graphs have order at least $8$ or all $μ$-graphs have order $c$ for some constant $c$.
△ Less
Submitted 11 September, 2023; v1 submitted 19 March, 2019;
originally announced March 2019.
-
Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules
Authors:
Alice C. Niemeyer,
Sabina B. Pannek,
Cheryl E. Praeger
Abstract:
We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with…
▽ More
We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with $ \textrm{SL}(d,q) \leq G \leq \textrm{GL}(d,q) $ most pairs of fat elements from $G$ generate irreducible subgroups, namely we prove that the proportion of pairs of fat elements generating a reducible subgroup, in the set of all pairs in $ G \times G $, is less than $q^{-d+1}$. We also prove that the conditional probability to obtain a pair $(g_1,g_2)$ in $G \times G$ which generates a reducible subgroup, given that $g_1, g_2$ are fat elements, is less than $2q^{-d+1}$. Further, we show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than $ d/2 $, and in the induced action the generating pair corresponds to a pair of fat elements.
△ Less
Submitted 17 March, 2019;
originally announced March 2019.
-
Linear bounds for the normal covering number of the symmetric and alternating groups
Authors:
Daniela Bubboloni,
Cheryl E. Praeger,
Pablo Spiga
Abstract:
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd.
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Four-Valent Oriented Graphs of Biquasiprimitive Type
Authors:
Nemanja Poznanović,
Cheryl E. Praeger
Abstract:
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbit…
▽ More
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbits on the vertices of $Γ$. In particular we show that $G$ has a unique minimal normal subgroup $N$ and that $N \cong T^k$ for a simple group $T$ and $k\in \{1,2,4,8\}$. This provides a crucial step towards a general description of the long-studied family $\mathcal{OG}(4)$ in terms of a normal quotient reduction. We also give several methods for constructing pairs $(Γ, G)$ of this type and provide many new infinite families of examples, covering each of the possible structures of the normal subgroup $N$.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.