Improved Singleton bound on insertion-deletion codes and optimal constructions

05/05/2021

∙

by   Bocong Chen, et al.

∙

0

∙

share

Insertion-deletion codes (insdel codes for short) play an important role in synchronization error correction. The higher the minimum insdel distance, the more insdel errors the code can correct. Haeupler and Shahrasbi established the Singleton bound for insdel codes: the minimum insdel distance of any [n,k] linear code over 𝔽_q satisfies d≤2n-2k+2. There have been some constructions of insdel codes through Reed-Solomon codes with high capabilities, but none has come close to this bound. Recently, Do Duc et al. showed that the minimum insdel distance of any [n,k] Reed-Solomon code is no more than 2n-2k if q is large enough compared to the code length n; optimal codes that meet the new bound were also constructed explicitly. The contribution of this paper is twofold. We first show that the minimum insdel distance of any [n,k] linear code over 𝔽_q satisfies d≤2n-2k if n>k>1. This result improves and generalizes the previously known results in the literature. We then give a sufficient condition under which the minimum insdel distance of a two-dimensional Reed-Solomon code of length n over 𝔽_q is exactly equal to 2n-4. As a consequence, we show that the sufficient condition is not hard to achieve; we explicitly construct an infinite family of optimal two-dimensional Reed-Somolom codes meeting the bound.