[論文レビュー] Pseudocodewords of Tanner graphs

Christine A. Kelley, Deepak Sridhara|ArXiv.org|Apr 5, 2005

Error Correcting Code Techniques参考文献 13被引用数 4

ひとこと要約

本稿は、タンナーグラフにおける擬似符号語の包括的分析を提供し、計算木上に生じるものと有限リフトに由来するものの区別を行う。BEC、BSC、AWGNチャネルにおける最小擬似符号語重みの下界を確立し、問題を引き起こす擬似符号語を生じるグラフ構造を同定するとともに、冗長なタンナーグラフ表現が、符号語の最小距離を上回る擬似符号語最小重みを向上させることで、反復復号化性能を顕著に改善できることを示している。

ABSTRACT

This papers presents a detailed analysis of pseudocodewords of Tanner graphs. Pseudocodewords arising on the iterative decoder's computation tree are distinguished from pseudocodewords arising on finite degree lifts. Lower bounds on the minimum pseudocodeword weight are presented for the BEC, BSC, and AWGN channel. Some structural properties of pseudocodewords are examined, and pseudocodewords and graph properties that are potentially problematic with min-sum iterative decoding are identified. An upper bound on the minimum degree lift needed to realize a particular irreducible lift-realizable pseudocodeword is given in terms of its maximal component, and it is shown that all irreducible lift-realizable pseudocodewords have components upper bounded by a finite value $t$ that is dependent on the graph structure. Examples and different Tanner graph representations of individual codes are examined and the resulting pseudocodeword distributions and iterative decoding performances are analyzed. The results obtained provide some insights in relating the structure of the Tanner graph to the pseudocodeword distribution and suggest ways of designing Tanner graphs with good minimum pseudocodeword weight.

研究の動機と目的

• 有限長LDPC符号における反復復号化の失敗に寄与する擬似符号語の役割を理解すること。
• 復号器の計算木上で生じる擬似符号語と有限次数のリフトによって実現可能な擬似符号語を区別すること。
• 主なチャネル（BEC、BSC、AWGN）における最小擬似符号語重みの下界を導出すること。
• 反復復号化性能を著しく低下させるグラフ構造的特徴を同定すること。
• 冗長なタンナーグラフ表現が、擬似符号語分布および復号化性能を向上させられることを示すこと。

提案手法

• グラフカバー多面体定義を用いて擬似符号語を分析し、実際の計算木の挙動と比較する。
• リフトによって実現可能な擬似符号語と計算木上で生じる擬似符号語を区別し、最小和復号化において多面体が不完全であることを示す。
• 合成擬似符号語の重みを制限する基本単位として、非可約擬似符号語を用いる。
• 与えられた非可約擬似符号語を実現するにあたり必要な最小リフト次数の上界を、その最大成分の関数として導出する。
• すべての非可約リフト実現可能擬似符号語の成分は、グラフ構造に依存する有限値 t で上界を持つことを確立する。
• [7,4,3] および [15,11,3] ハミング符号の異なるタンナーグラフ表現を実験的に評価し、擬似符号語分布および反復復号化性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 計算木上で生じる擬似符号語と有限リフトによって実現可能な擬似符号語は、最小和復号化に与える影響においてどのように異なるか？
• RQ2 BEC、BSC、AWGNチャネルにおける最小擬似符号語重みの下界は何か？
• RQ3 タンナーグラフにどのような構造的特徴が存在すると、低重みで有害な擬似符号語が生じるか？
• RQ4 冗長なタンナーグラフ表現は、擬似符号語分布および反復復号化性能を向上させられるか？
• RQ5 任意の非可約リフト実現可能擬似符号語の最大成分は何か？また、それはグラフ構造とどのように関係するか？

主な発見

• 最小和反復復号化において、グラフカバー多面体による擬似符号語定義は不完全であり、計算木上に現れる一部の有害な擬似符号語が除外されている。
• [7,4,3] ハミング符号において、冗長なチェックノードを有する表現Bは、BSCにおいて最大尤度復号化と同一の性能を達成し、1ビット誤りパターンをすべて正しく訂正した。
• BIAWGNCにおいて、[15,11,3] ハミング符号の表現Bでは誤りが検出されなかったが、表現Aでは高い誤り率を示し、擬似符号語分布が性能に与える影響を明確に示した。
• 2次までの冗長なパリティチェック方程式（表現Cの形式）を追加すると、標準形（表現A）と比較して低重み擬似符号語の数が顕著に減少した。
• すべての非可約リフト実現可能擬似符号語の成分は、タンナーグラフ構造に依存する有限値 t で上界を持つ。
• 特定の擬似符号語を実現するために必要な最小リフト次数は、その最大成分の関数として上界を持つ。