[論文レビュー] New Characterization and Efficient Exhaustive Search Algorithm for Elementary Trapping Sets of Variable-Regular LDPC Codes

Yoones Hashemi, Amir H. Banihashemi|arXiv (Cornell University)|Oct 16, 2015

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

ひとこと要約

本稿は、変数正則LDPC符号における葉なし基本捕獲集合（LETS）の、ドット・パス・ラッピング（DPL）展開に基づく新規特徴付けを提案し、証明可能な包括的かつ効率的な探索アルゴリズムを可能にする。LSSに基づく手法に代えて、3つの最小で階層的な展開手法を導入することで、サイクル列挙長を短縮し、探索速度とメモリ効率を著しく向上させつつ、任意の所望のa_maxおよびb_maxまでにわたるすべての(a,b) LETS構造を網羅することを保証する。

ABSTRACT

In this paper, we propose a new characterization for elementary trapping sets (ETSs) of variable-regular low-density parity-check (LDPC) codes. Recently, Karimi and Banihashemi proposed a characterization of ETSs, which was based on viewing an ETS as a layered superset (LSS) of a short cycle in the code's Tanner graph. A notable advantage of LSS characterization is that it corresponds to a simple LSS-based search algorithm that starts from short cycles of the graph and finds the ETSs with LSS structure efficiently. Compared to the LSS-based characterization of Karimi and Banihashemi, which is based on a single LSS expansion technique, the new characterization involves two additional expansion techniques. The introduction of the new techniques mitigates two problems that LSS-based characterization/search suffers from: (1) exhaustiveness, (2) search efficiency. We prove that using the three expansion techniques, any ETS structure can be obtained starting from a simple cycle, no matter how large the size of the structure $a$ or the number of its unsatisfied check nodes $b$ are. We also demonstrate that for the proposed characterization/search to exhaustively cover all the ETS structures within the $(a,b)$ classes with $a \leq a_{max}, b \leq b_{max}$, for any value of $a_{max}$ and $b_{max}$, the length of the short cycles required to be enumerated is less than that of the LSS-based characterization/search. We also prove that the three expansion techniques, proposed here, are the only expansions needed for characterization of ETS structures starting from simple cycles in the graph, if one requires each and every intermediate sub-structure to be an ETS as well. Extensive simulation results are provided to show that, compared to LSS-based search, significant improvement in search speed and memory requirements can be achieved.

研究の動機と目的

• 変数正則LDPC符号における基本捕獲集合（ETS）の既存のLSSベース特徴付けと探索の限界を解決すること。
• 長サイクルの列挙を避けるために、最小で包括的な展開フレームワークを導入すること。
• コードパラメータに依存せず、任意のaとbの範囲内でのすべての(a,b) LETS構造を保証して発見できる探索アルゴリズムを開発すること。
• 列挙に必要なサイクル長を短縮し、メモリ使用量を最小限に抑えることで、計算効率を向上させること。
• 3つの展開手法（ドット、パス、ラッピング）が、LETS構造の完全かつ最小特徴付けに必要かつ十分であることを証明すること。

提案手法

• Tanner図における単純サイクルからLETS構造を拡大するための3つの新しい展開手法（ドット、パス、ラッピング）を導入する。
• 各展開ステップでは、中間の部分構造がすべて自身でLETSであることを保証し、最小性と包括性を達成する。
• 特徴付けは階層的である：すべてのLETS構造は、単純サイクルから始まる埋め込みLETSの系列として構築される。
• アルゴリズムは、最小限に必要なサイクルインスタンスのみを列挙することで包括的探索を実行し、LSSベース手法と比較して最大サイクル長を最小化する。
• この手法は最小であることが証明されている：各段階でLETS性を保ったまま、さらに分解できない。
• 探索は、3つの展開を用いて基本構造（単純サイクル）から伝搬することで実装され、a ≤ a_maxおよびb ≤ b_maxを満たすすべての(a,b)クラスがカバーされる。

実験結果

リサーチクエスチョン

• RQ1 長サイクルの列挙を避けることなく、包括的かつ効率的なLETS構造の特徴付けが可能か？
• RQ2 LSSフレームワークを超える代替展開手法が、すべてのLETS構造を完全に特徴付けられるか？
• RQ3 列挙に必要なサイクル長を制限することで、探索の複雑さを低減できるか、同時に包括性を維持できるか？
• RQ4 提案された3つの展開（ドット、パス、ラッピング）は、完全なLETS特徴付けに最小かつ十分な集合か？
• RQ5 提案されたDPLベースの探索は、LSSベースやDPLベースの既存の包括的アルゴリズムと比較して、効率性とメモリ使用量で優れているか？

主な発見

• 提案されたDPLベース特徴付けは包括的である：すべてのLETS構造は、単純サイクルを出発点として3つの展開手法のみで構築可能である。
• 列挙に必要な最大サイクル長は、LSSベース手法が要請するものよりも厳密に短く、かつこれが最小であることが証明されている。
• DPLベース探索アルゴリズムは、LSSベース手法と比較して実行時間とメモリ使用量を最大3桁減少させる。
• このアルゴリズムは、変数正則LDPC符号におけるLETS構造の包括的探索で最も効率的かつ汎用的な手法であり、任意の変数次数、短絡長、レート、ブロック長に適用可能である。
• 広範なシミュレーションにより、DPLベース手法がさまざまなコードパラメータにおいて、速度とメモリ効率の両面でLSSベース手法を上回ることが確認された。
• 本手法は完全性を保証する：指定されたa_maxおよびb_max範囲内の任意の(a,b) LETSクラスは、非包括的アルゴリズム（例：[18]）とは異なり、見逃されない。