Source author record

Gordon F. Royle

Gordon F. Royle appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Synchronising primitive groups of diagonal type exist

Every synchronising permutation group is primitive and of one of three types: affine, almost simple, or diagonal. We exhibit the first known example of a synchronising diagonal type group. More precisely, we show that $\mathrm{PSL}(2,q)\times \mathrm{PSL}(2,q)$ acting in its diagonal action on $\mathrm{PSL}(2,q)$ is separating, and hence synchronising, for $q=13$ and $q=17$. Furthermore, we show that such groups are non-spreading for all prime powers $q$.

preprint2021arXiv

Orbits of Sylow subgroups of finite permutation groups

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

preprint2020arXiv

Groups generated by derangements

We examine the subgroup $D(G)$ of a transitive permutation group $G$ which is generated by the derangements in $G$. Our main results bound the index of this subgroup: we conjecture that, if $G$ has degree $n$ and is not a Frobenius group, then $|G:D(G)|\leqslant\sqrt{n}-1$; we prove this except when $G$ is a primitive affine group. For affine groups, we translate our conjecture into an equivalent form regarding $|H:R(H)|$, where $H$ is a linear group on a finite vector space and $R(H)$ is the subgroup of $H$ generated by elements having eigenvalue~$1$. If $G$ is a Frobenius group, then $D(G)$ is the Frobenius kernel, and so $G/D(G)$ is isomorphic to a Frobenius complement. We give some examples where $D(G)\ne G$, and examine the group-theoretic structure of $G/D(G)$; in particular, we construct groups $G$ in which $G/D(G)$ is not a Frobenius complement.

preprint2014arXiv

There are 2834 spreads of lines in PG(3,8)

2834 inequivalent spreads under the group $\mathrm{P}Γ\mathrm{L}(4,8)$. Therefore there are the same number of translation planes of order 64 with kernel containing $\mathrm{GF}(8)$, and we describe various properties of these planes. Each portion of the search was performed at least twice with independently-written software, and the results checked for internal consistency by computation of the numbers of spreads rooted at a line not in the spread, thus enhancing confidence in the correctness of the search.

preprint2013arXiv

Linear bound in terms of maxmaxflow for the chromatic roots of series-parallel graphs

We prove that the (real or complex) chromatic roots of a series-parallel graph with maxmaxflow Lambda lie in the disc |q-1| < (Lambda-1)/log 2. More generally, the same bound holds for the (real or complex) roots of the multivariate Tutte polynomial when the edge weights lie in the "real antiferromagnetic regime" -1 \le v_e \le 0. This result is within a factor 1/log 2 \approx 1.442695 of being sharp

preprint2013arXiv

Maximum size binary matroids with no AG(3,2)-minor are graphic

We prove that the maximum size of a simple binary matroid of rank $r \geq 5$ with no AG(3,2)-minor is $\binom{r+1}{2}$ and characterise those matroids achieving this bound. When $r \geq 6$, the graphic matroid $M(K_{r+1})$ is the unique matroid meeting the bound, but there are a handful of smaller examples. In addition, we determine the size function for non-regular simple binary matroids with no AG(3,2)-minor and characterise the matroids of maximum size for each rank.

preprint2013arXiv

Quartic graphs with every edge in a triangle

We characterise the quartic (i.e. 4-regular) multigraphs with the property that every edge lies in a triangle. The main result is that such graphs are either squares of cycles, line multigraphs of cubic multigraphs, or are obtained from these by a number of simple subgraph-replacement operations. A corollary of this is that a simple quartic graph with every edge in a triangle is either the square of a cycle, the line graph of a cubic graph or a graph obtained from the line multigraph of a cubic multigraph by replacing triangles with copies of K_{1,1,3}.

preprint2011arXiv

Hemisystems of small flock generalized quadrangles

In this paper, we describe a complete computer classification of the hemisystems in the two known flock generalized quadrangles of order $(5^2,5)$ and give numerous further examples of hemisystems in all the known flock generalized quadrangles of order $(s^2,s)$ for $s \le 11$. By analysing the computational data, we identify two possible new infinite families of hemisystems in the classical generalized quadrangle $H(3,q^2)$.

preprint2010arXiv

Set-homogeneous directed graphs

A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite set-homogeneous digraphs, where we allow some pairs of vertices to have arcs in both directions. Under the assumption that such pairs of vertices are not allowed, we obtain initial results on countably infinite set-homogeneous digraphs, classifying those which are not 2-homogeneous.