[论文解读] Fast Polarization and Finite-Length Scaling for Non-Stationary Channels.

Hessam Mahdavifar|arXiv (Cornell University)|Nov 13, 2016

Error Correcting Code Techniques参考文献 12被引用 4

一句话总结

该论文提出了一种针对非平稳二输入记忆less对称（BMS）信道的极化编码方案，通过在Arikan极化过程中应用排列和跳过操作，实现了有效平均对称容量。该方案建立了块长上界 $ N \leq \kappa / (\overline{I}_N - R)^\mu $，其中 $ \mu \leq 10.78 $，确保快速极化并保持 $ O(N \log N) $ 复杂度。

ABSTRACT

We consider the problem of polar coding for transmission over a non-stationary sequence of independent binary-input memoryless symmetric (BMS) channels $\left\{W_i ight\}_{i=1}^{\infty}$, where the $i$-th encoded bit is transmitted over $W_i$. We show, for the first time, a polar coding scheme that achieves the effective average symmetric capacity $$ \overline{I}(\left\{W_i ight\}_{i=1}^{\infty}) := \lim_{N ightarrow \infty} \frac{1}{N}\sum_{i=1}^N I(W_i), $$ assuming that the limit exists. The polar coding scheme is constructed using Arikan's channel polarization transformation in combination with certain permutations at each polarization level and certain skipped operations. This guarantees a fast polarization process that results in polar coding schemes with block lengths upper bounded by a polynomial of $1/\epsilon$, where $\epsilon$ is the gap to the average capacity. More specifically, given an arbitrary sequence of BMS channels $\left\{W_i ight\}_{i=1}^{N}$ and $P_e$, where $0 < P_e <1$, we construct a polar code of length $N$ and rate $R$ guaranteeing a block error probability of at most $P_e$ for transmission over $\left\{W_i ight\}_{i=1}^{N}$ such that $$ N \leq \frac{\kappa}{(\overline{I}_N - R)^{\mu}} $$ where $\mu$ is a constant, $\kappa$ is a constant depending on $P_e$ and $\mu$, and $\overline{I}_N$ is the average of the symmetric capacities $I(W_i)$, for $i=1,2,,\dots,N$. We further show a numerical upper bound on $\mu$ that is: $\mu \leq 10.78$. The encoding and decoding complexities of the constructed polar code preserves $O(N \log N)$ complexity of Arikan's polar codes.

研究动机与目标

• 设计一种极化编码方案，以在信道统计随时间变化的非平稳BMS信道上实现有效平均对称容量。
• 通过在每个极化层级引入排列和跳过操作，修改Arikan变换，以在非独立同分布设置下实现快速极化。
• 建立依赖于与容量差距和误码概率的块长上界的有限块长标度律。
• 在非平稳条件下保持标准极化码的 $ O(N \log N) $ 编码与解码复杂度。
• 推导出标度指数 $ \mu $ 的数值上界，确保有限块长下的实用码构造。

提出的方法

• 在应用Arikan信道极化变换的同时，于每个极化层级引入排列操作，以加速收敛至极端信道。
• 在极化过程中引入跳过操作，以更好地处理时变信道统计，提升极化速度。
• 基于递归设计构造极化码，以适应BMS信道序列 $ \{W_i\}_{i=1}^N $，确保满足速率与误码概率约束。
• 将平均对称容量 $ \overline{I}_N = \frac{1}{N} \sum_{i=1}^N I(W_i) $ 定义为码的性能指标。
• 推导出有限块长标度上界 $ N \leq \kappa / (\overline{I}_N - R)^\mu $，其中 $ \kappa $ 依赖于目标块错误概率 $ P_e $。
• 通过数值分析对标度指数 $ \mu $ 进行上界估计，结果为 $ \mu \leq 10.78 $。

实验结果

研究问题

• RQ1 能否设计极化码，使其在非平稳BMS信道序列上实现有效平均对称容量？
• RQ2 如何在非独立同分布设置下加速极化过程，以实现在低块长下的有限块长标度？
• RQ3 非平稳信道上极化码的标度指数 $ \mu $ 的最紧可能上界是什么？
• RQ4 标准极化码的 $ O(N \log N) $ 复杂度能否在非平稳场景中保持？
• RQ5 为确保在时变信道条件下快速收敛，对Arikan原始极化框架需进行何种修改？

主要发现

• 所提出的极化编码方案在非平稳BMS信道上实现了有效平均对称容量 $ \overline{I} $，前提是该极限存在。
• 块长 $ N $ 的上界为 $ \kappa / (\overline{I}_N - R)^\mu $，其中 $ \overline{I}_N $ 为 $ N $ 个信道对称容量的平均值。
• 标度指数 $ \mu $ 的数值上界为 10.78，提供了具有具体性能保证的有限块长标度律。
• 编码与解码复杂度保持为 $ O(N \log N) $，与标准极化码的复杂度一致。
• 通过引入排列和跳过操作，即使在非平稳环境中也能实现快速极化，从而支持实用码构造。
• 该方案保证了任意 $ 0 < P_e < 1 $ 下的块错误概率不超过 $ P_e $，且块长依赖于与容量的差距及 $ P_e $。