[論文レビュー] Accumulate-Repeat-Accumulate Codes: Systematic Codes Achieving the Binary Erasure Channel Capacity with Bounded Complexity

Henry D. Pfister, Igal Sason|ArXiv.org|Sep 15, 2005

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

ひとこと要約

本稿では、情報ビットあたりの符号化および復号化の計算量が有界である二進消去チャネル（BEC）の容量に達する不規則な累積再帰的反復符号（ARA）集合を導入する。対称性の性質と密度発展解析を活用することで、中程度のブロック長において、従来の不規則な再帰的反復（IRA）およびLDPC符号よりも優れた性能を示す度数分布を構築した。符号化はシステム的であり、シミュレーションで検証済みである。

ABSTRACT

The paper introduces ensembles of accumulate-repeat-accumulate (ARA) codes which asymptotically achieve capacity on the binary erasure channel (BEC) with {\em bounded complexity} per information bit. It also introduces symmetry properties which play a central role in the construction of capacity-achieving ensembles for the BEC. The results here improve on the tradeoff between performance and complexity provided by the first capacity-achieving ensembles of irregular repeat-accumulate (IRA) codes with bounded complexity per information bit; these IRA ensembles were previously constructed by Pfister, Sason and Urbanke. The superiority of ARA codes with moderate to large block length is exemplified by computer simulations which compare their performance with those of previously reported capacity-achieving ensembles of LDPC and IRA codes. The ARA codes also have the advantage of being systematic.

研究の動機と目的

• 情報ビットあたりの計算量が有界である二進消去チャネル（BEC）向けのシステム的かつ容量達成符号の設計。
• 従来の不規則な再帰的反復（IRA）符号で見られる、容量とのギャップに比例して無限に増大する復号化計算量の問題を克服すること。
• 既存のLDPCおよびIRA符号の容量達成集合と比較して、中程度のブロック長における性能向上を図ること。
• 有界計算量の容量達成集合を構築可能にする度数分布の対称性に基づく設計原則の確立。
• BEC上での密度発展解析とモンテカルロシミュレーションを通じて、ARA符号の優位性を示すこと。

提案手法

• 本稿では、蓄積、不規則な再帰的反復、再び蓄積する構成要素を有する直列符号化された符号集合として構造化された不規則なARA符号の集合を導入する。
• ARA符号のタンナーグラフ表現に密度発展を適用し、反復復号化性能を記述する固定点方程式を導出する。
• 度数分布間の対称性の性質を活用し、度数分布多項式の非負のべき級数展開を満たす必要十分条件を導出する。
• 著者らはラマヌジャン・W関数を用いて、度数分布級数における非負係数を保証する最小ブロック長パラメータbを解析的に特定する。
• 度数分布対 (L(x), R(x)) に対して閉形式解を導出し、容量達成ARA集合の明示的構築を可能にする。
• グラフ還元とエッジ視点のマッチングを用いることで、本手法は累積-LDPC（ALDPC）符号などの他の符号構造へ一般化可能である。

実験結果

リサーチクエスチョン

• RQ1 情報ビットあたりの計算量が有界であるシステム的ARA符号を設計し、BEC容量に達成可能か？
• RQ2 度数分布の対称性の性質が、BEC向けに有界計算量の容量達成集合を構築するためにどのように寄与するか？
• RQ3 中程度のブロック長において、ARA符号は既存のIRAおよびLDPC符号の集合と比較してどの程度の性能向上を達成するか？
• RQ4 システム的符号化構造を用いて、有界計算量の容量達成集合を構築可能か？
• RQ5 消去確率pとブロック長パラメータbにどのような制約を課すと、度数分布係数が非負となるか？

主な発見

• 提案されたARA符号集合は、情報ビットあたりの符号化および復号化の計算量が、容量とのギャップに依存せずに定数で有界であるBECの容量に達成する。
• 計算量は明示的に χE, χD = 3 − p / (1 − p) − (b²p) / [(1 − b)(b + ln(1 − b))] と表され、特定の区間内でのbについて有界性が保たれる。
• ARA集合において、度数分布係数LとRが非負であるための必要十分条件は、b ≥ W(−e⁻²⁵⁺√⁶¹⁄₁₂) + 1 ≈ 0.9304 かつ p がラマヌジャン・W関数を含む導出された不等式を満たすことである。
• シミュレーション結果から、ARA符号は中程度のブロック長において、従来報告されたLDPCおよびIRA符号の容量達成集合を上回ることを示した。
• エッジ視点の度数分布をマッチングさせた非システム的NSIRA集合の構築により、有界計算量とより良いp制約が達成され、χE = χD = 2 / (1 − p) − b² / [(1 − b)(b + ln(1 − b))] が得られた。
• 本稿では、対称性に基づく設計が、ARA、IRA、ALDPC符号の容量達成集合の構築を可能にすることを確立した。密度発展とグラフ還元を用いて、解析的条件が導出された。