-
Invariants for sum-rank metric codes
Authors:
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
The code equivalence problem is central in coding theory and cryptography. While classical invariants are effective for Hamming and rank metrics, the sum-rank metric, which unifies both, introduces new challenges. This paper introduces new invariants for sum-rank metric codes: generalised idealisers, the centraliser, the center, and a refined notion of linearity. These lead to the definition of nu…
▽ More
The code equivalence problem is central in coding theory and cryptography. While classical invariants are effective for Hamming and rank metrics, the sum-rank metric, which unifies both, introduces new challenges. This paper introduces new invariants for sum-rank metric codes: generalised idealisers, the centraliser, the center, and a refined notion of linearity. These lead to the definition of nuclear parameters, inspired by those used in division algebra theory, where they are crucial for proving inequivalence. We also develop a computational framework based on skew polynomials, which is isometric to the classical matrix setting but enables explicit computation of nuclear parameters for known MSRD (Maximum Sum-Rank Distance) codes. This yields a new and effective method to study the code equivalence problem where traditional tools fall short. In fact, using nuclear parameters, we can study the equivalence among the largest families of known MSRD codes.
△ Less
Submitted 5 July, 2025;
originally announced July 2025.
-
Quotients of skew polynomial rings: new constructions of division algebras and MRD codes
Authors:
F. J. Lobillo,
Paolo Santonastaso,
John Sheekey
Abstract:
We achieve new results on skew polynomial rings and their quotients, including the first explicit example of a skew polynomial ring where the ratio of the degree of a skew polynomial to the degree of its bound is not extremal. These methods lead to the construction of new (not necessarily associative) division algebras and maximum rank distance (MRD) codes over both finite and infinite division ri…
▽ More
We achieve new results on skew polynomial rings and their quotients, including the first explicit example of a skew polynomial ring where the ratio of the degree of a skew polynomial to the degree of its bound is not extremal. These methods lead to the construction of new (not necessarily associative) division algebras and maximum rank distance (MRD) codes over both finite and infinite division rings. In particular, we construct new non-associative division algebras whose right nucleus is a central simple algebra having degree greater than 1. Over finite fields, we obtain new semifields and MRD codes for infinitely many choices of parameters. These families extend and contain many of the best previously known constructions.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Completely decomposable rank-metric codes
Authors:
Paolo Santonastaso
Abstract:
In this paper, we investigate completely decomposable rank-metric codes, i.e. rank-metric codes that are the direct sum of 1-dimensional maximum rank distance codes. We study the weight distribution of such codes, characterizing codewords with certain rank weights. Additionally, we obtain classification results for codes with the largest number of minimum weight codewords within the class of compl…
▽ More
In this paper, we investigate completely decomposable rank-metric codes, i.e. rank-metric codes that are the direct sum of 1-dimensional maximum rank distance codes. We study the weight distribution of such codes, characterizing codewords with certain rank weights. Additionally, we obtain classification results for codes with the largest number of minimum weight codewords within the class of completely decomposable codes.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Using multi-orbit cyclic subspace codes for constructing optical orthogonal codes
Authors:
Ferruh Ozbudak,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
We present a new application of multi-orbit cyclic subspace codes to construct large optical orthogonal codes, with the aid of the multiplicative structure of finite fields extensions. This approach is different from earlier approaches using combinatorial and additive (character sum) structures of finite fields. Consequently, we immediately obtain new classes of optical orthogonal codes with diffe…
▽ More
We present a new application of multi-orbit cyclic subspace codes to construct large optical orthogonal codes, with the aid of the multiplicative structure of finite fields extensions. This approach is different from earlier approaches using combinatorial and additive (character sum) structures of finite fields. Consequently, we immediately obtain new classes of optical orthogonal codes with different parameters.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Two-weight rank-metric codes
Authors:
Ferdinando Zullo,
Olga Polverino,
Paolo Santonastaso,
John Sheekey
Abstract:
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 po…
▽ More
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.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
On MSRD codes, h-designs and disjoint maximum scattered linear sets
Authors:
Paolo Santonastaso,
John Sheekey
Abstract:
In this paper we study geometric aspects of codes in the sum-rank metric. We establish the geometric description of generalised weights, and analyse the Delsarte and geometric dual operations. We establish a correspondence between maximum sum-rank distance codes and h-designs, extending the well-known correspondence between MDS codes and arcs in projective spaces and between MRD codes and h-scattt…
▽ More
In this paper we study geometric aspects of codes in the sum-rank metric. We establish the geometric description of generalised weights, and analyse the Delsarte and geometric dual operations. We establish a correspondence between maximum sum-rank distance codes and h-designs, extending the well-known correspondence between MDS codes and arcs in projective spaces and between MRD codes and h-scatttered subspaces. We use the geometric setting to construct new h-designs and new MSRD codes via new families of pairwise disjoint maximum scattered linear sets.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Constructions and equivalence of Sidon spaces
Authors:
Chiara Castello,
Olga Polverino,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
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 one…
▽ More
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.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Maximum weight codewords of a linear rank metric code
Authors:
Olga Polverino,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
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})$.
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})$.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Divisible linear rank metric codes
Authors:
Olga Polverino,
Paolo Santonastaso,
John Sheekey,
Ferdinando Zullo
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 November, 2022; v1 submitted 15 November, 2022;
originally announced November 2022.
-
Left ideal LRPC codes and a ROLLO-type cryptosystem based on group algebras
Authors:
Martino Borello,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
In this paper we introduce left ideal low-rank parity-check codes by using group algebras and we finally use them to extend ROLLO-I KEM.
In this paper we introduce left ideal low-rank parity-check codes by using group algebras and we finally use them to extend ROLLO-I KEM.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Clubs and their applications
Authors:
Vito Napolitano,
Olga Polverino,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
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 defin…
▽ More
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.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
On subspace designs
Authors:
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
Guruswami and Xing introduced subspace designs in 2013 to give the first construction of positive rate rank metric codes list-decodable beyond half the distance. In this paper we provide bounds involving the parameters of a subspace design, showing they are tight via explicit constructions. We point out a connection with sum-rank metric codes, dealing with optimal codes and minimal codes with resp…
▽ More
Guruswami and Xing introduced subspace designs in 2013 to give the first construction of positive rate rank metric codes list-decodable beyond half the distance. In this paper we provide bounds involving the parameters of a subspace design, showing they are tight via explicit constructions. We point out a connection with sum-rank metric codes, dealing with optimal codes and minimal codes with respect to this metric. Applications to two-intersection sets with respect to hyperplanes, two-weight codes, cutting blocking sets and lossless dimension expanders are also provided.
△ Less
Submitted 14 November, 2023; v1 submitted 27 April, 2022;
originally announced April 2022.
-
Two pointsets in $\mathrm{PG}(2,q^n)$ and the associated codes
Authors:
Vito Napolitano,
Olga Polverino,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
The geometry of one-weight codes in the sum-rank metric
Authors:
Alessandro Neri,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
We provide a geometric characterization of $k$-dimensional $\mathbb{F}_{q^m}$-linear sum-rank metric codes as tuples of $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We then use this characterization to study one-weight codes in the sum-rank metric. This leads us to extend the family of linearized Reed-Solomon codes in order to obtain a doubly-extended version of them. We prove that these code…
▽ More
We provide a geometric characterization of $k$-dimensional $\mathbb{F}_{q^m}$-linear sum-rank metric codes as tuples of $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We then use this characterization to study one-weight codes in the sum-rank metric. This leads us to extend the family of linearized Reed-Solomon codes in order to obtain a doubly-extended version of them. We prove that these codes are still maximum sum-rank distance (MSRD) codes and, when $k=2$, they are one-weight, as in the Hamming-metric case. We then focus on constant rank-profile codes in the sum-rank metric, which are a special family of one weight-codes, and derive constraints on their parameters with the aid of an associated Hamming-metric code. Furthermore, we introduce the $n$-simplex codes in the sum-rank metric, which are obtained as the orbit of a Singer subgroup of $\mathrm{GL}(k,q^m)$. They turn out to be constant rank-profile - and hence one-weight - and generalize the simplex codes in both the Hamming and the rank metric. Finally, we focus on $2$-dimensional one-weight codes, deriving constraints on the parameters of those which are also MSRD, and we find a new construction of one-weight MSRD codes when $q=2$.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Extending two families of maximum rank distance codes
Authors:
Alessandro Neri,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
In this paper we provide a large family of rank-metric codes, which contains properly the codes recently found by Longobardi and Zanella (2021) and by Longobardi, Marino, Trombetti and Zhou (2021). These codes are $\mathbb{F}_{q^{2t}}$-linear of dimension $2$ in the space of linearized polynomials over $\mathbb{F}_{q^{2t}}$, where $t$ is any integer greater than $2$, and we prove that they are max…
▽ More
In this paper we provide a large family of rank-metric codes, which contains properly the codes recently found by Longobardi and Zanella (2021) and by Longobardi, Marino, Trombetti and Zhou (2021). These codes are $\mathbb{F}_{q^{2t}}$-linear of dimension $2$ in the space of linearized polynomials over $\mathbb{F}_{q^{2t}}$, where $t$ is any integer greater than $2$, and we prove that they are maximum rank distance codes. For $t\ge 5$, we determine their equivalence classes and these codes turn out to be inequivalent to any other construction known so far, and hence they are really new.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
On the list decodability of rank-metric codes containing Gabidulin codes
Authors:
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
Wachter-Zeh in [42], and later together with Raviv [31], proved that Gabidulin codes cannot be efficiently list decoded for any radius $τ$, providing that $τ$ is large enough. Also, they proved that there are infinitely many choices of the parameters for which Gabidulin codes cannot be efficiently list decoded at all. Subsequently, in [41] these results have been extended to the family of generali…
▽ More
Wachter-Zeh in [42], and later together with Raviv [31], proved that Gabidulin codes cannot be efficiently list decoded for any radius $τ$, providing that $τ$ is large enough. Also, they proved that there are infinitely many choices of the parameters for which Gabidulin codes cannot be efficiently list decoded at all. Subsequently, in [41] these results have been extended to the family of generalized Gabidulin codes and to further family of MRD-codes. In this paper, we provide bounds on the list size of rank-metric codes containing generalized Gabidulin codes in order to determine whether or not a polynomial-time list decoding algorithm exists. We detect several families of rank-metric codes containing a generalized Gabidulin code as subcode which cannot be efficiently list decoded for any radius large enough and families of rank-metric codes which cannot be efficiently list decoded. These results suggest that rank-metric codes which are $\mathbb{F}_{q^m}$-linear or that contains a (power of) generalized Gabidulin code cannot be efficiently list decoded for large values of the radius.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Linearized trinomials with maximum kernel
Authors:
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
Linearized polynomials have attracted a lot of attention because of their applications in both geometric and algebraic areas. Let $q$ be a prime power, $n$ be a positive integer and $σ$ be a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. In this paper we provide closed formulas for the coefficients of a $σ$-trinomial $f$ over $\mathbb{F}_{q^n}$ which ensure that the dimension of…
▽ More
Linearized polynomials have attracted a lot of attention because of their applications in both geometric and algebraic areas. Let $q$ be a prime power, $n$ be a positive integer and $σ$ be a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. In this paper we provide closed formulas for the coefficients of a $σ$-trinomial $f$ over $\mathbb{F}_{q^n}$ which ensure that the dimension of the kernel of $f$ equals its $σ$-degree, that is linearized polynomials with maximum kernel. As a consequence, we present explicit examples of linearized trinomials with maximum kernel and characterize those having $σ$-degree $3$ and $4$. Our techniques rely on the tools developed in [24]. Finally, we apply these results to investigate a class of rank metric codes introduced in [8], to construct quasi-subfield polynomials and cyclic subspace codes, obtaining new explicit constructions to the conjecture posed in [37].
△ Less
Submitted 15 July, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
