[論文レビュー] Fast Polarization and Finite-Length Scaling for Non-Stationary Channels.

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

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

ひとこと要約

本稿では、アリカンの極性化プロセス中に置換とスキップ操作を適用することにより、非定常な2入力記憶なし対称（BMS）チャネルに対して有効平均対称容量を達成する極性符号化方式を提示する。$ \mu \leq 10.78 $ である $ N \leq \kappa / (\overline{I}_N - R)^\mu $ のブロック長上限を確立し、高速極性化と $ 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チャネルにおけるチャネル統計が時間とともに変化する環境で、有効平均対称容量を達成する極性符号化方式の設計を目的とする。
• 各極性化レベルで置換とスキップ操作を用いてアリカン変換を修正し、非i.i.d.設定下でも高速極性化を確保する。
• 容量とのギャップと誤り確率に依存するブロック長上限に基づく有限長スケーリング則を確立する。
• 非定常条件下でも、標準極性符号の $ O(N \log N) $ の符号化・復号複雑さを維持する。
• スケーリング指数 $ \mu $ の数値的上界を導出することで、有限ブロック長における実用的コード構成を保証する。

提案手法

• 極性化プロセスの各レベルで置換を導入し、極端なチャネルへの収束を加速するアリカンのチャネル極性化変換を適用する。
• 時間変動するチャネル統計に対応し、極性化速度を向上させるために、極性化プロセスにスキップ操作を導入する。
• 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 非i.i.d.設定下で極性化プロセスをどのように高速化すれば、低いブロック長で有限長スケーリングを達成できるか？
• RQ3 非定常チャネルにおける極性符号のスケーリング指数 $ \mu $ の最もタイトな上界は何か？
• RQ4 非定常状態でも、標準極性符号の $ O(N \log N) $ の複雑さを維持できるか？
• RQ5 時間変動するチャネル条件下で、高速収束を保証するためには、アリカンの元来の極性化フレームワークにどのような変更が必要か？

主な発見

• 提案された極性符号化方式は、極限が存在すると仮定すれば、非定常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 $ に依存する。