[论文解读] Characterizations of Pseudo-Codewords of LDPC Codes

R. Koetter, Wen-Ching W. Li+2 more|ArXiv.org|Aug 9, 2005

Error Correcting Code Techniques参考文献 7被引用 24

一句话总结

本文引入基本锥作为低密度奇偶校验（LDPC）码中伪码字的几何表征，表明这些伪码字源于Tanner图的无分支覆盖，并且恰好是模2下映射为码字的锥中整数点。关键贡献在于将循环码的基本多面体与Hashimoto边zeta函数的Newton多面体联系起来，为分析LDPC译码性能提供了组合与代数框架。

ABSTRACT

An important property of high-performance, low complexity codes is the existence of highly efficient algorithms for their decoding. Many of the most efficient, recent graph-based algorithms, e.g. message passing algorithms and decoding based on linear programming, crucially depend on the efficient representation of a code in a graphical model. In order to understand the performance of these algorithms, we argue for the characterization of codes in terms of a so called fundamental cone in Euclidean space which is a function of a given parity check matrix of a code, rather than of the code itself. We give a number of properties of this fundamental cone derived from its connection to unramified covers of the graphical models on which the decoding algorithms operate. For the class of cycle codes, these developments naturally lead to a characterization of the fundamental polytope as the Newton polytope of the Hashimoto edge zeta function of the underlying graph.

研究动机与目标

• 开发一个几何框架，以理解LDPC码中的伪码字，这些伪码字对译码性能至关重要，但无法通过最小距离捕捉。
• 表明消息传递译码和线性规划译码算法的性能取决于校验矩阵的结构，而不仅仅是码本身。
• 将基本锥表征为校验矩阵的函数，并将其与无分支图覆盖和循环码联系起来。
• 建立循环码基本多面体与Hashimoto边zeta函数Newton多面体之间的联系。
• 利用zeta函数和删减映射，提供未缩放伪码字的幂级数表示。

提出的方法

• 将R^n中的基本锥定义为满足由校验矩阵H导出的不等式的非负实向量集合。
• 表明伪码字是基本锥中模2映射为码字的整数点。
• 使用Tanner图的无分支覆盖来建模消息传递译码的行为，因为其无法区分原图与其覆盖图。
• 通过与比特节点相连的边的次数条件，建立覆盖图上无回溯、无尾迹环路与基本锥中向量之间的对应关系。
• 对比特偶数Tanner图上的循环码应用Hashimoto边zeta函数，生成一个幂级数，其单项式对应于未缩放的伪码字。
• 使用删减映射φ，将覆盖图上循环码的伪码字投影到原始码上，保持其与变换后zeta函数中单项式之间的对应关系。

实验结果

研究问题

• RQ1 如何基于校验矩阵对LDPC码中的伪码字进行几何表征？
• RQ2 基本锥与Tanner图的无分支覆盖之间存在何种关系？
• RQ3 Hashimoto边zeta函数的Newton多面体如何与循环码的基本多面体相关联？
• RQ4 能否通过有理函数或幂级数构造来描述一般LDPC码的伪码字集合？
• RQ5 删减映射φ在联系循环码的伪码字与原始码的伪码字之间起到何种作用？

主要发现

• 基本锥是R^n中的几何对象，由校验矩阵H导出的不等式定义，伪码字是该锥中模2映射为码字的整数点。
• 基本锥依赖于通过H表示的码的具体形式，而不仅仅是码作为向量空间的性质，凸显了码结构在译码性能中的重要性。
• 对于循环码，基本多面体是底层图的Hashimoto边zeta函数的Newton多面体。
• 相对于Tanner图T的二元线性码C的未缩放伪码字，是φ(ζ′)的幂级数中单项式的指数向量，其中ζ′是T的比特偶数覆盖的zeta函数。
• C的未缩放伪码字恰好是那些向量(p₁,…,pₙ)，使得单项式∏u_{(i,j)}^{p_i}在T的比特偶数覆盖的zeta函数中具有非零系数。
• 本文识别出一种自然的幂级数构造，其单项式编码了通用LDPC码的所有伪码字，暗示了为译码分析构建有理函数表示的可能路径。