arXiv++ Combinatorics

This paper completes the classification of nets of conics containing at least one double line in $\mathrm{PG}(2,q)$ for $q$ even. This classification contributes to the classification of partially symmetric tensors in $\mathbb{F}_q^3 \otimes S^2 \mathbb{F}_q^3$, $q$ even. The proof is obtained using geometric and combinatorial properties of the Veronese surface in 5-dimensional projective space over the finite field of even order. In particular, the orbits of planes in $\mathrm{PG}(5,q)$ that intersect the nucleus plane of the Veronese surface in at least one point are classified. As a result, it is shown that there are exactly $18$ equivalence classes of nets in $\mathrm{PG}(2,q)$, $q$ even, containing at least one double line, $9$ of which have an empty base.

An $\mathbb{F}_q$-linear code of minimum distance $d$ is called complete if it is not contained in a larger $\mathbb{F}_q$-linear code of minimum distance $d$. In this paper, we classify $\mathbb{F}_q$-linear complete symmetric rank-distance (CSRD) codes in $M_{3\times 3}(\mathbb{F}_q)$ up to equivalence. This includes the classification of $\mathbb{F}_q$-linear maximum symmetric rank-distance (MSRD) codes in $M_{3\times 3}(\mathbb{F}_q)$. Our approach is mainly geometric, and our results contribute towards the classification of nets of conics in $\mathrm{PG}(2, q)$.

In this article we prove Griesmer type bounds for additive codes over finite fields. These new bounds give upper bounds on the length of maximum distance separable (MDS) codes, codes which attain the Singleton bound. We will also consider codes to be MDS if they attain the fractional Singleton bound, due to Huffman. We prove that this bound in the fractional case can be obtained by codes whose length surpasses the length of the longest known codes in the integral case. For small parameters, we provide exhaustive computational results for additive MDS codes, by classifying the corresponding (fractional) subspace-arcs. This includes a complete classification of fractional additive MDS codes of size 243 over the field of order 9.

This paper is a contribution towards a solution for the longstanding open problem of classifying linear systems of conics over finite fields initiated by L. E. Dickson in 1908, through his study of the projective equivalence classes of pencils of conics in $\mathrm{PG}(2,q)$, for $q$ odd. In this paper a set of complete invariants is determined for the projective equivalence classes of webs and of squabs of conics in $\mathrm{PG}(2,q)$, both for $q$ odd and even. Our approach is mainly geometric, and involves a comprehensive study of the geometric and combinatorial properties of the Veronese surface in $\mathrm{PG}(5,q)$. The main contribution is the determination of the distribution of the different types of hyperplanes incident with the $K$-orbit representatives of points and lines of $\mathrm{PG}(5,q)$, where $K\cong\mathrm{PGL}(3,q)$, is the subgroup of $\mathrm{PGL}(6,q)$ stabilizing the Veronese surface.

The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some fascinating properties. The study of its orbits leads to a new construction of quasi-Hermitian surfaces: sets of points with the same combinatorial and geometric properties as a non-degenerate Hermitian surface.

In this paper we contribute towards the classification of partially symmetric tensors in $\mathbb{F}_q^3\otimes S^2\mathbb{F}_q^3$, $q$ even, by classifying planes which intersect the Veronese surface $\mathcal{V}(\mathbb{F}_q)$ in at least one point, under the action of $K\leq \rm{PGL}(6,q)$, $K\cong \rm{PGL}(3,q)$, stabilising the Veronese surface. We also determine a complete set of geometric and combinatorial invariants for each of the orbits.

Waring's problem, of expressing an integer as the sum of powers, has a very long history going back to the 17th century, and the problem has been studied in many different contexts. In this paper we introduce the notion of a Waring subspace and a Waring identifiable subspace with respect to a projective algebraic variety $\mathcal X$. When $\mathcal X$ is the Veronese variety, these subspaces play a fundamental role in the theory of symmetric tensors and are related to the Waring decomposition and Waring identifiability of symmetric tensors (homogeneous polynomials). We give several constructions and classification results of Waring identifiable subspaces with respect to the Veronese variety in ${\mathbb{P}}^5({\mathbb{F}}_q)$ and in ${\mathbb{P}}^{9}({\mathbb{F}}_q)$, and include some applications to the theory of linear systems of quadrics in ${\mathbb{P}}^3({\mathbb{F}}_q)$.

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.

The subject of this paper is the study of small complete arcs in $\mathrm{PG}(2,q)$, for $q$ odd, with at least $(q+1)/2$ points on a conic. We give a short comprehensive proof of the completeness problem left open by Segre in his seminal work [20]. This gives an alternative to Pellegrino's long proof which was obtained in a series of papers in the 1980s. As a corollary of our analysis, we obtain a counterexample to a misconception in the literature [6].

We classify the orbits of solids in the projective space $\text{PG}(5,q)$, $q$ even, under the setwise stabiliser $K \cong \text{PGL}(3,q)$ of the Veronese surface. For each orbit, we provide an explicit representative $S$ and determine two combinatorial invariants: the point-orbit distribution and the hyperplane-orbit distribution. These invariants characterise the orbits except in two specific cases (in which the orbits are distinguished by their line-orbit distributions). In addition, we determine the stabiliser of $S$ in $K$, thereby obtaining the size of each orbit. As a consequence, we obtain a proof of the classification of pencils of conics in $\text{PG}(2,q)$, $q$ even, which to the best of our knowledge has been heretofore missing in the literature.

In this paper we study combinatorial invariants of the equivalence classes of pencils of cubics on $\mathrm{PG}(1,q)$, for $q$ odd and $q$ not divisible by 3. These equivalence classes are considered as orbits of lines in $\mathrm{PG}(3,q)$, under the action of the subgroup $G\cong \mathrm{PGL}(2,q)$ of $\mathrm{PGL}(4,q)$ which preserves the twisted cubic $\mathcal{C}$ in $\mathrm{PG}(3,q)$. In particular we determine the point orbit distributions and plane orbit distributions of all $G$-orbits of lines which are contained in an osculating plane of $\mathcal{C}$, have non-empty intersection with $\mathcal{C}$, or are imaginary chords or imaginary axes of $\mathcal{C}$.

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.

Let $C$ be a $(n,q^{2k},n-k+1)_{q^2}$ additive MDS code which is linear over ${\mathbb F}_q$. We prove that if $n \geqslant q+k$ and $k+1$ of the projections of $C$ are linear over ${\mathbb F}_{q^2}$ then $C$ is linear over ${\mathbb F}_{q^2}$. We use this geometrical theorem, other geometric arguments and some computations to classify all additive MDS codes over ${\mathbb F}_q$ for $q \in \{4,8,9\}$. We also classify the longest additive MDS codes over ${\mathbb F}_{16}$ which are linear over ${\mathbb F}_4$. In these cases, the classifications not only verify the MDS conjecture for additive codes, but also confirm there are no additive non-linear MDS codes which perform as well as their linear counterparts. These results imply that the quantum MDS conjecture holds for $q \in \{ 2,3\}$.

The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics over $\mathbb{C}$ and $\mathbb{R}$ in 1906--1907. The analogous problem for finite fields $\mathbb{F}_q$ with $q$ odd was solved by Dickson in 1908. In 1914, Wilson attempted to classify nets (two-dimensional systems) of conics over finite fields of odd characteristic, but his classification was incomplete and contained some inaccuracies. In a recent article, we completed Wilson's classification of nets of rank one, namely those containing a repeated line. The aim of the present paper is to introduce and calculate certain combinatorial invariants of these nets, which we expect will be of use in various applications. Our approach is geometric in the sense that we view a net of rank one as a plane in $\text{PG}(5,q)$ that meets the quadric Veronesean in at least one point; two such nets are then equivalent if and only if the corresponding planes belong to the same orbit under the induced action of $\text{PGL}(3,q)$ viewed as a subgroup of $\text{PGL}(6,q)$. We have previously determined the orbits of lines in $\text{PG}(5,q)$ under this action, which correspond to the aforementioned pencils of conics in $\text{PG}(2,q)$. The main contribution of this paper is to determine the line-orbit distribution of a plane $π$ corresponding to a net of rank one, namely, the number of lines in $π$ belonging to each line orbit. It turns out that this list of invariants completely determines the orbit of $π$, and we will use this fact in forthcoming work to develop an efficient algorithm for calculating the orbit of a given net of rank one. As a more immediate application, we also determine the stabilisers of nets of rank one in $\text{PGL}(3,q)$, and hence the orbit sizes.

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.

Locally Repairable Codes (LRC's) based on generalised quadrangles were introduced by Pamies-Juarez, Hollmann and Oggier in \cite{PaHoOg2013}, and bounds on the repairability and availability were derived. In this paper, we determine the values of the repairability and availability of such LRC's for a large portion of the currently known generalised quadrangles. In order to do so, we determine the minimum weight of the codes of translation generalised quadrangles and characterise the codewords of minimum weight.

This is an expository article detailing results concerning large arcs in finite projective spaces, which attempts to cover the most relevant results on arcs, simplifying and unifying proofs of known old and more recent theorems. The article is mostly self-contained and includes a proof of the most general form of Segre's lemma of tangents and a short proof of the MDS conjecture over prime fields based on this lemma.

To an arc $\mathcal{A}$ of $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ we associate a tensor in $\langle ν_{k,t}(\mathcal{A})\rangle^{\otimes k-1}$, where $ν_{k,t}$ denotes the Veronese map of degree $t$ defined on $\mathrm{PG}(k-1,q)$. As a corollary we prove that for each arc $\mathcal{A}$ in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$, which is not contained in a hypersurface of degree $t$, there exists a polynomial $F(Y_1,\ldots,Y_{k-1})$ (in $k(k-1)$ variables) where $Y_j=(X_{j1},\ldots,X_{jk})$, which is homogeneous of degree $t$ in each of the $k$-tuples of variables $Y_j$, which upon evaluation at any $(k-2)$-subset $S$ of the arc $\mathcal{A}$ gives a form of degree $t$ on $\mathrm{PG}(k-1,q)$ whose zero locus is the tangent hypersurface of $\mathcal{A}$ at $S$, i.e. the union of the tangent hyperplanes of $\mathcal{A}$ at $S$. This generalises the equivalent result for planar arcs ($k=3$), proven in \cite{BaLa2018}, to arcs in projective spaces of arbitrary dimension. A slightly weaker result is obtained for arcs in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ which are contained in a hypersurface of degree $t$. We also include a new proof of the Segre-Blokhuis-Bruen-Thas hypersurface associated to an arc of hyperplanes in $\mathrm{PG}(k-1,q)$.

Let $\mathbb{F}$ be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space $V=\mathbb{F}^3 \otimes \mathbb{F}^3$ of $3 \times 3$ matrices over $\mathbb{F}$, and let $G \leq \text{PGL}(V)$ be the setwise stabiliser of the corresponding Segre variety $S_{3,3}(\mathbb{F})$ in the projective space $\text{PG}(V)$. The $G$-orbits of lines in $\text{PG}(V)$ were determined by the first author and Sheekey as part of their classification of tensors in $\mathbb{F}^2 \otimes V$ in the article "Canonical forms of $2 \times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields", Linear Algebra Appl. 476 (2015) 133-147. Here we consider the related problem of classifying those line orbits that may be represented by {\em symmetric} matrices, or equivalently, of classifying the line orbits in the $\mathbb{F}$-span of the Veronese variety $\mathcal{V}_3(\mathbb{F}) \subset S_{3,3}(\mathbb{F})$ under the natural action of $K=\text{PGL}(3,\mathbb{F})$. Interestingly, several of the $G$-orbits that have symmetric representatives split under the action of $K$, and in many cases this splitting depends on the characteristic of $\mathbb{F}$. The corresponding orbit sizes and stabiliser subgroups of $K$ are also determined in the case where $\mathbb{F}$ is a finite field, and connections are drawn with old work of Jordan, Dickson and Campbell on the classification of pencils of conics in $\text{PG}(2,\mathbb{F})$, or equivalently, of pairs of ternary quadratic forms over $\mathbb{F}$.

Let $p$ denote the characteristic of ${\mathbb F}_q$, the finite field with $q$ elements. We prove that if $q$ is odd then an arc of size $q+2-t$ in the projective plane over ${\mathbb F}_q$, which is not contained in a conic, is contained in the intersection of two curves, which do not share a common component, and have degree at most $t+p^{\lfloor \log_p t \rfloor}$, provided a certain technical condition on $t$ is satisfied. This implies that if $q$ is odd then an arc of size at least $q-\sqrt{q}+\sqrt{q}/p+3$ is contained in a conic if $q$ is square and an arc of size at least $q-\sqrt{q}+\frac{7}{2}$ is contained in a conic if $q$ is prime. This is of particular interest in the case that $q$ is an odd square, since then there are examples of arcs, not contained in a conic, of size $q-\sqrt{q}+1$, and it has long been conjectured that if $q \neq 9$ is an odd square then any larger arc is contained in a conic. These bounds improve on previously known bounds when $q$ is an odd square and for primes less than $1783$. The previously known bounds, obtained by Segre \cite{Segre1967}, Hirschfeld and Korchmáros \cite{HK1996} \cite{HK1998}, and Voloch \cite{Voloch1990b} \cite{Voloch1991}, rely on results on the number of points on algebraic curves over finite fields, in particular the Hasse-Weil theorem and the Stöhr-Voloch theorem, and are based on Segre's idea to associate an algebraic curve in the dual plane containing the tangents to an arc. In this paper we do not rely on such theorems, but use a new approach starting from a scaled coordinate-free version of Segre's lemma of tangents. Arcs in the projective plane over ${\mathbb F}_q$ of size $q$ and $q+1$, $q$ odd, were classified by Segre \cite{Segre1955b} in 1955. In this article, we complete the classification of arcs of size $q-1$ and $q-2$.