[論文レビュー] On the Block Error Probability of LP Decoding of LDPC Codes

R. Koetter, Pascal O. Vontobel|ArXiv.org|Feb 26, 2006

Error Correcting Code Techniques参考文献 11被引用数 32

ひとこと要約

本稿では、正則な低密度パリティーチェック（LDPC）コードの線形計画（LP）デコーディングに対して、信号対雑音比（SNR）の閾値が存在することを確立し、Bhattacharyya係数γが1/(K−1)未満である場合、語誤り確率がブロック長に対して二重指数関数的に減少することを証明している。解析は、Wibergの最小和アルゴリズム（MSA）デコーディングに対する境界を、木構造的近傍重み分布と双対証明（dual witness）の手法を用いて、LPデコーディングへと拡張している。

ABSTRACT

In his thesis, Wiberg showed the existence of thresholds for families of regular low-density parity-check codes under min-sum algorithm decoding. He also derived analytic bounds on these thresholds. In this paper, we formulate similar results for linear programming decoding of regular low-density parity-check codes.

研究の動機と目的

• 正則LDPCコードの線形計画（LP）デコーディングのブロック誤り確率に対する解析的境界を、最小和アルゴリズム（MSA）デコーディングにおけるWibergの境界に類似させる。
• LPデコーディングが任意に低い語誤り確率を達成する閾値SNRの存在を示す。
• MSAデコーディングから借用した木構造的近傍重み分布の手法を、双対変数と基本的ポリトープ解析を用いてLPデコーディングへと拡張する。
• コードのブロック長Nと次数パラメータJ, Kの観点から、LPデコーディングの誤り指数を定量化する。
• AWGNチャネルに対する既知の下界と比較し、誤り指数スケーリングの整合性を示す。

提案手法

• コードの凸包上での最尤デコーディングを線形計画問題として定式化し、局所的チェック制約によって定義される基本的ポリトープに緩和する。
• LPデコーディング問題の双対を用いて、双対変数が{0,1}^K内に属するすべての非ゼロ偶数重みベクトルと相関が非負である場合に、すべてゼロのコドウが最適であることを証明する双対証明（dual witness）を構築する。
• 木構造的近傍モデルを用いて、コードの木構造的近傍における最小コドウの重み分布を計算し、周囲長が≥4Lであると仮定する。
• すべてのチェックノードにおけるユニオンバウンドを用いて、双対証明条件の失敗確率を推定し、チャネルパラメータとしてBhattacharyya係数γを用いる。
• Gallagerの結果（深さLまでのサイクルのない正則グラフの存在）を活用し、MSAおよびLPデコーディングにおける深さLまでの木構造的挙動を保証する。
• γ ≤ 1/(K−1) の条件下で、語誤り確率P_WがO(2^{-η₂N^{log(J−1)/(2 log((J−1)(K−1)))}}) のように減少することを導出する。

実験結果

リサーチクエスチョン

• RQ1 正則LDPCコードのLPデコーディングは、最小和アルゴリズムデコーディングと同様に閾値特性を示すか？
• RQ2 MSAデコーディングで用いられる同じ木構造的重み分布と双対証明手法を、LPデコーディングの誤り確率を束縛するために適応可能か？
• RQ3 正則LDPCコードのLPデコーディングの漸近的誤り指数は、ブロック長Nと次数パラメータJ, Kの関数としてどのように表されるか？
• RQ4 誤り指数スケーリングの観点から、LPデコーディングの性能境界は、AWGNチャネルに対する既知の下界と比較してどうなるか？
• RQ5 Bhattacharyya係数γで測定されるチャネル条件は、どのようなものかで、LPデコーディングが二重指数関数的誤り減少を達成するか？

主な発見

• 周囲長L ≤ log(N)/(2 log((J−1)(K−1))) − κ を満たす任意の(J,K)-正則LDPCコード列について、語誤り確率P_Wはブロック長Nに対して二重指数関数的に減少する。
• 正の定数η₁, η₂を用いて、P_W < η₁ 2^{-η₂ N^{log(J−1)/(2 log((J−1)(K−1)))}} と境界づけられ、LPデコーディング下で指数的誤り減少が保証される。
• この誤り減少の閾値条件は、γ ≤ 1/(K−1) であり、γはチャネルのBhattacharyya係数である。
• 任意のチェックノードにおいて双対証明条件の失敗確率はLに関して二重指数関数的に減少し、O(N)個のチェックノードに対するユニオンバウンドを適用しても誤り確率は消える。
• LPデコーディングの誤り指数は、下限η₄ N^{2 log(J−1)/log((J−1)(K−1))} と上限η₂ N^{log(J−1)/(2 log((J−1)(K−1)))} で有界であり、AWGNチャネル上で近似的に最適な誤り指数を達成することが示された。
• 解析により、LPデコーディングがスケーリング挙動の観点から理論的下限と一致する誤り性能を達成できることを確認し、正則LDPCコードにおいて近似的に最適な性能を示す。