[论文解读] List Decoding of Deletions Using Guess & Check Codes

Serge Kas Hanna, Salim El Rouayheb|arXiv (Cornell University)|Oct 16, 2018

Advanced biosensing and bioanalysis techniques参考文献 19被引用 3

一句话总结

本文研究了在纠正恒定数量删除 δ 的情况下，Guess & Check (GC) 码的列表译码性能。作者表明，GC 码的列表大小被一个与消息长度 k 无关的常数所限制，具有对数冗余和多项式时间译码，使其在实际删除纠正应用中极为高效。

ABSTRACT

Guess & Check (GC) codes are systematic binary codes that can correct multiple deletions, with high probability. GC codes have logarithmic redundancy in the length of the message $k$, and the encoding and decoding algorithms of these codes are deterministic and run in polynomial time for a constant number of deletions $\delta$. The unique decoding properties of GC codes were examined in a previous work by the authors. In this paper, we investigate the list decoding performance of these codes. Namely, we study the average size and the maximum size of the list obtained by a GC decoder for a constant number of deletions $\delta$. The theoretical results show that: (i) the average size of the list approaches $1$ as $k$ grows; and (ii) there exists an infinite sequence of GC codes indexed by $k$, whose maximum list size in upper bounded by a constant that is independent of $k$. We also provide numerical simulations on the list decoding performance of GC codes for multiple values of $k$ and $\delta$.

研究动机与目标

• 分析在恒定数量删除 δ 条件下，Guess & Check (GC) 码的列表译码性能。
• 确定 GC 解码器根据消息长度 k 所产生的平均和最大列表大小。
• 在删除纠正的背景下，建立 GC 码的列表大小和冗余的理论边界。
• 通过在不同 k 和 δ 下的数值仿真，验证理论发现。

提出的方法

• GC 码构造采用系统编码方式，结合 q 元 MDS 码和二进制重复码以实现校验保护。
• 译码过程采用两阶段的“猜测与检查”策略：首先通过多个译码函数生成候选码字，然后利用 MDS 校验条件进行过滤。
• 理论分析使用满足或违反校验约束的消息集合来建模列表大小，利用有限域上的线性代数方法。
• 一个关键结论是，满足附加校验约束的消息集合的大小至多为原始集合的一半。
• 通过在均匀分布消息上的概率论论证，推导出列表大小概率的边界。
• 在多个 k 和 δ 值下进行仿真，以验证理论预测的列表大小行为。

实验结果

研究问题

• RQ1 随着消息长度 k 增大，GC 解码器返回的列表平均大小如何变化？
• RQ2 对于固定的 δ，GC 码的最大列表大小是否可以被一个与 k 无关的常数所上界限定？
• RQ3 在 GC 译码框架下，列表大小如何随 k 和 δ 变化？
• RQ4 “猜测与检查”译码策略对列表大小和冗余效率有何影响？
• RQ5 理论上的列表大小边界与仿真中的实际性能相比如何？

主要发现

• 随着消息长度 k 增大，GC 码的平均列表大小趋近于 1，表明在期望下接近唯一译码。
• 存在一个无限的 GC 码序列，其最大列表大小对于任意固定的 δ 均被一个与 k 无关的常数所上界限定。
• 列表大小被 O(1) 上界限定，且冗余为对数级别，实现了高效的多项式时间译码。
• 理论分析确认，若列表大小为 l −1 的概率为零，则列表大小大于 l −1 的概率也为零，表明可实现的列表大小存在离散跃变。
• 仿真结果表明，无论 k 和 δ 取值如何，列表大小均保持较小且稳定，支持理论边界。
• “猜测与检查”译码策略通过利用 MDS 校验条件过滤无效候选，有效减小了列表大小。