Source author record

Daniel R. Hawtin

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

ResearcherUnclaimed source record

math.CO Information Theory math.GR math.IT

Catalog footprint

Research overview

7works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group

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.

preprint2022arXiv

The Non-Existence of Block-Transitive Subspace Designs

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

preprint2020arXiv

$s$ -Elusive Codes in Hamming Graphs

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.

preprint2020arXiv

On the 486-vertex distance-regular graphs of Koolen--Riebeek and Soicher

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.

preprint2016arXiv

Alphabet-Almost-Simple 2-Neighbour Transitive Codes

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

preprint2014arXiv

Elusive Codes in Hamming Graphs

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.

preprint2014arXiv

Entry-Faithful $2$ -Neighbour Transitive Codes

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.

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.

Daniel R. Hawtin

Research overview

Is this your work?

7 publications

On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group

The Non-Existence of Block-Transitive Subspace Designs

$s$ -Elusive Codes in Hamming Graphs

On the 486-vertex distance-regular graphs of Koolen--Riebeek and Soicher

Alphabet-Almost-Simple 2-Neighbour Transitive Codes

Elusive Codes in Hamming Graphs

Entry-Faithful $2$ -Neighbour Transitive Codes

See the researcher in context

Building this map preview

Daniel R. Hawtin

Research overview

Is this your work?

7 publications

On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group

The Non-Existence of Block-Transitive Subspace Designs

sss-Elusive Codes in Hamming Graphs

On the 486-vertex distance-regular graphs of Koolen--Riebeek and Soicher

Alphabet-Almost-Simple 2-Neighbour Transitive Codes

Elusive Codes in Hamming Graphs

Entry-Faithful 222-Neighbour Transitive Codes

See the researcher in context

Building this map preview

$s$ -Elusive Codes in Hamming Graphs

Entry-Faithful $2$ -Neighbour Transitive Codes