[论文解读] Explicit Capacity-achieving Codes for Worst-Case Additive Errors

Venkatesan Guruswami, Adam Smith|arXiv (Cornell University)|Dec 5, 2009

Complexity and Algorithms in Graphs参考文献 21被引用 7

一句话总结

本文提出了一种显式构造方法，通过使用辅助随机位的随机编码，实现二进制码在最坏情况加性错误下逼近容量 1−H(p) 的码率。该方法可在错误向量依赖于消息的对抗性情况下实现高效可靠的解码，并且还为平均情况错误准则提供了确定性码，克服了线性码的局限性。

ABSTRACT

For every p in (0,1/2), we give an explicit construction of binary codes of rate approaching "capacity" 1-H(p) that enable reliable communication in the presence of worst-case additive errors}, caused by a channel oblivious to the codeword (but not necessarily the message). Formally, we give an efficient "stochastic" encoding E(\cdot,\cdot) of messages combined with a small number of auxiliary random bits, such that for every message m and every error vector e (that could depend on m) that contains at most a fraction p of ones, w.h.p over the random bits r chosen by the encoder, m can be efficiently recovered from the corrupted codeword E(m,r) + e by a decoder without knowledge of the encoder's randomness r. Our construction for additive errors also yields explicit deterministic codes of rate approaching 1-H(p) for the "average error" criterion: for every error vector e of at most p fraction 1's, most messages m can be efficiently (uniquely) decoded from the corrupted codeword C(m)+e. Note that such codes cannot be linear, as the bad error patterns for all messages are the same in a linear code. We also give a new proof of the existence of such codes based on list decoding and certain algebraic manipulation detection codes. Our proof is simpler than the previous proofs from the literature on arbitrarily varying channels.

研究动机与目标

• 构造显式二进制码，其码率逼近 1−H(p)，在最坏情况加性错误下实现容量。
• 通过使用少量随机辅助位的随机编码，即使在错误模式依赖于消息的对抗性情况下，也能实现高效解码。
• 克服线性码的局限性，即无法对所有消息统一处理最坏情况错误。
• 利用列表解码与代数操纵检测码，提供一种新且更简单的此类码存在性的证明。
• 将构造扩展至平均情况错误准则下的确定性码，使得在有界错误下，大多数消息均可被唯一解码。

提出的方法

• 采用随机编码 E(m,r)，其中 r 为少量辅助随机位，以随机化码字，使其对最坏情况错误向量 e 具有鲁棒性。
• 使用列表解码技术处理最坏情况错误场景，其中错误向量 e 可能依赖于消息 m。
• 利用代数操纵检测（AMD）码作为结构组件，确保在对抗性条件下实现错误检测与纠正。
• 设计编码与解码过程，使其高效，并在随机性 r 上以高概率成功恢复消息。
• 通过基于列表解码与 AMD 码的新颖论证，证明此类码的存在性，简化了以往针对任意变化信道的证明。
• 通过分析固定错误向量 e 下可恢复的消息比例，推导出平均情况错误模型下的确定性码。

实验结果

研究问题

• RQ1 能否构造出码率逼近 1−H(p) 的显式二进制码，即使错误向量依赖于消息，也能容忍最坏情况加性错误？
• RQ2 使用少量随机位的随机编码，是否能实现在最坏情况模型下对抗性错误模式下的可靠解码？
• RQ3 能否构造出码率逼近 1−H(p) 的平均情况错误准则下的确定性码，避免线性码的局限性？
• RQ4 能否比以往方法更简洁地证明此类码的存在性，特别是利用列表解码与 AMD 码？
• RQ5 在最坏情况与平均情况错误模型下，这些码在错误鲁棒性与码率方面与线性码相比表现如何？

主要发现

• 本文构造了显式二进制码，其码率逼近 1−H(p)，在最坏情况加性错误下实现容量。
• 使用少量随机位的随机编码可确保：对于任意错误向量 e（其中 1 的比例不超过 p），以高概率可高效恢复消息 E(m,r)+e。
• 该构造可导出平均情况错误准则下的确定性码，对于任意固定错误向量 e（其中 1 的比例不超过 p），大多数消息均可从 C(m)+e 唯一解码。
• 所提出的码并非线性码，因为线性码在依赖于消息的最坏情况错误模式下本质上会失效。
• 通过列表解码与代数操纵检测码，提供了一种新且更简单的此类码存在性的证明，优于文献中针对任意变化信道的先前证明。
• 解码过程高效，且无需知晓编码器的随机位 r，确保了实际可行性。