arXiv++ Combinatorics

Left and right idealizers are important invariants of linear rank-distance codes. In the case of maximum rank-distance (MRD for short) codes in $\mathbb{F}_q^{n\times n}$ the idealizers have been proved to be isomorphic to finite fields of size at most $q^n$. Up to now, the only known MRD codes with maximum left and right idealizers are generalized Gabidulin codes, which were first constructed in 1978 by Delsarte and later generalized by Kshevetskiy and Gabidulin in 2005. In this paper we classify MRD codes in $\mathbb{F}_q^{n\times n}$ for $n\leq 9$ with maximum left and right idealizers and connect them to Moore-type matrices. Apart from generalized Gabidulin codes, it turns out that there is a further family of rank-distance codes providing MRD ones with maximum idealizers for $n=7$, $q$ odd and for $n=8$, $q\equiv 1 \pmod 3$. These codes are not equivalent to any previously known MRD code. Moreover, we show that this family of rank-distance codes does not provide any further examples for $n\geq 9$.

We provide sufficient and necessary conditions for the coefficients of a $q$-polynomial $f$ over $\mathbb{F}_{q^n}$ which ensure that the number of distinct roots of $f$ in $\mathbb{F}_{q^n}$ equals the degree of $f$. We say that these polynomials have maximum kernel. As an application we study in detail $q$-polynomials of degree $q^{n-2}$ over $\mathbb{F}_{q^n}$ which have maximum kernel and for $n\leq 6$ we list all $q$-polynomials with maximum kernel. We also obtain information on the splitting field of an arbitrary $q$-polynomial. Analogous results are proved for $q^s$-polynomials as well, where $\gcd(s,n)=1$.

For an arbitrary $q$-polynomial $f$ over $\mathbb{F}_{q^n}$ we study the problem of finding those $q$-polynomials $g$ over $\mathbb{F}_{q^n}$ for which the image sets of $f(x)/x$ and $g(x)/x$ coincide. For $n\leq 5$ we provide sufficient and necessary conditions and then apply our result to study maximum scattered linear sets of $\mathrm{PG}(1,q^5)$.

We introduce a family of linear sets of $\mathrm{PG}(1,q^{2n})$ arising from maximum scattered linear sets of pseudoregulus type of $\mathrm{PG}(3,q^{n})$. For $n=3,4$ and for certain values of the parameters we show that these linear sets of $\mathrm{PG}(1,q^{2n})$ are maximum scattered and they yield new MRD-codes with parameters $(6,6,q;5)$ for $q>2$ and with parameters $(8,8,q;7)$ for $q$ odd.

The rank of a scattered $\mathbb{F}_q$-linear set of $\mathrm{PG}(r-1,q^n)$, $rn$ even, is at most $rn/2$ as it was proved by Blokhuis and Lavrauw. Existence results and explicit constructions were given for infinitely many values of $r$, $n$, $q$ ($rn$ even) for scattered $\mathbb{F}_q$-linear sets of rank $rn/2$. In this paper we prove that the bound $rn/2$ is sharp also in the remaining open cases. Recently Sheekey proved that scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^n)$ of maximum rank $n$ yield $\mathbb{F}_q$-linear MRD-codes with dimension $2n$ and minimum distance $n-1$. We generalize this result and show that scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(r-1,q^n)$ of maximum rank $rn/2$ yield $\mathbb{F}_q$-linear MRD-codes with dimension $rn$ and minimum distance $n-1$.

The equivalence problem of $\mathbb{F}_q$-linear sets of rank n of $PG(1,q^n)$ is investigated, also in terms of the associated variety, projecting configurations, $\mathbb{F}_q$-linear blocking sets of Rédei type and MRD-codes.

In this paper we completely characterize the words with second minimum weight in the $p-$ary linear code generated by the rows of the incidence matrix of points and hyperplanes of $PG(n,q)$, with $q=p^h$ and $p$ prime, proving that they are the scalar multiples of the difference of the incidence vectors of two distinct hyperplanes of $PG(n,q)$.

Explicit constructions of infinite families of scattered ${\mathbb F}_q$--linear sets in $PG(r-1,q^t)$ of maximal rank $\frac{rt}2$, for $t$ even, are provided. When $q=2$ and $r$ is odd, these linear sets correspond to complete caps in $AG(r,2^t)$ fixed by a translation group of size $2^{\frac{rt}2}$. The doubling construction applied to such caps gives complete caps in $AG(r+1,2^t)$ of size $2^{\frac{rt}2+1}$. For Galois spaces of even dimension greater than $2$ and even square order, this solves the long-standing problem of establishing whether the theoretical lower bound for the size of a complete cap is substantially sharp.

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

In this paper we collect and improve the techniques for calculating the nuclei of a semifield and we use these tools to determine the order of the nuclei and of the center of some commutative presemifields of odd characteristic recently constructed.

In this paper we prove that the $P(q,\ell)$ ($q$ odd prime power and $\ell>1$ odd) commutative semifields constructed by Bierbrauer in \cite{BierbrauerSub} are isotopic to some commutative presemifields constructed by Budaghyan and Helleseth in \cite{BuHe2008}. Also, we show that they are strongly isotopic if and only if $q\equiv 1(mod\,4)$. Consequently, for each $q\equiv -1(mod\,4)$ there exist isotopic commutative presemifields of order $q^{2\ell}$ ($\ell>1$ odd) defining CCZ--inequivalent planar DO polynomials.