[论文解读] Capacity-Achieving Ensembles of Accumulate-Repeat-Accumulate Codes for the Erasure Channel with Bounded Complexity

Henry D. Pfister, Igal Sason|Dec 1, 2005

Error Correcting Code Techniques参考文献 20被引用 45

一句话总结

本文为二元删除信道（BEC）提出了一类容量可达的累积-重复-累积（ARA）码集合，其每信息比特的编码与译码复杂度有界。通过利用对称性特性与新型度分布设计——特别是通过自匹配的LDPC码结构——在中等分组长度下实现了接近容量的性能，同时保持了系统编码与低误码地板。

ABSTRACT

The paper introduces ensembles of accumulate-repeat-accumulate (ARA) codes which asymptotically achieve capacity on the binary erasure channel (BEC) with {\em bounded complexity}, per information bit, of encoding and decoding. It also introduces symmetry properties which play a central role in the construction of capacity-achieving ensembles for the BEC with bounded complexity. The results here improve on the tradeoff between performance and complexity provided by previous constructions of capacity-achieving ensembles of codes defined on graphs. The superiority of ARA codes with moderate to large block length is exemplified by computer simulations which compare their performance with those of previously reported capacity-achieving ensembles of LDPC and IRA codes. The ARA codes also have the advantage of being systematic.

研究动机与目标

• 设计在BEC上每信息比特具有有界编码与译码复杂度的容量可达ARA码集合。
• 解决先前容量可达码的局限性，即当码率趋近容量时复杂度无界。
• 相较于现有的LDPC与IRA码集合，在中等分组长度下实现更优性能。
• 开发一种系统码结构，保持低误码地板与高效的线性时间编码。
• 建立基于对称性的设计原则，实现有界复杂度的容量可达码集合。

提出的方法

• 引入一类新型系统化ARA码，通过在BEC上进行密度演化分析，实现线性时间编码与迭代译码。
• 采用两种等价的推导方式对密度演化进行分析，推导出控制迭代译码性能的不动点方程。
• 在码构造中利用对称性特性，确保当与容量的差距趋近于零时，复杂度保持有界。
• 基于自匹配LDPC码集合，设计ARA、NSIRA与ALDPC码的非规则度分布。
• 使用复数区间算术与凸性数值验证，证明度分布中幂级数展开的非负性。
• 通过复函数实部的数值验证，确保度分布系数的非负性，从而保证其为有效的概率分布。

实验结果

研究问题

• RQ1 能否设计出在BEC上每信息比特具有有界复杂度的ARA码以实现容量？
• RQ2 如何利用码集合中的对称性特性，确保当码率趋近容量时译码复杂度有界？
• RQ3 何种度分布设计可使ARA码在中等分组长度下实现高性能，同时保持有界复杂度？
• RQ4 能否高效且严格地验证容量可达码集合中度分布幂级数展开的非负性？
• RQ5 自匹配LDPC码结构如何实现有界复杂度ARA与ALDPC码集合的构造？

主要发现

• 本文构造了显式的、容量可达的比特正则与校验正则ARA码集合，其每信息比特的编码与译码复杂度有界。
• 对于删除率 p ≤ 0.26，通过复函数实部的凸性验证，数值证明了左度分布幂级数展开的非负性。
• 自匹配ARA码构造确保了度分布系数的非负性，当 c1 与 c2 满足 (13 − √61)/9 ≈ 0.5766 的有界范围时，对应有效的 p 与 b 参数范围。
• 数值验证表明，函数 h(x) = Re{g(e^{ix})} 在 [0, π] 上关于 c ∈ [0, 0.6] 为凸函数，支持了度分布系数的非负性。
• 仿真结果表明，自匹配ARA码在BEC上中等到大分组长度下，性能优于先前报道的容量可达LDPC与IRA码集合。
• 该方法通过利用对称性与基于凸性的验证，实现了有界复杂度的容量可达码，将先前结果扩展至更广泛的删除概率范围。