Source author record

John Bamberg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.GR math.RT math.LO math.MG

Catalog footprint

Research overview

35works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Spreading primitive groups of diagonal type do not exist

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.

preprint2022arXiv

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

preprint2022arXiv

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

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

preprint2022arXiv

Simple Foundations for the Hyperbolic Plane

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.

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

A classification of finite locally 2-transitive generalized quadrangles

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.

preprint2020arXiv

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

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.

preprint2019arXiv

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

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.

preprint2018arXiv

The thickness of Schubert cells as incidence structures

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.

preprint2016arXiv

A New Infinite Family of Hemisystems of the Hermitian Surface

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

preprint2016arXiv

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

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

preprint2016arXiv

FinInG: a package for Finite Incidence Geometry

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.

preprint2016arXiv

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

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.

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

A classification of finite antiflag-transitive generalized quadrangles

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.

preprint2015arXiv

A note on relative hemisystems of Hermitian generalised quadrangles

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.

preprint2015arXiv

Weighted Intriguing Sets in Finite Polar Spaces

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.

preprint2014arXiv

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

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.

preprint2014arXiv

AS-configurations and skew-translation generalised quadrangles

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

preprint2014arXiv

Generalised quadrangles and transitive pseudo-hyperovals

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

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.

preprint2014arXiv

On m-ovoids of dual twisted triality hexagons

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

preprint2014arXiv

Point-primitive generalised hexagons and octagons

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.

preprint2014arXiv

Triple factorisations of the general linear group and their associated geometries

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

preprint2012arXiv

Bounds on the diameter of Cayley graphs of the symmetric group

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.

preprint2012arXiv

Low dimensional models of the finite split Cayley hexagon

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

preprint2011arXiv

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

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.

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

preprint2011arXiv

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

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

preprint2010arXiv

Point regular groups of automorphisms of generalised quadrangles

We study the point regular groups of automorphisms of some of the known generalised quadrangles. In particular we determine all point regular groups of automorphisms of the thick classical generalised quadrangles. We also construct point regular groups of automorphisms of the generalised quadrangle of order $(q-1,q+1)$ obtained by Payne derivation from the classical symplectic quadrangle $\mathsf{W}(3,q)$ . For $q=p^f$ with $f\geq 2$ we obtain at least two nonisomorphic groups when $p\geq 5$ and at least three nonisomorphic groups when $p=2$ or $3$ . Our groups include nonabelian 2-groups, groups of exponent 9 and nonspecial $p$ -groups. We also enumerate all point regular groups of automorphisms of some small generalised quadrangles.

preprint2009arXiv

A geometric construction of Mathon's perp-system from four lines of PG(5,3)

We give a new construction of the Mathon perp-system of the five dimensional projective space over the field with three elements, starting from four lines.

preprint2009arXiv

Every flock generalised quadrangle has a hemisystem

We prove that every flock generalised quadrangle contains a hemisystem, and we provide a construction method which unifies our results with the examples of Cossidente and Penttila in the classical case.

preprint2008arXiv

Intriguing sets of partial quadrangles

The point-line geometry known as a \textit{partial quadrangle} (introduced by Cameron in 1975) has the property that for every point/line non-incident pair $(P,\ell)$ , there is at most one line through $P$ concurrent with $\ell$ . So in particular, the well-studied objects known as \textit{generalised quadrangles} are each partial quadrangles. An \textit{intriguing set} of a generalised quadrangle is a set of points which induces an equitable partition of size two of the underlying strongly regular graph. We extend the theory of intriguing sets of generalised quadrangles by Bamberg, Law and Penttila to partial quadrangles, which surprisingly gives insight into the structure of hemisystems and other intriguing sets of generalised quadrangles.

preprint2007arXiv

Elation generalised quadrangles of order (s,p), where p is prime

We show that an elation generalised quadrangle which has p+1 lines on each point, for some prime p, is classical or arises from a flock of a quadratic cone (i.e., is a flock quadrangle).

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.

John Bamberg

Research overview

Is this your work?

35 publications

Spreading primitive groups of diagonal type do not exist

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

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

Simple Foundations for the Hyperbolic Plane

Synchronising primitive groups of diagonal type exist

Orbits of Sylow subgroups of finite permutation groups

A classification of finite locally 2-transitive generalized quadrangles

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

On ppp-groups with automorphism groups related to the Chevalley group G2(p)G_2(p)G2​(p)

The thickness of Schubert cells as incidence structures

A New Infinite Family of Hemisystems of the Hermitian Surface

A relative mmm-cover of a Hermitian surface is a relative hemisystem

FinInG: a package for Finite Incidence Geometry

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

The circular altitude of a graph

A classification of finite antiflag-transitive generalized quadrangles

A note on relative hemisystems of Hermitian generalised quadrangles

Weighted Intriguing Sets in Finite Polar Spaces

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

AS-configurations and skew-translation generalised quadrangles

Generalised quadrangles and transitive pseudo-hyperovals

Locally triangular graphs and rectagraphs with symmetry

On m-ovoids of dual twisted triality hexagons

Point-primitive generalised hexagons and octagons

Triple factorisations of the general linear group and their associated geometries

Bounds on the diameter of Cayley graphs of the symmetric group

Low dimensional models of the finite split Cayley hexagon

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

Hemisystems of small flock generalized quadrangles

The classification of almost simple 32\tfrac{3}{2}23​-transitive groups

Point regular groups of automorphisms of generalised quadrangles

A geometric construction of Mathon's perp-system from four lines of PG(5,3)

Every flock generalised quadrangle has a hemisystem

Intriguing sets of partial quadrangles

Elation generalised quadrangles of order (s,p), where p is prime

See the researcher in context

Building this map preview

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

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

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