[論文レビュー] Exhausting Error-Prone Patterns in LDPC Codes

Chih-Chun Wang, Sanjeev R. Kulkarni+1 more|ArXiv.org|Sep 11, 2006

Error Correcting Code Techniques参考文献 45被引用数 42

ひとこと要約

この論文は、有限長LDPCコードにおける誤りに敏感なパターンを体系的かつ完全に特定することは、一般にNP完全であることを証明している。具体的には、二値消去チャネル（BEC）における停止集合（stopping sets）と一般対称チャネルにおけるトラッピング集合（trapping sets）の同定が、NP完全であることを示している。本研究では、サイズ≤13のすべての停止集合とサイズ≤11のすべてのトラッピング集合を、長さ約500のLDPCコードに対して効率的に体系的かつ完全に列挙できる、新たな木構造に基づく絞り込み探索アルゴリズムを提案する。このアルゴリズムは、反復復調性能の分析やコード最適化のための、ビット誤り率（BER）およびフレーム誤り率（FER）の厳密な上界を提供する。

ABSTRACT

It is proved in this work that exhaustively determining bad patterns in arbitrary, finite low-density parity-check (LDPC) codes, including stopping sets for binary erasure channels (BECs) and trapping sets (also known as near-codewords) for general memoryless symmetric channels, is an NP-complete problem, and efficient algorithms are provided for codes of practical short lengths n~=500. By exploiting the sparse connectivity of LDPC codes, the stopping sets of size <=13 and the trapping sets of size <=11 can be efficiently exhaustively determined for the first time, and the resulting exhaustive list is of great importance for code analysis and finite code optimization. The featured tree-based narrowing search distinguishes this algorithm from existing ones for which inexhaustive methods are employed. One important byproduct is a pair of upper bounds on the bit-error rate (BER) & frame-error rate (FER) iterative decoding performance of arbitrary codes over BECs that can be evaluated for any value of the erasure probability, including both the waterfall and the error floor regions. The tightness of these upper bounds and the exhaustion capability of the proposed algorithm are proved when combining an optimal leaf-finding module with the tree-based search. These upper bounds also provide a worst-case-performance guarantee which is crucial to optimizing LDPC codes for extremely low error rate applications, e.g., optical/satellite communications. Extensive numerical experiments are conducted that include both randomly and algebraically constructed LDPC codes, the results of which demonstrate the superior efficiency of the exhaustion algorithm and its significant value for finite length code optimization.

研究の動機と目的

• 有限長LDPCコードにおける停止集合およびトラッピング集合の体系的同定が不足している現状に鑑み、これが誤りフロアの予測やコード最適化に不可欠であるため、その問題を解決すること。
• 最小停止距離およびトラッピング距離を同定することは、理論的にNP完全であることを証明し、問題の計算的困難性を確立すること。
• 実用的長さ（n ≈ 500）のLDPCコードに対して、サイズの小さい停止集合およびトラッピング集合を体系的かつ完全に列挙できる実用的で効率的なアルゴリズムを開発すること。
• 反復復調におけるBEC上でのビット誤り率（BER）およびフレーム誤り率（FER）の、すべての消去確率（誤りフロア領域を含む）に対して有効な、厳密で解析可能な上界を提供すること。
• 光通信や衛星リンクなどの超信頼性通信システムにおけるLDPCコードの最適化に役立つ、最悪ケース性能保証を提供すること。

提案手法

• 停止集合およびトラッピング集合を体系的同定するため、Tannerグラフ構造を体系的に探索する木構造ベースの絞り込み探索アルゴリズムを提案する。
• 探索中の候補ノードの指数的増加を防ぐために、『バランスよく成長する』性質を持つ新規のリーフ検出（LF）モジュールを導入する。
• Tannerグラフの幅優先走査を用いて、潜在的な停止集合・トラッピング集合を表す有限木を構築し、正確性を保証するための木構造の転記手法を採用する。
• 計算の取り扱いやすさを維持しながらも、網羅的カバーを保つために、ルールベースのノード複製および選択を用いたピボット機構を採用する。
• アルゴリズムと最適なリーフ検出を組み合わせることで、導出されたBERおよびFER上界のタイトさを証明する。
• ランダムおよび代数的構成によるLDPCコードを用いた実験により、本手法の有効性と実用的価値を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限長LDPCコードにおける停止集合およびトラッピング集合の体系的同定は、計算的に可能であるのか、それとも本質的にNP完全であるのか？
• RQ2 実用的長さ（n ≈ 500）のLDPCコードに対して、サイズの小さい停止集合およびトラッピング集合を体系的かつ完全に列挙できる決定的で効率的なアルゴリズムを設計できるか？
• RQ3 提案されたアルゴリズムの理論的および実用的性能は、網羅性および計算複雑度の観点からどのように評価できるか？
• RQ4 本アルゴリズムは、誤りフロア領域を含むすべての消去確率に対して、BEC上での反復復調におけるBERおよびFERのタイトな上界を生成できるか？
• RQ5 本アルゴリズムは、超信頼性通信システムにおけるLDPCコード最適化に役立つ最悪ケース性能保証を提供できるか？

主な発見

• 有限長LDPCコードにおける停止集合およびトラッピング集合の体系的同定問題は、NP完全であることが証明された。
• バランスよく成長するリーフ検出モジュールを備えた、本研究で提案された木構造ベースの絞り込み探索アルゴリズムにより、長さ約500のLDPCコードに対して、サイズ≤13のすべての停止集合およびサイズ≤11のすべてのトラッピング集合の体系的同定が初めて達成された。
• 本アルゴリズムは、BEC上での反復復調におけるBERおよびFERのタイトな上界を生成し、誤りフロア領域を含むすべての消去確率に対して有効である。
• 最適なリーフ検出モジュールと組み合わせることで、上記上界のタイトさが保証され、コード最適化に向けた最悪ケース性能保証が得られた。
• 広範な数値実験により、本アルゴリズムの効率性が確認され、有限長LDPCコード最適化における顕著な価値が示された。