[論文レビュー] Multilevel Polarization of Polar Codes Over Arbitrary Discrete Memoryless Channels

Aria G. Sahebi, S. Sandeep Pradhan|arXiv (Cornell University)|Jul 7, 2011

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

ひとこと要約

この論文は、入力アルファベットに任意の有限サイズとアーベル群構造をもつ離散メモリレス通信路（DMC）において、極性符号が対称容量を達成することを示している。そのために、部分群によって誘導される剰余類構造に基づき、合成された通信路が無用、完全、または部分的に完全になる多段階極性化を導入した。修正された符号化および復号化ルールにより、部分的に完全な通信路を介した信頼性の高い伝送が可能となり、極性符号が二進入力に限らず、すべての入力アルファベットサイズおよび群構造において最適であることが証明された。

ABSTRACT

It is shown that polar codes achieve the symmetric capacity of discrete memoryless channels with arbitrary input alphabet sizes. It is shown that in general, channel polarization happens in several, rather than only two levels so that the synthesized channels are either useless, perfect or "partially perfect". Any subset of the channel input alphabet which is closed under addition, induces a coset partition of the alphabet through its shifts. For any such partition of the input alphabet, there exists a corresponding partially perfect channel whose outputs uniquely determine the coset to which the channel input belongs. By a slight modification of the encoding and decoding rules, it is shown that perfect transmission of certain information symbols over partially perfect channels is possible. Our result is general regarding both the cardinality and the algebraic structure of the channel input alphabet; i.e we show that for any channel input alphabet size and any Abelian group structure on the alphabet, polar codes are optimal. It is also shown through an example that polar codes when considered as group/coset codes, do not achieve the capacity achievable using coset codes over arbitrary channels.

研究の動機と目的

• 任意の入力アルファベットサイズの離散メモリレス通信路における極性符号の対称容量達成を確立すること。
• 従来の二値極性符号が非二進入力設定では二段階極性化に失敗するという制限を克服すること。
• 部分群の剰余類構造に基づく多段階極性化が、部分的に完全な通信路伝送を可能にすることを示すこと。
• 符号化および復号化ルールをわずかに修正することで、標準的な極性符号がすべてのアーベル群に基づく入力アルファベットに対して容量を達成できることを証明すること。
• 極性符号が素数または素数の累乗サイズを超えた非二進通信路においても最適であるかどうかという未解決問題を解消すること。

提案手法

• 著者らは、入力アルファベットにアーベル群構造を導入し、その部分群とその剰余類を定義することで、多段階通信路極性化を誘導する。
• 入力アルファベットGの各部分群Hに対して、入力記号の剰余類を特定できる部分的に完全な通信路を定義する。
• これらの部分的に完全な通信路を介した情報記号の信頼性ある伝送を可能にするために、符号化および復号化ルールを修正する。
• 偏りパラメータ（Bhattacharyya parameter）とその極性化下での進化を分析し、Z_d(W) が剰余類構造に応じて0または1に収束することを示す。
• 重要な不等式により、剰余類の差にインデックスが付く通信路の偏りパラメータが、Z_d(W) ≤ q√(qε) と評価され、d' が生成する部分群に属するdに対して成り立つ。
• 非Hインデックスの通信路における最大偏りパラメータの収束を、先行研究の結果を用いて分析し、高確率で指数関数的に0に収束することを示した。

実験結果

リサーチクエスチョン

• RQ1 極性符号は、二進や素数の累乗サイズに限らず、任意の入力アルファベットサイズの離散メモリレス通信路において対称容量を達成できるか？
• RQ2 標準的な二段階（完全／無用）極性化を超えて、入力アルファベットに任意のアーベル群構造をもつ場合に一般に多段階極性化が発生するか？
• RQ3 入力記号の剰余類のみを特定できる部分的に完全な通信路は、修正された極性符号構成によって容量達成に利用可能か？
• RQ4 標準的な極性符号構成は、任意の入力アルファベットに対して容量達成性能を発揮するのに十分か、それとも符号化／復号化の根本的修正が必要か？
• RQ5 極性符号を群符号として見た場合、一般に対称容量を達成しないとされるが、もしそうならば非群符号の変種がそれを達成できるか？

主な発見

• 極性符号は、任意の有限サイズの入力アルファベットとアーベル群構造をもつ任意の離散メモリレス通信路において、対称容量を達成する。
• 通信路極性化は複数段階に発生する：合成通信路は、部分群の剰余類構造に応じて無用、完全、または部分的に完全になる。
• 入力アルファベットGの各部分群Hに対して、部分的に完全な通信路が存在し、その通信路を介して剰余類インデックス情報が log₂|G/H| ビットの容量で信頼性高く伝送可能である。
• 修正された符号化および復号化ルールにより、部分的に完全な通信路を介した完全な伝送が可能となり、標準的な極性符号では達成できない。
• 入力アルファベットZ₆の場合、4つの明確な極性化段階が現れる：{0}、{0,3}、{0,2,4}、Z₆自体の剰余類に対応し、それぞれ容量は log₂6、log₂3、1、0 ビットである。
• 非Hインデックス通信路の偏りパラメータは指数関数的に速く減少し、Z_d < 2^{-2^{βn}} を満たす通信路の割合が、完全に極性化された通信路の確率に収束することが保証される。