Table of Contents
Fetching ...

The geometry of covering codes in the sum-rank metric

Matteo Bonini, Martino Borello, Eimear Byrne

TL;DR

This work develops a geometric framework for understanding covering properties in the sum-rank metric by introducing sum-rank saturating systems and linking them to sum-rank covering radii. It provides equivalent characterizations that connect generator matrices, $q$-systems, and linear sets, and proves bounds on the minimal dimension required for saturating systems, including asymptotic inequalities in terms of $\|\mathbf{n}\|$ and $m$. It then delivers constructive methods from partitions of projective space and cutting designs to build saturating systems and, consequently, covering codes, with additional discussion of minimal sum-rank codes via strong blocking sets. Overall, the paper extends geometric approaches from the rank and Hamming metrics to the sum-rank setting, yielding practical tools for constructing saturating and covering codes with potential impact on network coding and distributed storage.

Abstract

We introduce the concept of a sum-rank saturating system and outline its correspondence to a covering properties of a sum-rank metric code. We consider the problem of determining the shortest sum-rank-$ρ$-saturating systems of a fixed dimension, which is equivalent to the covering problem in the sum-rank metric. We obtain upper and lower bounds on this quantity. We also give constructions of saturating systems arising from geometrical structures.

The geometry of covering codes in the sum-rank metric

TL;DR

This work develops a geometric framework for understanding covering properties in the sum-rank metric by introducing sum-rank saturating systems and linking them to sum-rank covering radii. It provides equivalent characterizations that connect generator matrices, -systems, and linear sets, and proves bounds on the minimal dimension required for saturating systems, including asymptotic inequalities in terms of and . It then delivers constructive methods from partitions of projective space and cutting designs to build saturating systems and, consequently, covering codes, with additional discussion of minimal sum-rank codes via strong blocking sets. Overall, the paper extends geometric approaches from the rank and Hamming metrics to the sum-rank setting, yielding practical tools for constructing saturating and covering codes with potential impact on network coding and distributed storage.

Abstract

We introduce the concept of a sum-rank saturating system and outline its correspondence to a covering properties of a sum-rank metric code. We consider the problem of determining the shortest sum-rank--saturating systems of a fixed dimension, which is equivalent to the covering problem in the sum-rank metric. We obtain upper and lower bounds on this quantity. We also give constructions of saturating systems arising from geometrical structures.

Paper Structure

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

Key Result

theorem \@thmcountertheorem

Let $\mathcal{C}$ be an $[\mathbf{n},k,d]_{q^m/q}$. Let $G=(G_1\lvert \ldots \lvert G_t)$ be a generator matrix of $\mathcal{C}$. Let $\mathcal{U}_i \subseteq \mathbb{F}_{q^m}^k$ be the $\mathbb{F}_q$-span of the columns of $G_i$, for $i\in \{1,\ldots,t\}$. The sum-rank weight of an element $x G \in where $x^{\perp}=\{y=(y_1,\ldots,y_k) \in \mathbb{F}_{q^m}^k \colon \sum_{i=1}^k x_iy_i=0\}$. In pa

Theorems & Definitions (37)

  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • theorem \@thmcountertheorem: neri2023geometry
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • definition \@thmcounterdefinition
  • ...and 27 more