arXiv++ Combinatorics

Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.

The $p$-ary code associated with the incidence structure of points and $t$-spaces in a projective space $\mathrm{PG}(m,q)$, where $q=p^h$, is the $\mathbb{F}_p$-subspace generated by the incidence vectors of the blocks of this design. The dual of this code consists of all vectors orthogonal to every codeword of the original code. In contrast to the codes derived from point-subspace incidences, the minimum weight of the corresponding dual codes is generally unknown, which makes the problem more challenging. In 2008 Lavrauw, Storme and Van de Voorde proved the following reduction: the minimum weight of the dual of the code derived from point and $t$-space incidences in $\mathrm{PG}(m,q)$ is the same as the minimum weight of the dual of the code derived from point and line incidences in $\mathrm{PG}(m-t+1,q)$. After a series of works by Delsarte (1970), Assmus and Key (1992), Calkin, Key and De Resmini (1999), the best known lower bound for the case of point-line incidences was established in [B. Bagchi and P. Inamdar: Projective geometric codes, J. Combin. Theory Ser. A, 99(1) (2002), 128-142]. The problem of determining the minimum weight of these codes admits a natural geometric interpretation in terms of multisets of points in a projective space which meet each line in $0$ modulo $p$ points. In this paper, by adopting this geometrical perspective and exploiting certain polynomial techniques from [S. Ball, A. Blokhuis, A. Gács, P. Sziklai, Zs. Weiner: On linear codes whose weights and length have a common divisor, Adv. Math., 211 (2007), 94-104], we prove a substantial improvement of the Bagchi-Inamdar bound in the case where $h>1$ and $m, p >2$.

An $\mathbb{F}_q$- linear set $L=L_U$ of $Λ=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-linear set $L$ of $Λ$ of rank $u$ such that $\langle L \rangle=Λ$ is either a canonical subgeometry of $Λ$ or there are a $(u-r-1)$-dimensional subspace $Γ$ of $\mathrm{PG}(u-1,q^n) \supset Λ$ disjoint from $Λ$ and a canonical subgeometry $Σ\cong \mathrm{PG}(u-1,q)$ disjoint from $Γ$ such that $L$ is the projection of $Σ$ from $Γ$ onto $Λ$. The subspace $Γ$ is called the vertex of the projection. In this article, we will show a method to reconstruct the vertex $Γ$ for a peculiar class of linear sets of rank $u = n(r - 1)$ in $\mathrm{PG}(r - 1, q^n)$ called evasive linear sets. Also, we will use this result to characterize some families of linear sets of the projective line $\mathrm{PG}(1,q^n)$ introduced from 2018 onward, by means of certain properties of their projection vertices, as done in [B. Csajbók, C. Zanella: On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1, q^t)$, Finite Fields Appl. 41 (2016)] and in [C. Zanella, F. Zullo: Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1, q^n)$. Discrete Math. 343(5) (2020)].

By exploiting the connection between scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$ and minimal non degenerate $3$-dimensional rank metric codes of $\mathbb{F}_{q^m}^{n}$, $n \geq m+2$, described in [2], we will exhibit a new class of codes with parameters $[m+2,3,m-2]_{q^m/q}$ for infinite values of $q$ and $m \geq 5$ odd. Moreover, by studying the geometric structures of these scattered subspaces, we determine the rank weight distribution of the associated codes.

We revisit and extend the connections between $\mathbb{F}_{q^m}$-linear rank-metric codes and evasive $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We give a unifying framework in which we prove in an elementary way how the parameters of a rank-metric code are related to special geometric properties of the associated evasive subspace, with a particular focus on the generalized rank weights. In this way, we can also provide alternative and very short proofs of known results on scattered subspaces. We then use this simplified point of view in order to get a geometric characterization of near MRD codes and a clear bound on their maximal length. Finally we connect the theory of quasi-MRD codes with $h$-scattered subspaces of maximum dimension, extending to all the parameters sets the already known results on MRD codes.

The concept of linear set in projective spaces over finite fields was introduced by Lunardon in 1999 and it plays central roles in the study of blocking sets, semifields, rank-distance codes and etc. A linear set with the largest possible cardinality and rank is called maximum scattered. Despite two decades of study, there are only a limited number of maximum scattered linear sets of a line $\mathrm{PG}(1,q^n)$. In this paper, we provide a large family of new maximum scattered linear sets over $\mathrm{PG}(1,q^n)$ for any even $n\geq 6$ and odd $q$. In particular, the relevant family contains at least \[ \begin{cases} \left\lfloor\frac{q^t+1}{8rt}\right\rfloor,& \text{ if }t\not\equiv 2\pmod{4};\\[8pt] \left\lfloor\frac{q^t+1}{4rt(q^2+1)}\right\rfloor,& \text{ if }t\equiv 2\pmod{4}, \end{cases} \] inequivalent members for given $q=p^r$ and $n=2t>8$, where $p=\mathrm{char}(\mathbb{F}_q)$. This is a great improvement of previous results: for given $q$ and $n>8$, the number of inequivalent maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ in all classes known so far, is smaller than $q^2$. Moreover, we show that there are a large number of new maximum rank-distance codes arising from the constructed linear sets.

In this article, constant dimension subspace codes whose codewords have subspace distance in a prescribed set of integers, are considered. The easiest example of such an object is a {\it junta}; i.e. a subspace code in which all codewords go through a common subspace. We focus on the case when only two intersection values for the codewords, are assigned. In such a case we determine an upper bound for the dimension of the vector space spanned by the elements of a non-junta code. In addition, if the two intersection values are consecutive, we prove that such a bound is tight, and classify the examples attaining the largest possible dimension as one of four infinite families.

Let $V$ denote an $r$-dimensional vector space over $\mathbb{F}_{q^n}$, the finite field of $q^n$ elements. Then $V$ is also an $rn$-dimension vector space over $\mathbb{F}_q$. An $\mathbb{F}_q$-subspace $U$ of $V$ is $(h,k)_q$-evasive if it meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $k$. The $(1,1)_q$-evasive subspaces are known as scattered and they have been intensively studied in finite geometry, their maximum size has been proved to be $\lfloor rn/2 \rfloor$ when $rn$ is even or $n=3$. We investigate the maximum size of $(h,k)_q$-evasive subspaces, study two duality relations among them and provide various constructions. In particular, we present the first examples, for infinitely many values of $q$, of maximum scattered subspaces when $r=3$ and $n=5$. We obtain these examples in characteristics $2$, $3$ and $5$.

Inspired by the work of Zhou "On equivalence of maximum additive symmetric rank-distance codes" (2020) based on the paper of Schmidt "Symmetric bilinear forms over finite fields with applications to coding theory" (2015), we investigate the equivalence issue of maximum $d$-codes of Hermitian matrices. More precisely, in the space $\mathrm{H}_n(q^2)$ of Hermitian matrices over $\mathbb{F}_{q^2}$ we have two possible equivalence: the classical one coming from the maps that preserve the rank in $\mathbb{F}_{q^2}^{n\times n}$, and the one that comes from restricting to those maps preserving both the rank and the space $\mathrm{H}_n(q^2)$. We prove that when $d<n$ and the codes considered are maximum additive $d$-codes and $(n-d)$-designs, these two equivalence relations coincide. As a consequence, we get that the idealisers of such codes are not distinguishers, unlike what usually happens for rank metric codes. Finally, we deal with the combinatorial properties of known maximum Hermitian codes and, by means of this investigation, we present a new family of maximum Hermitian $2$-code, extending the construction presented by Longobardi et al. in "Automorphism groups and new constructions of maximum additive rank metric codes with restrictions" (2020).

Let $k,n,m \in \mathbb{Z}^+$ integers such that $k\leq n \leq m$, let $\mathrm{G}_{n,k}\in \mathbb{F}_{q^m}^n$ be a Delsarte-Gabidulin code. Wachter-Zeh proven that codes belonging to this family cannot be efficiently list decoded for any radius $τ$, providing $τ$ is large enough. This achievement essentially relies on proving a lower bound for the list size of some specific words in $\mathbb{F}_{q^m}^n \setminus \mathrm{G}_{n,k}$. In 2016, Raviv and Wachter-Zeh improved this bound in a special case, i.e. when $n\mid m$. As a consequence, they were able to detect infinite families of Delsarte-Gabidulin codes that cannot be efficiently list decoded at all. In this article we determine similar lower bounds for Maximum Rank Distance codes belonging to a wider class of examples, containing Generalized Gabidulin codes, Generalized Twisted Gabidulin codes, and examples recently described by the first author and Yue Zhou. By exploiting arguments suchlike those used in the above mentioned papers, when $n\mid m$, we also show infinite families of generalized Gabidulin codes that cannot be list decoded efficiently at any radius greater than or equal to $\left\lfloor \frac{d-1}2 \right\rfloor+1$, where $d$ is its minimum distance. Nonetheless, in all other examples belonging to above mentioned class, we detect infinite families that cannot be list decoded efficiently at any radius greater than or equal to $\left\lfloor \frac{d-1}2 \right\rfloor+2$, where $d$ is its minimum distance. Finally, relying on the properties of a set of subspace trinomials recently presented by McGuire and Mueller, we are able to prove that any rank metric code of $\mathbb{F}_{q^m}^n$ of order $q^{kn}$ with $n$ dividing $m$, such that $4n-3$ is a square in $\mathbb{Z}$ and containing $\mathrm{G}_{n,2}$, is not efficiently list decodable at some values of the radius $τ$.

In this paper, we present a new family of maximum rank distance (MRD for short) codes in $\mathbb F_{q}^{2n\times 2n}$ of minimum distance $2\leq d\leq 2n$. In particular, when $d=2n$, we can show that the corresponding semifield is exactly a Hughes-Kleinfeld semifield. The middle and right nuclei of these MRD codes are both equal to $\mathbb F_{q^n}$. We also prove that the MRD codes of minimum distance $2<d<2n$ in this family are inequivalent to all known ones. The equivalence between any two members of this new family is also determined.

Generalized twisted Gabidulin codes are one of the few known families of maximum rank matrix codes over finite fields. As a subset of m by n matrices, when m=n, the automorphism group of any generalized twisted Gabidulin code has been completely determined recently. In this paper, we consider the same problem for m<n. Under certain conditions on their parameters, we determine their middle nuclei and right nuclei, which are important invariants with respect to the equivalence for rank metric codes. Furthermore, we also use them to derive necessary conditions on the automorphisms of generalized twisted Gabidulin codes.

For each rank metric code $\mathcal{C}\subseteq \mathbb{K}^{m\times n}$, we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When $\mathcal{C}$ is $\mathbb{K}$-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When $\mathbb{K}$ is a finite field $\mathbb{F}_q$ and $\mathcal{C}$ is a maximum rank distance code with minimum distance $d<\min\{m,n\}$ or $\gcd(m,n)=1$, the kernel of the associated translation structure is proved to be $\mathbb{F}_q$. Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over $\mathbb{F}_q$ must be a finite field; its right nucleus also has to be a finite field under the condition $\max\{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1$. Let $\mathcal{D}$ be the DHO-set associated with a bilinear dimensional dual hyperoval over $\mathbb{F}_2$. The set $\mathcal{D}$ gives rise to a linear rank metric code, and we show that its kernel and right nucleus are is isomorphic to $\mathbb{F}_2$. Also, its middle nucleus must be a finite field containing $\mathbb{F}_q$. Moreover, we also consider the kernel and the nuclei of $\mathcal{D}^k$ where $k$ is a Knuth operation.

In each of the three projective planes coordinatised by the Knuth's binary semifield $\mathbb{K}_n$ of order $2^n$ and two of its Knuth derivatives, we exhibit a new family of infinitely many translation hyperovals. In particular, when $n=5$, we also present complete lists of all translation hyperovals in them. The properties of some designs associated with these hyperovals are also studied.

Let $U_θ$ be a unital defined in a shift plane of odd order $q^2$, which are constructed recently by the authors. In particular, when the shift plane is desarguesian, $U_θ$ is a special Buekenhout-Metz unital formed by a union of ovals. We investigate the dimensions of the binary codes derived from $U_θ$. By using Kloosterman sums, we obtain a new lower bound on the aforementioned dimensions which improves the result obtained by Leung and Xiang in 2009. In particular, for $q=3^m$, this new lower bound equals $\frac{2}{3}(q^3+q^2-2q)-1$ for even $m$ and $\frac{2}{3}(q^3+q^2+q)-1$ for odd $m$.

A finite shift plane can be equivalently defined via abelian relative difference sets as well as planar functions. In this paper, we present a generic way to construct unitals in finite shift planes of odd orders $q^2$. We investigate various geometric and combinatorial properties of them, such as the self-duality, the existences of O'Nan configurations, the Wilbrink's conditions, the designs formed by circles and so on. We also show that our unitals are inequivalent to the unitals derived from unitary polarities in the same shift planes. As designs, our unitals are also not isomorphic to the classical unitals (the Hermitian curves).

Let $\mathcal{C}$ be a set of $m$ by $n$ matrices over $\mathbb{F}_q$ such that the rank of $A-B$ is at least $d$ for all distinct $A,B\in \mathcal{C}$. Suppose that $m\leqslant n$. If $\#\mathcal{C}= q^{n(m-d+1)}$, then $\mathcal{C}$ is a maximum rank distance (MRD for short) code. Until 2016, there were only two known constructions of MRD codes for arbitrary $1<d<m-1$. One was found by Delsarte (1978) and Gabidulin (1985) independently, and it was later generalized by Kshevetskiy and Gabidulin (2005). We often call them (generalized) Gabidulin codes. Another family was recently obtained by Sheekey (2016), and its elements are called twisted Gabidulin codes. In the same paper, Sheekey also proposed a generalization of the twisted Gabidulin codes. However the equivalence problem for it is not considered, whence it is not clear whether there exist new MRD codes in this generalization. We call the members of this putative larger family generalized twisted Gabidulin codes. In this paper, we first compute the Delsarte duals and adjoint codes of them, then we completely determine the equivalence between different generalized twisted Gabidulin codes. In particular, it can be proven that, up to equivalence, generalized Gabidulin codes and twisted Gabidulin codes are both proper subsets of this family.

In [U. Dempwolff: \textit{More Translation Planes and Semifields from Dembowski-Ostrom Polynomials}, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81--103] three classes of rank two presemifields of order $q^{2n}$, with $q$ and $n$ odd, were exhibited, leaving as an open problem the isotopy issue. In [M. Lavrauw, G. Marino, O. Polverino, R. Trombetti: \textit{Solution to an isotopism question concerning rank 2 semifields}, J. Comb. Des., to appear. DOI: 10.1002/jcd.21382], the authors faced with this problem answering the question whether these presemifields are new for $n>3$. In this paper we complete the study solving the case $n=3$.

In [U. Dempwolff: More Translation Planes and Semifields from Dembowski-Ostrom Polynomials, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81-103], the author gives a construction of three classes of rank two semifields of order $q^{2n}$, with $q$ and $n$ odd, using Dembowski-Ostrom polynomials. The question whether these semifields are new, i.e. not isotopic to previous constructions, is left as an open problem. In this paper we solve this problem for $n>3$, in particular we prove that two of these classes, labeled $D_{A}$ and $D_{AB}$, are new for $n>3$, whereas presemifields in family $D_{B}$ are isotopic to Generalized Twisted Fields for each $n\geq 3$.