Abstract
We introduce the concept of a rank-saturating system and outline its correspondence to a rank-metric code with a given covering radius. We consider the problem of finding the value of \(s_{q^m/q}(k,\rho )\), which is the minimum \(\mathbb {F}_q\)-dimension of a q-system in \(\mathbb {F}_{q^m}^k\) that is rank-\(\rho \)-saturating. This is equivalent to the covering problem in the rank metric. We obtain upper and lower bounds on \(s_{q^m/q}(k,\rho )\) and evaluate it for certain values of k and \(\rho \). We give constructions of rank-\(\rho \)-saturating systems suggested from geometry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The relationships between linear codes and sets of points in finite geometries have long been exploited by researchers [1, 16, 18, 19, 21, 25]. Indeed, the MDS conjecture was first posed by Segre as a problem on arcs in finite geometry [41]. A generator matrix or parity check matrix of a linear code can be constructed from a multiset of projective points. Supports of codewords correspond to complements of hyperplanes in a fixed projective set. This connection yields a ‘dictionary’ between these two fields, which allows one to apply methods from one domain to the other. This approach has been taken in constructing codes with bounded covering radius, related to saturating sets in projective space.
The geometry of rank-metric codes has recently been investigated [3, 39]: rank-metric codes correspond to q-systems and linear sets. In this paper, we exploit this relationship further: we introduce the notion of a rank-saturating system in correspondence with a rank-metric covering code.
The covering radius of a code is the least positive integer \(\rho \) such that the union of the spheres of radius \(\rho \) about each codeword is equal to the full ambient space. This fundamental coding theoretical parameter has been widely studied for codes in respect of the Hamming metric [12, 17,18,19,20,21, 24], but very few papers on the subject have appeared in the literature on rank-metric codes [14, 27]. The covering radius is an indicator of combinatorial properties of a code, such as maximality and is an invariant of code equivalence. It also gives a measure of its error-correcting capabilities, via a determination of the maximal weight of a correctable error. Several other communication problems can be expressed in terms of covering problems for the Hamming metric [17]. For the rank metric, the covering radius of a code has connections with min-rank problems, such as those that arise in index-coding [13]. However, as far as the authors are aware, covering radius problems in the rank metric have not yet been approached from a geometric viewpoint.
A set \(\mathcal {S}\) of points in the projective space \({{\,\textrm{PG}\,}}(k-1,q)\) is called \(\rho \)-saturating if every point of \({{\,\textrm{PG}\,}}(k-1,q)\) lies in a projective subspace spanned by \(\rho +1\) points of \(\mathcal {S}\) and \(\rho \) is the least integer with this property. The equivalence classes of such sets are in bijection with equivalence classes of covering codes: if a \(\rho \)-saturating set \(\mathcal {S}\) is identified with the columns of a parity check matrix of a code \(\mathcal {C}\), then \(\mathcal {C}\) has (Hamming) covering radius \(\rho +1\). This yields an interesting connection between coding theory and finite geometry. A key question in this topic concerns the minimal cardinality of a saturating set for fixed q, k, and \(\rho \). Translated to codes, this asks what the shortest length of an \(\mathbb {F}_q\)-code of redundancy k and covering radius \(\rho +1\) is. A related problem is to obtain bounds on this number and to give constructions of codes or saturating sets that meet these bounds. Geometric methods to these problems have been considered in [18, 20, 21, 24, 44], wherein the two main approaches involve constructions using (1) cutting (or strong) blocking sets and (2) mixed subgeometries.
Rank-metric codes have been a source of intense research activity over the last number of years [8, 14, 15, 23, 26, 27, 35, 40, 42]. In this paper, we focus on rank-metric codes that are \(\mathbb {F}_{q^m}\)-linear subspaces of \(\mathbb {F}_{q^m}^{n}\). While there exists a more general description of rank-metric codes simply as linear spaces of matrices, the restriction to the \(\mathbb {F}_{q^m}\)-linear subspaces of \(\mathbb {F}_{q^m}^{n}\) has more immediate connections to finite geometry [3, 39]. In this paper, we introduce the notion of an \([n,k]_{q^m/q}\) rank-\(\rho \)-saturating system. In analogy with codes for the Hamming metric, it turns out that a rank-\(\rho \)-saturating system corresponds to a linear code of rank-metric covering radius \(\rho \). Such codes have the property that every element of the ambient space is within rank distance at most \(\rho \) to some codeword. In our analysis, we will use the notion of an \([n,k]_{q^m/q}\) system, which is simply an n-dimensional \(\mathbb {F}_q\)-subspace of \(\mathbb {F}_{q^m}^k\) whose \(\mathbb {F}_{q^m}\)-span is the full space and is a q-analogue of a projective system. Such q-systems have been used already in [3] and [39] to describe geometric aspects of rank-metric codes. Then an \([n,k]_{q^m/q}\) rank-\(\rho \)-saturating system is one whose associated linear set is a \((\rho -1)\)-saturating set in \({{\,\textrm{PG}\,}}(k-1,q^m)\).
We write \(s_{q^m/q}(k,\rho )\) to denote the minimum \(\mathbb {F}_q\)-dimension of a rank-\(\rho \)-saturating system in \(\mathbb {F}_{q^m}^k\). In this paper, we show that
for all \(q>2\), and a slightly different lower bound for \(q=2\). While the lower bound of (1) arises from a combinatorial observation, the upper bound is constructive. Furthermore, using the notion of a linear cutting blocking set [4], as well as constructions from subgeometries, we obtain sharper upper bounds for specific parameters by constructing rank-saturating systems.
This paper is organized as follows. In Sect. 2, we outline some background preliminaries. In Sect. 3, we introduce the notion of a rank-saturating system, give equivalent characterizations of such systems, and outline the connection to the rank covering radius of a code. In Sect. 4, we give upper and lower bounds on the minimum \(\mathbb {F}_q\)-dimension of a rank-\(\rho \)-saturating system. In almost all cases, the bounds we establish turn out to be independent of q. The concept of a rank-saturating system allows us to extend in Sect. 5 classical constructions for the Hamming metric to the rank metric. In particular, we adopt two different approaches: one construction arises from linear cutting blocking sets, first introduced in [3], and the other uses subgeometries. In the final section, we list some cases for which \(s_{q^m/q}(k,\rho )\) is completely determined.
2 Background
Throughout this paper, q will denote a fixed prime power, while m, n, k will denote positive integers such that \(n\le km\) and \(k\le n\). We will write \(\rho \) to denote a positive integer in \(\{1,\ldots ,\min \{k,m\}\}\). Vectors will, as a rule, be column-vectors (unless specified otherwise). We write [n] to denote the set \(\{1,\ldots ,n\}\).
Let \(\sim \) denote the equivalence relation on the non-zero elements of \(\mathbb {F}_q^k\) defined by \(u\sim v\) if and only if \(u=\lambda v\) for some nonzero element \(\lambda \in \mathbb {F}_q\). The projective space \({{\,\textrm{PG}\,}}(k-1,q)\) with underlying vector space \(\mathbb {F}_q^k\) is the set of equivalence classes for \(\sim \), which are called points. For a subspace \(V\subseteq \mathbb {F}_q^k\), the corresponding collection of points in \({{\,\textrm{PG}\,}}(k-1,q)\) form a projective subspace of \({{\,\textrm{PG}\,}}(k-1,q)\). If \(\dim V=k-1\), the corresponding subspace is called a hyperplane.
For integers \(0\le k \le n\) and a prime power q, the Gaussian binomial coefficient
denotes the number of k-dimensional subspaces of an n-dimensional space over \(\mathbb {F}_q\).
2.1 Linear codes
Let us start with some basic definitions of coding theory. Classically applied in noisy channel communication, code elements are often called words and therefore commonly represented as row vectors. In this paper, we will mainly consider the codes and systems for the rank metric, but we will point out some relations with the more classical Hamming-metric case. An \(\mathbb {F}_{q^m}\)-linear code of length n is an \(\mathbb {F}_{q^m}\)-linear space of \(\mathbb {F}_{q^m}^{1\times n}\).
Definition 2.1
Let \(u=(u_1,\ldots ,u_n)\) and \(v=(v_1,\ldots ,v_n )\) in \(\mathbb {F}_{q^m}^{1\times n}\).
-
1.
The Hamming distance between u and v in \(\mathbb {F}_{q^m}^{1\times n}\) is defined to be the number of coordinates in which they differ, that is: \(d_H(u,v):=|\{i\in [n]: u_i\ne v_i\}|.\) The Hamming weight of u is \(\text {wt}_{H}(u):=d_{H}(u,0)\). An \([n,k,d]_{q^m}\) Hamming-metric code \(\mathcal {C}\) is a k-dimensional \(\mathbb {F}_{q^m}\)-subspace of \(\mathbb {F}_{q^m}^{1\times n}\) such that \(d=d_{H}(\mathcal {C}):=\min \{ d_{H}(c,c'): c, c' \in \mathcal {C}, c \ne c'\}.\) If the minimum distance of \(\mathcal {C}\) is not known or is not relevant, we refer to it as an \([n,k]_{q^m}\) code.
-
2.
The rank distance between u and v in \(\mathbb {F}_{q^m}^{1\times n}\) is defined to be the \(\mathbb {F}_q\)-dimension of the vector space spanned by the differences of their coordinates, that is: \( d_{\text {rk}}(u,v):=\dim _{\mathbb {F}_q}\langle u_i-v_i: i \in [n]\rangle _{\mathbb {F}_q}.\) The rank weight of u is \(\text {wt}_{\text {rk}}(u):=d_{\text {rk}}(u,0)\). An \([n,k,d]_{q^m/q}\) rank-metric code \(\mathcal {C}\) is a k-dimensional \(\mathbb {F}_{q^m}\)-subspace of \(\mathbb {F}_{q^m}^{1\times n}\) such that \(d=d_{\text {rk}}(\mathcal {C}):=\min \{ d_{\text {rk}}(c,c'): c, c' \in \mathcal {C}, c \ne c'\}.\) If the minimum distance \(\mathcal {C}\) is not known or is not relevant, we refer to it as an \([n,k]_{q^m/q}\) code.
An \([n,k]_{q^m}\) or an \([n,k]_{q^m/q}\) code \(\mathcal {C}\) is often described in terms of a generator matrix \(G\in \mathbb {F}_{q^m}^{k\times n}\), which is a full-rank matrix whose rows generate \(\mathcal {C}\). The dual code of \(\mathcal {C}\) is defined to be:
where for all \(x=(x_1,\ldots ,x_n),y=(y_1,\ldots ,y_n) \in \mathbb {F}_{q^m}^{1\times n}\) we have \(x\cdot y:= \sum _{j=1}x_jy_j\).
Let \(\mathcal {C}, \mathcal {C}'\) be a pair of \(\mathbb {F}_{q^m}\)-linear codes. We say that \(\mathcal {C}\) and \(\mathcal {C}'\) are equivalent with respect to the Hamming metric if there exists a monomial matrix \(M\in \mathbb {F}_{q^m}^{n\times n}\) and a pair of generator matrices \(G,G'\) of \(\mathcal {C},\mathcal {C}'\), respectively, satisfying \(G'=GM\). We say that \(\mathcal {C}\) and \(\mathcal {C}'\) are equivalent with respect to the rank metric, if there exists \(A\in {{\,\textrm{GL}\,}}_n(q)\) and a pair of generator matrices \(G,G'\) of \(\mathcal {C},\mathcal {C}'\), respectively, satisfying \(G'=GA\).
We will generally require that the codes we study are nondegenerate in the following sense.
Definition 2.2
An \([n,k]_{q^m}\) code \(\mathcal {C}\) is Hamming-metric nondegenerate if for every \(i\in [n]\) there exists \(c\in \mathcal {C}\) such that \(c_i\ne 0\). An \([n,k]_{q^m/q}\) code \(\mathcal {C}\) is rank-metric nondegenerate if the \(\mathbb {F}_q\)-span of the columns of any generator matrix of \(\mathcal {C}\) has \(\mathbb {F}_q\)-dimension n.
Note that if a code is degenerate, then it can be isometrically embedded in an ambient space of smaller dimension.
It was shown in [3, Proposition 3.2] that \(\mathcal {C}\) is rank-metric nondegenerate if and only if for every \(A \in {{\,\textrm{GL}\,}}_n(q)\), the code \(\mathcal {C}\cdot A\) is Hamming-metric nondegenerate. Note that, as already observed in [32, Corollary 6.5], nondegenerate rank-metric \([n,k]_{q^m/q}\) codes may exist only if \(n\le mk\).
Definition 2.3
An \([n,k]_{q^m}\) code \(\mathcal {C}\) is projective if \(d_H(\mathcal {C}^\perp )\ge 3\). We define a projectivization of a code \(\mathcal {C}\) to be a punctured code \(\mathcal {C}^*\) of \(\mathcal {C}\) of maximal length such that \(d_H((\mathcal {C}^*)^\perp )\ge 3\).
A code is called projective if and only if no generator matrix has two linearly dependent columns. In a projectivization, one erases the minimum number of columns to obtain a projective code. Any pair of codes obtained by projectivization are equivalent. For this reason, it makes sense to talk about the projectivization of a code.
Definition 2.4
Let \(\mathcal {C}\le \mathbb {F}_{q^m}^{1\times n}\). The Hamming-metric covering radius of \(\mathcal {C}\) is:
The rank-metric covering radius of \(\mathcal {C}\) is:
More generally, with respect to an arbitrary distance function d on \(\mathbb {F}_{q^m}^{1\times n},\) the covering radius of a code \(\mathcal {C}\le \mathbb {F}_{q^m}^{1\times n}\) is the minimum value \(\rho \) such that the union of the balls of radius \(\rho \) about each codeword, with respect to the distance function d, is equal to the full ambient space \(\mathbb {F}_{q^m}^{1\times n}\). Hamming-metric (respectively, rank-metric) covering radius is an invariant of Hamming-metric (respectively, rank-metric) code equivalence.
We summarize some well-known results on the covering radius (c.f. [14, 17]). Similar statements hold for any distance function, but we state them for the rank metric.
Lemma 2.5
Let \(\mathcal {C},\mathcal {D}\le \mathbb {F}_{q^m}^{1\times n}\) be a pair of rank-metric codes. The following hold.
-
(a)
If \(\mathcal {C}\subseteq \mathcal {D}\), then \(\rho _{\text {rk}}(\mathcal {C}) \ge \rho _{\text {rk}}(\mathcal {D})\).
-
(b)
If \(\mathcal {C}\subsetneq \mathcal {D}\), then \(\rho _{\text {rk}}(\mathcal {C}) \ge d_{\text {rk}}(\mathcal {D})\).
-
(c)
If \(\mathcal {C}\notin \{\{0\},\; \mathbb {F}_{q^m}^{1\times n}\}\), then \(d_{\text {rk}}(\mathcal {C})-1 < 2\rho _{\text {rk}}(\mathcal {C})\).
An \([n,k,d]_{q^m/q}\) code is called maximal if it is not strictly contained in any (possibly nonlinear) code \(\mathcal {D}\subseteq \mathbb {F}_{q^m}^{1\times n}\) such that \(d_{\text {rk}}(\mathcal {D})=d\). Clearly a cardinality-optimal code is also maximal.
Lemma 2.6
(The Supercode Lemma, [17]) Let \(\mathcal {C}\) be an \([n,k,d]_{q^m/q}\) code with \(|\mathcal {C}| \ge 2\). Then \(\mathcal {C}\) is maximal if and only if \(\rho _{\text {rk}}(\mathcal {C}) \le d-1\).
Example 2.7
Let \(\alpha =(\alpha _j: j \in [n])\in \mathbb {F}_{q^m}^{1\times n}\) have rank weight n over \(\mathbb {F}_q\) and let i be a positive integer satisfying \((i,m)=1\). An \([n,k,n-k+1]_{q^m/q}\) code with generator matrix
is called as a generalized Gabidulin code. We denote it by \(\mathcal {G}_{n,k,i}(\alpha )\). Its dual code is a generalized Gabidulin code \(\mathcal {G}_{n,n-k,i}(\beta )\), for some \(\beta \in \mathbb {F}_{q^m}\). Such codes meet the rank-metric Singleton bound and are hence maximal, being optimal. Therefore, from the Supercode Lemma, we have \(\rho _{\text {rk}}(\mathcal {G}_{n,k,i}(\alpha )) \le n-k\). On the other hand, \(\mathcal {G}_{n,k,i}(\alpha )\lneq \mathcal {G}_{n,k+1,i}(\alpha )\) and so from Lemma 2.5, we have \(\rho _{\text {rk}}(\mathcal {G}_{n,k,i}(\alpha )) \ge d_{\text {rk}}(\mathcal {G}_{n,k+1,i}(\alpha ))=n-k\). It follows that \(\rho _{\text {rk}}(\mathcal {G}_{n,k,i}(\alpha )) = n-k\).
We recall the Dual Distance and External Distance bounds for rank-metric codes [14, 22], which we state for \(\mathbb {F}_{q^m}\)-linear rank-metric codes. The external distance of an \([n,k]_{q^m/q}\) rank-metric code \(\mathcal {C}\) is defined to be:
Theorem 2.8
Let \(\mathcal {C}\) be a \([n,k]_{q^m/q}\) rank-metric code. Then the following hold:
-
1.
\(\rho _{\text {rk}}(\mathcal {C}^\perp )\le s_\text {rk}(\mathcal {C})\) (external distance),
-
2.
\(\rho _{\text {rk}}(\mathcal {C}^\perp )\le \min \{n,m\}- d_{\text {rk}}(\mathcal {C})+1\) (dual distance).
2.2 q-Systems and linear sets
There is a classical way to associate a set of points in \(\mathcal {P}\subseteq {{\,\textrm{PG}\,}}(k-1, q^m)\) to a projective code in the Hamming metric. The idea is simply to take representatives in \(\mathbb {F}_{q^m}^k\) of the points of \(\mathcal {P}\) and put them as columns of a \(k\times |\mathcal {P}|\) generator matrix G over \(\mathbb {F}_{q^m}\) of a code. As in the rank-metric case, such codes depend on the ordering of the points and on their chosen vector representatives, but different choices yield equivalent codes. We will call any code in this equivalence class a projective code associated with \(\mathcal {P}\), and we will denote it by \(\mathcal {C}_\mathcal {P}\). The same can be done for multisets of points, in which case we arrive at non-projective codes, but we will not consider these in this work. This geometric vision of codes leads to many interesting connections between objects in finite geometry and properties of linear codes. In particular, the Hamming metric can be read from this set of points: for any \(u\in \mathbb {F}_{q^m}^{k}\), we have that:
In the rank metric, there is analogous interpretation, which associates q-systems to codes. We will now introduce these objects.
Definition 2.9
An \([n,k]_{q^m/q}\) system is an n-dimensional \(\mathbb {F}_q\)-space \(\mathcal {U}\le \mathbb {F}_{q^m}^k\) such that \(\langle \mathcal {U}\rangle _{\mathbb {F}_{q^m}}=\mathbb {F}_{q^m}^k\). A generator matrix for \(\mathcal {U}\) is a \(k\times n\) matrix over \(\mathbb {F}_{q^m}\) whose columns form an \(\mathbb {F}_q\)-basis for \(\mathcal {U}\). Two \([n,k]_{q^m/q}\) systems \(\mathcal {U}\) and \(\mathcal {V}\) are called equivalent if there exists \(\phi \) in \(\textrm{GL}_k(q^m)\) such that \(\phi (\mathcal {U})=\mathcal {V}\).
A standard way to obtain \([n,k]_{q^m/q}\) systems is to associate them with nondegenerate rank-metric codes. So, given a nondegenerate rank-metric code \(\mathcal {C}\), we may associate it with a system \(\mathcal {U}\) by taking a generator matrix of \(\mathcal {C}\) and defining \(\mathcal {U}\) to be the \(\mathbb {F}_q\)-span of its columns. This clearly depends on the choice of the matrix, but if we change the generator matrix we obtain an equivalent system. We will call any system \(\mathcal {U}\) in this equivalence class a system associated with \(\mathcal {C}\). For a more detailed description of this correspondence, which involves also the rank metric, the reader is referred to [3, §3] and [39]. We just point out one important result which is the q-analogue of (2): for any \(u\in \mathbb {F}_{q^m}^{1\times k}\),
In this paper, we will show new connections between rank-metric codes (viewed as covering codes) and q-systems. In order to do so, we will use the definition of a linear set. Such objects were introduced by Lunardon in [34] in order to construct blocking sets and they are subject of intense research over the last years. An in-depth treatment of linear sets can be found in [38].
Definition 2.10
Let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system. The \(\mathbb {F}_q\)-linear set in \({{\,\textrm{PG}\,}}(k-1, q^m)\) of rank n associated with \(\mathcal {U}\) is the set
where \(\langle u \rangle _{\mathbb {F}_{q^m}}\) denotes the projective point corresponding to u.
Remark 2.11
The original definition of a linear set does not assume that \(\langle \mathcal {U}\rangle _{\mathbb {F}_{q^m}}=\mathbb {F}_{q^m}^k\). However, if \(\dim _{\mathbb {F}_{q^m}}(\langle \mathcal {U}\rangle _{\mathbb {F}_{q^m}})=h<k\), then, up to equivalence, we may assume \(\mathcal {U}\le \mathbb {F}_{q^m}^h\) with \(\langle \mathcal {U}\rangle _{\mathbb {F}_{q^m}}=\mathbb {F}_{q^m}^h\), and then study \(L_\mathcal {U}\) in \({{\,\textrm{PG}\,}}(h-1,q^m)\).
Let \(0\ne v\in \mathbb {F}_{q^m}^k\) and \(P\in {{\,\textrm{PG}\,}}(k-1,\mathbb {F}_{q^m})\) be the projective point associated with v. We define the weight of P in \(L_\mathcal {U}\) as the integer
Definition 2.12
A linear set \(L_{\mathcal {U}}\) is scattered if \(\text {wt}_{\mathcal {U}}(P)=1\) for each \(P\in L_{\mathcal {U}}\).
Any linear set \(L_\mathcal {U}\) of rank n satisfies
Clearly a linear set \(L_\mathcal {U}\) is scattered if and only if equality holds in (3). Being a set of points in \({{\,\textrm{PG}\,}}(k-1,q^m)\), a linear set \(L_\mathcal {U}\) can be associated with an \([|L_\mathcal {U}|,k]_{q^m}\) code \(\mathcal {C}_{L_\mathcal {U}}\). We may hence associate a (projective) Hamming-metric code with a nondegenerate rank-metric code, as summarized in the following diagram.
Definition 2.13
Let \(\mathcal {C}\) be an \([n,k]_{q^m/q}\) rank-metric code. We call the code \(\mathcal {C}_{L_\mathcal {U}}\) obtained as in (4) the projective Hamming-metric code associated with \(\mathcal {C}\).
Remark 2.14
We highlight the fact that the projective Hamming-metric code associated with a rank-metric code defined above is not, in general, the associated Hamming-metric code described in [3, §4.2]. The two definitions coincide if and only if the underlying linear set is scattered (see for example [3, §4.1]). If the linear set is scattered, the Hamming-metric code associated with a representative \([n,k]_{q^m/q}\) code has length \((q^n-1)/(q-1)\). Otherwise, it is shorter. We remark that Hamming-metric codes associated with scattered linear sets have been already considered in [10, 36, 37, 45].
3 Rank-saturating systems
In this section, we will introduce the main object of the paper. We will study its properties and relations with covering codes in the rank metric.
Let us start with the notion of a saturating set.
Definition 3.1
Let \(\mathcal {S}\subseteq \textrm{PG}(k-1, q^m)\).
-
(a)
A point \(Q \in \textrm{PG}(k-1, q^m)\) is said to be \(\rho \)-saturated by \(\mathcal {S}\) if there exist \(\rho +1\) points \(P_1,\ldots ,P_{\rho +1}\in \mathcal {S}\) such that \(Q\in \langle P_1,\ldots ,P_{\rho +1}\rangle _{\mathbb {F}_{q^m}}\). We also say that \(\mathcal {S}\) \(\rho \)-saturates Q.
-
(b)
The set \(\mathcal {S}\) is called \(\rho \)-saturating set of \(\textrm{PG}(k-1, q^m)\) if every point \(Q \in \textrm{PG}(k-1, q^m)\) is \(\rho \)-saturated by \(\mathcal {S}\) and \(\rho \) is the smallest value with this property.
It is well-known (see, for example [31, Theorem 11.1.2]) that an \([n,n-k]_{q^m}\) code has (Hamming) covering radius \(\rho \) if every element of \(\mathbb {F}_{q^m}^k\) is a linear combination of \(\rho \) columns of a generator matrix of the dual code and \(\rho \) is the smallest value with such a property. The correspondence between projective systems and linear codes leads to a correspondence between \((\rho -1)\)-saturating sets of size n in \(\textrm{PG}(k-1,q^m)\) and the duals of \([n,n-k]_{q^m}\) codes of covering radius \(\rho \). In defining the q-analogue of such saturating sets, we arrive at a q-analogue of this correspondence.
Definition 3.2
An \([n,k]_{q^m/q}\) system \(\mathcal {U}\) is rank-\(\rho \)-saturating if \(L_\mathcal {U}\) is a \((\rho -1)\)-saturating set in \(\textrm{PG}(k-1,q^m)\). We call such a linear set a \((\rho -1)\)-saturating linear set.
The property of being rank-\(\rho \)-saturating is clearly invariant under equivalence of q-systems. The following result offers a characterization of rank-saturating systems which we will use extensively in the remainder of this paper.
Theorem 3.3
Let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system and let \(\{u_1,\ldots ,u_n\}\) be an \(\mathbb {F}_q\)-basis of \(\mathcal {U}\). The following are equivalent:
-
(a)
\(\mathcal {U}\) is rank-\(\rho \)-saturating.
-
(b)
For each vector \(v\in \mathbb {F}_{q^m}^k\), there exists \(\lambda \in \mathbb {F}_{q^m}^{1\times n}\) with \(\textrm{wt}_{\text {rk}}(\lambda )\le \rho \) such that
$$\begin{aligned} v=\lambda _1 u_1+\ldots +\lambda _n u_n, \end{aligned}$$and \(\rho \) is the smallest value with this property.
-
(c)
The full space can be expressed as:
$$\begin{aligned} \mathbb {F}_{q^m}^k=\bigcup _{\mathcal {S}:\,\mathcal {S} \le _{\mathbb {F}_q}\mathcal {U}:\,\dim _{\mathbb {F}_q}\mathcal {S}\le \rho } \langle \mathcal {S} \rangle _{\mathbb {F}_{q^m}}, \end{aligned}$$and \(\rho \) is the smallest integer with this property.
Proof
\(\mathrm{(a)}\Rightarrow \mathrm{(b)}\): Let \(0\ne v\in \mathbb {F}_{q^m}^k\) and \(Q=\langle v\rangle _{\mathbb {F}_{q^m}} \in \textrm{PG}(k-1,q^m)\). Since \(\mathcal {U}\) is rank-\(\rho \)-saturating, there exists \(\rho \) points \(P_1=\langle w_1\rangle _{\mathbb {F}_{q^m}},\ldots , P_\rho =\langle w_\rho \rangle _{\mathbb {F}_{q^m}}\) such that
with \(\gamma _i\in \mathbb {F}_{q^m}\). Now \(w_1,\ldots ,w_\rho \) are in \(L_\mathcal {U}\), so that, if \(u_1,\ldots , u_n\) is an \(\mathbb {F}_q\)-basis of \(\mathcal {U}\), we have
with \(\mu _{i,j}\in \mathbb {F}_q\) for all i, j. We reorder the terms to obtain:
Now, call \(\gamma =(\gamma _1,\ldots ,\gamma _\rho )\in \mathbb {F}_{q^m}^{1\times \rho }\), \(M=(\mu _{i,j})\in \mathbb {F}_q^{\rho \times n}\), and \(\lambda =\mathbb {F}_{q^m}^{1\times n}\). We have
and so \(\text {wt}_{\text {rk}}(\lambda )\le \rho \) (since the rank of M is at most \(\rho \)).
\(\mathrm{(b)}\Rightarrow \mathrm{(c)}\): From (b), any \(v\in \mathbb {F}_{q^m}^k\) can be expressed as the linear combination:
with \(\dim _{\mathbb {F}_q} \langle \lambda _1,\ldots ,\lambda _n\rangle _{\mathbb {F}_{q}}\le \rho .\) Let \(\mathcal {S}=\langle \lambda _1,\ldots ,\lambda _n\rangle _{\mathbb {F}_{q}}\). By (5), \(v\in \langle \mathcal {S}\rangle _{\mathbb {F}_{q^m}}\).
\(\mathrm{(c)}\Rightarrow \mathrm{(a)}\): Take \(Q=\langle v\rangle _{\mathbb {F}_{q^m}}\in {{\,\textrm{PG}\,}}(k-1,q^m)\). There exists \(\mathcal {S}\), an \(\mathbb {F}_q\)-subspace of \(\mathcal {U}\) with \(\dim _{\mathbb {F}_q}\mathcal {S}\le \rho \), such that \(v\in \langle \mathcal {S}\rangle _{\mathbb {F}_{q^m}}\). Let \(\{w_1,\ldots ,w_\rho \}\) be a set containing a basis of \(\mathcal {S}\) over \(\mathbb {F}_q\) and let \(P_1,\ldots ,P_\rho \) be their corresponding projective points, so that \(\langle w_i \rangle _{\mathbb {F}_{q^m}}\). These clearly belong to \(L_\mathcal {U}\). Since \(v\in \langle \mathcal {S}\rangle _{\mathbb {F}_{q^m}}\), \(Q\in \langle P_1,\ldots ,P_\rho \rangle _{\mathbb {F}_{q^m}}\).\(\square \)
Remark 3.4
Note that (b) does not depend on the choice of the \(\mathbb {F}_q\)-basis of \(\mathcal {U}\). Indeed, consider two \(\mathbb {F}_q\)-bases \(\mathcal {B}=\{u_1,\dots ,u_n\}\) and \(\mathcal {B}^\prime =\{u_1^\prime ,\dots ,u_n^\prime \}\) of \(\mathcal {U}\). Then, for each \(i\in [n]\) we have that \(u_i=\sum _{j=1}^n a_ju_j^\prime \) with \(a_j\in \mathbb {F}_q\) for \(j\in [n]\). Therefore,
which that implies \(\text {wt}_{\text {rk}}(\lambda )=\text {wt}_{\text {rk}}(\lambda ^\prime )\).
The following theorem shows that in analogy with the Hamming-metric case, there is a correspondence between rank-saturating systems and rank-metric covering codes.
Theorem 3.5
Let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system associated with a code \(\mathcal {C}\). The following are equivalent.
-
(a)
\(\mathcal {U}\) is rank-\(\rho \)-saturating.
-
(b)
\(\rho _{\text {rk}}(\mathcal {C}^\perp )=\rho \).
Proof
\(\mathrm{(a)}\Rightarrow \mathrm{(b)}\) Let \(w\in \mathbb {F}_{q^m}^{1\times n}\), G be a generator matrix for \(\mathcal {C}\) and \(v=Gw^T\in \mathbb {F}_{q^m}^k\). Since \(\mathcal {U}\) is rank-\(\rho \)-saturating, by condition (b) of Theorem 3.3, there exists \(\lambda \in \mathbb {F}_{q^m}^{1\times n}\) with \(\text {wt}_{\text {rk}}(\lambda )\le \rho \) such that \(v=G\lambda ^T\). Then \(G(w^T-\lambda ^T)\), so that \(w-\lambda \in \mathcal {C}^\perp \). Since \(\rho \) is the least integer with this property, we may conclude that \(\rho _{\text {rk}}(\mathcal {C}^\perp )=\rho \).
\(\mathrm{(b)}\Rightarrow \mathrm{(a)}\) Let \(v\in \mathbb {F}_{q^m}^k\) and G be a generator matrix for \(\mathcal {C}\). Let z any vector in \(\mathbb {F}_{q^m}^{1\times n}\) such that \(v=Gz^T\). By the definition of rank covering radius, there exists \(w\in \mathcal {C}^\perp \) (i.e., satisfying \(Gw^T=0\)) such that \(\text {wt}_{\text {rk}}(z-w)\le \rho \). Call \(\lambda =z-w\). We have \(v=Gz^T=G(z^T-w^T)=G\lambda ^T\). Since \(\rho \) is the least integer with this property, we may conclude that \(\mathcal {U}\) is rank-\(\rho \)-saturating. \(\square \)
Corollary 3.6
Let \(\mathcal {C}\) be an \([n,k]_{q^m/q}\) rank-metric code and let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system associated with \(\mathcal {C}\). Then
where \(\mathcal {C}_{L_\mathcal {U}}\) is the projective Hamming-metric code associated with \(\mathcal {C}\).
Proof
This follows immediately by Theorem 3.5 and by the definition of rank-\(\rho \)-saturating system. \(\square \)
We close this section by reformulating some known results (see [14]) on the rank-covering radius, in the language of saturating systems.
Corollary 3.7
Let \(\mathcal {U}\) be a rank-\(\rho \)-saturating \([n,k]_{q^m/q}\) system associated with a code \(\mathcal {C}\). Then
Proof
These are direct consequences of Theorem 2.8. \(\square \)
Corollary 3.8
Let \(\mathcal {C}\) be an \([n,k]_{q^m/q}\) generalized Gabidulin code and let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system associated with \(\mathcal {C}\). Then \(\mathcal {U}\) is a rank-k-saturating system.
Proof
The statement follows immediately from the fact that \(\rho _{\text {rk}}(\mathcal {C}^\perp ) = k\). \(\square \)
4 Bounds on the dimension of rank-saturating systems
The classical covering problem, as presented for example in [17], is as follows: given n and \(\rho \), estimate the least number of spheres of radius \(\rho \) (with respect to the metric considered) such that every vector in the ambient vector space of dimension n is contained in their union, i.e., such that the union of the balls of radius \(\rho \) covers this n-dimensional space. In the framework of linear codes, this is equivalent to asking how large the rate of a code (that is the ratio between the dimension of the code and n) must be in order to obtain a covering of the ambient space by balls centred at codewords. In terms of rank-\(\rho \)-saturating systems, by Theorem 3.5 one may ask to find the least value of n such that an \([n,k]_{q^m/q}\) rank-\(\rho \)-saturating system exists, for fixed k and \(\rho \).
Definition 4.1
We denote by \(s_{q^m/q}(k,\rho )\) the minimal \(\mathbb {F}_q\)-dimension of any rank-\(\rho \)-saturating system in \(\mathbb {F}_{q^m}^k\). That is,
The rest of this paper is devoted to obtaining bounds on this quantity: we will first give a lower bound and then provide upper bounds arising from explicit constructions of rank-\(\rho \)-saturating systems. We will use the following result.
Lemma 4.2
( [27, Corollary 2.3]) Let a, b be positive integers, with \(b\le a\). Then
where \(\displaystyle (1/q)_{\infty }:=\prod _{i=1}^{\infty }(1-q^{-i}).\)
The following has been obtained with a slightly different approach in [28, Proposition 14].
Theorem 4.3
Let \(\mathcal {U}\) be a rank-\(\rho \)-saturating \([n,k]_{q^m/q}\) system. Then
In particular, we have the following:
Proof
Let us consider the set \(\Pi _{\rho }\) of all \(\mathbb {F}_{q^m}\)-subspaces spanned by \(\rho \) \(\mathbb {F}_q\)-linearly independent elements of \(\mathcal {U}\); since the \(\mathbb {F}_q\)-dimension of these subspaces is \(\rho \), the rank of the \(\mathbb {F}_q\)-span of their coefficients is at most \(\rho \). As \(\mathcal {U}\) saturates \(\mathbb {F}_{q^m}^k\), from Theorem 3.5, we know that \(\Pi _{\rho }\) must cover the latter, i.e., that \(\mathbb {F}_{q^m}^k = \bigcup _{V \in \Pi _{\rho }} V\). Therefore,
If \(q=2\) and \(\rho =1\), then from (7) we get that \(2^n-1\ge 2^{m(k-1)}\) and hence \(n\ge m(k-1)+1\). From Lemma 4.2,
So
Hence,
The result now follows since \((1/q)_{\infty }^{-1}< q\) for all \(q>2\), and is strictly less than 4 for \(q=2\). \(\square \)
By Theorem 4.3, we obtain an immediate lower bound:
Note that in the case \(\rho =1\), the bound of (8) is attained, i.e., \(s_{q^m/q}(k,1)=m(k-1)+1\).
To see this, let \(v\in \mathbb {F}_{q^m}^k\), \(v\ne 0\) and let \(v'\notin \langle v\rangle _{\mathbb {F}_{q^m}}^\perp \). Consider the \([m(k-1)+1,k]_{q^m/q}\) system:
which is clearly a rank-1-saturating system, because \(L_\mathcal {U}={{\,\textrm{PG}\,}}(k-1,q^m)\). Let \(\mathcal {C}\) be the code whose generator matrix has the elements of an \(\mathbb {F}_q\)-basis of the system \(\mathcal {U}\) as its columns. The dual code \(C^\perp \) is an \([m(k-1)+1,m(k-1)+1-k]_{q^m/q}\) with rank covering radius 1 and it is the shortest code with this property for this dimension and m.
We now obtain upper bounds on \(s_{q^m/q}(k,\rho )\). To start with, we give a generalization of the previous construction.
Theorem 4.4
Any \([m(k-\rho )+\rho ,k]_{q^m/q}\) system \(\mathcal {U}\) with generator matrix
is rank-\(\rho \)-saturating. In particular,
Proof
Let \(\mathbb {F}_{q^m}=\mathbb {F}_q[\alpha ]\). By [3, Proposition 3.16.], we have that, up to equivalence, the system \(\mathcal {U}\) has generator matrix
while \(\mathcal {U}\) itself is given by:
Let \(v\in \mathbb {F}_{q^m}^k\) and suppose that \(v_{i_1},\ldots , v_{i_r}\ne 0\), for some \(i_j\in [\rho ]\). Then v can be expressed as:
where \(e_1,\ldots ,e_\rho \) is the standard basis of \(\mathbb {F}_{q}^\rho \). Clearly, each of these \(r\le \rho \) vectors belongs to \(\mathcal {U}\). Any vector whose first \(\rho \) coordinates are non-zero requires exactly \(\rho \) vectors in \(\mathcal {U}\) and hence the system is rank-\(\rho \)-saturating. \(\square \)
Since we have equality between the lower and the upper bound for \(\rho =1\) and for \(\rho =k\), the bound of (8) is attained in these cases.
We now study some properties of the function \(s_{q^m/q}(k,\rho )\).
Lemma 4.5
Let \(\mathcal {U}\) be a rank-\(\rho \)-saturating \([n,k]_{q^m/q}\) system. The following are equivalent.
-
1.
\(L_\mathcal {U}\) is not scattered.
-
2.
\(\mathcal {U}\) has an \(\mathbb {F}_q\)-basis \(\{u_1,\ldots ,u_n\}\subseteq \mathbb {F}_{q^m}^k\) with the property that
$$\begin{aligned} u_n = \lambda \sum _{j=1}^{n-1}l_{\rho +1,j} u_j, \end{aligned}$$for some \(l_{\rho +1,j}\in \mathbb {F}_q,1\le j\le n-1\) and \(\lambda \in \mathbb {F}_{q^m}{\setminus } \mathbb {F}_q\).
If either of the above equivalent properties hold, then \(\mathcal {U}\) contains a rank-\(\rho '\)-saturating
\([n-1,k]_{q^m/q}\) system satisfying \(\rho '\le \rho +1\). In particular, one such system is given by \(\langle u_1,\ldots ,u_{n-1}\rangle _{\mathbb {F}_q}\).
Proof
The equivalence of the two statements given above is clear: \(L_\mathcal {U}\) is scattered if and only no two members of \(\mathcal {U}\) are \(\mathbb {F}_{q^m}\)-multiples of the same vector in \(\mathbb {F}_{q^m}^k\). For any vector \(v\in \mathbb {F}_{q^m}^k\),
for some \(\lambda _i\in \mathbb {F}_{q^m}\) and \(l_{i,j}\in \mathbb {F}_q\). Therefore,
where \(\lambda _{\rho +1}=\sum _{i=1}^\rho \lambda _il_{i,n} \lambda \in \mathbb {F}_{q^m}\). \(\square \)
Using similar arguments as in the classical Hamming-metric case (see [31, §11.5]), we have the following results.
Theorem 4.6
(Monotonicity) The following hold:
-
(a)
If \(\rho <\min \{k,m\}\), then \(s_{q^m/q}(k,\rho +1) \le s_{q^m/q}(k,\rho ).\)
-
(b)
\(s_{q^m/q}(k,\rho ) \le s_{q^m/q}(k+1,\rho )-1\).
-
(c)
If \(\rho <m\), then \(s_{q^m/q}(k+1,\rho +1) \le s_{q^m/q}(k,\rho )+1\).
Proof
(a) Let \(n>k\) and let \(n=s_{q^m/q}(k,\rho )\). Let \(G\in \mathbb {F}_{q^m}^{k \times n}\) be a generator matrix associated with a rank-\(\rho \)-saturating \([n,k]_{q^m/q}\) system \(\mathcal {U}\). We may assume that \(G=[I_k|u_{k+1}\ldots ,u_{n-1},y]\) for some \(y,u_i \in \mathcal {U}\). Assume further, that over all such choices of \(\mathcal {U}\) and G, that y has minimal rank weight.
If \(\text {wt}_{\text {rk}}(y^T)=1\), then \(\mathcal {U}\) satisfies the hypothesis of Lemma 4.5 and so there exists a \((\rho +1)\)-rank-saturating system of length \(n-1\). We thus assume that \(\text {wt}_{\text {rk}}(y^T)=\ell \ge 2\). Let \(\{b_1:=y_{i_1},\dots ,b_{\ell }:=y_{i_\ell }\}\) be an \(\mathbb {F}_q\)-basis of \(\langle y_1,\dots ,y_k\rangle _{\mathbb {F}_q}\), where \(y^T = (y_1,\dots ,y_k)\). We have that \(y=b_\ell \sum _{j=1}^k p_j e_j +y'\) for some \(p_j \in \mathbb {F}_q\) and \(y'\in \mathbb {F}_{q^m}^k\) satisfying \(y' = (\sum _{j=1}^{\ell -1} a_{1j} b_j,\dots ,\sum _{j=1}^{\ell -1}a_{kj} b_j)^T\) for some \(a_{ij} \in \mathbb {F}_q\).
Consider the matrix \(G'=[I_k|u_{k+1}\ldots ,u_{n-1},y']\), and the corresponding \(\rho '\)-rank-saturating \([n,k]_{q^m/q}\) system \(\mathcal {U}'\) spanned by its columns. Let \(w \in \mathbb {F}_{q^m}^k\). There exists \(z \in \mathbb {F}_{q^m}^n\) of rank at most \(\rho \) such that \(w=Gz\). Therefore,
Let \(z' = z+z_nb_\ell \sum _{i \in [k]}p_ie_i\). Clearly, \(\text {wt}_{\text {rk}}((z')^T) \le \text {wt}_{\text {rk}}(z^T)+1\le \rho +1\) and so \(\rho ' \le \rho +1\). If \(\rho '=\rho +1\), then we have \(s_{q^m/q}(k,\rho +1)\le n = s_{q^m/q}(k,\rho )\) and hence the statement of the theorem will follow.
If \(y'\in \mathbb {F}_q^k\), then \(\mathcal {U}'\) is an \([n-1,k]_{q^m/q}\) system and so \(\rho ' = \rho +1\).
Suppose then that \(y'\notin \mathbb {F}_q^k\). Since \(\text {wt}_{\text {rk}}((y')^T)<\text {wt}_{\text {rk}}(y^T)\), by our choice of \(\mathcal {U}\) and G, it must be the case that \(\rho '\ne \rho \). Suppose that \(\rho '\le \rho -1\). If \(\text {wt}_{\text {rk}}((y')^T)=1\), then \(\mathcal {U}'\) satisfies the hypothesis of Lemma 4.5 and so there exists a rank-\(\rho ''\)-saturating \([n-1,k]_{q^m/q}\) system \(\mathcal {U}''\) with \(\rho '' \le \rho \), yielding a contradiction to the fact that \(n=s_{q^m/q}(k,\rho )\). We hence assume that \(\text {wt}_{\text {rk}}((y')^T)\ge 2\). Apply a similar argument as before to produce a matrix \(G''=[I_k|u_{k+1}\ldots ,u_{n-1},y'']\) with associated rank-\(\rho ''\)-saturating system \(\mathcal {U}''\) satisfying \(\rho '' \le \rho '+1 \le \rho \) and \(\text {wt}_{\text {rk}}((y'')^T) < \text {wt}_{\text {rk}}(y^T)\). Again, by our choice of G and \(\mathcal {U}\), it must be the case that \(\rho ''\le \rho -1\). Continue, iterating the same argument to produce a sequence of generator matrices \(G^{(i)}=[I_k|u_{k+1},\ldots ,u_{n-1},y^{(i)}]\) and associated \([n-1,k]_{q^m/q}\) rank-\(\rho ^{(i)}\)-saturating systems \(\mathcal {U}^{(i)}\) with \(\text {wt}_{\text {rk}}((y^{(i)})^T)<\text {wt}_{\text {rk}}((y^{(i-1)})^T)\) at each step. This sequence will terminate at some r for which \(\text {wt}_{\text {rk}}((y^{(r)})^T)=1\), in which case we may apply Lemma 4.5 to arrive at a contradiction. We deduce that \(\rho ' =\rho +1\) and so the result follows.
(b) Let \(n>k\) and let \(n=s_{q^m/q}(k,\rho )\). Let \(G=[\,I_{k+1}|\,A\,]\in \mathbb {F}_{q^m}^{(k+1) \times n}\) be a generator matrix of a rank-\(\rho \)-saturating \([n,k+1]_{q^m/q}\) system \(\mathcal {U}\). Consider the matrix \(G'=[\,I_{k}|\,A'\,]\in \mathbb {F}_{q^m}^{k \times (n-1)}\) found by deleting the first column and row of G. Let \(w' \in \mathbb {F}_{q^m}^k\) and let \(w=(0,w')^T \in \mathbb {F}_{q^m}^{k+1}\). Since \(\mathcal {U}\) is rank-\(\rho \)-saturating, there exists \(z \in \mathbb {F}_{q^m}^n\) of rank at most \(\rho \) such that \(w=Gz\) and so \(w'=G'z'\), where \(z'=(z_2,\ldots ,z_n)^T\). Since \(\text {wt}_{\text {rk}}((z')^T)\le \text {wt}_{\text {rk}}(z^T)\le \rho \), then \(G'\) generates an \([n-1,k]_{q^m/q}\) rank-\(\rho '\)-saturating system \(\mathcal {U}'\) with \(\rho '\le \rho \). Therefore, by (a),
(c) Let \(n=s_{q^m/q}(k,\rho )\). Let \(G\in \mathbb {F}_{q^m}^{k \times n}\) be a generator matrix of a rank-\(\rho \)-saturating \([n,k]_{q^m/q}\) system \(\mathcal {U}\). Consider the matrix
which generates a rank-\(\rho '\)-saturating \([n+1,k+1]_{q^m/q}\) system \(\mathcal {U}'\). It is straightforward to check that for any \(w \in \mathbb {F}_{q^m}^{k+1}\), there exists \(z \in \mathbb {F}_{q^m}^{n+1}\) of rank at most \(\rho +1\) such that \(w=G'z\). Again by (a), we have
\(\square \)
In the following, we define the direct sum of systems to obtain recursive bounds, in analogy with [21, 44].
Definition 4.7
For each \(i\in \{1,2\}\), let \(\mathcal {U}_i\) be an \([n_i,k_i]_{q^m/q}\) system, associated with an \([n_i,k_i]_{q^m/q}\) code \(\mathcal {C}_i\). Let \(f:\mathbb {F}_{q^m}^{1\times n_1} \longrightarrow \mathbb {F}_{q^m}^{1\times n_2}\) be an \(\mathbb {F}_{q^m}\)-linear map. The code
is an \([n_1+n_2,k_1+k_2]_{q^m/q}\), which we call the f-sum of \(\mathcal {C}_1\) and \(\mathcal {C}_2\) and write \(\mathcal {C}_1 \oplus _{f} \mathcal {C}_2\). Its associated \([n_1+n_2,k_1+k_2]_{q^m/q}\) system is called the f-sum of \(\mathcal {U}_1\) and \(\mathcal {U}_2\), which we denote by \(\mathcal {U}_1 \oplus _{f} \mathcal {U}_2\).
-
1.
If f is the identity map, the f-sum of \(\mathcal {U}_1\) and \(\mathcal {U}_2\) is called the Plotkin sum of \(\mathcal {U}_1\) and \(\mathcal {U}_2\).
-
2.
If f is the zero map, the f-sum of \(\mathcal {U}_1\) and \(\mathcal {U}_2\) is called the direct sum of \(\mathcal {U}_1\) and \(\mathcal {U}_2\), which we denote by \(\mathcal {U}_1\oplus \mathcal {U}_2\).
Theorem 4.8
For each \(i\in \{1,2\}\), let \(\mathcal {U}_i\) be an \([n_i,k_i]_{q^m/q}\) rank-\(\rho _i\)-saturating system, associated with an \([n_i,k_i]_{q^m/q}\) code \(\mathcal {C}_i\). Let \(f:\mathbb {F}_{q^m}^{1\times n_1} \longrightarrow \mathbb {F}_{q^m}^{1\times n_2}\) be an \(\mathbb {F}_{q^m}\)-linear map. Then \(\mathcal {U}_1 \oplus _{f} \mathcal {U}_2\) is an \([n_1+n_2,k_1+k_2]_{q^m/q}\) system that is rank-\(\rho \)-saturating, where \(\rho \le \rho _1+\rho _2.\) In particular, if \(\rho _1+\rho _2\le \min \{k_1+k_2,m\}\), then
Proof
\(\mathcal {C}=\mathcal {C}_1 \oplus _f \mathcal {C}_2\) has a generator matrix of the form
where \(G_i\) is a generator matrix for \(\mathcal {C}_i\) for each i and \(G' \in \mathbb {F}_{q^m}^{k_1 \times n_2}\). Let \(\mathcal {U}_i\) be the system generated by \(G_i\) and let \(\mathcal {U}'\) be the system generated by \(G'\). Since \(\mathcal {U}_1\) is rank-\(\rho _1\)-saturating, \(\mathcal {U}_1+\mathcal {U}'\) is \(\rho '\)-saturating for some \(\rho ' \le \rho _1\). Let \(v\in \mathbb {F}_{q^m}^{k_1+k_2}\) and write \(v=(v^{(1)},v^{(2)})^T\) with each \(v^{(i)} \in \mathbb {F}^{k_i}_{q^m}\). There exists \((\lambda ^{(1)},\lambda ')^T \in \mathbb {F}_{q^m}^{n_1+n_2}\) of rank weight at most \(\rho '\) and \(\lambda ^{(2)} \in \mathbb {F}_{q^m}^{n_2}\) of rank weight at most \(\rho _2\) such that:
and clearly \(\lambda =(\lambda ^{(1)},\lambda '+\lambda ^{(2)})^T\) has rank weight at most \(\rho _1+\rho _2\).
Suppose now that \(\mathcal {U}_i\) has \(\mathbb {F}_q\)-dimension \(s_{q^m/q}(k_i,\rho _i)\) for \(i \in \{1,2\}\). Then \(\mathcal {U}_1\oplus _f \mathcal {U}_2\) has \(\mathbb {F}_q\)-dimension \(s_{q^m/q}(k_1,\rho )+s_{q^m/q}(k_2,\rho _2)\). Since \(\mathcal {U}_1\oplus _f \mathcal {U}_2\) is rank- \(\rho ''\)-saturating with \(\rho ''\le \rho _1+\rho _2\), by Theorem 4.6,
if \(\rho _1+\rho _2\le \min \{k_1+k_2,m\}\). \(\square \)
Remark 4.9
The direct sum \(\mathcal {U}_1 \oplus \mathcal {U}_2\) may be \(\rho \)-rank-saturating with \(\rho < \rho _1 +\rho _2\), as the following example shows. Let \(\mathbb {F}_{16}=\mathbb {F}_2[\alpha ]\) with \(\alpha ^4=\alpha +1\). Let \(\mathcal {U}_1\) be the \([2,2]_{16/2}\) system and \(\mathcal {U}_2\) be the \([3,1]_{16/2}\) system defined, respectively, by
The system \(\mathcal {U}_1\) is rank-2-saturating and the system \(\mathcal {U}_2\) is rank-1-saturating, while \(\mathcal {U}_1\oplus \mathcal {U}_2\) is rank-2-saturating (which can be verified directly with Magma).
Corollary 4.10
Proof
We proceed by induction on t (for \(t=1\) it is clear). By Theorem 4.8 and by induction hypothesis, we get
\(\square \)
5 Constructions
In this section, we present some geometric constructions of rank-saturating systems of small \(\mathbb {F}_q\)-dimension, following the lines of [18, 21, 24, 44], wherein, as we have already mentioned, the two main approaches involve constructions using cutting blocking sets and mixed subgeometries.
5.1 Constructions from linear cutting blocking sets
Let us first introduce the notion of a cutting blocking set.
Definition 5.1
A subset \(\mathcal {M} \subseteq {{\,\textrm{PG}\,}}(k-1,q)\) is a cutting blocking set (or strong blocking set) if for every hyperplane \(\mathcal {H}\) of \({{\,\textrm{PG}\,}}(k-1,q)\), we have:
Such sets were introduced in [19], with the original name of strong blocking sets, in connection to \(\rho \)-saturating sets. More explicitly, we have the following result.
Theorem 5.2
(Theorem 3.2. of [19]) Any cutting blocking set in a subgeometry \(\textrm{PG}(k-1,q)\) of \(\textrm{PG}(k-1,q^{k-1})\) is a \((k-2)\)-saturating set in \(\textrm{PG}(k-1,q^{k-1})\).
In [11], they were reintroduced, with the name of cutting blocking sets, in order to construct a particular family of minimal codes.
Definition 5.3
An \([n,k]_{q^m}\) code \(\mathcal {C}\) is minimal if for every \(c,c'\in \mathcal {C}\), \(\{i:c'_i\ne 0\}\subseteq \{i:c_i\ne 0\}\) implies \(c'=\lambda c\) for some \(\lambda \in \mathbb {F}_{q^m}\).
Such codes have been the subject of extensive research over the last twenty years. In [1, 43], it is shown that they are the geometrical counterparts of minimal codes, via the correspondence introduced in Sect. 2.2. One of the main problems in the theory of minimal codes is the construction of families of short-length codes, which is equivalent to constructing small strong blocking sets. Some recent results can be found in [2, 4,5,6, 9, 30].
The q-analogue of a cutting blocking set is defined as follows.
Definition 5.4
A \([n,k]_{q^m/q}\) system \(\mathcal {U}\) is called a linear cutting blocking set if for every \(\mathbb {F}_{q^m}\)-hyperplane \(\mathcal {H}\) we have \(\langle \mathcal {H}\cap \mathcal {U}\rangle _{\mathbb {F}_{q^m}}=\mathcal {H}\).
Linear cutting blocking sets were introduced recently in [3], in connection with minimal codes in the rank metric. In order to define these, we introduce the notion of rank-support. Fix an ordered basis \(\Gamma =\{\gamma _1,\ldots ,\gamma _m\}\) of \(\mathbb {F}_{q^m}/\mathbb {F}_q\). For a word \(c \in \mathbb {F}_{q^m}^{1\times n}\), let \(\Gamma (c) \in \mathbb {F}_q^{n \times m}\) be the matrix such that
The rank-support of c, which we denote by \(\sigma ^{\text {rk}}(c)\) is the column space of \(\Gamma (c)\).
Definition 5.5
An \([n,k]_{q^m/q}\) code \(\mathcal {C}\) is minimal if for every \(c,c'\in \mathcal {C}\), \(\sigma ^{\text {rk}}(c')\subseteq \sigma ^{\text {rk}}(c)\) implies \(c'=\lambda c\) for some \(\lambda \in \mathbb {F}_{q^m}\).
As shown in [3], a q-system is a linear cutting blocking set if and only if the associated rank-metric code is minimal. We will show that, as in the classical setting, linear cutting blocking sets give rise to rank-saturating systems.
Theorem 5.6
Let \(\mathcal {U}\) be an \([n,k]_{q^m/q}\) system. If \(\mathcal {U}\) is a linear cutting blocking set, then it is a rank-\((k-1)\)-saturating \([n,k]_{q^{m(k-1)}/q}\) system.
Proof
The system \(\mathcal {U}\) is a linear cutting blocking set in \(\mathbb {F}_{q^m}^k\), so that the \([n,k]_{q^m/q}\) code \(\mathcal {C}\) associated with \(\mathcal {U}\) is a minimal code in the rank metric by [3, Corollary 5.7]. Then the projective Hamming-metric code \(\mathcal {C}_{L_\mathcal {U}}\) associated with \(\mathcal {C}\) is a minimal code in the Hamming metric by [3, Theorem 5.13] (indeed, \(\mathcal {C}_{L_\mathcal {U}}\) is the projectivization of the code \(\mathcal {C}^H\) in that reference, and we are using also the trivial fact that a code is minimal if and only if its projectivization is minimal). Hence, \(L_\mathcal {U}\) is a cutting blocking set in \(\textrm{PG}(k-1,q^m)\). Then \(L_\mathcal {U}\) is a \((k-2)\)-saturating set in \(\textrm{PG}(k-1,q^{m(k-1)})\) by Theorem 5.2. By definition, this means that \(\mathcal {U}\) is a rank-\((k-1)\)-saturating \([n,k]_{q^{m(k-1)}/q}\) system. \(\square \)
Corollary 5.7
For every \(m,k\ge 2\),
where \(l_{q^m/q}(k)\) is the minimum \({{\mathbb {F}}}_{q}\)-dimension of a linear cutting blocking set in \({{\mathbb {F}}}_{q^m}^k\).
Proof
The upper bound is a direct consequence of Theorem 5.6 and of [3, Corollary 6.11.], where it is shown that for every \(m,k\ge 2\), there exists a \([2k+m-2,k]_{q^{m}/q}\) linear cutting blocking set. The lower bound is the one by Theorem 4.3. \(\square \)
Remark 5.8
Quite remarkably, the lower bound coincides with the one for linear cutting blocking set given in [3, Corollary 5.10], calculated over the subfield \(\mathbb {F}_{q^m}\). Note, however, that in [8] it is proved that the bound is not sharp for linear cutting blocking sets when \(m<(k-1)^2\). It would be interesting to know if a similar result holds also for saturating systems.
Theorem 5.9
The equality
holds if one of the following is true:
-
(a)
\(r\not \equiv 3,5 \bmod 6\) and \(r\ge 4\);
-
(b)
\(\gcd (r,(q^{2\,s}-q^s+1)!)=1\), r odd, \(1\le s\le r\), \(\gcd (r,s)=1\);
-
(c)
\(r=5\), \(q=p^{15\,h+s}\), \(p\in \{2,3\}\), \(\gcd (s,15)=1\);
-
(d)
\(r=5\), \(q=5^{15\,h+1}\);
-
(e)
\(r=5\), q odd, \(q\equiv 2,3\bmod 5\) and for \(q=2^{2\,h+1}\), \(h\ge 1\).
Proof
According to [3, 7, 33], under any of these hypothesis \([r+2,3]_{q^r/q}\) linear cutting blocking sets exist. So by Theorem 5.6, rank-2-saturating \([r+2,3]_{q^{2r}/q}\) systems exist. The equality comes from the fact that in this case the upper bound meets the lower bound. \(\square \)
Remark 5.10
Let us remark that, according to [29], \([r+3,3]_{q^r/q}\) linear cutting blocking sets exist for any m and q. So, in general \(s_{q^{2r}/q}(3,2)\in \{r+2,r+3\}\).
Example 5.11
Let \(\lambda \) in \(\mathbb {F}_{16}\) such that \(\lambda ^4=\lambda +1\). The \([6,3]_{16/2}\) system with generator matrix
is a linear cutting blocking set, as shown in [3, Example 6.9]. So the \([6,3]_{256/2}\) system \(\mathcal {U}\) with the same generator matrix is a rank-2-saturating system. It has the smallest \(\mathbb {F}_2\)-dimension. The linear set \(L_\mathcal {U}\) is scattered.
Remark 5.12
In [8], it is shown that, for all q, there exists an \([8,4]_{q^3/q}\) linear cutting blocking set. Therefore, by Theorem 5.6 there exists a rank-3-saturating \([8,4]_{q^{9}/q}\) system and hence
In this case, their construction is independent of q.
On the other hand, for \(q=2^h\) with h odd, they show that the \([8,4]_{q^4/q}\) system
is a linear cutting blocking set (while for h even the result is no longer true) and by Theorem 5.6, is a \([8,4]_{q^{12}/q}\) rank-3-saturating system. So
for \(q=2^h\) with h odd. Note that, for h even, \(\mathcal {U}\) may eventually be still a rank-3-saturating system in spite of the fact that Theorem 5.6 is not applicable. It would be interesting to know whether such an example of dependence on q exists also for saturating systems. Note that from the dual distance bound, \(\mathcal {U}\) is a rank-\(\rho \)-saturating \([8,4]_{q^4/q}\) system, with \(\rho \le 5-d_{\text {rk}}(\mathcal {C})\), where \(\mathcal {C}\) is a code associated with \(\mathcal {U}\). In particular, if \(\mathcal {C}\) has minimum rank distance 2, \(\mathcal {U}\) is \(\rho \)-rank-saturating, with \(\rho \le 3\). A parity-check matrix for \(\mathcal {C}\) (up to equivalence) is given by [8, Proposition 4.14]:
where \(b \in \mathbb {F}^4_{q^4}\) has \(\mathbb {F}_q\)-rank equal to 4 and \(b^{q^j}:=(b^{q^i}_1,\dots ,b^{q^i}_4)\) for each i. From this, it is easy to see that no word of \(\mathbb {F}_{q}^8\) is contained in the nullspace of H and hence \(\mathcal {C}\) has minimum distance at least 2.
Finally, in [8] it is shown that if \([t,k]_{q^m/q}\) is a linear cutting blocking set, then one can construct a \([t+m,k+1]_{q^m/q}\) linear cutting blocking set. In our terms, by Theorem 5.6 we get that if a \([t,k]_{q^m/q}\) linear cutting blocking set exists, then
5.2 A construction from subgeometries
In this subsection, we outline a construction that exploits the properties of particular subgeometries of \(\textrm{PG}(k-1,q^m)\), i.e., those arising from subfields of \(\mathbb {F}_{q^m}\).
For the purposes of exposition, we start with a special case, which will serve as an example of a more general construction.
Proposition 5.13
Let \(\mathbb {F}_{q^2}=\mathbb {F}_q[\alpha ]\). For \(k\ge 3\), the \([2k-3,k]_{q^4/q}\) system \(\mathcal {U}\) defined by
which has an associated generator matrix given by:
is rank-3-saturating. In particular, we have:
Proof
Fix \(\beta _1,\beta _2\in \mathbb {F}_{q^4}\) such that \(\mathbb {F}_{q^4}=\mathbb {F}_{q^2}+\langle \beta _1,\beta _2\rangle _{\mathbb {F}_q}\). For any \(w\in \mathbb {F}_{q^4}\), write \(w=\pi _{\beta _1}(w)\beta _1+\pi _{\beta _2}(w)\beta _2+\pi _{\mathbb {F}_{q^2}}(w)\) for \(\pi _{\beta _1}(w),\pi _{\beta _2}(w)\in \mathbb {F}_q\) and \(\pi _{\mathbb {F}_{q^2}}(w)\in \mathbb {F}_{q^2}\).
Consider a vector \(v=(v_1,\ldots ,v_k)^T\in \mathbb {F}_{q^4}^k\); we will show that \(v=\lambda ^{(1)} u^{(1)}+\lambda ^{(2)} u^{(2)}+\lambda ^{(3)}u^{(3)}\) for some \(\lambda ^{(1)},\lambda ^{(2)},\lambda ^{(3)}\in \mathbb {F}_{q^4}\) and \(u^{(1)},u^{(2)},u^{(3)}\in \mathcal {U}\). We first define the following functions:
and \(\varphi _2:\ \mathbb {F}_{q^4}\times \mathbb {F}_{q^4}\times \mathbb {F}_{q^4} \longrightarrow \mathbb {F}_{q^2}\), where
if \(\pi _{\beta _2}(v_2)\ne \pi _{\beta _2}(v_1)\varphi _1(v_1,v_2)\) and \(\varphi _2(x_1,x_2,x_3):=0\), otherwise.
We will first suppose that the following hold:
-
(I)
\(\pi _{\beta _1}(v_1)\ne 0\),
-
(II)
\(\pi _{\beta _2}(v_2)\ne \pi _{\beta _2}(v_1)\varphi _1(v_1,v_2)\),
-
(III)
\(\pi _{\mathbb {F}_{q^2}}(v_3)\ne \pi _{\mathbb {F}_{q^2}}(v_1)\varphi _1(v_1,v_3)+\varphi _2(v_1,v_2,v_3)\).
Let
Direct computations show that \(v=\lambda ^{(1)}u^{(1)}+\lambda ^{(2)}u^{(2)}+\lambda ^{(3)}u^{(3)}\). Since \(u^{(1)},u^{(2)}\in \mathbb {F}_{q}^k\subseteq \mathcal {U}\) and \(u^{(3)}\in \mathbb {F}_{q}^3\times \mathbb {F}_{q^2}^{k-3}\subseteq \mathcal {U}\), we have that \(\rho _{\mathrm {\text {rk}}}(\mathcal {U})\le 3\).
We now consider the possibility that one or more of the assumptions (I)-(III) do not hold. We will show that the argument holds with some minor modifications.
-
(I)
Suppose that \(\pi _{\beta _1}(v_1)=0\).
-
(a)
If there exists an index \(i\in \{2,\dots ,k\}\) such that \(\pi _{\beta _1}(v_i)\ne 0\), repeat the passages written above replacing \(v_1\) with \(v_i\).
-
(b)
Otherwise, if there does not exist any \(i\in \{2,\dots ,k\}\) such that \(\pi _{\beta _1}(v_i)\ne 0\), set \(\lambda ^{(1)}=v_1\), \(u^{(1)}=(1,0,\dots ,0)^T\), and replace \(\pi _{\beta _1}({v_1})^{-1}\) with the value zero in the formula for \(\varphi _1\).
-
(a)
-
(II)
Suppose that \(\pi _{\beta _2}(v_2)=\pi _{\beta _2}(v_1)\varphi _1(v_1,v_2)\).
-
(a)
If there exists an index \(i\in \{3,\dots ,k\}\) such that
$$\begin{aligned} \pi _{\beta _2}(v_i)\ne \pi _{\beta _2}(v_1)\varphi _1(v_1,v_i), \end{aligned}$$repeat the passages written above replacing \(v_2\) with \(v_i\).
-
(b)
Otherwise, if there does not exist any \(i\in \{3,\dots ,k\}\) such that
$$\begin{aligned} \pi _{\beta _2}(v_i)\ne \pi _{\beta _2}(v_1)\varphi _1(v_1,v_i), \end{aligned}$$then set \(\lambda ^{(2)}=v_2-\lambda ^{(1)}u_2^{(1)}\), \(u^{(2)}=(0,1,\dots ,0)^T\), replace
$$\begin{aligned} (\pi _{\beta _2}(v_2)-\pi _{\beta _2}(v_1)\varphi _1(v_1,v_3))^{-1} \end{aligned}$$with the value zero in the determination of \(\lambda ^{(3)},u^{(3)}\).
-
(a)
-
(III)
Suppose that \(\pi _{\mathbb {F}_{q^2}}(v_3)\ne \pi _{\mathbb {F}_{q^2}}(v_1)\varphi _1(v_1,v_3)+\varphi _2(v_1,v_2,v_3)\).
-
(a)
If there exists an index \(i\in \{4,\dots ,k\}\) such that
$$\begin{aligned} \pi _{\mathbb {F}_{q^2}}(v_i)\ne \pi _{\mathbb {F}_{q^2}}(v_1)\varphi _1(v_1,v_i)+\varphi _2(v_1,v_2,v_i), \end{aligned}$$then replace \(v_3\) with \(v_i\) in the determination of \(\lambda ^{(3)}\), \(u^{(3)}\).
-
(b)
Otherwise, if there does not exist any \(i\in \{4,\dots ,k\}\) such that
$$\begin{aligned}\pi _{\mathbb {F}_{q^2}}(v_i)\ne \pi _{\mathbb {F}_{q^2}}(v_1)\varphi _1(v_1,v_i)+\varphi _2(v_1,v_2,v_i),\end{aligned}$$then the process has already terminated in the Step (II) and it is enough to set \(\lambda ^{(3)}=0\) and \(u^{(3)}=(0,\dots ,0)^T\).
-
(a)
To conclude the proof, we show that \(\mathcal {U}\) is exactly 3-saturating. Let \(\gamma _1,\gamma _2,\gamma _3\in \mathbb {F}_{q^4}\) be linearly independent over \(\mathbb {F}_q\), and let \({\overline{v}}=(\gamma _1,\gamma _2,\gamma _3,0,\dots ,0)^T\in \mathcal {U}\). Due to the linear independence of the \(\gamma _i\) over \(\mathbb {F}_q\), it is not possible to saturate \({\overline{v}}\) with fewer than 3 elements of \(\mathcal {U}\). \(\square \)
The idea of the previous proof above, which is reminiscent of the Gram-Schmidt algorithm, allows us to obtain a construction that generalizes Proposition 5.13.
Theorem 5.14
Let \(r,t\ge 2\) and \(\mathbb {F}_{q^t}=\mathbb {F}_q[\alpha ]\), for some \(\alpha \), a root of an irreducible polynomial of degree t over \(\mathbb {F}_q\). For \(h\ge 0\), the \([th + (r-1)t + 1,h+(r-1)t + 1]_{q^{rt}/q}\) system \(\mathcal {U}\) defined by:
which has an associated generator matrix given by:
is rank-\(((r-1)t+1)\)-saturating. In particular,
Proof
Let \(\{\beta _1,\dots ,\beta _{(r-1)t}\}\subseteq \mathbb {F}_{q^{rt}}\) such that \(\mathbb {F}_{q^{rt}} = \mathbb {F}_{q^t} + \langle \beta _1,\dots ,\beta _{(r-1)t} \rangle _{\mathbb {F}_q}\). For any \(a\in \mathbb {F}_{q^{rt}}\), write \(a=\sum _{j\in [(r-1)t]}\pi _{\beta _j}(a)\beta _j+\pi _{\mathbb {F}_{q^t}}(a)\) for \(\pi _{\beta _j}(a)\in \mathbb {F}_q\) and \(\pi _{\mathbb {F}_{q^t}}(a)\in \mathbb {F}_{q^t}\). Let \(k=h+(r-1)t+1\) and consider a vector \(v=(v_1,\ldots ,v_k)^T\in \mathbb {F}_{q^{rt}}^k\); we will show that \(v=\sum _{j \in [(r-1)t+1]}\lambda ^{(j)} u^{(j)}\) for some \(\lambda ^{(j)}\in \mathbb {F}_{q^{rt}}\) and \(u^{(j)}\in \mathcal {U}\). Suppose first that \(\pi _{\beta _1}(v_1)\ne 0\). Define the following:
If \(\pi _{\beta _1}(v_1)=0\), then proceed similarly as described in (I) of Proposition 5.13.
Now recursively define \(\lambda ^{(\ell )}\) and \(u^{(\ell )}\) as follows: for \(\ell \in \{2,\ldots ,(r-1)t\}\), we set
under the assumption that
If (9) does not hold, then this means that \(\lambda ^{(\ell )}\) and \(u^{(\ell )}\) are not necessary for the decomposition, and it is possible to proceed to the next step. We proceed in a manner similar to (II) of Proposition 5.13.
Furthermore, define:
and
where we assume that
Finally, if (10) does not hold, then continue as in (III) of Proposition 5.13.
In order to prove that \(\mathcal {U}\) is \(((r-1)t+1)\)-saturating, we show that the following hold:
-
(i)
\(v_\ell =\sum _{i\in [\ell ]} \lambda ^{(i)}u^{(i)}_\ell \) for \(\ell \in [(r-1)t]\),
-
(ii)
\(\pi _{\beta _\ell }(v_k)=\pi _{\beta _\ell }\left( \sum _{i\in [\ell ]}\lambda ^{(i)}u^{(i)}_k\right) =\pi _{\beta _\ell }\left( \sum _{i\in [j]}\lambda ^{(i)}u^{(i)}_k\right) \) for \(\ell \in [(r-1)t]\), \(k\in \{\ell +1,\dots ,th + t(s-1) + 1\}\), and \(j\in \{\ell ,\ldots ,(r-1)t+1\}\),
-
(iii)
\(\sum _{i\in [(r-1)t+1]}\lambda ^{(i)}u^{(i)}=v\).
Direct computations show that
and that, furthermore:
Hence (i) holds.
We now prove (ii), noting that by construction, \(\pi _{\beta _i}(\lambda ^{(i)})=1\), for \(i\le (r-1)t\). Moreover, for \(\ell \in [(r-1)t]\), it is straightforward to show that the second equality in (ii) holds, as \(\lambda ^{(i)}\in \langle \beta _i,\beta _{i+1},\dots ,\beta _{(r-1)t}\rangle _{\mathbb {F}_q} + \mathbb {F}_{q^2}\) and \(u^{(i)}\in \mathbb {F}_{q}^{th + (r-1)t + 1}\) for \(i\le (r-1)t\). Firstly, we have that
Consider now \(\ell \in \{2,\ldots ,(r-1)t\}\). By construction, we have that:
which implies (ii).
To prove (iii) it remains to show that \(\pi _{\mathbb {F}_{q^t}}(v_k)=\pi _{\mathbb {F}_{q^t}}\left( \sum _{i\in [(r-1)t+1]}\lambda ^{(i)}u^{(i)}_k\right) \), for \(k\in \{(r-1)t+1,\dots ,th + t(s-1) + 1\}\).
By construction, for \(k\in \{(r-1)t+1,\ldots ,th + t(s-1) + 1\}\) we have:
Since \(u^{(\ell )}\in \mathbb {F}_{q}^{(r-1)t+h+1}\subseteq \mathcal {U}\), for \(\ell \in [(r-1)t]\), and \(u^{((r-1)t+1)}\in \mathbb {F}_q^{(r-1)t}\times \mathbb {F}_{q^{t}}^{h}\subseteq \mathcal {U}\) we have that \(\rho _{\textrm{rk}}(\mathcal {U})\le (r-1)t+1\). Moreover, using the same argument as in the proof of Proposition 5.13, \(\mathcal {U}\) is exactly \(((r-1)t+1)\)-saturating as taking \(\gamma _1,\dots ,\gamma _{(r-1)t+1}\in \mathbb {F}_{q^{(r-1)t+1}}\) be linearly independent over \(\mathbb {F}_q\), the vector \({\overline{v}}=(\gamma _1,\dots ,\gamma _{(r-1)t+1},0,\dots ,0)^T\in \mathcal {U}\) cannot be saturated with fewer than \((r-1)t+1\) elements of \(\mathcal {U}\).\(\square \)
Remark 5.15
Let us suppose \(q>2\). Note that for \(h\ge 0\),
and the difference between the upper and the lower bound is
Note that, for \(t=2\) and \(h=1\), for all \(r\ge 2\) the difference is strictly less than 1, so that
for \(q>2\).
In the case \(q=2\), with a similar argument we get
Now, clearly \(s_{q^{2r}/q}(2r,2r-1)\) cannot be equal to 2r (for any q), since the only \([2r,2r]_{q^m/q}\) code is the full space and in this case \(\rho =2r\). So, \(s_{2^{2r}/2}(2r,2r-1)=2r+1\).
6 Conclusion
For the convenience of the reader, we summarize the main results on \(s_{q^m/q}(k,\rho )\) proved in this paper. First, by Theorem 4.3 and Theorem 4.4,
The Monotonicity Theorem (Theorem 4.6) and the Direct Sum Theorem (Theorem 4.8) state that, for all positive integers \(m,k,k'\), \(\rho \in [\min \{k,m\}]\), \(\rho '\in [\min \{k',m\}\),
-
(a)
If \(\rho <\min \{k,m\}\), then \(s_{q^m/q}(k,\rho +1) \le s_{q^m/q}(k,\rho ).\)
-
(b)
\(s_{q^m/q}(k,\rho )<s_{q^m/q}(k+1,\rho )\).
-
(c)
If \(\rho <m\), then \(s_{q^m/q}(k+1,\rho +1) \le s_{q^m/q}(k,\rho )+1\).
-
(d)
If \(\rho +\rho '\le \min \{k+k',m\}\), \(s_{q^m/q}(k+k',\rho +\rho ') \le s_{q^m/q}(k,\rho )+s_{q^m/q}(k',\rho ')\).
The upper bound is sharpened for particular cases: for every \(r,k\ge 2\), thanks to the construction using linear cutting blocking sets (Corollary 5.7) we have
Using subgeometries (Theorem 5.14), for \(t,s\ge 2\) and \(h\ge 0\) we have:
Finally, we list some cases for which \(s_{q^m/q}(k,\rho )\) is determined, namely:
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Alfarano, G.N., Borello, M., Neri, A.: A geometric characterization of minimal codes and their asymptotic performance. Adv. Math. Commun. 16(1) (2022)
Alfarano, G.N., Borello, M., Neri, A.: Outer strong blocking sets. arXiv preprint arXiv:2301.09590 (2023)
Alfarano, G.N., Borello, M., Neri, A., Ravagnani, A.: Linear cutting blocking sets and minimal codes in the rank metric. J. Comb. Theory Ser. A 192, 105658 (2022)
Alfarano, G.N., Borello, M., Neri, A., Ravagnani, A.: Three combinatorial perspectives on minimal codes. SIAM J. Discrete Math. 36(1), 461–489 (2022)
Alon, N., Bishnoi, A., Das, S., Neri, A.: Strong blocking sets and minimal codes from expander graphs. arXiv preprint arXiv:2305.15297 (2023)
Bartoli, D., Borello, M.: Small strong blocking sets by concatenation. SIAM J. Discrete Math. 37(1), 65–82 (2023)
Bartoli, D., Csajbók, B., Marino, G., Trombetti, R.: Evasive subspaces. J. Comb. Des. 29(8), 533–551 (2021)
Bartoli, D., Marino, G., Neri, A.: New MRD codes from linear cutting blocking sets. Ann. Mat. Pura Appl. (1923) 202(1), 115–142 (2023)
Bishnoi, A., D’haeseleer, J., Gijswijt, D., Potukuchi, A.: Blocking sets, minimal codes and trifferent codes. arXiv preprint arXiv:2301.09457 (2023)
Blokhuis, A., Lavrauw, M.: Scattered spaces with respect to a spread in PG(n, q). Geom. Dedicata 81(1), 231–243 (2000)
Bonini, M., Borello, M.: Minimal linear codes arising from blocking sets. J. Algebraic Comb. 53(2), 327–341 (2021)
Brualdi, R., Pless, V., Wilson, R.: Short codes with a given covering radius. IEEE Trans. Inf. Theory 35(1), 99–109 (1989)
Byrne, E., Calderini, M.: Index coding, network coding and broadcast with side-information. In: Network Coding and Subspace Designs, pp. 171–211. Springer, Berlin (2018)
Byrne, E., Ravagnani, A.: Covering radius of matrix codes endowed with the rank metric. SIAM J. Discrete Math. 31(2), 927–944 (2017)
Byrne, E., Ravagnani, A.: Partition-balanced families of codes and asymptotic enumeration in coding theory. J. Comb. Theory Ser. A 171, 105169 (2020)
Calderbank, R., Kantor, W.M.: The geometry of two-weight codes. Bull. Lond. Math. Soc. 18(2), 97–122 (1986)
Cohen, G.D., Honkala, I., Litsyn, S., Lobstein, A.: Covering Codes. North-Holland Mathematical Library, Elsevier, Amsterdam (1997)
Davydov, A.A.: Constructions and families of covering codes and saturated sets of points in projective geometry. IEEE Trans. Inf. Theory 41(6), 2071–2080 (1995)
Davydov, A.A., Giulietti, M., Marcugini, S., Pambianco, F.: Linear nonbinary covering codes and saturating sets in projective spaces. Adv. Math. Commun. 5(1), 119–147 (2011)
Davydov, A.A., Marcugini, S., Pambianco, F.: On saturating sets in projective spaces. J. Comb. Theory Ser. A 103(1), 1–15 (2003)
Davydov, A.A., Östergård, P.R.: On saturating sets in small projective geometries. Eur. J. Comb. 21(5), 563–570 (2000)
Delsarte, P.: Four fundamental parameters of a code and their combinatorial significance. Inf. Control 23(5), 407–438 (1973)
Delsarte, P.: Bilinear forms over a finite field, with applications to coding theory. J. Comb. Theory Ser. A 25(3), 226–241 (1978)
Denaux, L.: Constructing saturating sets in projective spaces using subgeometries. In: Designs, Codes and Cryptography, pp. 1–32. Springer, Berlin (2021)
Dodunekov, S., Simonis, J.: Codes and projective multisets. Electron. J. Comb. 5(1), R37 (1998)
Gabidulin, E.: Theory of codes with maximum rank distance. Probl. Peredachi Inform. 21(1), 3–16 (1985)
Gadouleau, M.: Algebraic codes for random linear network coding. Lehigh University (2009)
Gadouleau, M., Yan, Z.: Packing and covering properties of rank metric codes. IEEE Trans. Inf. Theory 54(9), 3873–3883 (2008)
Gruica, A., Ravagnani, A., Sheekey, J., Zullo, F.: Generalised scattered subspaces. arXiv preprint arXiv:2207.01027 (2022)
Héger, T., Nagy, Z.L.: Short minimal codes and covering codes via strong blocking sets in projective spaces. IEEE Trans. Inf. Theory 68(2), 881–890 (2021)
Huffman, W.C., Pless, V.: Fundamentals of Error-Correcting Codes. Cambridge University Press, Cambridge (2003)
Jurrius, R., Pellikaan, R.: On defining generalized rank weights. Adv. Math. Commun. 11(1), 225 (2017)
Lia, S., Longobardi, G., Marino, G., Trombetti, R.: Short rank-metric codes and scattered subspaces. arXiv preprint arXiv:2306.01315 (2023)
Lunardon, G.: Normal spreads. Geom. Dedicata 75(3), 245–261 (1999)
Lunardon, G., Trombetti, R., Zhou, Y.: Generalized twisted Gabidulin codes. J. Comb. Theory Ser. A 159, 79–106 (2018)
Napolitano, V., Polverino, O., Santonastaso, P., Zullo, F.: Two pointsets in PG(2, \(q^n\)) and the associated codes. Adv. Math. Commun. 17(1), 227–245 (2023)
Napolitano, V., Zullo, F.: Codes with few weights arising from linear sets. Adv. Math. Commun. 17(2) (2023)
Polverino, O.: Linear sets in finite projective spaces. Discrete Math. 310(22), 3096–3107 (2010)
Randrianarisoa, T.H.: A geometric approach to rank metric codes and a classification of constant weight codes. Des. Codes Crypt. 88, 1331–1348 (2020)
Roth, R.M.: Maximum-rank array codes and their application to crisscross error correction. IEEE Trans. Inf. Theory 37(2), 328–336 (1991)
Segre, B.: Curve razionali normali ek-archi negli spazi finiti. Ann. Mat. 39(1), 357–379 (1955)
Sheekey, J.: A new family of linear maximum rank distance codes. Adv. Math. Commun. 10(3), 475 (2016)
Tang, C., Qiu, Y., Liao, Q., Zhou, Z.: Full characterization of minimal linear codes as cutting blocking sets. IEEE Trans. Inform. Theory 67(6), 3690–3700 (2021)
Ughi, E.: Saturated configurations of points in projective Galois spaces. Eur. J. Comb. 8(3), 325–334 (1987)
Zini, G., Zullo, F.: Scattered subspaces and related codes. Des. Codes Crypt. 89(8), 1853–1873 (2021)
Acknowledgements
The results of this paper are the result of a collaboration that arose within the IRC-PHC Ulysses project “Geometric Constructions of Codes for Secret Sharing Schemes.” The research of the first author was partially supported by the Irish Research Council, grant n. GOIPD/2020/597. The second author was partially supported by the ANR-21-CE39-0009 - BARRACUDA (French Agence Nationale de la Recherche). The authors express their deep gratitude to Ferdinando Zullo and Julien Lavauzelle for the inspiring discussions on the subject of the paper. The authors wish to thank the anonymous reviewers for their meticulous reading of this manuscript and whose comments greatly improved this work.
Funding
Open Access funding provided by the IReL Consortium.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bonini, M., Borello, M. & Byrne, E. Saturating systems and the rank-metric covering radius. J Algebr Comb 58, 1173–1202 (2023). https://doi.org/10.1007/s10801-023-01269-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-023-01269-9