-
Transitive $(q-1)$-fold packings of $\rm{PG}_n(q)$
Authors:
Daniel R. Hawtin
Abstract:
A $t$-fold packing of a projective space $\rm{PG}_n(q)$ is a collection $\mathcal{P}$ of line-spreads such that each line of $\rm{PG}_n(q)$ occurs in precisely $t$ spreads in $\mathcal{P}$. A $t$-fold packing $\mathcal{P}$ is transitive if a subgroup of $\rm{PΓL}_{n+1}(q)$ preserves and acts transitively on $\mathcal{P}$. We give a construction for a transitive $(q-1)$-fold packing of…
▽ More
A $t$-fold packing of a projective space $\rm{PG}_n(q)$ is a collection $\mathcal{P}$ of line-spreads such that each line of $\rm{PG}_n(q)$ occurs in precisely $t$ spreads in $\mathcal{P}$. A $t$-fold packing $\mathcal{P}$ is transitive if a subgroup of $\rm{PΓL}_{n+1}(q)$ preserves and acts transitively on $\mathcal{P}$. We give a construction for a transitive $(q-1)$-fold packing of $\rm{PG}_n(q)$, where $q=2^k$, for any odd positive integers $n$ and $k$, such that $n\geq 3$. This generalises a construction of Baker from 1976 for the case $q=2$.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
An explicit construction for large sets of infinite dimensional $q$-Steiner systems
Authors:
Daniel R. Hawtin
Abstract:
Let $V$ be a vector space over the finite field ${\mathbb F}_q$. A $q$-Steiner system, or an $S(t,k,V)_q$, is a collection ${\mathcal B}$ of $k$-dimensional subspaces of $V$ such that every $t$-dimensional subspace of $V$ is contained in a unique element of ${\mathcal B}$. A large set of $q$-Steiner systems, or an $LS(t,k,V)_q$, is a partition of the $k$-dimensional subspaces of $V$ into…
▽ More
Let $V$ be a vector space over the finite field ${\mathbb F}_q$. A $q$-Steiner system, or an $S(t,k,V)_q$, is a collection ${\mathcal B}$ of $k$-dimensional subspaces of $V$ such that every $t$-dimensional subspace of $V$ is contained in a unique element of ${\mathcal B}$. A large set of $q$-Steiner systems, or an $LS(t,k,V)_q$, is a partition of the $k$-dimensional subspaces of $V$ into $S(t,k,V)_q$ systems. In the case that $V$ has infinite dimension, the existence of an $LS(t,k,V)_q$ for all finite $t,k$ with $1<t<k$ was shown by Cameron in 1995. This paper provides an explicit construction of an $LS(t,t+1,V)_q$ for all prime powers $q$, all positive integers $t$, and where $V$ has countably infinite dimension.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Neighbour-transitive codes in Kneser graphs
Authors:
Dean Crnković,
Daniel R. Hawtin,
Nina Mostarac,
Andrea Švob
Abstract:
A code $C$ is a subset of the vertex set of a graph and $C$ is $s$-neighbour-transitive if its automorphism group ${\rm Aut}(C)$ acts transitively on each of the first $s+1$ parts $C_0,C_1,\ldots,C_s$ of the distance partition $\{C=C_0,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in…
▽ More
A code $C$ is a subset of the vertex set of a graph and $C$ is $s$-neighbour-transitive if its automorphism group ${\rm Aut}(C)$ acts transitively on each of the first $s+1$ parts $C_0,C_1,\ldots,C_s$ of the distance partition $\{C=C_0,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. While codes have traditionally been studied in the Hamming and Johnson graphs, we consider here codes in the Kneser graphs. Let $Ω$ be the underlying set on which the Kneser graph $K(n,k)$ is defined. Our first main result says that if $C$ is a $2$-neighbour-transitive code in $K(n,k)$ such that $C$ has minimum distance at least $5$, then $n=2k+1$ (i.e., $C$ is a code in an odd graph) and $C$ lies in a particular infinite family or is one particular sporadic example. We then prove several results when $C$ is a neighbour-transitive code in the Kneser graph $K(n,k)$. First, if ${\rm Aut}(C)$ acts intransitively on $Ω$ we characterise $C$ in terms of certain parameters. We then assume that ${\rm Aut}(C)$ acts transitively on $Ω$, first proving that if $C$ has minimum distance at least $3$ then either $K(n,k)$ is an odd graph or ${\rm Aut}(C)$ has a $2$-homogeneous (and hence primitive) action on $Ω$. We then assume that $C$ is a code in an odd graph and ${\rm Aut}(C)$ acts imprimitively on $Ω$ and characterise $C$ in terms of certain parameters. We give examples in each of these cases and pose several open problems.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Using mixed dihedral groups to construct normal Cayley graphs, and a new bipartite $2$-arc-transitive graph which is not a Cayley graph
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger,
**-Xin Zhou
Abstract:
A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in…
▽ More
A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in $\Aut(H)$ of $X\cup Y$. We use this criterion to resolve a questions of Li, Ma and Pan from 2009, by constructing a $2$-arc transitive normal cover of order $2^{53}$ of the complete bipartite graph $\K_{16,16}$ and prove that it is \emph{not} a Cayley graph.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
A family of $2$-groups and an associated family of semisymmetric, locally $2$-arc-transitive graphs
Authors:
Daniel R. Hawtin,
**-Xin Zhou,
Cheryl E. Praeger
Abstract:
A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley…
▽ More
A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley graph of $H$. We prove that $Σ$ is semisymmetric, that is, ${\rm Aut}(Σ)$ acts transitively on the edges, but intransitively on the vertices, of $Σ$. These graphs are the first known semisymmetric graphs constructed from groups that are not $2$-generated (indeed $H$ requires $2n$ generators). Additionally, we prove that $Σ$ is locally $2$-arc-transitive, and is a normal cover of the `basic' locally $2$-arc-transitive graph ${\rm K}_{2^n,2^n}$. As such, the construction of this family of graphs contributes to the investigation of normal covers of prime-power order of basic locally $2$-arc-transitive graphs -- the `local' analogue of a question posed by C.~H.~Li.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
A characterisation of edge-affine $2$-arc-transitive covers of $\K_{2^n,2^n}$
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger,
**-Xin Zhou
Abstract:
We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of…
▽ More
We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing a particular \emph{edge-affine} action on $\K_{2^n,2^n}$. Conversely, we prove that if $Σ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing an \emph{edge-affine} action on $\K_{2^n,2^n}$, then the line graph $Γ$ of $Σ$ is a Cayley graph of an $n$-dimensional mixed dihedral group. Furthermore, we give an explicit construction of a family of $n$-dimensional mixed dihedral groups. This family addresses a problem proposed by Li concerning normal covers of prime power order of the `basic' $2$-arc-transitive graphs. In particular, we construct, for each $n\geq 2$, a $2$-arc-transitive normal cover of $2$-power order of the `basic' graph $\K_{2^n,2^n}$.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Neighbour-Transitive Codes and Partial Spreads in Generalised Quadrangles
Authors:
Dean Crnković,
Daniel R. Hawtin,
Andrea Ŝvob
Abstract:
A code $C$ in a generalised quadrangle ${\mathcal Q}$ is defined to be a subset of the vertex set of the point-line incidence graph $\varGamma$ of ${\mathcal Q}$. The minimum distance $δ$ of $C$ is the smallest distance between a pair of distinct elements of $C$. The graph metric gives rise to the distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the maximum distance between any vertex of…
▽ More
A code $C$ in a generalised quadrangle ${\mathcal Q}$ is defined to be a subset of the vertex set of the point-line incidence graph $\varGamma$ of ${\mathcal Q}$. The minimum distance $δ$ of $C$ is the smallest distance between a pair of distinct elements of $C$. The graph metric gives rise to the distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the maximum distance between any vertex of $\varGamma$ and its nearest element of $C$. Since the diameter of $\varGamma$ is $4$, both $ρ$ and $δ$ are at most $4$. If $δ=4$ then $C$ is a partial ovoid or partial spread of ${\mathcal Q}$, and if, additionally, $ρ=2$ then $C$ is an ovoid or a spread. A code $C$ in ${\mathcal Q}$ is neighbour-transitive if its automorphism group acts transitively on each of the sets $C$ and $C_1$. Our main results i) classify all neighbour-transitive codes admitting an insoluble group of automorphisms in thick classical generalised quadrangles that correspond to ovoids or spreads, and ii) give two infinite families and six sporadic examples of neighbour-transitive codes with minimum distance $δ=4$ in the classical generalised quadrangle ${\mathsf W}_3(q)$ that are not ovoids or spreads.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
The Non-Existence of Block-Transitive Subspace Designs
Authors:
Daniel R. Hawtin,
Jesse Lansdown
Abstract:
Let $q$ be a prime power and $V\cong{\mathbb F}_q^n$. A $t$-$(n,k,λ)_q$ design, or simply a subspace design, is a pair ${\mathcal D}=(V,{\mathcal B})$, where ${\mathcal B}$ is a subset of the set of all $k$-dimensional subspaces of $V$, with the property that each $t$-dimensional subspace of $V$ is contained in precisely $λ$ elements of ${\mathcal B}$. Subspace designs are the $q$-analogues of bal…
▽ More
Let $q$ be a prime power and $V\cong{\mathbb F}_q^n$. A $t$-$(n,k,λ)_q$ design, or simply a subspace design, is a pair ${\mathcal D}=(V,{\mathcal B})$, where ${\mathcal B}$ is a subset of the set of all $k$-dimensional subspaces of $V$, with the property that each $t$-dimensional subspace of $V$ is contained in precisely $λ$ elements of ${\mathcal B}$. Subspace designs are the $q$-analogues of balanced incomplete block designs. Such a design is called block-transitive if its automorphism group ${\rm Aut}({\mathcal D})$ acts transitively on ${\mathcal B}$. It is shown here that if $t\geq 2$ and ${\mathcal D}$ is a block-transitive $t$-$(n,k,λ)_q$ design then ${\mathcal D}$ is trivial, that is, ${\mathcal B}$ is the set of all $k$-dimensional subspaces of $V$.
△ Less
Submitted 11 January, 2022; v1 submitted 9 February, 2021;
originally announced February 2021.
-
On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group
Authors:
Robert F. Bailey,
Daniel R. Hawtin
Abstract:
A code $C$ in the Hamming metric, that is, is a subset of the vertex set $V\varGamma$ of the Hamming graph $\varGamma=H(m,q)$, gives rise to a natural distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. Such a code $C$ is called completely transitive if the automorphism group $\rm{Aut}(C)$ acts transitively on each of the sets $C$, $C_1$, \ldots, $C_ρ$. A code $C$ i…
▽ More
A code $C$ in the Hamming metric, that is, is a subset of the vertex set $V\varGamma$ of the Hamming graph $\varGamma=H(m,q)$, gives rise to a natural distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. Such a code $C$ is called completely transitive if the automorphism group $\rm{Aut}(C)$ acts transitively on each of the sets $C$, $C_1$, \ldots, $C_ρ$. A code $C$ is called $2$-neighbour-transitive if $ρ\geq 2$ and $\rm{Aut}(C)$ acts transitively on each of $C$, $C_1$ and $C_2$.
Let $C$ be a completely transitive code in a binary ($q=2$) Hamming graph having full automorphism group $\rm{Aut}(C)$ and minimum distance $δ\geq 5$. Then it is known that $\rm{Aut}(C)$ induces a $2$-homogeneous action on the coordinates of the vertices of the Hamming graph. The main result of this paper classifies those $C$ for which this induced $2$-homogeneous action is not an affine, linear or symplectic group. We find that there are $13$ such codes, $4$ of which are non-linear codes. Though most of the codes are well-known, we obtain several new results. First, a new non-linear completely transitive code is constructed, as well as a related non-linear code that is $2$-neighbour-transitive but not completely transitive. Moreover, new proofs of the complete transitivity of several codes are given. Additionally, we answer the question of the existence of distance-regular graphs related to the completely transitive codes appearing in our main result.
△ Less
Submitted 31 July, 2022; v1 submitted 15 December, 2020;
originally announced December 2020.
-
On the 486-vertex distance-regular graphs of Koolen--Riebeek and Soicher
Authors:
Robert F. Bailey,
Daniel R. Hawtin
Abstract:
This paper considers three imprimitive distance-regular graphs with 486 vertices and diameter 4: the Koolen--Riebeek graph (which is bipartite), the Soicher graph (which is antipodal), and the incidence graph of a symmetric transversal design obtained from the affine geometry $\mathrm{AG}(5,3)$ (which is both). It is shown that each of these is preserved by the same rank-9 action of the group…
▽ More
This paper considers three imprimitive distance-regular graphs with 486 vertices and diameter 4: the Koolen--Riebeek graph (which is bipartite), the Soicher graph (which is antipodal), and the incidence graph of a symmetric transversal design obtained from the affine geometry $\mathrm{AG}(5,3)$ (which is both). It is shown that each of these is preserved by the same rank-9 action of the group $3^5:(2\times M_{10})$, and the connection is explained using the ternary Golay code.
△ Less
Submitted 12 July, 2020; v1 submitted 19 August, 2019;
originally announced August 2019.
-
Minimal Binary $2$-Neighbour-Transitive Codes
Authors:
Daniel R. Hawtin,
Cheryl E. Praeger
Abstract:
The main result here is a characterisation of binary $2$-neighbour-transitive codes with minimum distance at least $5$ via their minimal subcodes, which are found to be generated by certain designs. The motivation for studying this class of codes comes primarily from their relationship to the class of completely regular codes. The results contained here yield many more examples of $2$-neighbour-tr…
▽ More
The main result here is a characterisation of binary $2$-neighbour-transitive codes with minimum distance at least $5$ via their minimal subcodes, which are found to be generated by certain designs. The motivation for studying this class of codes comes primarily from their relationship to the class of completely regular codes. The results contained here yield many more examples of $2$-neighbour-transitive codes than previous classification results of families of $2$-neighbour-transitive codes. In the process, new lower bounds on the minimum distance of particular sub-families are produced. Several results on the structure of $2$-neighbour-transitive codes with arbitrary alphabet size are also proved. The proofs of the main results apply the classification of minimal and pre-minimal submodules of the permutation modules over $\mathbb{F}_2$ for finite $2$-transitive permutation groups.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
$2$-Neighbour-Transitive Codes with Small Blocks of Imprimitivity
Authors:
Neil I. Gillespie,
Daniel R. Hawtin,
Cheryl E. Praeger
Abstract:
A code $C$ in the Hamming graph $\varGamma=H(m,q)$ is $2\it{\text{-neighbour-transitive}}$ if ${\rm Aut}(C)$ acts transitively on each of $C=C_0$, $C_1$ and $C_2$, the first three parts of the distance partition of $V\varGamma$ with respect to $C$. Previous classifications of families of $2$-neighbour-transitive codes leave only those with an affine action on the alphabet to be investigated. Here,…
▽ More
A code $C$ in the Hamming graph $\varGamma=H(m,q)$ is $2\it{\text{-neighbour-transitive}}$ if ${\rm Aut}(C)$ acts transitively on each of $C=C_0$, $C_1$ and $C_2$, the first three parts of the distance partition of $V\varGamma$ with respect to $C$. Previous classifications of families of $2$-neighbour-transitive codes leave only those with an affine action on the alphabet to be investigated. Here, $2$-neighbour-transitive codes with minimum distance at least $5$ and that contain "small" subcodes as blocks of imprimitivity are classified. When considering codes with minimum distance at least $5$, completely transitive codes are a proper subclass of $2$-neighbour-transitive codes. Thus, as a corollary of the main result, completely transitive codes satisfying the above conditions are also classified.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
Alphabet-Almost-Simple 2-Neighbour Transitive Codes
Authors:
Neil I. Gillespie,
Daniel R. Hawtin
Abstract:
Let $X$ be a subgroup of the full automorphism group of the Hamming graph $H(m,q)$, and $C$ a subset of the vertices of the Hamming graph. We say that $C$ is an \emph{$(X,2)$-neighbour transitive code} if $X$ is transitive on $C$, as well as $C_1$ and $C_2$, the sets of vertices which are distance $1$ and $2$ from the code. This paper begins the classification of $(X,2)$-neighbour transitive codes…
▽ More
Let $X$ be a subgroup of the full automorphism group of the Hamming graph $H(m,q)$, and $C$ a subset of the vertices of the Hamming graph. We say that $C$ is an \emph{$(X,2)$-neighbour transitive code} if $X$ is transitive on $C$, as well as $C_1$ and $C_2$, the sets of vertices which are distance $1$ and $2$ from the code. This paper begins the classification of $(X,2)$-neighbour transitive codes where the action of $X$ on the entries of the Hamming graph has a non-trivial kernel. There exists a subgroup of $X$ with a $2$-transitive action on the alphabet; this action is thus almost-simple or affine. If this $2$-transitive action is almost simple we say $C$ is \emph{alphabet-almost-simple}. The main result in this paper states that the only alphabet-almost-simple $(X,2)$-neighbour transitive code with minimum distance $δ\geq 3$ is the repetition code in $H(3,q)$, where $q\geq 5$.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
Entry-Faithful $2$-Neighbour Transitive Codes
Authors:
Neil I. Gillespie,
Michael Giudici,
Daniel R. Hawtin,
Cheryl E. Praeger
Abstract:
We consider a code to be a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of vertices, not in the code, at distance $s$ from some codeword, but not distance less than $s$ from any codeword. A $2$-neighbour transitive code is a code which admits a group $X$ of automorphisms which is transitive on the $s$-neighbours, for $s=1,2$, and transitive on the cod…
▽ More
We consider a code to be a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of vertices, not in the code, at distance $s$ from some codeword, but not distance less than $s$ from any codeword. A $2$-neighbour transitive code is a code which admits a group $X$ of automorphisms which is transitive on the $s$-neighbours, for $s=1,2$, and transitive on the code itself. We give a classification of $2$-neighbour transitive codes, with minimum distance $δ\geq 5$, for which $X$ acts faithfully on the set of entries of the Hamming graph.
△ Less
Submitted 23 December, 2014;
originally announced December 2014.
-
$s$-Elusive Codes in Hamming Graphs
Authors:
Daniel R. Hawtin
Abstract:
A code is a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of all vertices at Hamming distance $s$ from their nearest codeword. A code $C$ is $s$-elusive if there exists a distinct code $C'$ that is equivalent to $C$ under the full automorphism group of the Hamming graph such that $C$ and $C'$ have the same set of $s$-neighbours.
It is proved here tha…
▽ More
A code is a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of all vertices at Hamming distance $s$ from their nearest codeword. A code $C$ is $s$-elusive if there exists a distinct code $C'$ that is equivalent to $C$ under the full automorphism group of the Hamming graph such that $C$ and $C'$ have the same set of $s$-neighbours.
It is proved here that the minimum distance of an $s$-elusive code is at most $2s+2$, and that an $s$-elusive code with minimum distance at least $2s+1$ gives rise to a $q$-ary $t$-design with certain parameters. This leads to the construction of: an infinite family of $1$-elusive and completely transitive codes, an infinite family of $2$-elusive codes, and a single example of a $3$-elusive code. Answers to several open questions on elusive codes are also provided.
△ Less
Submitted 7 January, 2020; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Elusive Codes in Hamming Graphs
Authors:
Daniel R. Hawtin,
Neil I. Gillespie,
Cheryl E. Praeger
Abstract:
We consider a code to be a subset of the vertex set of a Hamming graph. We examine elusive pairs, code-group pairs where the code is not determined by knowledge of its set of neighbours. We construct a new infinite family of elusive pairs, where the group in question acts transitively on the set of neighbours of the code. In our examples, we find that the alphabet size always divides the length of…
▽ More
We consider a code to be a subset of the vertex set of a Hamming graph. We examine elusive pairs, code-group pairs where the code is not determined by knowledge of its set of neighbours. We construct a new infinite family of elusive pairs, where the group in question acts transitively on the set of neighbours of the code. In our examples, we find that the alphabet size always divides the length of the code, and prove that there is no elusive pair for the smallest set of parameters for which this is not the case. We also pose several questions regarding elusive pairs.
△ Less
Submitted 8 May, 2014; v1 submitted 22 August, 2012;
originally announced August 2012.