[论文解读] On Decoding Irregular Tanner Codes with Local-Optimality Guarantees

Nissim Halabi, Guy Even|arXiv (Cornell University)|Jul 13, 2011

Error Correcting Code Techniques被引用 7

一句话总结

该论文提出了一种新型组合证书，用于在记忆性二进制输入输出对称（MBIOS）信道上的非规则Tanner码中判断局部最优性，基于任意高度计算树中加权子树的锥组合。该证书可保证最大似然（ML）和线性规划（LP）最优性，并支持一种新型归一化加权最小和（nwms）译码算法，该算法在存在局部最优码字时，可在h次迭代内实现ML译码，且在有界噪声下具有高概率成功。

ABSTRACT

We consider decoding of binary Tanner codes using message-passing iterative decoding and linear programming (LP) decoding in MBIOS channels. We present new certificates that are based on a combinatorial characterization for local-optimality of a codeword in irregular Tanner codes with respect to any MBIOS channel. This characterization is based on a conical combination of normalized weighted subtrees in the computation trees of the Tanner graph. These subtrees may have any finite height h (even equal or greater than half of the girth of the Tanner graph). In addition, the degrees of local-code nodes in these subtrees are not restricted to two. We prove that local optimality in this new characterization implies maximum-likelihood (ML) optimality and LP optimality, and show that a certificate can be computed efficiently. We also present a new message-passing iterative decoding algorithm, called normalized weighted min-sum (NWMS). NWMS decoding is a BP-type algorithm that applies to any irregular binary Tanner code with single parity-check local codes. We prove that if a locally-optimal codeword with respect to height parameter h exists (whereby notably h is not limited by the girth of the Tanner graph), then NWMS decoding finds this codeword in h iterations. The decoding guarantee of the NWMS decoding algorithm applies whenever there exists a locally optimal codeword. Because local optimality of a codeword implies that it is the unique ML codeword, the decoding guarantee also provides an ML certificate for this codeword. Finally, we apply the new local optimality characterization to regular Tanner codes, and prove lower bounds on the noise thresholds of LP decoding in MBIOS channels. When the noise is below these lower bounds, the probability that LP decoding fails decays doubly exponentially in the girth of the Tanner graph.

研究动机与目标

• 开发一种适用于任意MBIOS信道的、适用于非规则Tanner码的通用组合局部最优性证书。
• 将先前关于细长树和最小偏差的研究推广至具有任意节点度数的任意高度子树。
• 设计一种高效的置信传播式消息传递译码算法（nwms），当存在局部最优码字时可保证ML译码。
• 为规则Tanner码中的LP译码建立紧致的噪声阈值下界，表明误码概率随周长呈二倍指数衰减。
• 通过基于证书的框架弥合LP译码与实际迭代译码之间的差距，该框架适用于多种码族。

提出的方法

• 论文提出一种基于任意有限高度h的计算树中归一化加权子树的锥组合的新局部最优性表征。
• 通过允许任意节点度数的子树（不限于度数为2的细长树），推广了先前工作，使偏差结构更密集。
• 该方法基于子树权重与校验约束导出的线性不等式组的可行解存在性，定义了证书。
• 提出归一化加权最小和（nwms）算法，作为类置信传播的译码方法，模拟证书检查过程的行为。
• 该算法执行h次迭代，若存在局部最优码字，则收敛至该码字，且保证该码字为唯一ML解。
• 通过子树结构的概率分析，特别是有界噪声下此类证书存在的可能性，推导出理论保证。

实验结果

研究问题

• RQ1 能否将非规则Tanner码中局部最优性的组合证书推广至细长树和固定高度约束之外？
• RQ2 Tanner码中局部最优码字的存在是否意味着最大似然最优性和LP最优性？
• RQ3 能否设计一种消息传递译码算法，当存在局部最优码字时，可保证恢复ML码字，且与码的周长无关？
• RQ4 规则Tanner码中LP译码的噪声阈值的最紧致下界是什么？与现有结果相比如何？
• RQ5 新证书与译码框架能否应用于改善MBIOS信道下实际有限长码的LP译码性能？

主要发现

• 相对于高度参数h的局部最优码字，同时保证最大似然（ML）最优性和LP最优性，提供强有力的理论保证。
• 归一化加权最小和（nwms）译码算法在存在局部最优码字时，恰好在h次迭代内找到该码字，且该码字为唯一ML解。
• 对于(3,6)-规则LDPC码，当周长为对数级时，nwms和ML认证的nwms译码在BSC中p < 0.05或BI-AWGN中Eb/N0 ≥ 2.67 dB时，成功概率至少为1 - exp(-N^δ)，其中0 < δ < 1。
• 在(2,16)-规则Tanner码中，局部码为[16,11,4]时，BSC下的LP译码阈值下界为p* = 0.044，低于此值时，误码概率随周长呈二倍指数衰减。
• 新证书框架推广了基于细长树的先前结果，适用于任意非规则Tanner码，其局部码为单校验位检查码，包括LDPC和HDPC码。
• 分析表明，即使在周长较小时，由于子树高度和结构的灵活性，nwms算法的成功译码概率在有界噪声下仍很高。