Source author record

John Sheekey

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.AG math.RA Information Theory math.IT

Catalog footprint

Research overview

14works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Rank-Metric Codes, Semifields, and the Average Critical Problem

We investigate two fundamental questions intersecting coding theory and combinatorial geometry, with emphasis on their connections. These are the problem of computing the asymptotic density of MRD codes in the rank metric, and the Critical Problem for combinatorial geometries by Crapo and Rota. Using methods from semifield theory, we derive two lower bounds for the density function of full-rank, square MRD codes. The first bound is sharp when the matrix size is a prime number and the underlying field is sufficiently large, while the second bound applies to the binary field. We then take a new look at the Critical Problem for combinatorial geometries, approaching it from a qualitative, often asymptotic, viewpoint. We illustrate the connection between this very classical problem and that of computing the asymptotic density of MRD codes. Finally, we study the asymptotic density of some special families of codes in the rank metric, including the symmetric, alternating and Hermitian ones. In particular, we show that the optimal codes in these three contexts are sparse.

preprint2022arXiv

Symplectic 4-dimensional semifields of order $8^4$ and $9^4$

We classify symplectic 4-dimensional semifields over $\mathbb{F}_q$ , for $q\leq 9$ , thereby extending (and confirming) the previously obtained classifications for $q\leq 7$ . The classification is obtained by classifying all symplectic semifield subspaces in $\mathrm{PG}(9,q)$ for $q\leq 9$ up to $K$ -equivalence, where $K\leq \mathrm{PGL}(10,q)$ is the lift of $\mathrm{PGL}(4,q)$ under the Veronese embedding of $\mathrm{PG}(3,q)$ in $\mathrm{PG}(9,q)$ of degree two. Our results imply the non-existence of non-associative symplectic 4-dimensional semifields for $q$ even, $q\leq 8$ . For $q$ odd, and $q\leq 9$ , our results imply that the isotopism class of a symplectic non-associative 4-dimensional semifield over $\mathbb{F}_q$ is contained in the Knuth orbit of a Dickson commutative semifield.

preprint2021arXiv

The Tensor Rank of Semifields of Order 16 and 81

We determine the tensor rank of all semifields of order 16 over $\mathbb{F}_2$ and of all semifields of order 81 over $\mathbb{F}_3$ . Our results imply that some semifields of order 81 have lower multiplicative complexity than the finite field $\mathbb{F}_{81}$ over $\mathbb{F}_3$ . We prove new results on the correspondence between linear codes and tensor rank, including a generalisation of a theorem of Brockett and Dobkin to arbitrary tensors, which makes the problem computationally feasible.

preprint2020arXiv

Nets of conics of rank one in PG(2,q), q odd

We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent problem of classifying the orbits of planes in $\text{PG}(5,q)$ which meet the quadric Veronesean in at least one point, under the action of $\text{PGL}(3,q) \leqslant \text{PGL}(6,q)$ (for $q$ odd). Our results complete a partial classification of nets of conics of rank one obtained by A. H. Wilson in the article "The canonical types of nets of modular conics", American Journal of Mathematics 36 (1914) 187-210.

preprint2016arXiv

A new family of linear maximum rank distance codes

In this article we construct a new family of linear maximum rank distance (MRD) codes for all parameters. This family contains the only known family for general parameters, the Gabidulin codes, and contains codes inequivalent to the Gabidulin codes. This family also contains the well-known family of semifields known as Generalised Twisted Fields. We also calculate the automorphism group of these codes, including the automorphism group of the Gabidulin codes.

preprint2016arXiv

Classification of subspaces in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3$ and orbits in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3\otimes {\mathbb{F}}^r$

This paper contains the classification of the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes{\mathbb{F}}^r$ , $r\geq 1$ , under the action of two natural groups, for all finite; real; and algebraically closed fields. For each of the orbits we determine: a canonical form; the tensor rank; the rank distribution of the contraction spaces; and a geometric description. The proof is based on the study of the contraction spaces in ${\mathrm{PG}}({\mathbb{F}}^2\otimes{\mathbb{F}}^3)$ and is geometric in nature. Although the main focus is on finite fields, the techniques are mostly field independent.

preprint2016arXiv

The BEL-rank of finite semifields

In this article we introduce the notion of the BEL-rank of a finite semifield, prove that it is an invariant for the isotopism classes, and give geometric and algebraic interpretations of this new invariant. Moreover, we describe an efficient method for calculating the BEL-rank, and present computational results for all known small semifields.

preprint2015arXiv

Canonical forms of $2\times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields

We classify the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes {\mathbb{F}}^3$ for all finite; real; and algebraically closed fields under the action of two natural groups. The result can also be interpreted as the classification of the orbits in the $17$ -dimensional projective space of the Segre variety product of a projective line and two projective planes. This extends the classification of the orbits in the $7$ -dimensional projective space of the Segre variety product of three projective lines [M. Lavrauw and J. Sheekey: Orbits of the stabiliser group of the Segre variety product of three projective lines, Finite Fields Appl. (2014)]. The proof is geometric in nature, relies on properties of the Segre embedding, and uses the terminology of projective spaces.

preprint2015arXiv

Dimensional dual hyperovals in classical polar spaces

In this paper we show that n-dimensional dual hyperovals cannot exist in all but one classical polar space of rank n if n is even. This resolves a question posed by Yoshiara.

preprint2014arXiv

On BEL-configurations and finite semifields

The BEL-construction for finite semifields was introduced in \cite{BEL2007}; a geometric method for constructing semifield spreads, using so-called BEL-configurations in $V(rn,q)$ . In this paper we investigate this construction in greater detail, and determine an explicit multiplication for the semifield associated with a BEL-configuration in $V(rn,q)$ , extending the results from \cite{BEL2007}, where this was obtained only for $r=n$ . Given a BEL-configuration with associated semifields spread $\mathcal{S}$ , we also show how to find a BEL-configuration corresponding to the dual spread $\mathcal{S}^d$ . Furthermore, we study the effect of polarities in $V(rn,q)$ on BEL-configurations, leading to a characterisation of BEL-configurations associated to symplectic semifields. We give precise conditions for when two BEL-configurations in $V(n^2,q)$ define isotopic semifields. We define operations which preserve the BEL property, and show how non-isotopic semifields can be equivalent under this operation. We also define an extension of the ```switching'' operation on BEL-configurations in $V(2n,q)$ introduced in \cite{BEL2007}, which, together with the transpose operation, leads to a group of order $8$ acting on BEL-configurations.

preprint2014arXiv

Subgeometries in the André/Bruck-Bose representation

We consider the André/Bruck-Bose representation of the projective plane $\mathrm{PG}(2,q^n)$ in $\mathrm{PG}(2n,q)$ . We investigate the representation of $\mathbb{F}_{q^k}$ -sublines and $\mathbb{F}_{q^k}$ -subplanes of $\mathrm{PG}(2,q^n)$ , extending the results for $n=3$ of \cite{BarJack2} and correcting the general result of \cite{BarJack1}. We characterise the representation of $\mathbb{F}_{q^k}$ -sublines tangent to or contained in the line at infinity, $\mathbb{F}_q$ -sublines external to the line at infinity, $\mathbb{F}_q$ -subplanes tangent to and $\mathbb{F}_{q^k}$ -subplanes secant to the line at infinity.

preprint2013arXiv

Constant rank-distance sets of hermitian matrices and partial spreads in hermitian polar spaces

In this paper we investigate partial spreads of $H(2n-1,q^2)$ through the related notion of partial spread sets of hermitian matrices, and the more general notion of constant rank-distance sets. We prove a tight upper bound on the maximum size of a linear constant rank-distance set of hermitian matrices over finite fields, and as a consequence prove the maximality of extensions of symplectic semifield spreads as partial spreads of $H(2n-1,q^2)$ . We prove upper bounds for constant rank-distance sets for even rank, construct large examples of these, and construct maximal partial spreads of $H(3,q^2)$ for a range of sizes.

preprint2012arXiv

Orbits of the stabiliser group of the Segre variety product of three projective lines

We prove that the stabiliser group G of the Segre variety product in PG(V) of three projective lines over a field F has four orbits on singular points of PG(V), and that G has five orbits on points of PG(V) if F is finite.

preprint2012arXiv

Semifields from skew polynomial rings

Skew polynomial rings were used to construct finite semifields by Petit in 1966, following from a construction of Ore and Jacobson of associative division algebras. In 1989 Jha and Johnson constructed the so-called cyclic semifields, obtained using irreducible semilinear transformations. In this work we show that these two constructions in fact lead to isotopic semifields, show how the skew polynomial construction can be used to calculate the nuclei more easily, and provide an upper bound for the number of isotopism classes, improving the bounds obtained by Kantor and Liebler in 2008 and implicitly in recent work by Dempwolff.

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 Sheekey

Research overview

Is this your work?

14 publications

Rank-Metric Codes, Semifields, and the Average Critical Problem

Symplectic 4-dimensional semifields of order $8^4$ and $9^4$

The Tensor Rank of Semifields of Order 16 and 81

Nets of conics of rank one in PG(2,q), q odd

A new family of linear maximum rank distance codes

Classification of subspaces in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3$ and orbits in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3\otimes {\mathbb{F}}^r$

The BEL-rank of finite semifields

Canonical forms of $2\times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields

Dimensional dual hyperovals in classical polar spaces

On BEL-configurations and finite semifields

Subgeometries in the André/Bruck-Bose representation

Constant rank-distance sets of hermitian matrices and partial spreads in hermitian polar spaces

Orbits of the stabiliser group of the Segre variety product of three projective lines

Semifields from skew polynomial rings

See the researcher in context

Building this map preview

John Sheekey

Research overview

Is this your work?

14 publications

Rank-Metric Codes, Semifields, and the Average Critical Problem

Symplectic 4-dimensional semifields of order 848^484 and 949^494

The Tensor Rank of Semifields of Order 16 and 81

Nets of conics of rank one in PG(2,q), q odd

A new family of linear maximum rank distance codes

Classification of subspaces in F2⊗F3{\mathbb{F}}^2\otimes {\mathbb{F}}^3F2⊗F3 and orbits in F2⊗F3⊗Fr{\mathbb{F}}^2\otimes {\mathbb{F}}^3\otimes {\mathbb{F}}^rF2⊗F3⊗Fr

The BEL-rank of finite semifields

Canonical forms of 2×3×32\times 3 \times 32×3×3 tensors over the real field, algebraically closed fields, and finite fields

Dimensional dual hyperovals in classical polar spaces

On BEL-configurations and finite semifields

Subgeometries in the André/Bruck-Bose representation

Constant rank-distance sets of hermitian matrices and partial spreads in hermitian polar spaces

Orbits of the stabiliser group of the Segre variety product of three projective lines

Semifields from skew polynomial rings

See the researcher in context

Building this map preview

Symplectic 4-dimensional semifields of order $8^4$ and $9^4$

Classification of subspaces in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3$ and orbits in ${\mathbb{F}}^2\otimes {\mathbb{F}}^3\otimes {\mathbb{F}}^r$

Canonical forms of $2\times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields