Showing 1–30 of 30 results for author: Morgan, L

Prime power coverings of groups

Authors: Michael Giudici, Luke Morgan, Cheryl E. Praeger

Abstract: For a finite group $A$ with normal subgroup $G$, a subgroup $U$ of $G$ is an $A$-prime-power-covering subgroup if $U$ meets every $A$-conjugacy-class of elements of $G$ of prime power order. It is conjectured that $|G:U|$ is bounded by some function of $|A:G|$, and this conjecture has number theoretic implications for relative Brauer groups of algebraic number fields. We prove the conjecture in th… ▽ More For a finite group $A$ with normal subgroup $G$, a subgroup $U$ of $G$ is an $A$-prime-power-covering subgroup if $U$ meets every $A$-conjugacy-class of elements of $G$ of prime power order. It is conjectured that $|G:U|$ is bounded by some function of $|A:G|$, and this conjecture has number theoretic implications for relative Brauer groups of algebraic number fields. We prove the conjecture in the case that the action of $G$ on the set of right cosets of $U$ in $G$ is innately transitive. This includes the case where $U$ is a maximal subgroup of $G$. The proof uses a new bound on the order of a nonabelian finite simple group in terms of its number of classes of elements of prime power order, which in turn depends on the Classification of the Finite Simple Groups. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Finite simple groups have many classes of $p$-elements

Authors: Michael Giudici, Luke Morgan, Cheryl E. Praeger

Abstract: For an element $x$ of a finite group $T$, the $\mathrm{Aut}(T)$-class of $x$ is the set $\{ x^σ\mid σ\in \mathrm{Aut}(T)\}$. We prove that the order $|T|$ of a finite nonabelian simple group $T$ is bounded above by a function of the parameter $m(T)$, where $m(T)$ is the maximum, over all primes $p$, of the number of $\mathrm{Aut}(T)$-classes of elements of $T$ of $p$-power order. This bound is a s… ▽ More For an element $x$ of a finite group $T$, the $\mathrm{Aut}(T)$-class of $x$ is the set $\{ x^σ\mid σ\in \mathrm{Aut}(T)\}$. We prove that the order $|T|$ of a finite nonabelian simple group $T$ is bounded above by a function of the parameter $m(T)$, where $m(T)$ is the maximum, over all primes $p$, of the number of $\mathrm{Aut}(T)$-classes of elements of $T$ of $p$-power order. This bound is a substantial generalisation of results of Pyber, and of Héthelyi and Külshammer, and it has implications for relative Brauer groups of finite extensions of global fields. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Journal ref: Pacific J. Math. 336 (2025) 137-160

Resolution of a conjecture about linking ring structures

Authors: Marston Conder, Luke Morgan, Primož Potočnik

Abstract: An LR-structure is a tetravalent vertex-transitive graph together with a special type of a decomposition of its edge-set into cycles. LR-structures were introduced in a paper by P. Potočnik and S. Wilson, titled `Linking rings structures and tetravalent semisymmetric graphs', in Ars Math. Contemp. 7 (2014), as a tool to study tetravalent semisymmetric graphs of girth 4. In this paper, we use the m… ▽ More An LR-structure is a tetravalent vertex-transitive graph together with a special type of a decomposition of its edge-set into cycles. LR-structures were introduced in a paper by P. Potočnik and S. Wilson, titled `Linking rings structures and tetravalent semisymmetric graphs', in Ars Math. Contemp. 7 (2014), as a tool to study tetravalent semisymmetric graphs of girth 4. In this paper, we use the methods of group amalgams to resolve some problems left open in the above-mentioned paper. △ Less

Submitted 22 May, 2023; v1 submitted 7 May, 2023; originally announced May 2023.

A new infinite family of star normal quotient graphs of twisted wreath type

Authors: Eda Kaja, Luke Morgan

Abstract: We construct the first infinite families of locally arc transitive graphs with the property that the automorphism group has two orbits on vertices and is quasiprimitive on exactly one orbit, of twisted wreath type. This work contributes to Giudici, Li and Praeger's program for the classification of locally arc transitive graphs by showing that the star normal quotient twisted wreath category also… ▽ More We construct the first infinite families of locally arc transitive graphs with the property that the automorphism group has two orbits on vertices and is quasiprimitive on exactly one orbit, of twisted wreath type. This work contributes to Giudici, Li and Praeger's program for the classification of locally arc transitive graphs by showing that the star normal quotient twisted wreath category also contains infinitely many graphs. △ Less

Submitted 27 February, 2022; originally announced February 2022.

On primitive $2$-closed permutation groups of rank at most four

Authors: Michael Giudici, Luke Morgan, Jin-Xin Zhou

Abstract: We characterise the primitive 2-closed groups $G$ of rank at most four that are not the automorphism group of a graph or digraph and show that if the degree is at least 2402 then there are just two infinite families or $G\leqslant \mathrm{A}Γ\mathrm{L}_1(p^d)$, the 1-dimensional affine semilinear group. These are the first known examples of non-regular 2-closed groups that are not the automorphism… ▽ More We characterise the primitive 2-closed groups $G$ of rank at most four that are not the automorphism group of a graph or digraph and show that if the degree is at least 2402 then there are just two infinite families or $G\leqslant \mathrm{A}Γ\mathrm{L}_1(p^d)$, the 1-dimensional affine semilinear group. These are the first known examples of non-regular 2-closed groups that are not the automorphism group of a graph or digraph. △ Less

Submitted 17 September, 2022; v1 submitted 15 October, 2021; originally announced October 2021.

MSC Class: 20B25; 05E18

Vertex-transitive graphs with local action the symmetric group on ordered pairs

Authors: Luke Morgan

Abstract: We consider a finite, connected and simple graph $Γ$ that admits a vertex-transitive group of automorphisms $G$. Under the assumption that, for all $x \in V(Γ)$, the local action $G_x^{Γ(x)}$ is the action of $\mathrm{Sym}(n)$ on ordered pairs, we show that the group $G_x^{[3]}$, the pointwise stabiliser of a ball of radius three around $x$, is trivial. We consider a finite, connected and simple graph $Γ$ that admits a vertex-transitive group of automorphisms $G$. Under the assumption that, for all $x \in V(Γ)$, the local action $G_x^{Γ(x)}$ is the action of $\mathrm{Sym}(n)$ on ordered pairs, we show that the group $G_x^{[3]}$, the pointwise stabiliser of a ball of radius three around $x$, is trivial. △ Less

Submitted 5 October, 2020; originally announced October 2020.

The NNN-Property of Cyclic Groups

Authors: Michael Giudici, Luke Morgan, Yian Xu

Abstract: A Cayley graph is said to be an NNN-graph if it is both normal and non-normal for isomorphic regular groups, and a group has the NNN-property if there exists an NNN-graph for it. In this paper we investigate the NNN-property of cyclic groups, and show that cyclic groups do not have the NNN-property. A Cayley graph is said to be an NNN-graph if it is both normal and non-normal for isomorphic regular groups, and a group has the NNN-property if there exists an NNN-graph for it. In this paper we investigate the NNN-property of cyclic groups, and show that cyclic groups do not have the NNN-property. △ Less

Submitted 23 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.

MSC Class: 20B25; 05E18

The distinguishing number of quasiprimitive and semiprimitive groups

Authors: Alice Devillers, Scott Harper, Luke Morgan

Abstract: The distinguishing number of $G \leqslant \sym(Ω)$ is the smallest size of a partition of $Ω$ such that only the identity of $G$ fixes all the parts of the partition. Extending earlier results of Cameron, Neumann, Saxl and Seress on the distinguishing number of finite primitive groups, we show that all imprimitive quasiprimitive groups have distinguishing number two, and all non-quasiprimitive sem… ▽ More The distinguishing number of $G \leqslant \sym(Ω)$ is the smallest size of a partition of $Ω$ such that only the identity of $G$ fixes all the parts of the partition. Extending earlier results of Cameron, Neumann, Saxl and Seress on the distinguishing number of finite primitive groups, we show that all imprimitive quasiprimitive groups have distinguishing number two, and all non-quasiprimitive semiprimitive groups have distinguishing number two, except for $\mathrm{GL}(2, 3)$ acting on the eight non-zero vectors of $\mathbb F_2^3$, which has distinguishing number three. △ Less

Submitted 4 April, 2019; v1 submitted 27 August, 2018; originally announced August 2018.

Comments: 10 pages

Bounds for Finite Semiprimitive Permutation Groups: Order, Base Size, and Minimal Degree

Authors: Luke Morgan, Cheryl E. Praeger, Kyle Rosa

Abstract: In this paper we study finite semiprimitive permutation groups, that is, groups in which each normal subgroup is transitive or semiregular. We give bounds on the order, base size, minimal degree, fixity, and chief length of an arbitrary finite semiprimitive group in terms of its degree. To establish these bounds, we classify finite semiprimitive groups that induce the alternating or symmetric grou… ▽ More In this paper we study finite semiprimitive permutation groups, that is, groups in which each normal subgroup is transitive or semiregular. We give bounds on the order, base size, minimal degree, fixity, and chief length of an arbitrary finite semiprimitive group in terms of its degree. To establish these bounds, we classify finite semiprimitive groups that induce the alternating or symmetric group on the set of orbits of an intransitive normal subgroup. △ Less

Submitted 3 June, 2018; originally announced June 2018.

MSC Class: 20B15; 20H30; 20B05

Coprime Subdegrees of Twisted Wreath Permutation Groups

Authors: Alexander Y. Chua, Michael Giudici, Luke Morgan

Abstract: Dolfi, Guralnick, Praeger and Spiga asked if there exist infinitely many primitive groups of twisted wreath type with nontrivial coprime subdegrees. Here we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with nontrivial coprime subdegrees. In particular, we define a primitive twisted wreath group $G(m,q)$ constructed from the… ▽ More Dolfi, Guralnick, Praeger and Spiga asked if there exist infinitely many primitive groups of twisted wreath type with nontrivial coprime subdegrees. Here we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with nontrivial coprime subdegrees. In particular, we define a primitive twisted wreath group $G(m,q)$ constructed from the nonabelian simple group $\text{PSL}(2,q)$ and a primitive permutation group of diagonal type with socle $\text{PSL}(2,q)^m$, and determine all values of $m$ and $q$ for which $G(m,q)$ has nontrivial coprime subdegrees. In the case where $m=2$ and $q\notin\{7,11,29\}$ we obtain a full classification of all pairs of nontrivial coprime subdegrees. △ Less

Submitted 8 January, 2018; originally announced January 2018.

MSC Class: 20B15

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 1137-1162

Arc-transitive digraphs of given out-valency and with blocks of given size

Authors: Luke Morgan, Primoz Potocnik, Gabriel Verret

Abstract: Given integers $k$ and $m$, we construct a $G$-arc-transitive graph of valency $k$ and an $L$-arc-transitive oriented digraph of out-valency $k$ such that $G$ and $L$ both admit blocks of imprimitivity of size $m$. Given integers $k$ and $m$, we construct a $G$-arc-transitive graph of valency $k$ and an $L$-arc-transitive oriented digraph of out-valency $k$ such that $G$ and $L$ both admit blocks of imprimitivity of size $m$. △ Less

Submitted 13 October, 2017; originally announced October 2017.

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

Authors: John Bamberg, Saul D. Freedman, Luke Morgan

Abstract: Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p = 3$, our construction gives two nonisomorphic $p$-… ▽ More Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p = 3$, our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_2(q)$ on the octonion algebra over $\mathbb{F}_q$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_q[G_2(q)]$-module. △ Less

Submitted 2 October, 2019; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 10 pages, 1 figure

MSC Class: 20C33; 20G15; 20D15

Journal ref: J. Aust. Math. Soc. 108 (2020), 321-331

Reallocating and Resampling: A Comparison for Inference

Authors: Kari Lock Morgan

Abstract: Simulation-based inference plays a major role in modern statistics, and often employs either reallocating (as in a randomization test) or resampling (as in bootstrapping). Reallocating mimics random allocation to treatment groups, while resampling mimics random sampling from a larger population; does it matter whether the simulation method matches the data collection method? Moreover, do the resul… ▽ More Simulation-based inference plays a major role in modern statistics, and often employs either reallocating (as in a randomization test) or resampling (as in bootstrapping). Reallocating mimics random allocation to treatment groups, while resampling mimics random sampling from a larger population; does it matter whether the simulation method matches the data collection method? Moreover, do the results differ for testing versus estimation? Here we answer these questions in a simple setting by exploring the distribution of a sample difference in means under a basic two group design and four different scenarios: true random allocation, true random sampling, reallocating, and resampling. For testing a sharp null hypothesis, reallocating is superior in small samples, but reallocating and resampling are asymptotically equivalent. For estimation, resampling is generally superior, unless the effect is truly additive. Moreover, these results hold regardless of whether the data were collected by random sampling or random allocation. △ Less

Submitted 7 August, 2017; originally announced August 2017.

A finite simple group is CCA if and only if it has no element of order four

Authors: Luke Morgan, Joy Morris, Gabriel Verret

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

Submitted 22 March, 2017; originally announced March 2017.

MSC Class: 05C25

Digraphs with small automorphism groups that are Cayley on two nonisomorphic groups

Authors: Luke Morgan, Joy Morris, Gabriel Verret

Abstract: Let $Γ=\mathrm{Cay}(G,S)$ be a Cayley digraph on a group $G$ and let $A=\mathrm{Aut}(Γ)$. The Cayley index of $Γ$ is $|A:G|$. It has previously been shown that, if $p$ is a prime, $G$ is a cyclic $p$-group and $A$ contains a noncyclic regular subgroup, then the Cayley index of $Γ$ is superexponential in $p$. We present evidence suggesting that cyclic groups are exceptional in this respect. Speci… ▽ More Let $Γ=\mathrm{Cay}(G,S)$ be a Cayley digraph on a group $G$ and let $A=\mathrm{Aut}(Γ)$. The Cayley index of $Γ$ is $|A:G|$. It has previously been shown that, if $p$ is a prime, $G$ is a cyclic $p$-group and $A$ contains a noncyclic regular subgroup, then the Cayley index of $Γ$ is superexponential in $p$. We present evidence suggesting that cyclic groups are exceptional in this respect. Specifically, we establish the contrasting result that, if $p$ is an odd prime and $G$ is abelian but not cyclic, and has order a power of $p$ at least $p^3$, then there is a Cayley digraph $Γ$ on $G$ whose Cayley index is just $p$, and whose automorphism group contains a nonabelian regular subgroup. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Characterising CCA Sylow cyclic groups whose order is not divisible by four

Authors: Luke Morgan, Joy Morris, Gabriel Verret

Abstract: A Cayley graph on a group $G$ has a natural edge-colouring. We say that such a graph is CCA if every automorphism of the graph that preserves this edge-colouring is an element of the normaliser of the regular representation of $G$. A group $G$ is then said to be CCA if every Cayley graph on $G$ is CCA. Our main result is a characterisation of non-CCA graphs on groups that are Sylow cyclic and wh… ▽ More A Cayley graph on a group $G$ has a natural edge-colouring. We say that such a graph is CCA if every automorphism of the graph that preserves this edge-colouring is an element of the normaliser of the regular representation of $G$. A group $G$ is then said to be CCA if every Cayley graph on $G$ is CCA. Our main result is a characterisation of non-CCA graphs on groups that are Sylow cyclic and whose order is not divisible by four. We also provide several new constructions of non-CCA graphs. △ Less

Submitted 4 April, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: New version makes minor corrections to statements of Lemma 2.4 and Theorem 4.4

MSC Class: 05C25

A theory of semiprimitive groups

Authors: Michael Giudici, Luke Morgan

Abstract: A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids and the graph-restrictive problem for permutation groups. Here we develop a theory of semiprimitive groups which encompasses their structure, their quotient act… ▽ More A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids and the graph-restrictive problem for permutation groups. Here we develop a theory of semiprimitive groups which encompasses their structure, their quotient actions and a method by which all finite semiprimitive groups are constructed. We also extend some results from the theory of primitive groups to semiprimitive groups, and conclude with open problems of a similar nature. △ Less

Submitted 13 July, 2016; originally announced July 2016.

Comments: 34 pages

Maximal linear groups induced on the Frattini quotient of a $p$-group

Authors: John Bamberg, S. P. Glasby, Luke Morgan, Alice C. Niemeyer

Abstract: Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a… ▽ More Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a celebrated result of Bryant and Kovács. The groups $G$ that we exhibit have exponent $p$, and of all such groups $G$ with the desired action of $H$ on $G/Φ(G)$, the construction yields groups with smallest nilpotency class, and in most cases, the smallest order. △ Less

Submitted 12 October, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 24 pages, 2 figures, 2 tables Typos corrected. Acknowledgement extended. To appear J. Pure. Appl. Algebra

MSC Class: 20D45; 20D15; 20B25

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

Authors: Luke Morgan, Tomasz Popiel

Abstract: Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $Γ$. If $G$ acts primitively on the points of $Γ$, then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\text{G}_2$, and that if $S$ is a Ree gro… ▽ More Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $Γ$. If $G$ acts primitively on the points of $Γ$, then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\text{G}_2$, and that if $S$ is a Ree group of type $^2\text{F}_4$, then $Γ$ is (up to point--line duality) the classical Ree--Tits generalised octagon. △ Less

Submitted 24 August, 2015; originally announced August 2015.

A note on the probability of generating alternating or symmetric groups

Authors: Luke Morgan, Colva M. Roney-Dougal

Abstract: We improve on recent estimates for the probability of generating the alternating and symmetric groups $\mathrm{Alt}(n)$ and $\mathrm{Sym}(n)$. In particular we find the sharp lower bound, if the probability is given by a quadratic in $n^{-1}$. This leads to improved bounds on the largest number $h(\mathrm{Alt}(n))$ such that a direct product of $h(\mathrm{Alt}(n))$ copies of $\mathrm{Alt}(n)$ can… ▽ More We improve on recent estimates for the probability of generating the alternating and symmetric groups $\mathrm{Alt}(n)$ and $\mathrm{Sym}(n)$. In particular we find the sharp lower bound, if the probability is given by a quadratic in $n^{-1}$. This leads to improved bounds on the largest number $h(\mathrm{Alt}(n))$ such that a direct product of $h(\mathrm{Alt}(n))$ copies of $\mathrm{Alt}(n)$ can be generated by two elements. △ Less

Submitted 3 September, 2015; v1 submitted 3 July, 2015; originally announced July 2015.

Journal ref: Arch. Math. 105 (2015), 201-204

On $2$-arc-transitive graphs of order $kp^n$

Authors: Luke Morgan, Eric Swartz, Gabriel Verret

Abstract: We show that there exist functions $c$ and $g$ such that, if $k$, $n$ and $d$ are positive integers with $d> g(n)$ and $Γ$ is a $d$-valent $2$-arc-transitive graph of order $kp^n$ with $p$ a prime, then $p\leqslant kc(d)$. In other words, there are only finitely many $d$-valent 2-arc-transitive graphs of order $kp^n$ with $d>g(n)$ and $p$ prime. This generalises a recent result of Conder, Li and P… ▽ More We show that there exist functions $c$ and $g$ such that, if $k$, $n$ and $d$ are positive integers with $d> g(n)$ and $Γ$ is a $d$-valent $2$-arc-transitive graph of order $kp^n$ with $p$ a prime, then $p\leqslant kc(d)$. In other words, there are only finitely many $d$-valent 2-arc-transitive graphs of order $kp^n$ with $d>g(n)$ and $p$ prime. This generalises a recent result of Conder, Li and Potočnik. △ Less

Submitted 4 January, 2015; v1 submitted 24 December, 2014; originally announced December 2014.

Comments: Fixed a mistake

On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs

Authors: Luke Morgan, Pablo Spiga, Gabriel Verret

Abstract: A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on… ▽ More A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on the order of edge-stabilisers in locally $[L_1,L_2]$ graphs. We also consider the corresponding question for amalgams of rank $k\geq 3$. We completely resolve this by showing that the order of the Borel subgroup is bounded by the permutation type $[L_1,...,L_k]$ only in the trivial case where each of $L_1,...,L_k$ is regular. △ Less

Submitted 4 February, 2015; v1 submitted 5 June, 2014; originally announced June 2014.

A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$

Authors: Michael Giudici, A. A. Ivanov, Luke Morgan, Cheryl E. Praeger

Abstract: A simple undirected graph is weakly $G$-locally projective, for a group of automorphisms $G$, if for each vertex $x$, the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$. It is $G$-locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov r… ▽ More A simple undirected graph is weakly $G$-locally projective, for a group of automorphisms $G$, if for each vertex $x$, the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$. It is $G$-locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov reduces the classification of the $G$-locally projective graphs to the case where the distance factors are as in one of the known examples. Although an analogue of Trofimov's result is not yet available for weakly locally projective graphs, we would like to begin a program of characterising some of the remarkable examples. We show that if a graph is weakly locally projective with each $q_x =2$ and $n_x = 2$ or $3$, and if the distance factors are as in the examples arising from the rank 3 tilde geometries of the groups $M_{24}$ and $He$, then up to isomorphism there are exactly two possible amalgams. Moreover, we consider an infinite family of amalgams of type $\mathcal{U}_n$ (where each $q_x=2$ and $n=n_x+1\geq 4$) and prove that if $n\geq 5$ there is a unique amalgam of type $\mathcal{U}_n$ and it is unfaithful, whereas if $n=4$ then there are exactly four amalgams of type $\mathcal{U}_4$, precisely two of which are faithful, namely the ones related to $M_{24}$ and $He$, and one other which has faithful completion $A_{16}$. △ Less

Submitted 10 April, 2016; v1 submitted 14 May, 2014; originally announced May 2014.

MSC Class: 20B25; 05C25; 20D08

On locally semiprimitive graphs and a theorem of Weiss

Authors: Michael Giudici, Luke Morgan

Abstract: In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a… ▽ More In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a detailed structure theorem for the vertex stabilisers in the remaining case. This is a contribution to an ongoing project to investigate the validity of the Potočnik-Spiga-Verret Conjecture. △ Less

Submitted 14 January, 2015; v1 submitted 6 May, 2014; originally announced May 2014.

Journal ref: J. of Alg. 427 (2015) 104-117

Elusive groups of automorphisms of digraphs of small valency

Authors: Michael Giudici, Luke Morgan, Primož Potočnik, Gabriel Verret

Abstract: A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three. A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three. △ Less

Submitted 12 November, 2014; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: To appear in the European Journal of Combinatorics

Journal ref: European Journal of Combinatorics (2015), pp. 1-9

A class of semiprimitive groups that are graph-restrictive

Authors: Michael Giudici, Luke Morgan

Abstract: We prove that an infinite family of semiprimitive groups are graph-restrictive. This adds to the evidence for the validity of the PSV Conjecture and increases the minimal imprimitive degree for which this conjecture is open to 12. Our result can be seen as a generalisation of the well-known theorem of Tutte on cubic graphs. The proof uses the amalgam method, adapted to this new situation. We prove that an infinite family of semiprimitive groups are graph-restrictive. This adds to the evidence for the validity of the PSV Conjecture and increases the minimal imprimitive degree for which this conjecture is open to 12. Our result can be seen as a generalisation of the well-known theorem of Tutte on cubic graphs. The proof uses the amalgam method, adapted to this new situation. △ Less

Submitted 14 January, 2014; originally announced January 2014.

Comments: 12 pages

MSC Class: 05E18; 20B25

Journal ref: Bull. Lond. Math. Soc., 46 (6) 1226-1236 (2015)

The diameter of the commuting graph of a finite group with trivial centre

Authors: G. L. Morgan, C. W. Parker

Abstract: The commuting graph of a finite group with trivial centre is examined. It is shown that the connected components of the commuting graph have diameter at most 10. The commuting graph of a finite group with trivial centre is examined. It is shown that the connected components of the commuting graph have diameter at most 10. △ Less

Submitted 10 January, 2013; originally announced January 2013.

On vertex stabilisers in symmetric quintic graphs

Authors: G. L. Morgan

Abstract: In this paper we determine all locally finite and symmetric actions of a group on the tree of valency five. As a corollary we complete the classification of the isomorphism types of vertex and edge stabilisers in a group acting symmetrically on a graph of valency five. This builds on work of Weiss and recent work of Zhou and Feng. This depends upon the second result of this paper, the classificati… ▽ More In this paper we determine all locally finite and symmetric actions of a group on the tree of valency five. As a corollary we complete the classification of the isomorphism types of vertex and edge stabilisers in a group acting symmetrically on a graph of valency five. This builds on work of Weiss and recent work of Zhou and Feng. This depends upon the second result of this paper, the classification of isomorphism types of finite, primitive amalgams of degree (5, 2). △ Less

Submitted 24 September, 2012; originally announced September 2012.

Rerandomization to improve covariate balance in experiments

Authors: Kari Lock Morgan, Donald B. Rubin

Abstract: Randomized experiments are the "gold standard" for estimating causal effects, yet often in practice, chance imbalances exist in covariate distributions between treatment groups. If covariate data are available before units are exposed to treatments, these chance imbalances can be mitigated by first checking covariate balance before the physical experiment takes place. Provided a precise definition… ▽ More Randomized experiments are the "gold standard" for estimating causal effects, yet often in practice, chance imbalances exist in covariate distributions between treatment groups. If covariate data are available before units are exposed to treatments, these chance imbalances can be mitigated by first checking covariate balance before the physical experiment takes place. Provided a precise definition of imbalance has been specified in advance, unbalanced randomizations can be discarded, followed by a rerandomization, and this process can continue until a randomization yielding balance according to the definition is achieved. By improving covariate balance, rerandomization provides more precise and trustworthy estimates of treatment effects. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Comments: Published in at http://dx.doi.org/10.1214/12-AOS1008 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS1008

Journal ref: Annals of Statistics 2012, Vol. 40, No. 2, 1263-1282