[论文解读] On the Block Error Probability of LP Decoding of LDPC Codes

R. Koetter, Pascal O. Vontobel|ArXiv.org|Feb 26, 2006

Error Correcting Code Techniques参考文献 11被引用 32

一句话总结

本文建立了规则低密度奇偶校验（LDPC）码线性规划（LP）译码的信噪比（SNR）阈值，证明当巴氏参数γ低于1/(K−1)时，码字误码概率随码长呈二重指数衰减。该分析将Wiberg针对最小-和算法译码的界扩展至LP译码，采用基于树的邻域权重分布与对偶见证论证方法。

ABSTRACT

In his thesis, Wiberg showed the existence of thresholds for families of regular low-density parity-check codes under min-sum algorithm decoding. He also derived analytic bounds on these thresholds. In this paper, we formulate similar results for linear programming decoding of regular low-density parity-check codes.

研究动机与目标

• 建立规则LDPC码线性规划（LP）译码的块误码概率的分析界，类似于Wiberg针对最小-和算法（MSA）译码所建立的界。
• 证明存在一个SNR阈值，低于该阈值时，LP译码可实现任意低的码字误码概率。
• 将MSA译码中使用的基于树的邻域权重分布方法扩展至LP译码，结合对偶变量与基本多面体分析。
• 以码长N和度参数J、K表示LP译码的误码指数。
• 将LP译码的性能界与已知的AWGN信道下界进行比较，表明其在误码指数缩放方面具有紧致性。

提出的方法

• 将最大似然译码表述为在码的凸包上的线性规划，随后将其松弛至由局部校验约束定义的基本多面体。
• 利用LP译码问题的对偶形式构造一个对偶见证，当对偶变量与{0,1}^K中所有非零偶重向量的相关性非负时，该见证可证明全零码字的最优性。
• 采用基于树的邻域模型计算码在树状邻域中最小码字的权重分布，假设围长≥4L。
• 对所有校验节点使用并集界，估计对偶见证条件失效的概率，以巴氏参数γ作为信道参数。
• 利用Gallager关于存在无长度小于L的环的规则图的结果，确保MSA与LP译码在深度L内保持树状行为。
• 在条件γ ≤ 1/(K−1)下，推导出码字误码概率P_W的界，其衰减形式为O(2^{-η₂N^{log(J−1)/(2 log((J−1)(K−1)))}})。

实验结果

研究问题

• RQ1 规则LDPC码的LP译码是否表现出与最小-和算法译码类似的阈值行为？
• RQ2 MSA译码中使用的相同基于树的权重分布与对偶见证技术，能否被适配以界定向LP译码的误码概率？
• RQ3 规则LDPC码的LP译码在码长N与度参数J、K下的渐近误码指数为何？
• RQ4 在误码指数缩放方面，LP译码的性能与已知的AWGN信道下界相比如何？
• RQ5 在何种信道条件（以巴氏参数γ衡量）下，LP译码可实现二重指数误码衰减？

主要发现

• 对于任意满足围长条件L ≤ log(N)/(2 log((J−1)(K−1))) − κ的(J,K)-规则LDPC码序列，码字误码概率P_W随码长N呈二重指数衰减。
• 码字误码概率满足P_W < η₁ 2^{-η₂ N^{log(J−1)/(2 log((J−1)(K−1)))}}，其中η₁与η₂为正常数，证明在LP译码下存在指数级误码衰减。
• 该误码衰减的阈值条件为γ ≤ 1/(K−1)，其中γ为信道的巴氏参数。
• 在任一校验节点处对偶见证条件失效的概率随L呈二重指数衰减，即使对O(N)个校验节点取并集界，仍可保证误码概率趋于零。
• LP译码的误码指数下界为η₄ N^{2 log(J−1)/log((J−1)(K−1))}，上界为η₂ N^{log(J−1)/(2 log((J−1)(K−1)))}，表明LP译码在AWGN信道上可实现接近最优的误码指数。
• 该分析确认LP译码可实现与理论下界在缩放行为上一致的误码性能，表明规则LDPC码的LP译码具有近似最优性能。