On $\ell$-MDS codes and a conjecture on infinite families of $1$-MDS codes

Yang Li,Shixin Zhu,Edgar Martínez-Moro
2023-10-07
Abstract:The class of $\ell$-maximum distance separable ($\ell$-MDS) codes {is a} generalization of maximum distance separable (MDS) codes {that} has attracted a lot of attention due to its applications in several areas such as secret sharing schemes, index coding problems, informed source coding problems, and combinatorial $t$-designs. In this paper, for $\ell=1$, we completely solve a conjecture recently proposed by Heng $et~al.$ (Discrete Mathematics, 346(10): 113538, 2023) and obtain infinite families of $1$-MDS codes with general dimensions holding $2$-designs. These later codes are also been proven to be optimal locally recoverable codes. For general {positive integers} $\ell$ and $\ell'$, we construct new $\ell$-MDS codes from known $\ell'$-MDS codes via some classical propagation rules involving the extended, expurgated, and $(u,u+v)$ constructions. Finally, we study some general results including characterization, weight distributions, and bounds on maximum lengths of $\ell$-MDS codes, which generalize, simplify, or improve some known results in the literature.
Information Theory
What problem does this paper attempt to address?
The paper focuses on the study of ℓ-Maximal Distance Separable (ℓ-MDS) codes, which is a concept in coding theory. It is an extension of Maximum Distance Separable (MDS) codes and has wide applications in secret sharing schemes, exponential encoding problems, source coding problems, and combinatorial designs. The main objectives of the paper are as follows: 1. **Solving the Conjecture of 1-MDS codes**: The paper solves a conjecture proposed by Heng et al. regarding the existence of an infinite family of 1-MDS codes supporting 2-design. By using subset-sum theory, the conjecture is proven to hold under specific conditions. A new infinite family of 1-MDS codes with 2-design is constructed, which are also proven to be locally optimal recovery codes. 2. **Constructing new ℓ-MDS codes**: New ℓ-MDS codes are constructed by extending and reducing known ℓ1-MDS codes, as well as through the (u,u+v) construction method. Particularly, codes with lengths greater than the size of the base field are examined, which helps in finding possible solutions to exponential encoding problems and source coding problems. 3. **Investigating general properties**: General properties of ℓ-MDS codes, weight distributions, and maximum lengths are studied. These results simplify certain existing results in the literature and provide improved accuracy for certain known results. The paper begins with a review of relevant concepts and previous work, including e-Galois inner products, orthogonality of codes, and the definition of e-Galois MDS codes. The conjecture of 1-MDS codes is then discussed in detail, proving that it does not hold under certain conditions and is correct under other conditions. As a result, an infinite family of 1-MDS codes supporting design is constructed. Additionally, the paper presents how to construct new codes from old ℓ-MDS codes and their optimization properties. Overall, this paper provides an in-depth study of an important class of codes in coding theory. It offers new construction methods and theoretical results, which are significant for understanding and applying these codes.