[论文解读] LDPC Codes from Latin Squares Free of Small Trapping Sets

Dung Viet Nguyen, Shashi Kiran Chilappagari+2 more|arXiv (Cornell University)|Aug 24, 2010

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

一句话总结

本文提出了一类基于有限域上拉丁方阵构造的新结构化LDPC码，通过消除有害的小型陷阱集，实现低误码地板。该方法利用拉丁方阵上的代数矩阵运算生成校验矩阵中的置换矩阵，确保特定陷阱集的缺失，从而在迭代译码下（尤其在二元对称信道上）提升性能。

ABSTRACT

This paper is concerned with the construction of low-density parity-check (LDPC) codes with low error floors. Two main contributions are made. First, a new class of structured LDPC codes is introduced. The parity check matrices of these codes are arrays of permutation matrices which are obtained from Latin squares and form a finite field under some matrix operations. Second, a method to construct LDPC codes with low error floors on the binary symmetric channel (BSC) is presented. Codes are constructed so that their Tanner graphs are free of certain small trapping sets. These trapping sets are selected from the Trapping Set Ontology for the Gallager A/B decoder. They are selected based on their relative harmfulness for a given decoding algorithm. We evaluate the relative harmfulness of different trapping sets for the sum product algorithm (SPA) by using the topological relations among them and by analyzing the decoding failures on one trapping set in the presence or absence of other trapping sets.

研究动机与目标

• 为解决在二元对称信道上迭代译码时LDPC码持续存在的误码地板退化问题。
• 开发一种结构化LDPC码构造方法，从根本上避免已知会导致译码失败的小型有害陷阱集。
• 利用代数结构——特别是有限域上的拉丁方阵——生成具有理想组合与代数特性的校验矩阵。
• 通过分析陷阱集之间的拓扑关系，提供一种系统化方法，构建具有可证明低误码地板的码。
• 通过使用由域运算导出的更一般置换矩阵，将现有代数构造从基于循环的准循环LDPC码扩展至更广范围。

提出的方法

• 将校验矩阵构造为来自GF(q)上拉丁方阵的置换矩阵阵列，其中每个元素通过域运算对应一个置换矩阵。
• 在拉丁方阵上定义矩阵运算，使生成的置换矩阵构成一个伽罗瓦域GF(q)，从而实现对码结构的代数操作。
• 通过分析陷阱集的拓扑关系及其在和积算法下的相对危害性，系统性地从Tanner图中消除特定小型陷阱集。
• 利用Gallager A/B译码器的陷阱集本体论，识别并排除构造过程中最具破坏性的陷阱集。
• 通过模拟存在或不存在邻近陷阱集时的译码失败情况，评估陷阱集的相对危害性，指导被排除集合的选择。
• 通过代数结构确保行-列（RC）约束被自然满足，从而避免4-环，提升码性能。

实验结果

研究问题

• RQ1 如何构造结构化LDPC码，通过消除Tanner图中的小型陷阱集来最小化误码地板？
• RQ2 在和积算法下，不同陷阱集的相对危害性如何？其拓扑相互作用如何影响译码失败？
• RQ3 能否利用有限域上的拉丁方阵生成置换矩阵，从而构造出具有可证明低误码地板的LDPC码？
• RQ4 拉丁方阵的代数结构如何使LDPC码的码率高于现有阵列LDPC码？
• RQ5 由GF(2^ϑ)构造的LDPC码的最小距离是多少？它如何约束码的性能？

主要发现

• 所提出的LDPC码基于GF(q)上的拉丁方阵构造，在矩阵运算下形成伽罗瓦域，从而实现通用且代数结构化的码设计。
• 该方法成功从Tanner图中消除了特定小型陷阱集（如(7,3){2}、(6,4){1}和(8,0){1}），显著降低了在BSC上的误码地板。
• 对于在GF(2^ϑ)上构造的码，最小距离上界为8，且(8,0){1}码字数量恰好下界为(ρ choose 2) × 2^(ϑ−2)，其中ρ为行权重。
• 在围长为8的列重为3的码中未发现(8,0){2}码字，表明所有重量为八的码字总数等于(8,0){1}码字的下界。
• 所构造码的Tanner图包含八元环，且其围长至多为8，与(8,0){1}码字的存在一致。
• 该构造推广了阵列LDPC码（当q为素数时），在保持低误码地板的同时，允许比截短阵列LDPC码更高的码率。