[論文レビュー] Performance and Construction of Polar Codes on Symmetric Binary-Input Memoryless Channels

Ryuhei Mori, Toshiyuki Tanaka|ArXiv.org|Jan 15, 2009

Error Correcting Code Techniques被引用数 31

ひとこと要約

本稿では、任意の対称バイナリ入力無記憶通信路（B-MC）における極性符号の線形時間計算量の構築手法を提示しており、O(N)の複雑さで効率的な符号設計を可能にしている。また、共同密度進化と最小インデックス分解を用いて、ブロック誤り確率のより鋭い上界および下界を導出しており、特にバイナリ消去通信路（BEC）において、従来の境界と比較して性能推定の正確性が顕著に向上している。

ABSTRACT

Channel polarization is a method of constructing capacity achieving codes for symmetric binary-input discrete memoryless channels (B-DMCs) [1]. In the original paper, the construction complexity is exponential in the blocklength. In this paper, a new construction method for arbitrary symmetric binary memoryless channel (B-MC) with linear complexity in the blocklength is proposed. Furthermore, new upper and lower bounds of the block error probability of polar codes are derived for the BEC and the arbitrary symmetric B-MC, respectively.

研究の動機と目的

• アリカンの元来の方法では、符号長に指数関数的に依存する高コストな極性符号構築の課題に対処すること。
• 任意の対称的B-MCにおける極性符号の実用的な構築法を、線形O(N)の複雑さで開発すること。
• ブロック誤り確率推定の正確性を向上させるために、より鋭い上界および下界を導出すること。
• BECおよび一般の対称的B-MCにおける極性符号の性能評価を効率的に行うために、誤りイベントの構造的分解を可能にすること。

提案手法

• 再帰的構造と密度進化を用いて、各部分チャネルのバタチャリヤパラメータをO(N)時間で計算する新しい構築アルゴリズムを提案する。
• コードインデックスの部分順序（i ≺ j）を2進表現に基づいて定義し、情報集合内の最小要素を特定する。
• 定理3を用いて、ブロック消去確率の計算を最小インデックスに限定し、BECにおける計算複雑度を顕著に低減する。
• 深さ-(n−k)の木密度進化を用いて、部分チャネル群における結合誤り確率を計算する再帰的公式（定理4）を導出する。
• 誤りイベントをグループ化した部分チャネルイベントに分解することで、共同密度進化を用いてより鋭い上界を計算する。
• 包含除算法則と高階結合分布を用いて境界を最適化し、標準的な和集合境界と比較して、より鋭い境界を得る。

実験結果

リサーチクエスチョン

• RQ1 任意の対称的B-MCにおいて、極性符号構築の計算複雑度を符号長に指数関数的から線形に低減できるか？
• RQ2 BECおよび一般の対称的B-MCにおける極性符号のブロック誤り確率に対するより鋭い上界および下界は、どのように導出可能か？
• RQ3 極性符号のどのような構造的性質が、最小インデックス集合を用いたブロック誤り確率の効率的計算を可能にするか？
• RQ4 標準的な和集合境界と比較して、共同密度進化は性能境界の正確性をどの程度向上できるか？
• RQ5 部分順序による誤りイベントの分解は、境界の鋭さを維持しつつ計算複雑度を低減できるか？

主な発見

• 提案された構築法は、任意の対称的B-MCにおける極性符号設計においてO(N)の複雑さを達成しており、大規模な符号長に対しても実用的である。
• BECでは、ブロック消去確率が最小インデックス上の消去イベントの和集合と厳密に等しくなるため、効率的かつ正確な計算が可能になる。
• 新しい上界（6）は常に1未満であり、標準的な和集合境界（4）がε > 0.407で1を超えるのと比較して、シミュレーション結果に近い。
• 下界（5）はε < 0.4の範囲で上界に非常に近い値を示しており、低誤り領域における高い鋭さを示している。
• グループ化された部分チャネルイベント（例：A₇ ∪ A₈）を用いることで、個々のイベントの和集合と比較して上界が低減され、より鋭い境界が実現されている。
• 数値的結果から、レート0.5、符号長1024の条件下で、新しい境界がシミュレーション結果をよく追従しており、その正確性と実用性が検証された。