[論文レビュー] Polar Codes with exponentially small error at finite block length

B{\l}asiok, Jaros{\l}aw, Venkatesan Guruswami+1 more|arXiv (Cornell University)|Oct 9, 2018

Error Correcting Code Techniques被引用数 3

ひとこと要約

この論文は、自然な混合条件を満たす極性符号の全クラスが、容量への多項式的収束と指数的になくならない失敗確率（exp(−N^Ω(1)）を同時に達成することを確立している。アリカンマルティンゲールの局所的解析を強化することで、著者らは、強い極性を示すいかなる極性符号族に対しても、多項式的ブロック長において近似的に最適な誤り指数を達成できることを示し、理論的収束と実用的誤り性能の間の長年のギャップを解消した。

ABSTRACT

We show that the entire class of polar codes (up to a natural necessary condition) converge to capacity at block lengths polynomial in the gap to capacity, while simultaneously achieving failure probabilities that are exponentially small in the block length (i.e., decoding fails with probability $\exp(-N^{\Omega(1)})$ for codes of length $N$). Previously this combination was known only for one specific family within the class of polar codes, whereas we establish this whenever the polar code exhibits a condition necessary for any polarization. Our results adapt and strengthen a local analysis of polar codes due to the authors with Nakkiran and Rudra [Proc. STOC 2018]. Their analysis related the time-local behavior of a martingale to its global convergence, and this allowed them to prove that the broad class of polar codes converge to capacity at polynomial block lengths. Their analysis easily adapts to show exponentially small failure probabilities, provided the associated martingale, the ``Arikan martingale'', exhibits a corresponding strong local effect. The main contribution of this work is a much stronger local analysis of the Arikan martingale. This leads to the general result claimed above. In addition to our general result, we also show, for the first time, polar codes that achieve failure probability $\exp(-N^{\beta})$ for any $\beta < 1$ while converging to capacity at block length polynomial in the gap to capacity. Finally we also show that the ``local'' approach can be combined with any analysis of failure probability of an arbitrary polar code to get essentially the same failure probability while achieving block length polynomial in the gap to capacity.

研究の動機と目的

• 極性符号における理論的収束と実用的誤り性能のギャップを埋めること。
• 自然な混合条件を満たすすべての極性符号が、容量への多項式的収束と指数的になくならない失敗確率の両方を達成することを証明すること。
• 特定の極性符号構成にしか適用されない先行研究の一般化。
• 強い局所的極性が、有限ブロック長において近似的に最適な誤り指数を示すことの証明。
• 局所的解析フレームワークを任意の失敗確率解析と組み合わせることで、同時に収束と誤り指数の改善が得られることの示唆。

提案手法

• 一般の混合条件の下で強い極性を確立するために、アリカンマルティンゲールの局所的解析を強化すること。
• 漸近的誤り指数の結果を有限ブロック長の保証に変換するブラックボックスのリフト技術の使用。
• 加法的通信路における誤り訂正と線形圧縮方式との間のソース符号化同等性の適用。
• 誤り集合のベクトル支配下での上向き閉包性を活用して、符号距離の下界を導出すること。
• 生成行列のテンソル積からの部分行列選択を用いて、高い最小距離を持つ符号を構築すること。
• 行列理論、情報理論、マルティンゲールの集中を組み合わせて、指数的極性と誤り指数の上限を証明すること。

実験結果

リサーチクエスチョン

• RQ1 極性符号の全クラスが、容量への多項式的収束と指数的になくならない失敗確率を同時に達成できるか？
• RQ2 アリカンマルティンゲールの強い局所的解析が、有限ブロック長において近似的に最適な誤り指数を示すか？
• RQ3 任意のβ < 1に対して、容量へのギャップにおける多項式的ブロック長を維持しながら、失敗確率をexp(−N^β)まで改善できるか？
• RQ4 一般的でモジュラーなフレームワークを用いて、漸近的誤り指数の結果を有限ブロック長にリフトできるか？
• RQ5 局所的解析アプローチを、任意の既存の失敗確率解析と普遍的に組み合わせることで、有限長性能を向上させられるか？

主な発見

• 混合条件を満たすすべての極性符号は、容量へのギャップの逆数の多項式的関数としてのブロック長において、失敗確率exp(−N^Ω(1))を達成する。
• 任意のβ < 1に対して、容量へのギャップにおいて多項式的ブロック長poly(1/ε)で収束する極性符号が存在し、失敗確率をexp(−N^β)に抑えることができる。
• 行列が十分に大きく、適切に選ばれている場合、アリカンマルティンゲールは任意のβ′ < βに対してβ′-指数的強極性を示す。
• 局所的解析技術は、任意の既存の失敗確率解析と組み合わせることで、同じ誤り指数を達成しつつ、容量へのギャップにおいて多項式的ブロック長を達成できる。
• 最小距離が大きなM^⊗tの部分行列を構築でき、強い極性と低いデコード誤りを保証する。
• 証明によりブラックボックスのリフト機構が確立された：任意の漸近的誤り指数の結果は、同じ指数を持つ多項式的ブロック長における有限長性能を示唆する。