[論文レビュー] Capacity-Achieving Ensembles of Accumulate-Repeat-Accumulate Codes for the Erasure Channel with Bounded Complexity

Henry D. Pfister, Igal Sason|Dec 1, 2005

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

ひとこと要約

本稿は、情報ビットあたりの符号化および復号化の複雑さが有界である二値消去チャネル（BEC）における容量を達成する累積繰返し積み上げ（ARA）符号のアンサンブルを導入する。対称性の性質と新規の度数分布設計——特に自己一致型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, of encoding and decoding. It also introduces symmetry properties which play a central role in the construction of capacity-achieving ensembles for the BEC with bounded complexity. The results here improve on the tradeoff between performance and complexity provided by previous constructions of capacity-achieving ensembles of codes defined on graphs. 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におけるARA符号の容量を達成するアンサンブルの設計。
• 容量に近い性能を達成するが、レートが容量に近づくと複雑さが無限大に発散する既存の符号の限界を克服すること。
• 従来のLDPCおよびIRA符号アンサンブルと比較して、中程度のブロック長における性能を向上させること。
• 低誤りフロアを維持し、効率的な線形時間符号化を実現するシステム的符号構造の開発。
• 有界な複雑さを達成する符号アンサンブルを可能にする、対称性に基づく設計原則の確立。

提案手法

• BECにおける密度推移解析を用いて、線形時間符号化と反復復号化を実現する新しい系統的ARA符号クラスを導入。
• 反復復号化性能を支配する固定点方程式を導出するため、2通りの同等な導出法を用いた密度推移の適用。
• 符号構築における対称性の性質を活用し、容量へのギャップが小さくなるに従って複雑さが有界に保たれることを保証。
• 自己一致型LDPC符号アンサンブルを基盤として、ARA、NSIRA、ALDPC符号の不規則度数分布を設計。
• 複素数区間演算と凸性の数値的検証を用いて、度数分布におけるべき級数展開の非負性を証明。
• 度数分布係数の非負性を、複素関数の実部を用いた検証により確認し、有効な確率分布を保証。

実験結果

リサーチクエスチョン

• RQ1 情報ビットあたりの複雑さが有界であるARA符号を、BECにおいて容量を達成するように設計可能か？
• RQ2 符号アンサンブルにおける対称性の性質を活用すれば、レートが容量に近づくに従って復号化の複雑さが有界に保たれるか？
• RQ3 どのような度数分布設計が、中程度のブロック長における高い性能とARA符号における有界な複雑さを両立可能か？
• RQ4 容量を達成する符号アンサンブルにおいて、度数分布のべき級数展開の非負性を効率的かつ厳密に検証可能か？
• RQ5 自己一致型LDPC符号構造は、有界な複雑さを達成するARAおよびALDPC符号アンサンブルの構築をどのように可能にするか？

主な発見

• 本稿は、情報ビットあたりの符号化および復号化の複雑さが有界であるビット正則およびチェック正則なARA符号の明示的容量達成アンサンブルを構築した。
• 消去率 p ≤ 0.26 の範囲において、左度数分布のべき級数展開の非負性が、複素関数の実部の凸性の検証を用いて数値的に証明された。
• 自己一致型ARA符号構築により、c1 および c2 が (13 − √61)/9 ≈ 0.5766 以下に制限されれば、度数分布係数が非負であることが保証される。これは、p および b パrameter の有効範囲に対応する。
• 数値的検証により、関数 h(x) = Re{g(e^{ix})} が c ∈ [0, 0.6] の範囲で [0, π] 上で凸であることが確認され、度数分布係数の非負性を支持する。
• シミュレーションにより、自己一致型ARA符号が、BECにおける中〜大規模ブロック長において、以前に報告された容量達成型LDPCおよびIRA符号アンサンブルを上回ることを示した。
• 本手法により、対称性と凸性に基づく検証を用いて、有界な複雑さを達成する容量達成型符号が実現可能となり、従来の結果をより広い消去確率範囲に拡張した。