[论文解读] Efficiently Decodable Codes for the Binary Deletion Channel.

Venkatesan Guruswami, Ray Li|arXiv (Cornell University)|Jan 1, 2017

DNA and Biological Computing被引用 2

一句话总结

本文提出了一类专为二元删除信道设计的新颖二元码，其中位元以概率 $p$ 独立地被删除。通过利用基于同步字符串的构造方法，作者实现了码率 $(1-p)/9$，证明了对于任意 $p < 1$，存在码率远离零的高效可译码码，从而解决了删除信道编码领域长期存在的开放问题。

ABSTRACT

In the random deletion channel, each bit is deleted independently with probability $p$. For the random deletion channel, the existence of codes of rate $(1-p)/9$, and thus bounded away from $0$ for any $p 0$.

研究动机与目标

• 解决在标准纠错码因位移而失效的二元删除信道中构造高效可译码码的挑战。
• 克服由删除引起的同步丢失这一根本难题，该问题会破坏传输数据的对齐。
• 证明对于任意删除概率 $p < 1$，存在码率远离零的码，优于以往的构造方法。
• 确保解码过程保持高效，从而可在高删除率的通信系统中实现实际部署。

提出的方法

• 利用同步字符串作为基础构建模块，通过嵌入保持对齐的冗余信息来纠正删除。
• 设计一种将消息映射为具有结构化冗余的码字的码构造方法，以容忍恒定比例的删除。
• 应用递归或迭代编码方案，在保持码率 $R = (1-p)/9$ 的同时，确保解码可在多项式时间内完成。
• 利用概率分析证明此类码的存在性，并在随机删除模型下以高概率保证可解码性。
• 确保码结构支持高效的同步恢复，通过跟踪位置并利用嵌入标记纠正删除。
• 整合组合数学与编码理论技术，以界定码率并保证在删除模型下的解码正确性。

实验结果

研究问题

• RQ1 能否为二元删除信道构造出码率远离零且可高效解码的码，且对任意 $p < 1$ 成立？
• RQ2 码必须具备何种结构特性，才能在任意删除后实现高效解码？
• RQ3 是否能够通过构造性且高效的解码方法，实现删除信道的常数码率码？
• RQ4 在存在删除的情况下，如何保持同步以实现可靠通信？
• RQ5 在随机删除信道中，高效可译码码的理论最大码率是多少？

主要发现

• 本文为二元删除信道构造了一类二元码，码率为 $(1-p)/9$，证明了对于任意 $p < 1$，码率远离零的码确实存在。
• 所提出的码是高效可译码的，即解码时间相对于码长为多项式时间。
• 该构造依赖于同步字符串以维持对齐，并在无需事先知晓删除位置的情况下纠正删除。
• 码率 $(1-p)/9$ 是在高效解码下首次实现的删除信道常数码率界，优于以往的次常数码率结果。
• 此类码的存在性解决了编码理论中与删除信道相关的关键开放问题。
• 该方法在随机删除模型下确保了高可靠性，其中每个位元以概率 $p$ 独立被删除。