arXiv subjects

Cheryl E. Praeger

Publications and source records attributed to Cheryl E. Praeger.

At least 145 records · Page 8Linked to original sources

arXiv2013

Locally s-distance transitive graphs and pairwise transitive designs

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.

math.CO↗

arXiv2013

Normal coverings and pairwise generation of finite alternating and symmetric groups

The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$ such that, for $G$ a symmetric group $\Sym(n)$ or an alternating group $\Alt(n)$, $γ(G)\geq cn$. This improves results of the first two authors who had earlier proved that $aφ(n)\leqγ(G)\leq 2n/3,$ for some positive constant $a$, where $φ$ is the Euler totient function. Bounds are also obtained for the maximum size $κ(G)$ of a set $X$ of conjugacy classes of $G=\Sym(n)$ or $\Alt(n)$ such that any pair of elements from distinct classes in $X$ generates $G$, namely $cn\leq κ(G)\leq 2n/3$.

math.GR↗

arXiv2012

Uniqueness of certain completely regular Hadamard codes

We classify binary completely regular codes of length $m$ with minimum distance $δ$ for $(m,δ)=(12,6)$ and $(11,5)$. We prove that such codes are unique up to equivalence, and in particular, are equivalent to certain Hadamard codes. We prove that the automorphism groups of these Hadamard codes, modulo the kernel of a particular action, are isomorphic to certain Mathieu groups, from which we prove that completely regular codes with these parameters are necessarily completely transitive.

math.CO↗

arXiv2012

Classification of a family of completely transitive codes

The completely regular codes in Hamming graphs have a high degree of combinatorial symmetry and have attracted a lot of interest since their introduction in 1973 by Delsarte. This paper studies the subfamily of completely transitive codes, those in which an automorphism group is transitive on each part of the distance partition. This family is a natural generalisation of the binary completely transitive codes introduced by Sole in 1990. We take the first step towards a classification of these codes, determining those for which the automorphism group is faithful on entries.

math.CO↗

arXiv2012

Abundant p-singular elements in finite classical groups

In 1995, Isaacs, Kantor and Spaltenstein proved that for a finite simple classical group G defined over a field with q elements, and for a prime divisor p of |G| distinct from the characteristic, the proportion of p-singular elements in G (elements with order divisible by p) is at least a constant multiple of (1 - 1/p)/e, where e is the order of q modulo p. Motivated by algorithmic applications, we define a subfamily of p-singular elements, called p-abundant elements, which leave invariant certain "large" subspaces of the natural G-module. We find explicit upper and lower bounds for the proportion of p-abundant elements in G, and prove that it approaches a (positive) limiting value as the dimension of G tends to infinity. It turns out that the limiting proportion of p-abundant elements is at least a constant multiple of the Isaacs-Kantor-Spaltenstein lower bound for the proportion of all p-singular elements.

math.GR↗

arXiv2012

Proportions of elements with given 2-part order in finite classical groups of odd characteristic

For an element $g$ in a group $X$, we say that $g$ has 2-part order $2^{a}$ if $2^{a}$ is the largest power of 2 dividing the order of $g$. We prove lower bounds on the proportion of elements in finite classical groups in odd characteristic that have certain 2-part orders. In particular, we show that the proportion of odd order elements in the symplectic and orthogonal groups is at least $C/\ell^{3/4}$, where $\ell$ is the Lie rank, and $C$ is an explicit constant. We also prove positive constant lower bounds for the proportion of elements of certain 2-part orders independent of the Lie rank. Furthermore, we describe how these results can be used to analyze part of Yalçinkaya's Black Box recognition algorithm for finite classical groups in odd characteristic.

math.GR↗

arXiv2012

Proportions of r-regular elements in finite classical group

For a prime $r$, we obtain lower bounds on the proportion of $r$-regular elements in classical groups and show that these lower bounds are the best possible lower bounds that do not depend on the order of the defining field. Along the way, we also provide new upper bounds and answer some open questions of the first author, Pálfy and Saxl.

math.GR↗

arXiv2012

Line graphs and $2$-geodesic transitivity

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.

math.CO↗

arXiv2011

The classification of almost simple $\tfrac{3}{2}$-transitive groups

A finite transitive permutation group is said to be 3/2-transitive if all the nontrivial orbits of a point stabilizer have the same size greater than 1. Examples include the 2-transitive groups, Frobenius groups and several other less obvious ones. We prove that 3/2-transitive groups are either affine or almost simple, and classify the latter. One of the main steps in the proof is an arithmetic result on the subdegrees of groups of Lie type in characteristic $p$: with some explicitly listed exceptions, every primitive action of such a group is either 2-transitive, or has a subdegree divisible by $p$.

math.GR↗

arXiv2011

Neighbour transitivity on codes in Hamming graphs

We consider a \emph{code} to be a subset of the vertex set of a \emph{Hamming graph}. In this setting a \emph{neighbour} of the code is a vertex which differs in exactly one entry from some codeword. This paper examines codes with the property that some group of automorphisms acts transitively on the \emph{set of neighbours} of the code. We call these codes \emph{neighbour transitive}. We obtain sufficient conditions for a neighbour transitive group to fix the code setwise. Moreover, we construct an infinite family of neighbour transitive codes, with \emph{minimum distance} $δ=4$, where this is not the case. That is to say, knowledge of even the complete set of code neighbours does not determine the code.

math.CO↗

arXiv2011

On distance, geodesic and arc transitivity of graphs

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$.

math.CO↗

arXiv2011

Embedding permutation groups into wreath products in product action

The wreath product of two permutation groups G < Sym(Gamma) and H < Sym(Delta) can be considered as a permutation group acting on the set Pi of functions from Delta to Gamma. This action, usually called the product action, of a wreath product plays a very important role in the theory of permutation groups, as several classes of primitive or quasiprimitive groups can be described as subgroups of such wreath products. In addition, subgroups of wreath products in product action arise as automorphism groups of graph products and codes. In this paper we consider subgroups X of full wreath products Sym(Gamma) wr Sym(Delta) in product action. Our main result is that, in a suitable conjugate of X, the subgroup of Sym(Gamma) induced by a stabilizer of a coordinate delta in Delta only depends on the orbit of delta under the induced action of X on Delta. Hence, if the action of X on Delta is transitive, then X can be embedded into a much smaller wreath product. Further, if this X-action is intransitive, then X can be embedded into a direct product of such wreath products where the factors of the direct product correspond to the X-orbits in Delta. We offer an application of the main theorems to error-correcting codes in Hamming graphs.

math.GR↗

arXiv2011

On imprimitive rank 3 permutation groups

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.

math.GR↗

arXiv2011

Basic coset geometries

In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O'Nan-Scott type.

math.GR↗

arXiv2011

Proportions of Cyclic Matrices in Maximal Reducible Matrix Groups and Algebras

A matrix is said to be {\it cyclic} if its characteristic polynomial is equal to its minimal polynomial. Cyclic matrices play an important role in some algorithms for matrix group computation, such as the Cyclic Meataxe developed by P. M. Neumann and C. E. Praeger in 1999. In that year also, G. E. Wall and J. E. Fulman independently found the limiting proportion of cyclic matrices in general linear groups over a finite field of fixed order q as the dimension n approaches infinity, namely $(1-q^{-5}) \prod_{i=3}^\infty (1-q^{-i}) = 1 - q^{-3} + O(q^{-4}).$ We study cyclic matrices in a maximal reducible matrix group or algebra, that is, in the largest subgroup or subalgebra that leaves invariant some proper nontrivial subspace. We modify Wall's generating function approach to determine the limiting proportions of cyclic matrices in maximal reducible matrix groups and algebras over a field of order q, as the dimension of the underlying vector space increases while that of the invariant subspace remains fixed. The limiting proportion in a maximal reducible group is proved to be $1 - q^{-2} + O(q^{-3})$; note the change of the exponent of q in the second term of the expansion. Moreover, we exhibit in each maximal reducible matrix group a family of noncyclic matrices whose proportion is $q^{-2} + O(q^{-3})$.

math.GR↗

arXiv2011

An infinite family of biquasiprimitive 2-arc transitive cubic graphs

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.

math.GR↗

arXiv2011

Bounding the size of a vertex-stabiliser in a finite vertex-transitive graph

In this paper we discuss a method for bounding the size of the stabiliser of a vertex in a $G$-vertex-transitive graph $Γ$. In the main result the group $G$ is quasiprimitive or biquasiprimitive on the vertices of $Γ$, and we obtain a genuine reduction to the case where $G$ is a nonabelian simple group. Using normal quotient techniques developed by the first author, the main theorem applies to general $G$-vertex-transitive graphs which are $G$-locally primitive (respectively, $G$-locally quasiprimitive), that is, the stabiliser $G_α$ of a vertex $α$ acts primitively (respectively quasiprimitively) on the set of vertices adjacent to $α$. We discuss how our results may be used to investigate conjectures by Richard Weiss (in 1978) and the first author (in 1998) that the order of $G_α$ is bounded above by some function depending only on the valency of $Γ$, when $Γ$ is $G$-locally primitive or $G$-locally quasiprimitive, respectively.

math.CO↗

arXiv2011

Quotients of incidence geometries

We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini and Tits. We also explore geometric properties such as connectivity, firmness and transitivity conditions to determine when they are preserved under the quotienting operation. We show that the class of coset pregeometries, which contains all flag-transitive geometries, is closed under an appropriate quotienting operation.

math.CO↗