[论文解读] New Characterization and Efficient Exhaustive Search Algorithm for Elementary Trapping Sets of Variable-Regular LDPC Codes

Yoones Hashemi, Amir H. Banihashemi|arXiv (Cornell University)|Oct 16, 2015

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

一句话总结

本文提出了一种基于DPL（点、路径、棒棒糖）扩展的新型表征方法，用于变量正则LDPC码中的无叶基本陷阱集（LETS），从而实现可证明的完全且高效的搜索算法。通过用三种最小化、分层的扩展技术替代原有的LSS方法，该方法减少了循环枚举长度，显著提升了搜索速度与内存效率，同时保证了对任意期望的a_max和b_max范围内所有(a,b) LETS结构的完整覆盖。

ABSTRACT

In this paper, we propose a new characterization for elementary trapping sets (ETSs) of variable-regular low-density parity-check (LDPC) codes. Recently, Karimi and Banihashemi proposed a characterization of ETSs, which was based on viewing an ETS as a layered superset (LSS) of a short cycle in the code's Tanner graph. A notable advantage of LSS characterization is that it corresponds to a simple LSS-based search algorithm that starts from short cycles of the graph and finds the ETSs with LSS structure efficiently. Compared to the LSS-based characterization of Karimi and Banihashemi, which is based on a single LSS expansion technique, the new characterization involves two additional expansion techniques. The introduction of the new techniques mitigates two problems that LSS-based characterization/search suffers from: (1) exhaustiveness, (2) search efficiency. We prove that using the three expansion techniques, any ETS structure can be obtained starting from a simple cycle, no matter how large the size of the structure $a$ or the number of its unsatisfied check nodes $b$ are. We also demonstrate that for the proposed characterization/search to exhaustively cover all the ETS structures within the $(a,b)$ classes with $a \leq a_{max}, b \leq b_{max}$, for any value of $a_{max}$ and $b_{max}$, the length of the short cycles required to be enumerated is less than that of the LSS-based characterization/search. We also prove that the three expansion techniques, proposed here, are the only expansions needed for characterization of ETS structures starting from simple cycles in the graph, if one requires each and every intermediate sub-structure to be an ETS as well. Extensive simulation results are provided to show that, compared to LSS-based search, significant improvement in search speed and memory requirements can be achieved.

研究动机与目标

• 解决现有基于LSS的表征与搜索方法在变量正则LDPC码中基本陷阱集（ETS）方面的局限性。
• 通过引入一种最小化、完全的扩展框架，消除对长循环枚举的需求。
• 开发一种搜索算法，确保在给定a和b的范围内，能够找到所有(a,b) LETS结构，且不受码参数影响。
• 通过减少所需枚举的循环长度并最小化内存使用，提升计算效率。
• 证明三种扩展技术（点、路径、棒棒糖）在完整且最小化表征LETS结构方面既必要又充分。

提出的方法

• 引入三种新型扩展技术——点、路径和棒棒糖，用于从Tanner图中的简单环出发扩展LETS结构。
• 每次扩展步骤均确保所有中间子结构本身也是LETS，从而保证最小性与完全性。
• 该表征具有层次性：每个LETS结构均作为一系列嵌套LETS的序列构建，起始于一个简单环。
• 该算法通过仅枚举最小必需的循环实例实现完全搜索，其最大循环长度相比基于LSS的方法显著减小。
• 该方法被证明是最小的：在每一阶段保持LETS性质的前提下，无法进一步分解任何扩展。
• 通过从基础结构（简单环）出发，使用三种扩展技术进行传播，确保所有满足a ≤ a_max且b ≤ b_max的(a,b)类均被覆盖。

实验结果

研究问题

• RQ1 能否开发一种既完全又高效的LETS结构表征方法，避免枚举长循环？
• RQ2 是否存在超越LSS框架的替代扩展技术，能够完整表征所有LETS结构？
• RQ3 通过限制枚举所需的循环长度，能否降低搜索复杂度，同时保持完全性？
• RQ4 所提出的三种扩展（点、路径、棒棒糖）是否为完整LETS表征的最小且充分集合？
• RQ5 与现有的完全搜索算法（如基于LSS或DPL的方法）相比，所提出的基于DPL的搜索在效率和内存使用方面表现如何？

主要发现

• 所提出的基于DPL的表征是完全的：每个LETS结构均可仅通过三种扩展技术从简单环构建而成。
• 枚举所需的最长循环长度严格小于基于LSS的方法，且该长度被证明是最小的。
• 与基于LSS的方法相比，基于DPL的搜索算法在运行时间和内存使用方面最高可降低三个数量级。
• 该算法是变量正则LDPC码中LETS结构最高效且最通用的完全搜索方法，适用于任意变量度、围长、码率和码长。
• 大量仿真结果证实，基于DPL的方法在各种码参数下，无论在速度还是内存效率方面，均优于基于LSS的方法。
• 该方法保证了完全性：在指定的a_max和b_max范围内，不会遗漏任何(a,b) LETS类，而这一点在非完全性算法（如文献[18]中的方法）中无法保证。