Abstract:Insertion-deletion codes (insdel codes for short) are used for correcting synchronization errors in communications, and in other many interesting fields such as DNA storage, date analysis, race-track memory error correction and language processing, and have recently gained a lot of attention. To determine the insdel distances of linear codes is a very challenging problem. The half-Singleton bound on the insdel distances of linear codes due to Cheng-Guruswami-Haeupler-Li is a basic upper bound on the insertion-deletion error-correcting capabilities of linear codes. On the other hand the natural direct upper bound $d_I(\mathcal C) \leq 2d_H(\mathcal C)$ is valid for any insdel code. In this paper, for a linear insdel code $\mathcal C$ we propose a strict half-Singleton upper bound $d_I(\mathcal C) \leq 2(n-2k+1)$ if $\mathcal C$ does not contain the codeword with all 1s, and a stronger direct upper bound $d_I(\mathcal C) \leq 2(d_H(\mathcal C)-t)$ under a weak condition, where $t\geq 1$ is a positive integer determined by the generator matrix. We also give optimal linear insdel codes attaining our strict half-Singleton bound and direct upper bound, and show that the code length of optimal binary linear insdel codes with respect to the (strict) half-Singleton bound is about twice the dimension. Interestingly explicit optimal linear insdel codes attaining the (strict) half-Singleton bound, with the code length being independent of the finite field size, are given.

Linear Properties of Binary Superimposed Codes Δ(n,d,k)

Error-detecting and Error-correcting Properties of Binary Superimposed Code Δ(n,d,k)

The Extended Codes of Some Linear Codes

About Error-detecting Abilities of Binary Linear k-weight Codes C(n,k)

On the Linear Codes with (r, Δ)-Locality for Distributed Storage.

Characterization and construction of optimal binary linear codes with one-dimensional hull

An efficient algorithm for group testing with runlength constraints

New Constructions of Optimal Binary LCD Codes

Subfield codes of $C_D$-codes over $\mathbb{F}_2[x]/\langle x^3-x \rangle$ are really nice!

Remark on subcodes of linear complementary dual codes

More on Incorrigible Sets of Binary Linear Codes

Infinite families of 2-designs from linear codes

Linear codes invariant under a linear endomorphism

On the distance between linear codes

Strict Half-Singleton Bound, Strict Direct Upper Bound for Linear Insertion-Deletion Codes and Optimal Codes

Linear Codes from Simplicial Complexes over $\mathbb{F}_{2^n}$

A New Class of Linear Codes

Generalized Low-Density Parity-Check Codes Over Set {0,1,...,2(K)-1}

Incorrigible Set Distributions and Unsuccessful Decoding Probability of Linear Codes

Linear Codes from Projective Linear Anticodes Revisited