[論文レビュー] Correction Trees as an Alternative to Turbo Codes and Low Density Parity Check Codes

Jarosław Duda, Paweł Korus|arXiv (Cornell University)|Apr 24, 2012

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

ひとこと要約

本稿では、巨大な状態空間（2^64状態）に基づく補正木を用いた、新たな誤り訂正パラダイムを提案する。この手法により、低〜中程度の誤り率において、計算コストをほとんどかけずにほぼ損失のない復元が可能となる。従来の畳み込み復元を、補正パスの木構造上でヒープ最適化された逐次復元処理に置き換えることで、1/2および1/4レートの符号に対して、それぞれ0.05および0.13のビット誤り率まで実用的な訂正が可能となり、低ノイズ領域ではLDPCおよびターボ符号を凌駆する性能を示す。また、シャノン限界付近でも効果的に機能する。

ABSTRACT

The rapidly improving performance of modern hardware renders convolutional codes obsolete, and allows for the practical implementation of more sophisticated correction codes such as low density parity check (LDPC) and turbo codes (TC). Both are decoded by iterative algorithms, which require a disproportional computational effort for low channel noise. They are also unable to correct higher noise levels, still below the Shannon theoretical limit. In this paper, we discuss an enhanced version of a convolutional-like decoding paradigm which adopts very large spaces of possible system states, of the order of $2^{64}$. Under such conditions, the traditional convolution operation is rendered useless and needs to be replaced by a carefully designed state transition procedure. The size of the system state space completely changes the correction philosophy, as state collisions are virtually impossible and the decoding procedure becomes a correction tree. The proposed decoding algorithm is practically cost-free for low channel noise. As the channel noise approaches the Shannon limit, it is still possible to perform correction, although its cost increases to infinity. In many applications, the implemented decoder can essentially outperform both LDPC and TC. This paper describes the proposed correction paradigm and theoretically analyzes the asymptotic correction performance. The considered encoder and decoder were verified experimentally for the binary symmetric channel. The correction process remains practically cost-free for channel error rates below 0.05 and 0.13 for the 1/2 and 1/4 rate codes, respectively. For the considered resource limit, the output bit error rates reach the order of $10^{-3}$ for channel error rates 0.08 and 0.18. The proposed correction paradigm can be easily extended to other communication channels; the appropriate generalizations are also discussed in this study.

研究の動機と目的

• LDPCおよびターボ符号が低ノイズ領域で固定コストの反復復元を採用するため非効率であるという限界を是正すること。
• 畳み込み型符号に類似した、非常に大きな状態空間（≥2^64）の潜在的可能性を検討し、状態衝突を低減し、木構造による復元を可能とすること。
• 低複雑性でスケーラブルな復元アルゴリズムを設計し、誤り率が低い場合に実質的にコストがゼロとなるようにすること。
• 計算コストが漸近的に増加するにしても、シャノン限界に限りなく近い領域でも補正が可能であることを示すこと。
• 削除、挿入、同期ずれなどの誤りを含むさまざまなチャネルに適応可能なフレームワークを提供すること。

提案手法

• 少なくとも2^64のシステム状態空間を用いることで、状態衝突の確率（約5×10^−20）がほぼゼロとなり、補正構造がサイクルベースの状態機械から木構造に変化する。
• 各ノードが部分的補正パスを表す補正木上の逐次復元戦略を採用し、ノードの重みはそのパスの尤度を反映する。
• 最小ヒープデータ構造を用いることで、各ステップで最も確率の高い補正パスをO(log n)の複雑度で効率的にアクセス可能とし、スタックベースの手法と比較してアクセス複雑度をO(n)から削減する。
• 前方および後方の補正パスを同時に探索する双方向補正メカニズムを適用し、失敗確率を顕著に低減する。
• 初期ノード重みを変換確率の負の対数として設定することで、不確実な補正パターンの効率的除去が可能となる。
• ビット消去、削除、グローバルなバイジェクティブ変換を含むチャネルに対しても、調整可能な重みをもつ確率的補正としてモデル化することで、一般化を図る。

実験結果

リサーチクエスチョン

• RQ1 2^64状態空間を有する補正システムは、状態衝突を排除し、サイクルベースの状態遷移から木構造による復元に置き換えることができるか？
• RQ2 ヒープベースの逐次復元アルゴリズムは、スタックベースや反復手法と比較して、復元複雑度を顕著に低減できるか？
• RQ3 提案された補正木は、低チャネル誤り率において計算コストをほぼゼロに抑え、LDPCおよびターボ符号を凌駆できるか？
• RQ4 チャネル誤り率がシャノン限界に近づくに従い、復元コストはどのように変化するか？
• RQ5 削除、挿入、または同期ずれを含むチャネルにおいて、この手法はどの程度の誤りを訂正できるか？

主な発見

• 1/2レート符号では、チャネルビット誤り率が0.05未満であれば補正プロセスは実質的にコストフリーであり、0.08の誤り率で出力ビット誤り率が10^−3に達する。
• 1/4レート符号では、チャネル誤り率が0.13未満であればコスト効率が高く、0.18の誤り率で出力ビット誤り率が10^−3に達する。
• チャネルノイズがシャノン限界に近づくに従い、復元コストは無限大に発散するが、理論的には補正が可能である。
• 双方向補正メカニズムにより、特に高誤り率領域で失敗確率が顕著に低減される。
• ヒープベースの補正パス選択により、1回の操作あたりの復元複雑度がO(log n)に低下し、大規模な木構造の効率的走査が可能となる。
• 本手法は消去チャネル、削除、同期ずれのチャネルに対しても効果的に一般化され、解析的境界により、レートがシャノン容量未満であれば補正速度が木の成長速度を上回ることを示している。