[論文レビュー] How to Construct Polar Codes

Ido Tal, Alexander Vardy|arXiv (Cornell University)|May 31, 2011

Error Correcting Code Techniques参考文献 14被引用数 86

ひとこと要約

本稿では、極性ビットチャネルの扱いが困難な出力アルファベットの大きさを、劣化および上昇化量子化技術を用いて近似することで、極性コードを効率的に構築する手法を提示する。この手法により、任意の ε > 0 に対して十分に大きな n に対して、ε の範囲内でチャネル容量に近い極性コードを線形時間および線形空間で構築可能であり、忠実度パラメータ μ を用いて誤り確率の高精度な境界を提供する。

ABSTRACT

A method for efficiently constructing polar codes is presented and analyzed. Although polar codes are explicitly defined, straightforward construction is intractable since the resulting polar bit-channels have an output alphabet that grows exponentially with he code length. Thus the core problem that needs to be solved is that of faithfully approximating a bit-channel with an intractably large alphabet by another channel having a manageable alphabet size. We devise two approximation methods which "sandwich" the original bit-channel between a degraded and an upgraded version thereof. Both approximations can be efficiently computed, and turn out to be extremely close in practice. We also provide theoretical analysis of our construction algorithms, proving that for any fixed $ε> 0$ and all sufficiently large code lengths $n$, polar codes whose rate is within $ε$ of channel capacity can be constructed in time and space that are both linear in $n$.

研究の動機と目的

• 指数的に増加するビットチャネル出力アルファベットの大きさに起因する極性コード構築の非実行可能性の問題に対処すること。
• 管理可能なアルファベットサイズを持つ極性ビットチャネルの近似法を実用的かつ正確に開発すること。
• 近似が、誤り確率の境界を含む、信頼性のあるコード構築に必要な性質を保持することを保証すること。
• 任意の ε > 0 および十分に大きな n に対して、極性コードが O(n) 時間および O(n) 空間で構築可能であることを証明すること。
• 任意の二値入力対称離散記憶なしチャネル（BI-DMCs）に対して、効率的で正確かつスケーラブルな極性コード設計のフレームワークを提供すること。

提案手法

• 誤り確率の下限を提供する劣化量子化（下限）と、誤り確率の上限を提供する上昇化量子化（上限）の2つの近似手法を導入する。
• 忠実度パラメータ μ を用いて近似の精度を制御し、両手法がすべての n 個のビットチャネルに対して O(n·μ²·log μ) 時間で動作することを保証する。
• 出力アルファベットを量子化することで、元のビットチャネルの劣化版を構築し、その結果得られるチャネルが元のものに対して確率的に劣化していることを保証する。
• 元のチャネルがその結果得られるチャネルに対して確率的に劣化しているように量子化を行うことで、上昇化版を構築し、「はさみうち」の境界を形成する。
• アリカンの 2×2 カーネルと逐次取消リダクションの構造を活用して、極化プロセス全体にわたり再帰的にこれらの近似を適用する。
• 理論的収束性を示すために、任意の ε > 0 および十分に大きな n に対して、構築されたコードレートが容量から ε 以内に収まるように証明する。

実験結果

リサーチクエスチョン

• RQ1 極性コードは、二値消失チャネルの特殊ケースを除き、任意の二値入力対称 DMC に対して、効率的に構築可能だろうか？
• RQ2 極性ビットチャネルの指数関数的に増加する出力アルファベットを、レートおよび誤り確率推定の精度を損なわずに近似する方法は何か？
• RQ3 計算的に実行可能でありながら、ビットチャネル誤り確率のタイトな上限および下限を提供する近似技術は何か？
• RQ4 コード長 n に対して時間および空間の複雑度を線形に削減しながら、近似容量性能を維持できるか？
• RQ5 このような近似に基づく構築において、十分に大きな n に対して、レート近似の理論的保証（容量から ε 以内）は何か？

主な発見

• 劣化および上昇化近似により、実用的には非常に近い誤り確率の境界が得られ、μ が小さい場合（例：μ = 256）でも同様に有効である。
• 任意の ε > 0 および十分に大きなコード長 n に対して、極性コードは O(n) 時間および O(n) 空間で構築可能である。
• すべての n 個の極性ビットチャネルを近似するための実行時間は O(n·μ²·log μ) であり、μ に対して効率的かつスケーラブルである。
• 真のチャネルを劣化版と上昇化版の間にはさみ込むことで、ビットチャネルの信頼性を高精度で推定可能である。
• 数値結果から、n = 1,048,576 で μ = 256 の場合でも、誤り確率の上限と下限の差は無視できるほど小さいことが示された。
• 理論的解析により、忠実度の向上に伴い近似の精度が向上することが確認され、実用的なコード長においても計算的に実行可能であることが示された。