arXiv++ Combinatorics

Scattered polynomials over finite fields attracted an increasing attention in the last years. One of the reasons is their deep connection with Maximum Rank Distance (MRD) codes. Known classification results for exceptional scattered polynomials, i.e. polynomials which are scattered over infinite field extensions, are limited to the cases where their index $\ell$ is small, or a prime number larger than the $q$-degree $k$ of the polynomial, or an integer smaller than the $k$ in the case where $k$ is a prime. In this paper we completely classify exceptional scattered polynomials when the maximum between $\ell$ and $k$ is odd, and give partial results when it is even, extending a result of Ferraguti and Micheli in 2021.

The tensor rank of some Gabidulin codes of small dimension is investigated. In particular, we determine the tensor rank of any rank metric code equivalent to an $8$-dimensional $\mathbb{F}_q$-linear generalized Gabidulin code in $\mathbb{F}_{q}^{4\times4}$. This shows that such a code is never minimum tensor rank. In this way, we detect the first infinite family of Gabidulin codes which are not minimum tensor rank.

Scattered polynomials of a given index over finite fields are intriguing rare objects with many connections within mathematics. Of particular interest are the exceptional ones, as defined in 2018 by the first author and Zhou, for which partial classification results are known. In this paper we propose a unified algebraic description of $\mathbb{F}_{q^n}$-linear maximum rank distance codes, introducing the notion of exceptional linear maximum rank distance codes of a given index. Such a connection naturally extends the notion of exceptionality for a scattered polynomial in the rank metric framework and provides a generalization of Moore sets in the monomial MRD context. We move towards the classification of exceptional linear MRD codes, by showing that the ones of index zero are generalized Gabidulin codes and proving that in the positive index case the code contains an exceptional scattered polynomial of the same index.

In this paper we consider a family $\mathcal{F}$ of $16$-dimensional $\mathbb{F}_q$-linear rank metric codes in $\mathbb{F}_q^{8\times8}$, arising from the polynomial $x^{q^s}+δx^{q^{4+s}}\in\mathbb{F}_{q^8}[x]$. Examples of MRD codes in $\mathcal{F}$ have been provided by Csajbók, Marino, Polverino and Zanella (2018). For any large enough odd $q$, we determine exactly which codes in $\mathcal{F}$ are MRD. We also show that the MRD codes in $\mathcal{F}$ are not equivalent to any other MRD codes known so far.

Scattered polynomials over a finite field $\mathbb{F}_{q^n}$ have been introduced by Sheekey in 2016, and a central open problem regards the classification of those that are exceptional. So far, only two families of exceptional scattered polynomials are known. Very recently, Longobardi and Zanella weakened the property of being scattered by introducing the notion of L-$q^t$-partially scattered and R-$q^t$-partially scattered polynomials, for $t$ a divisor of $n$. Indeed, a polynomial is scattered if and only if it is both L-$q^t$-partially scattered and R-$q^t$-partially scattered. In this paper, by using techniques from algebraic geometry over finite fields and function fields theory, we show that the property which is is the hardest to be preserved is the L-$q^t$-partially scattered one. On the one hand, we are able to extend the classification results of exceptional scattered polynomials to exceptional L-$q^t$-partially scattered polynomials. On the other hand, the R-$q^t$-partially scattered property seems more stable. We present a large family of R-$q^t$-partially scattered polynomials, containing examples of exceptional R-$q^t$-partially scattered polynomials, which turn out to be connected with linear sets of so-called pseudoregulus type. In order to detect new examples of polynomials which are R-$q^t$-partially scattered, we introduce two different notions of equivalence preserving this property and concerning natural actions of the groups ${\rm ΓL}(2,q^n)$ and ${\rm ΓL}(2n/t,q^t)$. In particular, our family contains many examples of inequivalent polynomials, and geometric arguments are used to determine the equivalence classes under the action of ${\rm ΓL}(2n/t,q^t)$.

In this paper we prove that the property of being scattered for a $\mathbb{F}_q$-linearized polynomial of small $q$-degree over a finite field $\mathbb{F}_{q^n}$ is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate $r$-fat polynomials, a natural generalization of scattered polynomials. An $r$-fat $\mathbb{F}_q$-linearized polynomial defines a linear set of rank $n$ in the projective line of order $q^n$ with $r$ points of weight larger than one. When $r$ equals $1$, the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for $r$ and the non-existence of exceptional $r$-fat polynomials with $r>0$. In the case $n\leq 4$, we completely determine the spectrum of values of $r$ for which an $r$-fat polynomial exists. In the case $n=5$, we provide a new family of $1$-fat polynomials. Furthermore, we determine the values of $r$ for which the so-called LP-polynomials are $r$-fat.

After a seminal paper by Shekeey (2016), a connection between maximum $h$-scattered $\mathbb{F}_q$-subspaces of $V(r,q^n)$ and maximum rank distance (MRD) codes has been established in the extremal cases $h=1$ and $h=r-1$. In this paper, we propose a connection for any $h\in\{1,\ldots,r-1\}$, extending and unifying all the previously known ones. As a consequence, we obtain examples of non-square MRD codes which are not equivalent to generalized Gabidulin or twisted Gabidulin codes. Up to equivalence, we classify MRD codes having the same parameters as the ones in our connection. Also, we determine the weight distribution of codes related to the geometric counterpart of maximum $h$-scattered subspaces.

Let $f$ be the $\mathbb{F}_q$-linear map over $\mathbb{F}_{q^{2n}}$ defined by $x\mapsto x+ax^{q^s}+bx^{q^{n+s}}$ with $\gcd(n,s)=1$. It is known that the kernel of $f$ has dimension at most $2$, as proved by Csajbók et al. in "A new family of MRD-codes" (2018). For $n$ big enough, e.g. $n\geq5$ when $s=1$, we classify the values of $b/a$ such that the kernel of $f$ has dimension at most $1$. To this aim, we translate the problem into the study of some algebraic curves of small degree with respect to the degree of $f$; this allows to use intersection theory and function field theory together with the Hasse-Weil bound. Our result implies a non-scatteredness result for certain high degree scattered binomials, and the asymptotic classification of a family of rank metric codes.

The aim of this paper is to investigate the intersection problem between two linear sets in the projective line over a finite field. In particular, we analyze the intersection between two clubs with eventually different maximum fields of linearity. Also, we analyze the intersection between the linear set defined by the polynomial $αx^{q^k}+βx$ and other linear sets having the same rank; this family contains the linear set of pseudoregulus type defined by $x^q$. The strategy relies on the study of certain algebraic curves whose rational points describe the intersection of the two linear sets. Among other geometric and algebraic tools, function field theory and the Hasse-Weil bound play a crucial role. As an application, we give asymptotic results on semifields of BEL-rank two.

Every linear set in a Galois space is the projection of a subgeometry, and most known characterizations of linear sets are given under this point of view. For instance, scattered linear sets of pseudoregulus type are obtained by considering a Desarguesian spread of a subgeometry and projecting from a vertex which is spanned by all but two director spaces. In this paper we introduce the concept of linear sets of $h$-pseudoregulus type, which turns out to be projected from the span of an arbitrary number of director spaces of a Desarguesian spread of a subgeometry. Among these linear sets, we characterize those which are $h$-scattered and solve the equivalence problem between them; a key role is played by an algebraic tool recently introduced in the literature and known as Moore exponent set. As a byproduct, we classify asymptotically $h$-scattered linear sets of $h$-pseudoregulus type.

Let $G$ be the simple group ${\rm PSL}(3,2^p)$, where $p$ is a prime number. For any subgroup $H$ of $G$, we compute the Möbius function of $H$ in the subgroup lattice of $G$. To this aim, we describe the intersections of maximal subgroups of $G$. We point out some connections of the Möbius function with other combinatorial objects, and, in this context, we compute the reduced Euler characteristic of the order complex of the subposet of $r$-subgroups of ${\rm PGL}(3,q)$, for any prime $r$ and any prime power $q$.

We provide constructions of bent functions using triples of permutations. This approach is due to Mesnager. In general, involutions have been mostly considered in such a machinery; we provide some other suitable triples of permutations, using monomials, binomials, trinomials, and quadrinomials.

In this article we explicitly determine the structure of the Weierstrass semigroups $H(P)$ for any point $P$ of the Suzuki curve $\mathcal{S}_q$. As the point $P$ varies, exactly two possibilities arise for $H(P)$: one for the $\mathbb{F}_q$-rational points (already known in the literature), and one for all remaining points. For this last case a minimal set of generators of $H(P)$ is also provided. As an application, we construct dual one-point codes from an $\mathbb{F}_{q^4}\setminus\fq$-point whose parameters are better in some cases than the ones constructed in a similar way from an $\fq$-rational point.

Let $G$ be the simple group ${\rm PSU}(2,2^{2^n})$, $n>0$. For any subgroup $H$ of $G$, we compute the Möbius function $μ_L(H,G)$ of $H$ in the subgroup lattice $L$ of $G$, and the Möbius function $μ_{\bar L}([H],[G])$ of $[H]$ in the poset $\bar L$ of conjugacy classes of subgroups of $G$. For any prime $p$, we provide the Euler characteristic of the order complex of the poset of $p$-subgroups of $G$.

We investigate several types of linear codes constructed from two families $\tilde{\mathcal S}_q$ and $\tilde{\mathcal R}_q$ of maximal curves over finite fields recently constructed by Skabelund as cyclic covers of the Suzuki and Ree curves. Plane models for such curves are provided, and the Weierstrass semigroup $H(P)$ at an $\mathbb{F}_{q}$-rational point $P$ is shown to be symmetric.

We determine all permutation trinomials of type $x^{2p^s+r}+x^{p^s+r}+λx^r$ over the finite field $\mathbb{F}_{p^t}$ when $(2p^s+r)^4<p^t$. This partially extends a previous result by Bhattacharya and Sarkar in the case $p=2$, $r=1$.

In this paper, algebraic-geometric (AG) codes associated with the GGS maximal curve are investigated. The Weierstrass semigroup at all $\mathbb F_{q^2}$-rational points of the curve is determined; the Feng-Rao designed minimum distance is computed for infinite families of such codes, as well as the automorphism group. As a result, some linear codes with better relative parameters with respect to one-point Hermitian codes are discovered. Classes of quantum and convolutional codes are provided relying on the constructed AG codes.

In this paper we investigate multi-point Algebraic-Geometric codes associated to the GK maximal curve, starting from a divisor which is invariant under a large automorphism group of the curve. We construct families of codes with large automorphism groups.

We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We also classify indecomposable exceptional polynomials of degree $8$ and $9$.

The Deligne-Lusztig curves associated to the algebraic groups of type $^2A_2$, $^2B_2$, and $^2G_2$ are classical examples of maximal curves over finite fields. The Hermitian curve $\mathcal H_q$ is maximal over $\mathbb F_{q^2}$, for any prime power $q$, the Suzuki curve $\mathcal S_q$ is maximal over $\mathbb F_{q^4}$, for $q=2^{2h+1}$, $h\geq1$ and the Ree curve $\mathcal R_q$ is maximal over $\mathbb F_{q^6}$, for $q=3^{2h+1}$, $h\geq0$. In this paper we show that $\mathcal S_8$ is not Galois covered by $\mathcal H_{64}$. We also give a proof for an unpublished result due to Rains and Zieve stating that $\mathcal R_3$ is not Galois covered by $\mathcal H_{27}$. Furthermore, we determine the spectrum of genera of Galois subcovers of $\mathcal H_{27}$, and we point out that some Galois subcovers of $\mathcal R_3$ are not Galois subcovers of $\mathcal H_{27}$.