[论文解读] Source and Channel Polarization over Finite Fields and Reed-Solomon Matrices

Ryuhei Mori, Toshiyuki Tanaka|arXiv (Cornell University)|Nov 22, 2012

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

一句话总结

该论文将有限域上的信道和源极化推广至二元情况之外的非二元情形，给出了一个 ℓ×ℓ 矩阵在 𝔽_q 上极化任意源或信道的充要条件。该工作将阿瑞坎（Aríkan）原始的二元极化扩展至任意有限域，刻画了极化速度，并证明了 Reed-Solomon 矩阵可实现渐近最快的极化速度，显著优于标准二元极化码的误码性能。

ABSTRACT

Polarization phenomenon over any finite field $\mathbb{F}_{q}$ with size $q$ being a power of a prime is considered. This problem is a generalization of the original proposal of channel polarization by Arikan for the binary field, as well as its extension to a prime field by Sasoglu, Telatar, and Arikan. In this paper, a necessary and sufficient condition of a matrix over a finite field $\mathbb{F}_q$ is shown under which any source and channel are polarized. Furthermore, the result of the speed of polarization for the binary alphabet obtained by Arikan and Telatar is generalized to arbitrary finite field. It is also shown that the asymptotic error probability of polar codes is improved by using the Reed-Solomon matrix, which can be regarded as a natural generalization of the $2 imes 2$ binary matrix used in the original proposal by Arikan.

研究动机与目标

• 将源极化与信道极化的理论从二元域推广至任意有限域 𝔽_q（其中 q 为素数幂）。
• 推导出 𝔽_q 上 ℓ×ℓ 矩阵极化任意源或信道的必要且充分条件。
• 将极化速度分析从二元字母表推广至非二元字母表。
• 证明当 ℓ ≤ q 时，Reed-Solomon 矩阵可实现渐近最快的极化速度。
• 提出一种基于 Reed-Solomon 矩阵的构造方法，设计出具有更优误码性能的极化码。

提出的方法

• 论文提出了一种基于矩阵的有限域极化框架，使用 𝔽_q 上的可逆 ℓ×ℓ 矩阵 G 对源和信道输入进行变换。
• 定义了源与矩阵之间的等价关系，以统一在相同矩阵框架下分析源极化与信道极化。
• 将 Bhattacharyya 参数推广至有限域，并用作分析极化行为与收敛性的关键工具。
• 通过 Bhattacharyya 参数的衰减速率刻画极化速度，将二元情形的分析推广至任意有限域。
• 将 Reed-Solomon 矩阵构造为极化码的生成矩阵，利用其代数结构以最大化极化速度。
• 通过在条件概率演化过程上的马尔可夫链论证，证明了理论收敛性，并表明变换后变量中非零分量的概率趋于零。

实验结果

研究问题

• RQ1 在有限域 𝔽_q 上，ℓ×ℓ 矩阵极化任意源或信道的必要且充分条件是什么？
• RQ2 在非二元字母表中，极化速度如何随矩阵大小与结构变化？
• RQ3 Reed-Solomon 矩阵能否用于构造比标准二元矩阵更快极化的极化码？
• RQ4 与二元极化码相比，使用 Reed-Solomon 矩阵构造的极化码的渐近误码概率性能如何？
• RQ5 非二元源与信道的极化行为与二元情形有何不同？在何种条件下可确保收敛至极端信道？

主要发现

• 确立了 𝔽_q 上 ℓ×ℓ 矩阵极化任意源或信道的必要且充分条件：该矩阵必须生成一个域扩张 𝔽_p(G)，使得相关的线性变换在迭代作用下诱导出完全极化。
• 一般矩阵的极化速度由 Bhattacharyya 参数的衰减速率刻画，该速率取决于矩阵行空间的对偶中非零元素的最小数量。
• 证明了当 ℓ ≤ q 时，Reed-Solomon 矩阵在所有 𝔽_q 上的 ℓ×ℓ 矩阵中可实现渐近最快的极化速度，优于标准二元矩阵。
• 使用 Reed-Solomon 矩阵构造的极化码的渐近误码概率显著低于二元极化码，数值结果表明在四元设置下性能明显提升。
• 极化过程以几乎必然的方式收敛至极端信道或源，且在所提出的矩阵条件下，非极化分量的概率呈指数级快速衰减。