A geometric invariant of linear rank-metric codes

Valentina Astore,Martino Borello,Marco Calderini,Flavio Salizzoni

2024-11-28

Abstract:Rank-metric codes have been a central topic in coding theory due to their theoretical and practical significance, with applications in network coding, distributed storage, crisscross error correction, and post-quantum cryptography. Recent research has focused on constructing new families of rank-metric codes with distinct algebraic structures, emphasizing the importance of invariants for distinguishing these codes from known families and from random ones. In this paper, we introduce a novel geometric invariant for linear rank-metric codes, inspired by the Schur product used in the Hamming metric. By examining the sequence of dimensions of Schur powers of the extended Hamming code associated with a linear code, we demonstrate its ability to differentiate Gabidulin codes from random ones. From a geometric perspective, this approach investigates the vanishing ideal of the linear set corresponding to the rank-metric code.

Information Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to distinguish different families in linear rank - metric codes, especially how to distinguish Gabidulin codes from random codes. Specifically:

1. **Introducing new geometric invariants**: The paper introduces a new geometric invariant, which is inspired by the Schur product in the Hamming metric. By studying the dimension sequence of the Schur powers of extended Hamming codes, the author shows that this method can distinguish Gabidulin codes from random codes.

2. **Geometric analysis**: From a geometric perspective, this method explores the vanishing ideal of the linear sets corresponding to rank - metric codes. This involves studying the behavior of polynomial forms of specific degrees on these linear sets.

3. **Solving the equivalence problem**: When constructing new rank - metric codes, a crucial step is to prove that they are not equivalent to known code families. Although determining whether two linear rank - metric codes are equivalent can be done in polynomial time, finding invariants that can simply distinguish these codes remains an important problem.

4. **Security considerations**: In addition, finding an invariant that can distinguish the codes used in the encryption system from random codes may undermine any security proof and may lead to attacks. Therefore, finding effective invariants is crucial for evaluating the security of rank - metric - code - based cryptosystems.

In summary, the main purpose of this paper is to distinguish different linear rank - metric codes, especially Gabidulin codes from random codes, by introducing a new geometric invariant, thereby providing theoretical support for constructing and evaluating new rank - metric codes.

### Formula representation

Some important formulas involved in the paper are as follows:

- **Definition of rank - metric codes**:
\[
C\subseteq F_q^{m\times n}
\]
is a linear rank - metric code, and the rows of its generator matrix \(G\) form the basis of \(C\).

- **Dimension sequence of Schur powers**:
\[
h_i(C)=\dim_{F_q^{m}}(C^{(i)})
\]
where \(C^{(i)}\) represents the \(i\)-th Schur power of \(C\).

- **Condition for Gabidulin codes**:
\[
h_{q + 1}(C)=\binom{k+q}{q+1}-\binom{k - 1}{2}
\]
If \(C\) is a Gabidulin code, the above condition holds.

These formulas help us understand how to distinguish different types of rank - metric codes through geometric invariants.