[論文レビュー] Bounds on the decoding complexity of punctured codes on graphs

Henry D. Pfister, Igal Sason+1 more|ArXiv.org|Sep 14, 2004

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

ひとこと要約

本稿では、二つの非システム的不規則繰返し積層型（IRA）符号の系列を提示する。これらの符号は、二進消去チャネル（BEC）において、情報ビットあたりの復号複雑度が有界でありながら、レートが容量に近づく場合でも容量を達成する。情報ビットをすべてパunctionしてタンナーグラフに状態ノードを導入することで、従来の性能と複雑度のトレードオフを打ち破り、メッセージパassing反復（MPI）復号において有界な複雑度を実現する。これに対して、容量を達成する既存の符号は、容量との差に応じて複雑度が対数的に増加する。

ABSTRACT

We present two sequences of ensembles of non-systematic irregular repeat-accumulate codes which asymptotically (as their block length tends to infinity) achieve capacity on the binary erasure channel (BEC) with bounded complexity per information bit. This is in contrast to all previous constructions of capacity-achieving sequences of ensembles whose complexity grows at least like the log of the inverse of the gap (in rate) to capacity. The new bounded complexity result is achieved by puncturing bits, and allowing in this way a sufficient number of state nodes in the Tanner graph representing the codes. We also derive an information-theoretic lower bound on the decoding complexity of randomly punctured codes on graphs. The bound holds for every memoryless binary-input output-symmetric channel, and is refined for the BEC.

研究の動機と目的

• BECにおける容量達成符号の復号複雑度と性能の根本的トレードオフを解決すること。
• タンナーグラフ内の状態ノードが、レートが容量に近づく際にMPI復号において有界な複雑度を可能にする役割を調査すること。
• 非システム的IRA符号の新たなアンサンブルを構築し、性能と有界な複雑度を同時に達成することで、システム的IRA符号の限界を克服すること。
• すべての無記憶バイナリ入力出力対称（MBIOS）チャネルに対して有効な、グラフ上のランダムにパunctionされた符号の復号複雑度に関する情報理論的下界を導出すること。
• 有界な複雑度が達成可能であるのは、情報ビットのパunctionレートが1に近づく場合に限ることを示し、非システム的設計が本質的であることを示すこと。

提案手法

• IRA符号のすべての情報ビットをパunctionしてタンナーグラフに状態ノードを導入し、MPI復号において有界な複雑度を実現すること。
• 不規則な次数分布（d.d.）を持つ非システム的IRA符号アンサンブルを設計し、漸近的にBEC容量を達成すること。
• チェックノード次数が5のチェック正則構造を採用することで、容量との差がゼロに近づく際、情報ビットあたりの復号複雑度が常に5/(1−p)の定数となるように保証すること。
• 情報理論的ツールを用いて、グラフ上のランダムパunction符号の復号複雑度に関する下界を導出すること。この下界は、すべてのMBIOSチャネルに対して有効である。
• 特にBECに対してこの下界を精緻化し、有界な複雑度が達成可能であるためには、情報ビットのパunctionレートが1に近づく必要があることを示すこと。
• コンピュータシミュレーションを用いて解析結果を検証し、チェック正則LDPC符号およびシステム的IRA符号と性能を比較すること。

実験結果

リサーチクエスチョン

• RQ1 MPI復号において、情報ビットあたりの復号複雑度が有界であるBECにおける容量達成符号を構築できるか？
• RQ2 タンナーグラフ内の状態ノードが、容量に近づく際の有界な複雑度を可能にする役割は何か？
• RQ3 グラフ上のランダムパunction符号の復号複雑度には、根本的な下限があるか？また、その下限はチャネルの種別にどのように依存するか？
• RQ4 なぜシステム的IRA符号は、レートが容量に近づく際に有界な複雑度を達成できないが、非システム的符号は達成できるのか？
• RQ5 情報ビットのパunctionパターンが、MPI復号における有界な複雑度の達成可能性に本質的に影響を与えるか？

主な発見

• 提案された非システム的IRA符号アンサンブルは、BECにおいて情報ビットあたりの復号複雑度が有界であり、特にチェックノード次数が5の場合に5/(1−p)の定数として達成される。これは、容量との差がゼロに近づく場合でも成立する。
• すべての情報ビットをパunctionすることでタンナーグラフに状態ノードが導入され、これが有界な複雑度を達成するために不可欠である。このメカニズムにより、従来の複雑度-レートトレードオフが打ち破られる。
• グラフ上のランダムパunction符号の復号複雑度に関する情報理論的下界は、有界な複雑度が達成可能であるのは、情報ビットのパunctionレートが1に近づく場合に限ることを示している。
• BECの場合、この下界は、有界な複雑度を達成するための必要条件として、すべての情報ビットがパunctionされている必要があることを示しており、これは提案された符号の非システム的設計と整合的である。
• シミュレーション結果は解析的な複雑度下限を確認しており、小〜中程度のブロック長ではチェック正則LDPC符号よりわずかに性能が劣るが、ブロック長が増加するにつれて、既存のすべての構成より優れるようになる。
• 本研究の結果は、[9]で提起された未解決の問題を解決し、状態ノードを含むより複雑なグラフィカルモデルが、MPI復号下での性能-複雑度トレードオフを顕著に改善できることを示している。