[论文解读] Reed-Muller Codes Achieve Capacity on Erasure Channels

Santhosh Kumar, Henry D. Pfister|arXiv (Cornell University)|May 19, 2015

Error Correcting Code Techniques参考文献 49被引用 12

一句话总结

本文通过利用其置换群的对称性，证明了在最大后验（MAP）译码下，Reed-Muller码在二元擦除信道上达到容量。研究建立了一个更一般的结论：对于任意块长严格递增、收敛速率在(0,1)区间内、且具有二重传递置换群的线性码序列，均可达到容量，该结论进一步推广至仿射不变码和扩展BCH码。

ABSTRACT

This paper introduces a new approach to proving that a sequence of deterministic linear codes achieves capacity on an erasure channel under maximum a posteriori decoding. Rather than relying on the precise structure of the codes, this method requires only that the codes are highly symmetric. In particular, the technique applies to any sequence of linear codes where the blocklengths are strictly increasing, the code rates converge to a number between 0 and 1, and the permutation group of each code is doubly transitive. This also provides a rare example in information theory where symmetry alone implies near-optimal performance. An important consequence of this result is that a sequence of Reed-Muller codes with increasing blocklength achieves capacity if its code rate converges to a number between 0 and 1. This possibility has been suggested previously in the literature but it has only been proven for cases where the limiting code rate is 0 or 1. Moreover, these results extend naturally to affine-invariant codes and, thus, to all extended primitive narrow-sense BCH codes. The primary tools used in the proof are the sharp threshold property for monotone boolean functions and the area theorem for extrinsic information transfer functions.

研究动机与目标

• 证明在二元擦除信道（BEC）上，具有二重传递置换群的线性码序列在MAP译码下可达到容量。
• 解决长期悬而未决的开放问题：Reed-Muller码在速率严格介于0和1之间时是否可达到容量。
• 证明对称性——特别是二重传递置换群——本身即可保证接近最优性能，且不依赖于码的具体结构。
• 将结果推广至有限域F_q上的广义Reed-Muller码以及仿射不变码，包括扩展的原初窄码BCH码。
• 提出一种基于对称性而非复杂设计的一般性框架，用于证明码的容量可达性，与极化码或空间耦合码形成对比。

提出的方法

• 证明依赖于单调布尔函数的锐阈值性质，用于分析外信息转移（EXIT）函数的行为。
• 利用EXIT函数的面积定理，将EXIT函数的收敛性与MAP译码下码的性能联系起来。
• 作者定义了EXIT函数的函数逆，并界定了其在互补擦除概率处的取值差异。
• 通过应用由码的置换群对称性导出的集中不等式，证明译码阈值收敛至信道容量。
• 通过将EXIT函数框架扩展至符号-MAP译码，将该方法推广至F_q-线性码。
• 利用最小距离和块长的渐近界分析，证明随着块长增加，块擦除概率趋于零。

实验结果

研究问题

• RQ1 在MAP译码下，Reed-Muller码在速率严格介于0和1之间的二元擦除信道上是否可达到容量？
• RQ2 线性码的置换群的二重传递对称性是否足以保证其容量可达性能，而无需考虑其具体构造？
• RQ3 扩展的原初窄码BCH码在块-MAP译码下是否可在二元擦除信道上达到容量？
• RQ4 能否通过对称性将容量可达性结果推广至所有仿射不变的F_q-线性码？
• RQ5 是否存在一种基于码对称性而非依赖于信道特定设计的一般性框架，用于证明码的容量可达性？

主要发现

• 对于块长递增、速率收敛于任意r ∈ (0,1)的Reed-Muller码，在块-MAP译码下可在二元擦除信道上达到容量。
• 证明表明，只要码的置换群是二重传递的，块擦除概率随着块长增加而趋于零。
• 该结果可推广至F_q上的广义Reed-Muller码，这些码在q元擦除信道上通过符号-MAP译码可达到容量。
• 由于具有仿射不变结构和二重传递对称性，扩展的原初窄码BCH码在F_q上通过块-MAP译码可达到容量。
• 分析表明，对称性——特别是二重传递置换群——本身即可隐含接近最优性能，即使没有复杂的码设计。
• 该方法提供了一种基于对称性和EXIT函数分析的新颖、通用的容量可达性证明技术，且不依赖于码的具体结构。