Alice Devillers

Analysing flag-transitive point-imprimitive 2-designs

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

Arc-transitive bicirculants

In this paper, we characterise the family of finite arc-transitive bicirculants. We show that every finite arc-transitive bicirculant is a normal $r$ -cover of an arc-transitive graph that lies in one of eight infinite families or is one of seven sporadic arc-transitive graphs. Moreover, each of these "basic" graphs is either an arc-transitive bicirculant or an arc-transitive circulant, and each graph in the latter case has an arc-transitive bicirculant normal $r$ -cover for some integer $r$ .

Block-transitive two-designs based on grids

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.

Codes and Designs in Johnson Graphs From Symplectic Actions on Quadratic Forms

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

The groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$ . This property arose from the study of near-rings and input-output automata on groups. We call a group with this property a $J$ -group. Finite $J$ -groups must have odd order, and hence are solvable. We prove that every finite nilpotent group of odd order is a $J$ -group if its nilpotency class $c$ satisfies $c\le6$ . If $G$ is a finite $p$ -group, with $p>2$ and $p^2>2c-1$ , then we prove that $G$ is $J$ -group. Finally, if $p>2$ and $G$ is a regular $p$ -group or, more generally, a power-closed one (i.e., in each section and for each $m\geq1$ the subset of $p^m$ -th powers is a subgroup), then we prove that $G$ is a $J$ -group.

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

Delandtsheer--Doyen parameters for block-transitive point-imprimitive 2-designs

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.

On $k$ -connected-homogeneous graphs

A graph $Γ$ is $k$ -connected-homogeneous ( $k$ -CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $Γ$ , and connected-homogeneous (CH) if this property holds for all $k$ . Locally finite, locally connected graphs often fail to be 4-CH because of a combinatorial obstruction called the unique $x$ property; we prove that this property holds for locally strongly regular graphs under various purely combinatorial assumptions. We then classify the locally finite, locally connected 4-CH graphs. We also classify the locally finite, locally disconnected 4-CH graphs containing 3-cycles and induced 4-cycles, and prove that, with the possible exception of locally disconnected graphs containing 3-cycles but no induced 4-cycles, every finite 7-CH graph is CH.

On flag-transitive 2-(v,k,2) designs

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.

Roots of unity and unreasonable differentiation

We explore when it is legal to differentiate a polynomial evaluated at a root of unity using modular arithmetic.

preprint2016arXiv

The circular altitude of a graph

In this paper we investigate a parameter of graphs, called the circular altitude, introduced by Peter Cameron. We show that the circular altitude provides a lower bound on the circular chromatic number, and hence on the chromatic number, of a graph and investigate this parameter for the iterated Mycielskian of certain graphs.

preprint2015arXiv

Finite 2-geodesic transitive graphs of prime valency

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

preprint2015arXiv

Pairwise transitive 2-designs

We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs, intersecting block-pairs and non-intersecting block-pairs. These 2-designs fall into two classes: the symmetric ones and the quasisymmetric ones. The symmetric examples include the symmetric designs from projective geometry, the 11-point biplane, the Higman-Sims design, and designs of points and quadratic forms on symplectic spaces. The quasisymmetric examples arise from affine geometry and the point-line geometry of projective spaces, as well as several sporadic examples.

preprint2014arXiv

Locally triangular graphs and rectagraphs with symmetry

Locally triangular graphs are known to be halved graphs of bipartite rectagraphs, which are connected triangle-free graphs in which every $2$ -arc lies in a unique quadrangle. A graph $Γ$ is locally rank 3 if there exists $G\leq \mathrm{Aut}(Γ)$ such that for each vertex $u$ , the permutation group induced by the vertex stabiliser $G_u$ on the neighbourhood $Γ(u)$ is transitive of rank 3. One natural place to seek locally rank 3 graphs is among the locally triangular graphs, where every induced neighbourhood graph is isomorphic to a triangular graph $T_n$ . This is because the graph $T_n$ , which has vertex set the $2$ -subsets of $\{1,\ldots,n\}$ and edge set the pairs of $2$ -subsets intersecting at one point, admits a rank 3 group of automorphisms. In this paper, we classify the locally $4$ -homogeneous rectagraphs under some additional structural assumptions. We then use this result to classify the connected locally triangular graphs that are also locally rank 3.

preprint2013arXiv

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.

preprint2012arXiv

Automorphisms and opposition in twin buildings

We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least 3 maps every residue of one fixed type to an opposite. The main ingredient of the proof is a lemma that states that every duality of a thick finite projective plane admits an absolute point, i.e., a point mapped onto an incident line. Our results also hold for all finite irreducible spherical buildings of rank at least 3, and as a consequence we deduce that every involution of a thick irreducible finite spherical building of rank at least 3 has a fixed residue.

preprint2012arXiv

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.

A classification of graphs whose subdivision graphs are locally $G$ -distance transitive

The subdivision graph $S(Σ)$ of a connected graph $Σ$ is constructed by adding a vertex in the middle of each edge. In a previous paper written with Cheryl E. Praeger, we characterised the graphs $Σ$ such that $S(Σ)$ is locally $(G,s)$ -distance transitive for $s\leq 2\, diam(Σ)-1$ and some $G\leq Aut(Σ)$ . In this paper, we solve the remaining cases by classifying all the graphs $Σ$ such that the subdivision graphs is locally $(G,s)$ -distance transitive for $s\geq 2\, diam(Σ)$ and some $G\leq Aut(Σ)$ . In particular, their subdivision graph are always locally $G$ -distance transitive, except for the complete graphs.

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.

Codistances of 3-spherical buildings

We show that a 3-spherical building in which each rank 2 residue is connected far away from a chamber, and each rank 3 residue is simply 2-connected far away from a chamber, admits a twinning (i.e., is one half of a twin building) as soon as it admits a codistance, i.e., a twinning with a single chamber.

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

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.

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.