[論文レビュー] 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 辺ゼータ関数のノイトン多面体を結びつけることで、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.

研究の動機と目的

• 最小距離では捉えきれないがデコーディング性能に重要な影響を及える擬似コドワードを理解するための幾何的枠組みを構築すること。
• メッセージパッシングおよび線形計画法デコーディングアルゴリズムの性能が、コードそのものだけでなく、パリティ検査行列の構造に依存することを示すこと。
• 基本錐をパリティ検査行列の関数として特徴付け、それが分岐のないグラフ被覆およびサイクル符号とどのように関係するかを明らかにすること。
• サイクル符号の基本多面体と Hashimoto 辺ゼータ関数のノイトン多面体との間の関係を確立すること。
• ゼータ関数とパuncturing 写像を用いたべき級数表現を通じて、スケーリングされていない擬似コドワードを記述すること。

提案手法

• パリティ検査行列 H から導かれる不等式を満たす非負実数ベクトルの集合として、R^n 内の基本錐を定義する。
• 擬似コドワードが、2を法としてコドワードに還元される基本錐内の整数点であることを示す。
• メッセージパッシングデコーディングの挙動をモデル化するために、Tanner 図の分岐のない被覆を用いる。この被覆は、元の図と区別できないため、デコーディングの限界を示す。
• ビットノードに接続する辺の次数条件を用いて、被覆上のバックトラックなし・テイルなしサイクルと基本錐内のベクトルとの対応関係を確立する。
• ビット偶数の Tanner 図上のサイクル符号に対して Hashimoto 辺ゼータ関数を適用し、そのべき級数の単項式がスケーリングされていない擬似コドワードに対応するようにする。
• 写像 φ を用いて、被覆上のサイクル符号からの擬似コドワードを元のコードに射影し、変換されたゼータ関数の単項式に対応する関係を保持する。

実験結果

リサーチクエスチョン

• RQ1 LDPC 符号における擬似コドワードは、パリティ検査行列を用いてどのように幾何的に特徴付けられるか？
• RQ2 基本錐と Tanner 図の分岐のない被覆との関係は何か？
• RQ3 Hashimoto 辺ゼータ関数のノイトン多面体は、サイクル符号の基本多面体とどのように関係するか？
• RQ4 一般の LDPC 符号の擬似コドワードの集合は、有理関数またはべき級数構成によって記述可能か？
• RQ5 パuncturing 写像 φ は、サイクル符号の擬似コドワードと元のコードのそれとの関係をどのように果たすか？

主な発見

• 基本錐はパリティ検査行列 H から導かれる不等式によって定義される R^n 内の幾何的対象であり、擬似コドワードは、2を法としてコドワードに還元されるこの錐内の整数点である。
• 基本錐はコードを H を用いて表現する方法に依存するが、コードそのもののベクトル空間としての性質に依存するのではなく、デコーディング性能におけるコード構造の重要性を強調する。
• サイクル符号の場合、基本多面体は、対応するグラフの Hashimoto 辺ゼータ関数のノイトン多面体に一致する。
• Tanner 図 T に対して、スケーリングされていない擬似コドワードは、T のビット偶数被覆上の zeta 関数 ζ′ のべき級数における単項式の指数ベクトルとして与えられる。
• コード C のスケーリングされていない擬似コドワードは、すべての (p₁,…,pₙ) で、単項式 ∏u_{(i,j)}^{p_i} が、T のビット偶数被覆のゼータ関数において非ゼロの係数をもつものに一致する。
• 本稿では、一般の LDPC 符号のすべての擬似コドワードを符号するべき級数の自然な構成を特定し、デコーディング解析のための有理関数表現への道筋を示唆している。