arXiv++ Combinatorics

Intersecting codes are a classical object in coding theory whose rank-metric analogue has recently been introduced. Although the definition formally parallels the Hamming-metric case, the structure and parameter constraints of rank-metric intersecting codes exhibit substantially different behavior. It was previously shown that a nondegenerate $[n,k,d]_{q^m/q}$ rank-metric intersecting code must satisfy $2k-1 \le n \le 2m-3$, and the tightness of the upper bound was left open. Using the geometric interpretation of rank-metric codes via $q$-systems, we prove that the dual subspace associated with a rank-metric intersecting code must satisfy strong evasiveness properties. This connection allows us to derive new restrictions on the parameters of such codes and to show that the bound $n=2m-3$ can be attained only when $k=3$ and $m\ge 6$. More generally, we show that $n \leq 2m-\lfloor(k+4)/2\rfloor$. Moreover, we obtain a geometric characterization of these extremal codes in terms of scattered $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^3$. As a consequence, the existence problem for $[2m-3,3,d]_{q^m/q}$ rank-metric intersecting codes is reduced to the existence of scattered subspaces of dimension $m+3$. Using known constructions of maximum scattered subspaces, we derive existence results when $m$ is even. Finally, we prove that $[6,3,3]_{q^5/q}$ rank-metric intersecting codes do not exist for any prime power $q$, thus resolving an open problem posed by Bartoli et al. in 2025.

In 2019, Trombetti and Zhou introduced a new family of $\mathbb{F}_{q^n}$-linear Maximum Rank Distance (MRD) codes over $\mathbb{F}_{q^{2n}}$. For such codes we propose a new syndrome-based decoding algorithm. It is well known that a syndrome-based decoding approach relies heavily on a parity-check matrix of a linear code. Nonetheless, Trombetti-Zhou codes are not linear over the entire field $\mathbb{F}_{q^{2n}}$, but only over its subfield $\mathbb{F}_{q^{n}}$. Due to this lack of linearity, we introduce the notions of $\mathbb{F}_{q^{n}}$-generator matrix and $\mathbb{F}_{q^{n}}$-parity-check matrix for a generic $\mathbb{F}_{q^{n}}$-linear rank-metric code over $\mathbb{F}_{q^{rn}}$ in analogy with the roles that generator and parity-check matrices play in the context of linear codes. Accordingly, we present an $\mathbb{F}_{q^n}$-generator matrix and $\mathbb{F}_{q^n}$-parity-check matrix for Trombetti-Zhou codes as evaluation codes over an $\mathbb{F}_q$-basis of $\mathbb{F}_{q^{2n}}$. This relies on the choice of a particular basis called \emph{trace almost dual basis}. Subsequently, denoting by $d$ the minimum distance of the code, we show that if the rank weight $t$ of the error vector is strictly smaller than $\frac{d-1}{2}$, the syndrome-based decoding of Trombetti-Zhou codes can be converted to the decoding of Gabidulin codes of dimension one larger. On the other hand, when $t=\frac{d-1}{2}$, we reduce the decoding to determining the rank of a certain matrix. The complexity of the proposed decoding for Trombetti-Zhou codes is also discussed.

We study the interplay between the lattice of F_{q^m}-subspaces and the lattice of F_{q^m}-subspaces of an F_{q^m}-vector space. Introducing notions of weight and defect relative to an F_q-subspace, we analyze the sequence of maximum non-zero defects. We establish a correspondence between subspaces of positive defect and their Delsarte duals, enabling explicit characterizations of the associated sequences of maximum non-zero defects. Our framework unifies several classes of subspaces studied in finite geometry and connects them to linear rank-metric codes by providing a new geometric interpretation of code duality. Building on these results, we characterize classes of rank-metric codes closed under duality, including MRD, near MRD, quasi-MRD, and a new family of (n, k)-MRD codes. Finally, we explore applications to q-matroids, by studying the problem of F_{q^m}-representability for direct sums of uniform q-matroids and describing their rank generating functions.

We focus on two aspects of cyclic orbit codes: invariants under equivalence and quasi-optimality. Regarding the first aspect, we establish a connection between the codewords of a cyclic orbit code and a certain linear set on the projective line. This allows us to derive new bounds on the parameters of the code. In the second part, we study a particular family of (quasi-)optimal cyclic orbit codes and derive a general existence theorem for quasi-optimal codes in even-dimensional vector spaces over finite fields of any characteristic. Finally, for our particular code family we describe the automorphism groups under the general linear group and a suitable Galois group.

For a linear Hamming metric code of length n over a finite field, the number of distinct weights of its codewords is at most n. The codes achieving the equality in the above bound were called full weight spectrum codes. In this paper we will focus on the analogous class of codes within the framework of cyclic subspace codes. Cyclic subspace codes have garnered significant attention, particularly for their applications in random network coding to correct errors and erasures. We investigate one-orbit cyclic subspace codes that are full weight spectrum in this context. Utilizing number theoretical results and combinatorial arguments, we provide a complete classification of full weight spectrum one-orbit cyclic subspace codes.

Two-weight linear codes are linear codes in which any nonzero codeword can have only two possible distinct weights. Those in the Hamming metric have proven to be very interesting for their connections with authentication codes, association schemes, strongly regular graphs, and secret sharing schemes. In this paper, we characterize two-weight codes in the rank metric, answering a recent question posed by Pratihar and Randrianarisoa.

Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{αS \colon α\in \mathbb{F}_{q^n}^*\}, \]where $αS=\lbrace αs \colon s\in S\rbrace$ for any $α\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families.

Sidon spaces have been introduced by Bachoc, Serra and Zémor in 2017 as the $q$-analogue of Sidon sets. The interest on Sidon spaces has increased quickly, especially after the work of Roth, Raviv and Tamo in 2018, in which they highlighted the correspondence between Sidon spaces and cyclic subspace codes. Up to now, the known constructions of Sidon Spaces may be divided in three families: the ones contained in the sum of two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$, the ones contained in the sum of more than two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$ and finally the ones obtained as the kernel of subspace polynomials. In this paper we will mainly focus on the first class of examples, for which we provide characterization results and we will show some new examples, arising also from some well-known combinatorial objects. Moreover, we will give a quite natural definition of equivalence among Sidon spaces, which relies on the notion of equivalence of cyclic subspace codes and we will discuss about the equivalence of the known examples.

Let $\mathcal{C}\subseteq \mathbb{F}_{q^m}^n$ be an $\mathbb{F}_{q^m}$-linear non-degenerate rank metric code with dimension $k$. In this paper we investigate the problem of determining the number $M(\mathcal{C})$ of codewords in $\mathcal{C}$ with maximum weight, that is $\min\{m,n\}$, and to characterize those with the maximum and the minimum values of $M(\mathcal{C})$.

A subspace of matrices over $\mathbb{F}_{q^e}^{m\times n}$ can be naturally embedded as a subspace of matrices in $\mathbb{F}_q^{em\times en}$ with the property that the rank of any of its matrix is a multiple of $e$. It is quite natural to ask whether or not all subspaces of matrices with such a property arise from a subspace of matrices over a larger field. In this paper we explore this question, which corresponds to studying divisible codes in the rank metric. We determine some cases for which this question holds true, and describe counterexamples by constructing subspaces with this property which do not arise from a subspace of matrices over a larger field.

Clubs of rank k are well-celebrated objects in finite geometries introduced by Fancsali and Sziklai in 2006. After the connection with a special type of arcs known as KM-arcs, they renewed their interest. This paper aims to study clubs of rank n in PG$(1,q^n)$. We provide a classification result for (n-2)-clubs of rank n, we analyze the $\mathrm{ΓL}(2,q^n)$-equivalence of the known subspaces defining clubs, for some of them the problem is then translated in determining whether or not certain scattered spaces are equivalent. Then we find a polynomial description of the known families of clubs via some linearized polynomials. Then we apply our results to the theory of blocking sets, KM-arcs, polynomials and rank metric codes, obtaining new constructions and classification results.

This paper aims to study linear sets of minimum size in the projective line, that is $\mathbb{F}_q$-linear sets of rank $k$ in $\mathrm{PG}(1,q^n)$ admitting one point of weight one and having size $q^{k-1}+1$. Examples of these linear sets have been found by Lunardon and the second author (2000) and, more recently, by Jena and Van de Voorde (2021). However, classification results for minimum size linear sets are known only for $k\leq 5$. In this paper we provide classification results for those $L_U$ admitting two points with complementary weights. We construct new examples and also study the related $\mathrm{ΓL}(2,q^n)$-equivalence issue. These results solve an open problem posed by Jena and Van de Voorde. The main tool relies on two results by Bachoc, Serra and Zémor (2017 and 2018) on the linear analogues of Kneser's and Vosper's theorems. We then conclude the paper pointing out a connection between critical pairs and linear sets, obtaining also some classification results for critical pairs.

In this paper we consider two pointsets in $\mathrm{PG}(2,q^n)$ arising from a linear set $L$ of rank $n$ contained in a line of $\mathrm{PG}(2,q^n)$: the first one is a linear blocking set of Rédei type, the second one extends the construction of translation KM-arcs. We point out that their intersections pattern with lines is related to the weight distribution of the considered linear set $L$. We then consider the Hamming metric codes associated with both these constructions, for which we can completely describe their weight distributions. By choosing $L$ to be an $\mathbb{F}_q$-linear set with a short weight distribution, then the associated codes have few weights. We conclude the paper by providing a connection between the $Γ\mathrm{L}$-class of $L$ and the number of inequivalent codes we can construct starting from it.

Linear sets on the projective line have attracted a lot of attention because of their link with blocking sets, KM-arcs and rank-metric codes. In this paper, we study linear sets having two points of complementary weight, that is with two points for which the sum of their weights equals the rank of the linear set. As a special case, we study those linear sets having exactly two points of weight greater than one, by showing new examples and studying their equivalence issue. Also we determine some linearized polynomials defining the linear sets recently introduced by Jena and Van de Voorde (2021).

APN functions play a fundamental role in cryptography against attacks on block ciphers. Several families of quadratic APN functions have been proposed in the recent years, whose construction relies on the existence of specific families of polynomials. A key question connected with such constructions is to determine whether such APN functions exist for infinitely many dimensions or not. In this paper we consider a family of functions recently introduced by Li et al. in 2021 showing that for any dimension $m\geq 3$ there exists an APN function belonging to such a family. Our main result is proved by a combination of different techniques arising from both algebraic varieties over finite fields connected with linearized permutation rational functions and {partial vector space partitions}, together with investigations on the kernels of linearized polynomials.

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 survey on the known results on maximum scattered linear sets and MRD-codes. In particular, we investigate the link between these two areas. In "A new family of linear maximum rank distance codes" (2016) Sheekey showed how maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ define square MRD-codes. Later in "Maximum scattered linear sets and MRD-codes" (2017) maximum scattered linear sets in $\mathrm{PG}(r-1,q^n)$, $r>2$, were used to construct non square MRD-codes. Here, we point out a new relation regarding the other direction. We also provide an alternative proof of the well-known Blokhuis-Lavrauw's bound for the rank of maximum scattered linear sets shown in "Scattered spaces with respect to a spread in $\mathrm{PG}(n,q)$" (2000).

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.

Linearized polynomials appear in many different contexts, such as rank metric codes, cryptography and linear sets, and the main issue regards the characterization of the number of roots from their coefficients. Results of this type have been already proved in [7,10,24]. In this paper we provide bounds and characterizations on the number of roots of linearized polynomials of this form \[ ax+b_0x^σ+b_1x^{σq^n}+b_2x^{σq^{2n}}+\ldots+b_{t-1}x^{σq^{n(t-1)}} \in \mathbb{F}_{q^{nt}}[x], \] with $σ$ a generator of the Galois group $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. Also, we characterize the number of roots of such polynomials directly from their coefficients, dealing with matrices which are much smaller than the relative Dickson matrices and the companion matrices used in the previous papers. Furthermore, we develop a method to find explicitly the roots of a such polynomial by finding the roots of a $q^n$-polynomial. Finally, as an applications of the above results, we present a family of linear sets of the projective line whose points have a small spectrum of possible weights, containing most of the known families of scattered linear sets. In particular, we carefully study the linear sets in $\mathrm{PG}(1,q^6)$ presented in [9].

Let $V$ be an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. We call an $\mathbb{F}_q$-subspace $U$ of $V$ $h$-scattered if $U$ meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $h$. In 2000 Blokhuis and Lavrauw proved that $\dim_{\mathbb{F}_q} U \leq rn/2$ when $U$ is $1$-scattered. Subspaces attaining this bound have been investigated intensively because of their relations with projective two-weight codes and strongly regular graphs. MRD-codes with a maximum idealiser have also been linked to $rn/2$-dimensional $1$-scattered subspaces and to $n$-dimensional $(r-1)$-scattered subspaces. In this paper we prove the upper bound $rn/(h+1)$ for the dimension of $h$-scattered subspaces, $h>1$, and construct examples with this dimension. We study their intersection numbers with hyperplanes, introduce a duality relation among them, and study the equivalence problem of the corresponding linear sets.