Table of Contents
Fetching ...

On the existence of linear rank-metric intersecting codes

Martino Borello, Olga Polverino, Ferdinando Zullo

Abstract

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

On the existence of linear rank-metric intersecting codes

Abstract

Intersecting codes are a classical object in coding theory whose rank-metric analogue has recently been introduced. Although the definition formally parallels the Hamming-metric case, the structure and parameter constraints of rank-metric intersecting codes exhibit substantially different behavior. It was previously shown that a nondegenerate rank-metric intersecting code must satisfy , and the tightness of the upper bound was left open. Using the geometric interpretation of rank-metric codes via -systems, we prove that the dual subspace associated with a rank-metric intersecting code must satisfy strong evasiveness properties. This connection allows us to derive new restrictions on the parameters of such codes and to show that the bound can be attained only when and . More generally, we show that . Moreover, we obtain a geometric characterization of these extremal codes in terms of scattered -subspaces of . As a consequence, the existence problem for rank-metric intersecting codes is reduced to the existence of scattered subspaces of dimension . Using known constructions of maximum scattered subspaces, we derive existence results when is even. Finally, we prove that rank-metric intersecting codes do not exist for any prime power , thus resolving an open problem posed by Bartoli et al. in 2025.

Paper Structure

This paper contains 8 sections, 18 theorems, 54 equations.

Key Result

Theorem 1.1

Let $\mathcal{C}$ be a nondegenerate $[n,k,d]_{q^m/q}$ rank-metric code and let $G$ be a generator matrix. Let $U \subseteq \mathbb{F}_{q^m}^k$ be the $\mathbb{F}_q$-span of the columns of $G$. The rank weight of an element $x G \in \mathcal{C}$, with $x \in \mathbb{F}_{q^m}^k$ is where $x^{\perp}=\{y \in \mathbb{F}_{q^m}^k \colon \langle x, y\rangle=0\}.$ In particular, $\blacktriangleleft$$\bl

Theorems & Definitions (31)

  • Theorem 1.1: Randrianarisoa2020ageometric
  • Theorem 1.2: blokhuis2000scattered
  • Definition 1.3
  • Theorem 1.4: Corollary 4.9 in bartoli2021evasive
  • Proposition 1.5
  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3: Theorem 3.4 in bartoli2025linear
  • Theorem 2.4: Corollary 2.4 and Theorem 4.7 in bartoli2025linear
  • Theorem 2.5: Theorem 4.4 in bartoli2025linear
  • ...and 21 more