[论文解读] Exhausting Error-Prone Patterns in LDPC Codes

Chih-Chun Wang, Sanjeev R. Kulkarni+1 more|ArXiv.org|Sep 11, 2006

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

一句话总结

本文证明了在二元擦除信道（BEC）中识别易错模式（即停止集）以及在一般对称信道中识别易错模式（即陷阱集）的问题是NP完全问题。本文提出一种基于树结构的缩小搜索算法，配备具有‘平衡增长’特性的叶节点查找模块，能够高效地穷举长度约为500的LDPC码的所有大小≤13的停止集和大小≤11的陷阱集，从而实现对迭代译码性能分析与码优化中比特误码率（BER）和帧误码率（FER）上界值的精确估计。

ABSTRACT

It is proved in this work that exhaustively determining bad patterns in arbitrary, finite low-density parity-check (LDPC) codes, including stopping sets for binary erasure channels (BECs) and trapping sets (also known as near-codewords) for general memoryless symmetric channels, is an NP-complete problem, and efficient algorithms are provided for codes of practical short lengths n~=500. By exploiting the sparse connectivity of LDPC codes, the stopping sets of size <=13 and the trapping sets of size <=11 can be efficiently exhaustively determined for the first time, and the resulting exhaustive list is of great importance for code analysis and finite code optimization. The featured tree-based narrowing search distinguishes this algorithm from existing ones for which inexhaustive methods are employed. One important byproduct is a pair of upper bounds on the bit-error rate (BER) & frame-error rate (FER) iterative decoding performance of arbitrary codes over BECs that can be evaluated for any value of the erasure probability, including both the waterfall and the error floor regions. The tightness of these upper bounds and the exhaustion capability of the proposed algorithm are proved when combining an optimal leaf-finding module with the tree-based search. These upper bounds also provide a worst-case-performance guarantee which is crucial to optimizing LDPC codes for extremely low error rate applications, e.g., optical/satellite communications. Extensive numerical experiments are conducted that include both randomly and algebraically constructed LDPC codes, the results of which demonstrate the superior efficiency of the exhaustion algorithm and its significant value for finite length code optimization.

研究动机与目标

• 为解决有限长度LDPC码中停止集与陷阱集无法穷举识别的问题，而这些集合对于误码地板预测与码优化至关重要。
• 证明确定最小停止距离与陷阱距离的问题是NP完全问题，从而确立该问题的理论计算难度。
• 设计一种实用且高效的算法，能够穷举实际长度（n ≈ 500）的LDPC码中的小型停止集与陷阱集。
• 为在二元擦除信道（BEC）上进行迭代译码时的比特误码率（BER）与帧误码率（FER）提供紧致且可分析的上界，适用于所有擦除概率，包括误码地板区域。
• 为光学与卫星链路等超可靠通信系统中的LDPC码提供最坏情况性能保证。

提出的方法

• 提出一种基于树结构的缩小搜索算法，系统性地探索Tanner图结构以识别停止集与陷阱集。
• 引入一种新颖的叶节点查找（LF）模块，具备‘平衡增长’特性，以防止搜索过程中候选节点数量呈指数级增长。
• 采用Tanner图的广度优先遍历方式构建表示潜在停止/陷阱集的有限树结构，并通过转录树构建过程确保正确性。
• 采用基于规则的节点复制与选择机制进行剪枝，以在保持穷举覆盖的同时维持计算可行性。
• 将该算法与最优叶节点查找相结合，以证明所推导的BER与FER上界具有紧致性。
• 在随机构造与代数构造的LDPC码上验证该方法，以展示其效率与实际应用价值。

实验结果

研究问题

• RQ1 在有限长度的LDPC码中，停止集与陷阱集的穷举识别在计算上是否可行，还是本质上属于NP完全问题？
• RQ2 能否设计一种确定性且高效的算法，用于穷举实际长度LDPC码（n ≈ 500）中的小型停止集与陷阱集？
• RQ3 所提出的算法在完备性与计算复杂度方面的理论与实际性能如何？
• RQ4 该算法能否在所有擦除概率下（包括误码地板区域）生成迭代译码在BEC上的BER与FER的紧致上界？
• RQ5 该算法是否能为超可靠通信系统中LDPC码的优化提供最坏情况性能保证？

主要发现

• 证明了在有限长度LDPC码中穷举确定停止集与陷阱集的问题是NP完全问题。
• 所提出的基于树结构的缩小搜索算法，配合具有‘平衡增长’特性的叶节点查找模块，首次实现了对长度约为500的LDPC码中所有大小≤13的停止集与大小≤11的陷阱集的穷举枚举。
• 该算法为BEC上迭代译码的BER与FER提供了紧致上界，适用于所有擦除概率，包括误码地板区域。
• 当与最优叶节点查找模块结合时，这些上界被证明具有紧致性，从而为码优化提供了最坏情况性能保证。
• 大量数值实验验证了该算法的高效性，并展示了其在有限长度LDPC码优化中的显著价值。