Rank-metric codes are codes consisting of matrices with entries in a finite field, with the distance between two matrices being the rank of their difference. Codes with maximum size for a fixed minimum distance are called Maximum Rank Distance (MRD) codes. Such codes were constructed and studied independently by Delsarte (1978), Gabidulin (1985), Roth (1991), andCooperstein (1998). Rank-metric codes have seen renewed interest in recent years due to their applications in random linear network coding.MRD codes also have interesting connections to other topics such as semifields (finite nonassociative division algebras), finite geometry, linearized polynomials, and cryptography. In this chapter we will survey the known constructions and applications of MRD codes, and present some open problems.The most well-known and widely-used example are codes in the Hamming metric; codewords are taken from a vector-space over a finite field, and distance between two vectors in F n q is defined as the number of positions in which they differ. We refer to [65] for a detailed reference on this well-studied topic.In rank-metric coding, codewords are instead taken from the set of matrices over a finite field, with the distance between two matrices defined as the rank of their difference.Definition 1. Let F q denote the finite field with q elements, and M n×m (F q ) the set of n × m matrices with entries in F q , with m ≤ n. The rank-weight of a matrix X is defined to be its usual column rank, and denoted by rank(X). The rank-distance between two matrices X, Y ∈ M n×m (F q ) is denoted by d(X, Y ) and defined asA rank-metric code is then a subset C of M n×m (F q ). The minimum distance of a set C with at least two elements, denoted d(C) is
MRD codesA main goal in coding theory is to find codes of maximum possible size for a given minimum distance. While there are a variety of bounds for codes in the Hamming metric [65], for rank metric codes we need only the following simple analogue of the Singleton bound, first proved by Delsarte [24]. We include a short proof for illustrative purposes.Theorem 1 (Singleton-like bound, Delsarte). Suppose C ⊂ M n×m (F q ) is such that d(C) = d. Then |C| ≤ q n(m−d+1) .(1)Proof. Suppose |C| > q n(m−d+1) . By the pigeonhole principle, there must exist two distinct elements X, Y of C which coincide in every entry of their first m − d + 1 rows. Thus X − Y has at least m − d + 1 zero rows, and thus rank(X − Y ) ≤ d − 1 < d, a contradiction.is said to be a Maximum Rank Distance code, or MRD-code for short. We say C is a [n × m, d(C)]-MRD code.MRD-codes are the rank-metric analogue of MDS-codes in the Hamming metric. Unlike MDS codes, MRD codes in fact exist for all values of q, n, m, and all d. This was first shown by Delsarte [24]; indeed, he showed that the bound can be met by an additively-closed set.Theorem 2 ([24]). There exists an MRD code in M n×m (F q ) with minimum distance d for all q, n, m, and all d.This article with focus on the case where C is an MRD-code which is additively-closed, which we wi...