[论文解读] 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

一句话总结

本文通过引入基于子群诱导的陪集结构的多级极化，证明了极化码在任意有限输入字母表大小和阿贝尔群结构的离散无记忆信道上可达到对称容量，其中合成信道可为无用、完美或部分完美。通过修改编码与解码规则，实现了在部分完美信道上的可靠传输，将极化码推广至非二元输入，并证明了其在所有输入字母表大小和群结构下的最优性。

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参数及其在极化过程中的演化，表明Z_d(W)根据陪集结构收敛至0或1。
• 关键不等式界定了由陪集差异索引的信道的Bhattacharyya参数，表明Z_d(W) ≤ q√(qε)，其中d属于由d′生成的子群。
• 利用先前工作的结果，分析非H索引信道的最大Bhattacharyya参数的收敛性，表明其以高概率指数衰减至零。

实验结果

研究问题

• RQ1 极化码能否在任意输入字母表大小（非仅二元或素数幂字母表）的离散无记忆信道上达到对称容量？
• RQ2 在输入字母表上具有任意阿贝尔群结构的情况下，是否普遍存在超越标准两级（完美/无用）的多级极化？
• RQ3 能否利用仅能确定输入符号陪集信息的部分完美信道，通过修改极化码构造实现容量？
• RQ4 标准极化码构造是否足以在任意输入字母表上实现容量性能，还是必须对编码/解码规则进行根本性修改？
• RQ5 当极化码被视为群码时，是否通常无法达到对称容量？若不能，非群码变体能否实现？

主要发现

• 极化码可达到任意有限输入字母表大小和阿贝尔群结构的离散无记忆信道的对称容量。
• 信道极化发生在多个层级：合成信道可为无用、完美或部分完美，具体取决于子群陪集结构。
• 对于输入字母表G的每个子群H，均存在部分完美信道，可实现容量log₂|G/H|比特的陪集索引信息可靠传输。
• 修改后的编码与解码规则使极化码可在部分完美信道上实现完美传输，而标准极化码无法实现此功能。
• 对于输入字母表Z₆，出现四个不同的极化层级：{0}、{0,3}、{0,2,4}和Z₆本身的陪集，对应容量分别为log₂6、log₂3、1和0比特。
• 非H索引信道的Bhattacharyya参数指数快速衰减，确保Z_d < 2^{-2^{βn}}的信道比例收敛至信道完全极化的概率。