On Codes for the Noisy Substring Channel

• Published in: IEEE transactions on molecular, biological, and multi-scale communications Vol. 10; no. 2; pp. 368 - 381
• Main Authors: Yehezkeally, Yonatan, Polyanskii, Nikita
• Format: Journal Article
• Language: English
• Published: Piscataway IEEE 01.06.2024; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Coders; Codes; Combinatorial analysis; constrained codes; DNA data storage; DNA storage; Encoding; Error analysis; Error correction; Error correction codes; error-correcting codes; Gene sequencing; insertion/deletion-correcting codes; Memory; Redundancy; sequence reconstruction; Storage systems; Strings
• ISSN: 2372-2061; 2332-7804; 2372-2061
• DOI: 10.1109/TMBMC.2024.3382499

We consider the problem of coding for the substring channel, in which information strings are observed only through their (multisets of) substrings. Due to existing DNA sequencing techniques and applications in DNA-based storage systems, interest in this channel has renewed in recent years. In contrast to existing literature, we consider a noisy channel model where information is subject to noise before its substrings are sampled, motivated by in-vivo storage. We study two separate noise models, substitutions or deletions. In both cases, we examine families of codes which may be utilized for error-correction and present combinatorial bounds on their sizes. Through a generalization of the concept of repeat-free strings, we show that the added required redundancy due to this imperfect observation assumption is sublinear, either when the fraction of errors in the observed substring length is sufficiently small, or when that length is sufficiently long. This suggests that no asymptotic cost in rate is incurred by this channel model in these cases. Moreover, we develop an efficient encoder for such constrained strings in some cases. Finally, we show how a similar encoder can be used to avoid formation of secondary-structures in coded DNA strands, even when accounting for imperfect structures.