Table of Contents
Fetching ...

On the rank weight hierarchy of $M$-codes

G. Berhuy, J. Molina

TL;DR

The paper addresses the rank-weight hierarchy of linear codes stable under a base-field endomorphism defined by $M$, with a focus on $M$-cyclic codes when $M$ is cyclic. It develops a generator-polynomial framework tied to the minimal polynomial of $M$, derives general upper bounds for the rank-weight hierarchy via decompositions into cyclic subspaces, and provides exact formulas for the first and last generalized rank weights in the $M$-cyclic setting. A key contribution is a necessary condition for the existence of nontrivial MRD $M$-codes, plus a probabilistic counting result for $M$-cyclic codes having first rank weight equal to $1$, and explicit expressions for the last rank distance of $M$-cyclic codes and their duals. Overall, the work unifies cyclic, quasi-cyclic, and polynomial codes under the $M$-code framework and offers tools for rank-metric code design with potential network-coding and cryptographic applications.

Abstract

We study the rank weight hierarchy of linear codes which are stable under a linear endomorphism defined over the base field, in particular when the endomorphism is cyclic. In this last case, we give a necessary and sufficient condition for such a code to have first rank weight equal to $1$ in terms of its generator polynomial, as well as an explicit formula for its last rank weight.

On the rank weight hierarchy of $M$-codes

TL;DR

The paper addresses the rank-weight hierarchy of linear codes stable under a base-field endomorphism defined by , with a focus on -cyclic codes when is cyclic. It develops a generator-polynomial framework tied to the minimal polynomial of , derives general upper bounds for the rank-weight hierarchy via decompositions into cyclic subspaces, and provides exact formulas for the first and last generalized rank weights in the -cyclic setting. A key contribution is a necessary condition for the existence of nontrivial MRD -codes, plus a probabilistic counting result for -cyclic codes having first rank weight equal to , and explicit expressions for the last rank distance of -cyclic codes and their duals. Overall, the work unifies cyclic, quasi-cyclic, and polynomial codes under the -code framework and offers tools for rank-metric code design with potential network-coding and cryptographic applications.

Abstract

We study the rank weight hierarchy of linear codes which are stable under a linear endomorphism defined over the base field, in particular when the endomorphism is cyclic. In this last case, we give a necessary and sufficient condition for such a code to have first rank weight equal to in terms of its generator polynomial, as well as an explicit formula for its last rank weight.

Paper Structure

This paper contains 11 sections, 35 theorems, 88 equations.

Key Result

Lemma 2.3

Let $\mathcal{C}\subset \mathbb{L}^n$ be a linear code. Then, $M_1(\mathcal{C})=1$ if and only if $\mathcal{C}\cap \mathbb{K}^n\neq \{0\}$.

Theorems & Definitions (79)

  • Definition 2.1: see JurriusPellikaan
  • Remark 2.2
  • Lemma 2.3
  • Remark 2.4
  • Proposition 2.5
  • Definition 2.6
  • Lemma 2.7
  • proof
  • Definition 3.1
  • Definition 3.2
  • ...and 69 more