Showing 1–50 of 57 results for author: Bamberg, J

The synchronisation hierarchy via coherent configurations

Authors: John Bamberg, Jesse Lansdown

Abstract: We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial descriptio… ▽ More We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most $8191$ is a $\mathbb{Q}$I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations. △ Less

Submitted 10 July, 2024; originally announced July 2024.

MSC Class: 20B15; 05E16; 05E30

Ramsey numbers and extremal structures in polar spaces

Authors: John Bamberg, Anurag Bishnoi, Ferdinand Ihringer

Abstract: We use $p$-rank bounds on partial ovoids and the classical bounds on Ramsey numbers to obtain various upper bounds on partial $m$-ovoids in finite polar spaces. These bounds imply non-existence of $m$-ovoids for various new families of polar spaces. We give a probabilistic construction of large partial $m$-ovoids when $m$ grows linearly with the rank of the polar space. In the special case of th… ▽ More We use $p$-rank bounds on partial ovoids and the classical bounds on Ramsey numbers to obtain various upper bounds on partial $m$-ovoids in finite polar spaces. These bounds imply non-existence of $m$-ovoids for various new families of polar spaces. We give a probabilistic construction of large partial $m$-ovoids when $m$ grows linearly with the rank of the polar space. In the special case of the symplectic spaces over the binary field, we show an equivalence between partial $m$-ovoids and a generalisation of the Oddtown theorem from extremal set theory that has been studied under the name of nearly $m$-orthogonal sets over finite fields. We give new constructions for partial $m$-ovoids in these spaces and thus $m$-nearly orthogonal sets, for small values of $m$. These constructions use triangle-free graphs whose complements have low $\mathbb{F}_2$-rank and we give an asymptotic improvement over the state of the art. We also prove new lower bounds in the recently introduced rank-Ramsey problem for triangles vs cliques △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 12 pages

Low rank groups of Lie type acting point and line-primitively on finite generalised quadrangles

Authors: Vishnuram Arumugam, John Bamberg, Michael Giudici

Abstract: Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer. Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 11 pages

MSC Class: 51E12 (Primary); 20B25 (Secondary)

Tactical decompositions in finite polar spaces and non-spreading classical group actions

Authors: John Bamberg, Michael Giudici, Jesse Lansdown, Gordon F. Royle

Abstract: For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this pap… ▽ More For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an \emph{AB-Lemma}) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups. △ Less

Submitted 25 June, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

MSC Class: 05E18; 20B15; 51E20; 51E21

New 2-closed groups that are not automorphism groups of digraphs

Authors: John Bamberg, Michael Giudici, Jacob Paul Smith

Abstract: In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes. In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes. △ Less

Submitted 3 December, 2023; originally announced December 2023.

MSC Class: 20B25 (Primary); 05C25 (Secondary)

Spreading primitive groups of diagonal type do not exist

Authors: John Bamberg, Saul D. Freedman, Michael Giudici

Abstract: The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of dia… ▽ More The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of diagonal type exists. As part of our proof, we show that all non-abelian finite simple groups, other than six sporadic groups, have a transitive action in which a proper normal subgroup of a point stabiliser is supplemented by all corresponding two-point stabilisers. △ Less

Submitted 25 March, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 10 pages. Version 2 resolves the Monster group case of Theorem 1.3, with the aid of a result drawn to our attention by Prof. Tim Burness. Version 3 corrects an entry in the |T:A| column of Table 1. To appear in Proc. Roy. Soc. Edinburgh Sect. A

MSC Class: 20B15; 20E32

On Bruen chains

Authors: John Bamberg, Jesse Lansdown, Geertrui Van de Voorde

Abstract: It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence t… ▽ More It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence to the conjecture that Bruen chains do not exist for $q>37$. Furthermore, we show that Bruen chains can be realised precisely as the $(q+1)/2$-cliques of a two related, yet distinct, undirected simple graphs. △ Less

Submitted 2 May, 2023; originally announced May 2023.

MSC Class: 51E20 05C69

On the 430-cap of $\mathrm{PG}(6,4)$ having two intersection sizes with respect to hyperplanes

Authors: John Bamberg

Abstract: Let $\mathcal{C}$ be a 430-cap of $\mathrm{PG}(6,4)$ having two intersection sizes with respect to hyperplanes. We show that no hyperplane of $\mathrm{PG}(6,4)$ intersects $\mathcal{C}$ in a Hill 78-cap. So if it can be shown that the Hill 78-cap of $\mathrm{PG}(5,4)$ is projectively unique, then such a 430-cap does not exist, or equivalently, a two-weight $[430,7]_{\mathbb{F}_4}$ linear code with… ▽ More Let $\mathcal{C}$ be a 430-cap of $\mathrm{PG}(6,4)$ having two intersection sizes with respect to hyperplanes. We show that no hyperplane of $\mathrm{PG}(6,4)$ intersects $\mathcal{C}$ in a Hill 78-cap. So if it can be shown that the Hill 78-cap of $\mathrm{PG}(5,4)$ is projectively unique, then such a 430-cap does not exist, or equivalently, a two-weight $[430,7]_{\mathbb{F}_4}$ linear code with dual weight at least 4, does not exist. △ Less

Submitted 5 April, 2023; originally announced April 2023.

MSC Class: 51E22; 94B05; 05E30

Affine vector space partitions

Authors: John Bamberg, Yuval Filmus, Ferdinand Ihringer, Sascha Kurz

Abstract: An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. △ Less

Submitted 14 October, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 24 pages, accepted version

Separating rank 3 graphs

Authors: John Bamberg, Michael Giudici, Jesse Lansdown, Gordon F. Royle

Abstract: We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give new examples of synchronising, but not $\mathbb{Q}\mathrm{I}$, groups of affine type. We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give new examples of synchronising, but not $\mathbb{Q}\mathrm{I}$, groups of affine type. △ Less

Submitted 23 May, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: Added acknowledgements and noted the third author's change of institution

MSC Class: 05E30; 05C69; 20B15; 05C50; 05E18

Simple Foundations for the Hyperbolic Plane

Authors: John Bamberg, Tim Penttila

Abstract: H. L. Skala (1992) gave the first elegant first-order axiom system for hyperbolic geometry by replacing Menger's axiom involving projectivities with the theorems of Pappus and Desargues for the hyperbolic plane. In so doing, Skala showed that hyperbolic geometry is incidence geometry. We improve upon Skala's formulation by doing away with Pappus and Desargues altogether, by substituting for them t… ▽ More H. L. Skala (1992) gave the first elegant first-order axiom system for hyperbolic geometry by replacing Menger's axiom involving projectivities with the theorems of Pappus and Desargues for the hyperbolic plane. In so doing, Skala showed that hyperbolic geometry is incidence geometry. We improve upon Skala's formulation by doing away with Pappus and Desargues altogether, by substituting for them two simpler axioms. △ Less

Submitted 13 September, 2022; originally announced September 2022.

MSC Class: 51A20; 51A30; 51A45; 51G05; 51M10

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.

MSC Class: 05C25; 05E18; 20B25; 94B25

Implications of vanishing Krein parameters on Delsarte designs, with applications in finite geometry

Authors: John Bamberg, Jesse Lansdown

Abstract: In this paper we show that if $θ$ is a $T$-design of an association scheme $(Ω, \mathcal{R})$, and the Krein parameters $q_{i,j}^h$ vanish for some $h \not \in T$ and all $i, j \not \in T$ ($i, j, h \neq 0$), then $θ$ consists of precisely half of the vertices of $(Ω, \mathcal{R})$ or it is a $T'$-design, where $|T'|>|T|$. We then apply this result to various problems in finite geometry. In partic… ▽ More In this paper we show that if $θ$ is a $T$-design of an association scheme $(Ω, \mathcal{R})$, and the Krein parameters $q_{i,j}^h$ vanish for some $h \not \in T$ and all $i, j \not \in T$ ($i, j, h \neq 0$), then $θ$ consists of precisely half of the vertices of $(Ω, \mathcal{R})$ or it is a $T'$-design, where $|T'|>|T|$. We then apply this result to various problems in finite geometry. In particular, we show for the first time that nontrivial $m$-ovoids of generalised octagons of order $(s, s^2)$ do not exist. We give short proofs of similar results for (i) partial geometries with certain order conditions; (ii) thick generalised quadrangles of order $(s,s^2)$; (iii) the dual polar spaces $\mathsf{DQ}(2d, q)$, $\mathsf{DW}(2d-1,q)$ and $\mathsf{DH}(2d-1,q^2)$, for $d \ge 3$; (iv) the Penttila-Williford scheme. In the process of (iv), we also consider a natural generalisation of the Penttila-Williford scheme in $\mathsf{Q}^-(2n-1, q)$, $n\geqslant 3$. △ Less

Submitted 5 May, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: This paper builds on part of the doctoral work of the second author under the supervision of the first. The second author acknowledges the support of an Australian Government Research Training Program Scholarship and Australian Research Council Discovery Project DP200101951

MSC Class: 05E30; 05B30; 05B25; 51E12; 51E05

Synchronising primitive groups of diagonal type exist

Authors: John Bamberg, Michael Giudici, Jesse Lansdown, Gordon F. Royle

Abstract: 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 t… ▽ More 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$. △ Less

Submitted 5 May, 2022; v1 submitted 27 April, 2021; originally announced April 2021.

MSC Class: 20B15; 05E30

Pseudo-ovals of elliptic quadrics as Delsarte designs of association schemes

Authors: John Bamberg, Giusy Monzillo, Alessandro Siciliano

Abstract: A $pseudo$-$oval$ of a finite projective space over a finite field of odd order $q$ is a configuration of equidimensional subspaces that is essentially equivalent to a translation generalised quadrangle of order $(q^n,q^n)$ and a Laguerre plane of order $q^n$ (for some $n$). In setting out a programme to construct new generalised quadrangles, Shult and Thas asked whether there are pseudo-ovals con… ▽ More A $pseudo$-$oval$ of a finite projective space over a finite field of odd order $q$ is a configuration of equidimensional subspaces that is essentially equivalent to a translation generalised quadrangle of order $(q^n,q^n)$ and a Laguerre plane of order $q^n$ (for some $n$). In setting out a programme to construct new generalised quadrangles, Shult and Thas asked whether there are pseudo-ovals consisting only of lines of an elliptic quadric ${Q}^-(5,q)$, non-equivalent to the $classical$ $example$, a so-called $pseudo$-$conic$. To date, every known pseudo-oval of lines of ${Q}^-(5,q)$ is projectively equivalent to a pseudo-conic. Thas characterised pseudo-conics as pseudo-ovals satisfying the $perspective$ property, and this paper is on characterisations of pseudo-conics from an algebraic combinatorial point of view. In particular, we show that pseudo-ovals in $Q^-(5,q)$ and pseudo-conics can be characterised as certain Delsarte designs of an interesting five-class association scheme. These association schemes are introduced and explored, and we provide a complete theory of how pseudo-ovals of lines of $Q^-(5,q)$ can be analysed from this viewpoint. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: 33 pages

MSC Class: 05E30; 51A50

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.

Comments: minor corrections

MSC Class: 20B05; 20B15

The minimum degree of minimal Ramsey graphs for cliques

Authors: John Bamberg, Anurag Bishnoi, Thomas Lesgourgues

Abstract: We prove that $s_r(K_k) = O(k^5 r^{5/2})$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property. The construction used in our proof relies on a group theoretic model of ge… ▽ More We prove that $s_r(K_k) = O(k^5 r^{5/2})$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property. The construction used in our proof relies on a group theoretic model of generalised quadrangles introduced by Kantor in 1980. △ Less

Submitted 21 October, 2022; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: 12 pages - Published version

MSC Class: 05D10 (Primary) 51E12 (Secondary)

Journal ref: Bull. London Math. Soc., 54 (2022): 1827-1838

No almost simple sporadic group acts primitively on the points of a generalised quadrangle

Authors: John Bamberg, James Evans

Abstract: A generalised quadrangle is a point-line incidence geometry G such that: (i) any two points lie on at most one line, and (ii) given a line L and a point p not incident with L, there is a unique point on L collinear with p. They are a specific case of the generalised polygons introduced by Tits, and these structures and their automorphism groups are of some importance in finite geometry. An integra… ▽ More A generalised quadrangle is a point-line incidence geometry G such that: (i) any two points lie on at most one line, and (ii) given a line L and a point p not incident with L, there is a unique point on L collinear with p. They are a specific case of the generalised polygons introduced by Tits, and these structures and their automorphism groups are of some importance in finite geometry. An integral part of understanding the automorphism groups of finite generalised quadrangles is knowing which groups can act primitively on their points, and in particular, which almost simple groups arise as automorphism groups. We show that no almost simple sporadic group can act primitively on the points of a finite (thick) generalised quadrangle. We also present two new ideas contributing towards analysing point-primitive groups acting on generalised quadrangles. The first is the outline and implementation of an algorithm for determining whether a given group can act primitively on the points of some generalised quadrangle. The second is the discussion of a conjecture resulting from observations made in the course of this work: any group acting primitively on the points of a generalised quadrangle must either act transitively on lines or have exactly two line-orbits, each containing half of the lines. △ Less

Submitted 12 July, 2020; originally announced July 2020.

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.

Comments: In this version, we have removed the assumption $V\leq H$ from 18.1 (old 13.2) and we have a new elementary proof of 10.10 (old 13.1). We have also reorganised some of the sections and made minor revisions throughout. 69 pages, 1 figure

MSC Class: 51E30; 05E18; 20B15; 05B25; 20B25

Journal ref: J. London Math. Soc. 104 (2021), 1011-1084

A classification of finite locally 2-transitive generalized quadrangles

Authors: John Bamberg, Cai Heng Li, Eric Swartz

Abstract: Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, t… ▽ More Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-transitive generalized quadrangles up to duality. Recently, the authors made progress toward this conjecture by classifying those finite generalized quadrangles which have an automorphism group $G$ acting transitively on antiflags. In this paper, we take this classification much further by weakening the hypothesis to $G$ being transitive on ordered pairs of collinear points and ordered pairs of concurrent lines. △ Less

Submitted 29 June, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: Sections 3-6 rewritten and restructured to fill in gaps in, streamline, and avoid repetition of arguments. To appear in Transactions of the American Mathematical Society

MSC Class: 51E12; 20B05; 20B15; 20B25

On intriguing sets of the Penttila-Williford association scheme

Authors: John Bamberg, Klaus Metsch

Abstract: We investigate intriguing sets of an association scheme introduced by Penttila and Williford (2011) that was the basis for their construction of primitive cometric association schemes that are not $P$-polynomial nor the dual of a $P$-polynomial scheme. In particular, we give examples and characterisation results for the four types of intriguing sets that arise in this scheme. We investigate intriguing sets of an association scheme introduced by Penttila and Williford (2011) that was the basis for their construction of primitive cometric association schemes that are not $P$-polynomial nor the dual of a $P$-polynomial scheme. In particular, we give examples and characterisation results for the four types of intriguing sets that arise in this scheme. △ Less

Submitted 10 February, 2019; originally announced February 2019.

Permutations with orders coprime to a given integer

Authors: John Bamberg, S. P. Glasby, Scott Harper, Cheryl E. Praeger

Abstract: Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\fr… ▽ More Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1} \leqslant ρ(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1}\] where $φ$ is Euler's totient function. △ Less

Submitted 18 April, 2019; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: 10 pages, 3 figures

MSC Class: 20B30; 05A15; 68W20

The thickness of Schubert cells as incidence structures

Authors: John Bamberg, Arun Ram, Jon Xu

Abstract: This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, pe… ▽ More This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, perhaps this short paper can help to bridge the modern language barrier between finite geometry and representation theory. For this purpose, this paper includes very brief surveys of the powerful lattice theory point of view from finite geometry and the powerful method of indexing points of flag varieties by Chevalley generators from representation theory. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 10 pages

Journal ref: J. Aust. Math. Soc. 109 (2020) 145-156

The covering radii of the $2$-transitive unitary, Suzuki, and Ree groups

Authors: John Bamberg, Cheryl E. Praeger, Binzhou Xia

Abstract: We study the covering radii of $2$-transitive permutation groups of Lie rank one, giving bounds and links to finite geometry. We study the covering radii of $2$-transitive permutation groups of Lie rank one, giving bounds and links to finite geometry. △ Less

Submitted 6 November, 2017; originally announced November 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

The binary $q$-analogue of the Fano plane has a trivial automorphism group

Authors: John Bamberg, Ferdinand Ihringer, Jesse Lansdown, Gordon Royle

Abstract: A $q$-analogue of a $t$-design is a set $S$ of subspaces (of dimension $k$) of a finite vector space $V$ over a field of order $q$ such that each $t$ subspace is contained in a constant $λ$ number of elements of $S$. The smallest nontrivial feasible parameters occur when $V$ has dimension $7$, $t=2$, $q=2$, and $k=3$; which is the $q$-analogue of a $2$-$(7,3,1)$ design, the Fano plane. The existen… ▽ More A $q$-analogue of a $t$-design is a set $S$ of subspaces (of dimension $k$) of a finite vector space $V$ over a field of order $q$ such that each $t$ subspace is contained in a constant $λ$ number of elements of $S$. The smallest nontrivial feasible parameters occur when $V$ has dimension $7$, $t=2$, $q=2$, and $k=3$; which is the $q$-analogue of a $2$-$(7,3,1)$ design, the Fano plane. The existence of the binary $q$-analogue of the Fano plane has yet to be resolved, and it was shown by Kiermaier et al. (2016) that such a configuration must have an automorphism group of order at most $2$. We show that the binary $q$-analogue of the Fano plane has a trivial automorphism group. △ Less

Submitted 9 October, 2017; v1 submitted 15 September, 2017; originally announced September 2017.

Comments: A crucial mistake in the computations was pointed out to us

MSC Class: 51E20; 51E10

On regular induced subgraphs of generalized polygons

Authors: John Bamberg, Anurag Bishnoi, Gordon F. Royle

Abstract: The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact value of $c(k, g)$ is known only for some small values of $k, g$ and three infinite families where $g \in \{6, 8, 12\}$ and $k - 1$ is a prime power. These infinite… ▽ More The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact value of $c(k, g)$ is known only for some small values of $k, g$ and three infinite families where $g \in \{6, 8, 12\}$ and $k - 1$ is a prime power. These infinite families come from the incidence graphs of generalized polygons. Some of the best known upper bounds on $c(k,g)$ for $g \in \{6, 8, 12\}$ have been obtained by constructing small regular induced subgraphs of these cages. In this paper, we first use the Expander Mixing Lemma to give a general lower bound on the size of an induced $k$-regular subgraph of a regular bipartite graph in terms of the second largest eigenvalue of the host graph. We use this bound to show that the known construction of $(k,6)$-graphs using Baer subplanes of the Desarguesian projective plane is the best possible. For generalized quadrangles and hexagons, our bounds are new. In particular, we improve the known lower bound on the size of a $q$-regular induced subgraphs of the classical generalized quadrangle $\mathsf{Q}(4,q)$ and show that the known constructions are asymptotically sharp. For prime powers $q$, we also improve the known upper bounds on $c(q,8)$ and $c(q,12)$ by giving new geometric constructions of $q$-regular induced subgraphs in the symplectic generalized quadrangle $\mathsf{W}(3,q)$ and the split Cayley hexagon $\mathsf{H}(q)$, respectively. Our constructions show that \[c(q,8) \le 2(q^3 - q\sqrt{q} - q)\] for $q$ an even power of a prime, and \[c(q, 12) \le 2(q^5 - 3q^3)\] for all prime powers $q$. For $q \in \{3,4,5\}$ we also give a computer classification of all $q$-regular induced subgraphs of the classical generalized quadrangles of order $q$. △ Less

Submitted 30 March, 2018; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: Published version, proof of Lemma 5.3 simplified, for computer code see previous version

Journal ref: J. Combin. Theory Ser. A 158 (2018), 254-275

Synchronization and separation in the Johnson schemes

Authors: Mohammed Aljohani, John Bamberg, Peter J. Cameron

Abstract: Recently Peter Keevash solved asymptotically the existence question for Steiner systems by showing that $S(t,k,n)$ exists whenever the necessary divisibility conditions on the parameters are satisfied and $n$ is sufficiently large in terms of $k$ and $t$. The purpose of this paper is to make a conjecture which if true would be a significant extension of Keevash's theorem, and to give some theoreti… ▽ More Recently Peter Keevash solved asymptotically the existence question for Steiner systems by showing that $S(t,k,n)$ exists whenever the necessary divisibility conditions on the parameters are satisfied and $n$ is sufficiently large in terms of $k$ and $t$. The purpose of this paper is to make a conjecture which if true would be a significant extension of Keevash's theorem, and to give some theoretical and computational evidence for the conjecture. We phrase the conjecture in terms of the notions (which we define here) of synchronization and separation for association schemes. These definitions are based on those for permutation groups which grow out of the theory of synchronization in finite automata. In this theory, two classes of permutation groups (called \emph{synchronizing} and \emph{separating}) lying between primitive and $2$-homogeneous are defined. A big open question is how the permutation group induced by $S_n$ on $k$-subsets of $\{1,\ldots,n\}$ fits in this hierarchy; our conjecture would give a solution to this problem for $n$ large in terms of $k$. We prove the conjecture in the case $k=4$: our result asserts that $S_n$ acting on $4$-sets is separating for $n\ge10$ (it fails to be synchronizing for $n=9$). △ Less

Submitted 9 October, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: Error in previous version corrected

MSC Class: 20B15

Journal ref: Portugaliae Mathematica 74 (2018), 213-232

Simple groups, product actions, and generalised quadrangles

Authors: John Bamberg, Tomasz Popiel, Cheryl E. Praeger

Abstract: The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to inves… ▽ More The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to investigate generalised quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O'Nan-Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in non-Abelian finite simple groups, and about fixities of primitive permutation groups. △ Less

Submitted 23 February, 2017; originally announced February 2017.

On $m$-ovoids of regular near polygons

Authors: John Bamberg, Jesse Lansdown, Melissa Lee

Abstract: We generalise the work of Segre (1965), Cameron - Goethals - Seidel (1978), and Vanhove (2011) by showing that nontrivial $m$-ovoids of the dual polar spaces $DQ(2d, q)$, $DW(2d-1,q)$ and $DH(2d-1,q^2)$ ($d\ge 3$) are hemisystems. We also provide a more general result that holds for regular near polygons. We generalise the work of Segre (1965), Cameron - Goethals - Seidel (1978), and Vanhove (2011) by showing that nontrivial $m$-ovoids of the dual polar spaces $DQ(2d, q)$, $DW(2d-1,q)$ and $DH(2d-1,q^2)$ ($d\ge 3$) are hemisystems. We also provide a more general result that holds for regular near polygons. △ Less

Submitted 15 May, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

MSC Class: 05B25

The circular altitude of a graph

Authors: John Bamberg, Brian Corr, Alice Devillers, Daniel Hawtin, Irene Pivotto, Eric Swartz

Abstract: 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. 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. △ Less

Submitted 22 August, 2016; originally announced August 2016.

A relative $m$-cover of a Hermitian surface is a relative hemisystem

Authors: John Bamberg, Melissa Lee

Abstract: An $m$-cover of the Hermitian surface $H(3,q^2)$ of $PG(3,q^2)$ is a set $\mathcal{S}$ of lines of $H(3,q^2)$ such that every point of $H(3,q^2)$ lies on exactly $m$ lines of $\mathcal{S}$, and $0<m<q+1$. Segre (1965) proved that if $q$ is odd, then $m=(q+1)/2$, and called such a set $\mathcal{S}$ of lines a hemisystem. Penttila and Williford (2011) introduced the notion of a relative hemisystem:… ▽ More An $m$-cover of the Hermitian surface $H(3,q^2)$ of $PG(3,q^2)$ is a set $\mathcal{S}$ of lines of $H(3,q^2)$ such that every point of $H(3,q^2)$ lies on exactly $m$ lines of $\mathcal{S}$, and $0<m<q+1$. Segre (1965) proved that if $q$ is odd, then $m=(q+1)/2$, and called such a set $\mathcal{S}$ of lines a hemisystem. Penttila and Williford (2011) introduced the notion of a relative hemisystem: a set of lines $\mathcal{R}$ of $H(3,q^2)$, $q$ even, disjoint from a symplectic subgeometry $W(3,q)$ such that every point of $H(3,q^2)\setminus W(3,q)$ lies on exactly $q/2$ elements of $\mathcal{R}$. In this paper, we provide an analogue of Segre's result by introducing relative $m$-covers of $H(3,q^2)$ with respect to a symplectic subgeometry and proving that $m$ must necessarily be $q/2$. △ Less

Submitted 10 August, 2016; originally announced August 2016.

MSC Class: 05E30; 51E12

FinInG: a package for Finite Incidence Geometry

Authors: John Bamberg, Anton Betten, Philippe Cara, Jan De Beule, Max Neunhöffer, Michel Lavrauw

Abstract: FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups. FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups. △ Less

Submitted 16 June, 2016; originally announced June 2016.

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

Bruck nets and partial Sherk planes

Authors: John Bamberg, Joanna B. Fawcett, Jesse Lansdown

Abstract: In Bachmann's Aufbau der Geometrie aus dem Spiegelungsbegriff (1959), it was shown that a finite metric plane is a Desarguesian affine plane of odd order equipped with a perpendicularity relation on lines, and conversely. Sherk (1967) generalised this result to characterise the finite affine planes of odd order by removing the 'three reflections axioms' from a metric plane. We show that one can ob… ▽ More In Bachmann's Aufbau der Geometrie aus dem Spiegelungsbegriff (1959), it was shown that a finite metric plane is a Desarguesian affine plane of odd order equipped with a perpendicularity relation on lines, and conversely. Sherk (1967) generalised this result to characterise the finite affine planes of odd order by removing the 'three reflections axioms' from a metric plane. We show that one can obtain a larger class of natural finite geometries, the so-called Bruck nets of even degree, by weakening Sherk's axioms to allow non-collinear points. △ Less

Submitted 22 January, 2017; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: We have removed the condition from our main theorem that there is a constant number of lines on any point. Instead, we have replaced it with the much weaker condition that there is a line all of whose points are thick (incident with more than 2 lines)

MSC Class: 51E14; 51E05; 51E15; 51F05

Journal ref: J. Austral. Math. Soc. 104 (2018) 1-12

A New Infinite Family of Hemisystems of the Hermitian Surface

Authors: John Bamberg, Melissa Lee, Koji Momihara, Qing Xiang

Abstract: In this paper, we construct an infinite family of hemisystems of the Hermitian surface $\mathsf{H}(3,q^2)$. In particular, we show that for every odd prime power $q$ congruent to $3$ modulo $4$, there exists a hemisystem of $\mathsf{H}(3,q^2)$ admitting $C_{(q^3+1)/4} : C_3$. In this paper, we construct an infinite family of hemisystems of the Hermitian surface $\mathsf{H}(3,q^2)$. In particular, we show that for every odd prime power $q$ congruent to $3$ modulo $4$, there exists a hemisystem of $\mathsf{H}(3,q^2)$ admitting $C_{(q^3+1)/4} : C_3$. △ Less

Submitted 5 April, 2016; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Fixed typos, added open problems section

MSC Class: 05B25 (primary); 05E30; 51E12 (secondary)

A classification of finite antiflag-transitive generalized quadrangles

Authors: John Bamberg, Cai Heng Li, Eric Swartz

Abstract: A generalized quadrangle is a point-line incidence geometry $\mathcal{Q}$ such that: (i) any two points lie on at most one line, and (ii) given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \… ▽ More A generalized quadrangle is a point-line incidence geometry $\mathcal{Q}$ such that: (i) any two points lie on at most one line, and (ii) given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \emph{antiflag-transitive} quadrangles. An antiflag of a generalized quadrangle is a non-incident point-line pair $(P, \ell)$, and we say that the generalized quadrangle $\mathcal{Q}$ is antiflag-transitive if the group of collineations is transitive on the set of all antiflags. We prove that if a finite thick generalized quadrangle $\mathcal{Q}$ is antiflag-transitive, then $\mathcal{Q}$ is either a classical generalized quadrangle or is the unique generalized quadrangle of order $(3,5)$ or its dual. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Point-primitive, line-transitive generalised quadrangles of holomorph type

Authors: John Bamberg, Tomasz Popiel, Cheryl E. Praeger

Abstract: Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$. Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$, and transitively on the lines of $Γ$. We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the act… ▽ More Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$. Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$, and transitively on the lines of $Γ$. We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where there is a unique minimal normal subgroup $M$ and $M$ is non-Abelian. △ Less

Submitted 4 May, 2016; v1 submitted 10 August, 2015; originally announced August 2015.

A note on relative hemisystems of Hermitian generalised quadrangles

Authors: John Bamberg, Melissa Lee, Eric Swartz

Abstract: In this paper we introduce a set of sufficient criteria for the construction of relative hemisystems of the Hermitian space $\mathrm{H}(3,q^2)$, unifying all known infinite families. We use these conditions to provide new proofs of the existence of the known infinite families of relative hemisystems. Reproving these results has allowed us to find new relative hemisystems closely related to an infi… ▽ More In this paper we introduce a set of sufficient criteria for the construction of relative hemisystems of the Hermitian space $\mathrm{H}(3,q^2)$, unifying all known infinite families. We use these conditions to provide new proofs of the existence of the known infinite families of relative hemisystems. Reproving these results has allowed us to find new relative hemisystems closely related to an infinite family of Cossidente's, and develop techniques that are likely to be useful in finding relative hemisystems in future. △ Less

Submitted 28 September, 2015; v1 submitted 14 April, 2015; originally announced April 2015.

MSC Class: 51E12

Weighted Intriguing Sets in Finite Polar Spaces

Authors: John Bamberg, Jan De Beule, Ferdinand Ihringer

Abstract: We provide new proofs for the non-existence of ovoids in hyperbolic spaces of rank at least four in even characteristic, and for the Hermitian polar space $\mathsf{H}(5, 4)$. We also improve the results of A. Klein on the non-existence of ovoids of Hermitian spaces and hyperbolic quadrics. We provide new proofs for the non-existence of ovoids in hyperbolic spaces of rank at least four in even characteristic, and for the Hermitian polar space $\mathsf{H}(5, 4)$. We also improve the results of A. Klein on the non-existence of ovoids of Hermitian spaces and hyperbolic quadrics. △ Less

Submitted 16 September, 2015; v1 submitted 6 February, 2015; originally announced February 2015.

Comments: 12 pages

MSC Class: 05B25; 51E20; 51A50

Point-primitive generalised hexagons and octagons

Authors: John Bamberg, S. P. Glasby, Tomasz Popiel, Cheryl E. Praeger, Csaba Schneider

Abstract: In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagon… ▽ More In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$, $\,^3\mathsf{D}_4(q)$, and $\,^2\mathsf{F}_4(q)$, respectively. △ Less

Submitted 9 October, 2014; originally announced October 2014.

Locally triangular graphs and rectagraphs with symmetry

Authors: John Bamberg, Alice Devillers, Joanna B. Fawcett, Cheryl E. Praeger

Abstract: 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 natura… ▽ More 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. △ Less

Submitted 31 July, 2014; originally announced July 2014.

Comments: 21 pages

MSC Class: 20B25; 05C75; 05E18; 05E20

Journal ref: J. Combin. Theory, Ser. A. 133 (2015) 1-28

An enumeration of certain projective ternary two-weight codes and their relationship to the cubic Segre variety

Authors: Michael Martis, John Bamberg, Sylvia Morris

Abstract: We detail the enumeration of all two-intersection sets of the five-dimensional projective space over the field of order 3 that are invariant under an element of order 7, which include the examples of Hill (1973) and Gulliver (1996). Up to projective equivalence, there are 6635 such two-intersection sets. We detail the enumeration of all two-intersection sets of the five-dimensional projective space over the field of order 3 that are invariant under an element of order 7, which include the examples of Hill (1973) and Gulliver (1996). Up to projective equivalence, there are 6635 such two-intersection sets. △ Less

Submitted 25 June, 2014; originally announced June 2014.

MSC Class: 05B25; 51E12; 05C12; 05C38

Generalised quadrangles and transitive pseudo-hyperovals

Authors: John Bamberg, Stephen P. Glasby, Tomasz Popiel, Cheryl E. Praeger

Abstract: A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automor… ▽ More A pseudo-hyperoval of a projective space $\PG(3n-1,q)$, $q$ even, is a set of $q^n+2$ subspaces of dimension $n-1$ such that any three span the whole space. We prove that a pseudo-hyperoval with an irreducible transitive stabiliser is elementary. We then deduce from this result a classification of the thick generalised quadrangles $\mathcal{Q}$ that admit a point-primitive, line-transitive automorphism group with a point-regular abelian normal subgroup. Specifically, we show that $\mathcal{Q}$ is flag-transitive and isomorphic to $T_2^*(\mathcal{H})$, where $\mathcal{H}$ is either the regular hyperoval of $\PG(2,4)$ or the Lunelli--Sce hyperoval of $\PG(2,16)$. △ Less

Submitted 17 July, 2014; v1 submitted 24 June, 2014; originally announced June 2014.

Journal ref: J. Comb. Des. 24(4) (2016), 151--164

Triple factorisations of the general linear group and their associated geometries

Authors: Seyed Hassan Alavi, John Bamberg, Cheryl E. Praeger

Abstract: Triple factorisations of finite groups $G$ of the form $G=PQP$ are essential in the study of Lie theory as well as in geometry. Geometrically, each triple factorisation $G=PQP$ corresponds to a $G$-flag transitive point/line geometry such that `each pair of points is incident with at least one line'. We call such a geometry \emph{collinearly complete}, and duality (interchanging the roles of point… ▽ More Triple factorisations of finite groups $G$ of the form $G=PQP$ are essential in the study of Lie theory as well as in geometry. Geometrically, each triple factorisation $G=PQP$ corresponds to a $G$-flag transitive point/line geometry such that `each pair of points is incident with at least one line'. We call such a geometry \emph{collinearly complete}, and duality (interchanging the roles of points and lines) gives rise to the notion of \emph{concurrently complete} geometries. In this paper, we study triple factorisations of the general linear group $\mathrm{GL}(V)$ as $PQP$ where the subgroups $P$ and $Q$ either fix a subspace or fix a decomposition of $V$ as $V_1\oplus V_2$ with $\dim(V_{1})=\dim(V_{2})$. △ Less

Submitted 20 May, 2014; originally announced May 2014.

AS-configurations and skew-translation generalised quadrangles

Authors: John Bamberg, S. P. Glasby, Eric Swartz

Abstract: The only known skew-translation generalised quadrangles (STGQ) having order $(q,q)$, with $q$ even, are translation generalised quadrangles. Equivalently, the only known groups $G$ of order $q^3$, $q$ even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group $G$ admitting an A… ▽ More The only known skew-translation generalised quadrangles (STGQ) having order $(q,q)$, with $q$ even, are translation generalised quadrangles. Equivalently, the only known groups $G$ of order $q^3$, $q$ even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group $G$ admitting an AS-configuration, (ii) a classification of the STGQ of order $(8,8)$, and (iii) a classification of the STGQ of order $(q,q)$ for odd $q$ (using work of Ghinelli and Yoshiara). △ Less

Submitted 18 July, 2014; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: A shorter version of this paper will appear in J. Algebra. This arXiv version includes our supporting GAP code in an Appendix. The structure of the proof was modified and Lemma 4.15 was inserted. Some other minor corrections were made

MSC Class: 51E12; 20D15; 05B25

On m-ovoids of dual twisted triality hexagons

Authors: John Bamberg

Abstract: A generalised hexagon of order $(s,t)$ is said to be \emph{extremal} if $t$ meets the Haemers-Roos bound, that is, $t=s^3$. The \emph{dual twisted triality hexagons} associated to the exceptional Lie type groups $\,^3D_4(s)$ have these parameters, and are the only known such examples. It was shown in the work of De Bruyn and Vanhove that an extremal generalised hexagon has no 1-ovoids. In this not… ▽ More A generalised hexagon of order $(s,t)$ is said to be \emph{extremal} if $t$ meets the Haemers-Roos bound, that is, $t=s^3$. The \emph{dual twisted triality hexagons} associated to the exceptional Lie type groups $\,^3D_4(s)$ have these parameters, and are the only known such examples. It was shown in the work of De Bruyn and Vanhove that an extremal generalised hexagon has no 1-ovoids. In this note, we prove that a dual twisted triality hexagon has no $m$-ovoids for every possible (nontrivial) value of $m$, except for the isolated case where $s=3$ and $m=2$. △ Less

Submitted 20 May, 2014; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: This paper has been withdrawn by the author due to a crucial error

MSC Class: 51E12; 05B25; 05E30

Bounds on the diameter of Cayley graphs of the symmetric group

Authors: John Bamberg, Nick Gill, Thomas Hayes, Harald Helfgott, Ákos Seress, Pablo Spiga

Abstract: In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points. In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points. △ Less

Submitted 8 May, 2012; originally announced May 2012.

Comments: 17 pages, 6 tables

Low dimensional models of the finite split Cayley hexagon

Authors: John Bamberg, Nicola Durante

Abstract: We provide a model of the split Cayley hexagon arising from the Hermitian surface $\mathsf{H}(3,q^2)$, thereby yielding a geometric construction of the Dickson group $G_2(q)$ starting with the unitary group $\mathsf{SU}_3(q)$. We provide a model of the split Cayley hexagon arising from the Hermitian surface $\mathsf{H}(3,q^2)$, thereby yielding a geometric construction of the Dickson group $G_2(q)$ starting with the unitary group $\mathsf{SU}_3(q)$. △ Less

Submitted 21 January, 2012; originally announced January 2012.

Generalised quadrangles with a group of automorphisms acting primitively on points and lines

Authors: John Bamberg, Michael Giudici, Joy Morris, Gordon F. Royle, Pablo Spiga

Abstract: We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type. We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 20 pages

MSC Class: 51E12; 05B25; 20B15