[論文レビュー] Properties and Construction of Polar Codes

Ryuhei Mori|arXiv (Cornell University)|Feb 18, 2010

Error Correcting Code Techniques参考文献 16被引用数 15

ひとこと要約

本稿では、非二進離散メモリレス通信路におけるリード・ソロモンカーネルを用いた極性符号の一般化されたフレームワークを提案し、これが既存の最良の二進極性符号よりも優れた漸近的性能を達成することを示している。逐次キャンセレーションデコードを木構造グラフ上の信念伝搬として解釈し、密度発展演算を適用することで、効率的な符号構成法を導出し、リード・ソロモンカーネルがアリカンの元来の二進構成を一般化するとともに、アルファベットサイズが増加するにつれて極性指数が1に近づくことを証明した。

ABSTRACT

Recently, Arıkan introduced the method of channel polarization on which one can construct efficient capacity-achieving codes, called polar codes, for any binary discrete memoryless channel. In the thesis, we show that decoding algorithm of polar codes, called successive cancellation decoding, can be regarded as belief propagation decoding, which has been used for decoding of low-density parity-check codes, on a tree graph. On the basis of the observation, we show an efficient construction method of polar codes using density evolution, which has been used for evaluation of the error probability of belief propagation decoding on a tree graph. We further show that channel polarization phenomenon and polar codes can be generalized to non-binary discrete memoryless channels. Asymptotic performances of non-binary polar codes, which use non-binary matrices called the Reed-Solomon matrices, are better than asymptotic performances of the best explicitly known binary polar code. We also find that the Reed-Solomon matrices are considered to be natural generalization of the original binary channel polarization introduced by Arıkan.

研究の動機と目的

• 密度発展演算と木グラフ上の信念伝搬を用いた極性符号の効率的構成法の開発。
• チャネル極性現象および極性符号構成法を非二進離散メモリレス通信路に一般化すること。
• リード・ソロモンカーネルがアリカンの元来の二進カーネルの自然な一般化を提供し、優れた漸近的性能をもたらすことを実証すること。
• カーネル依存の指数を用いて、非二進極性符号の極性化速度と誤り確率の上限を分析すること。

提案手法

• 極性符号の逐次キャンセレーションデコードを木構造因子グラフ上の信念伝搬に再定式化する。
• 木グラフ上の信念伝搬デコードの誤り確率を分析するために密度発展演算を適用し、効率的な符号構成を可能にする。
• 任意の線形カーネルを用いて、二進から q-ary チャネルへのチャネル極性メカニズムの一般化を行う。
• カーネル行列の最小距離と最大距離を用いて極性指数を定義・分析するが、特にリード・ソロモンカーネルに対して重点を置く。
• MDS符号の生成行列としてリード・ソロモンカーネル行列を用い、強力な極性化行動を保証する。
• カーネルの距離スぺクトルから導かれる極性指数と分散パラメータを用いて、極性符号の誤り確率の漸近的上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 極性符号の逐次キャンセレーションデコードは、木グラフ上の信念伝搬として等価に解釈可能か？
• RQ2 q-ary 離散メモリレス通信路におけるチャネル極性を保証するカーネルに必要な条件は何か？
• RQ3 特にリード・ソロモン行列を用いたカーネルの選択が、極性符号の漸近的性能にどのように影響するか？
• RQ4 リード・ソロモンカーネルの達成可能な極性指数は何か？ また、二進カーネルと比較してどうなるか？
• RQ5 密度発展演算は、非二進チャネル向けに低誤り確率の極性符号を効果的に構成するために利用可能か？

主な発見

• F₄ 上のサイズ4のリード・ソロモンカーネルは、約0.57312の極性指数を達成し、サイズ16の最良の既知の二進行列の0.51828を上回る。
• リード・ソロモンカーネルの極性指数は、アルファベットサイズ q が増加するにつれて1に近づき、近似的に最適な収束速度を示す。
• q-ary チャネルでは、カーネル行列が一般化リード・ソロモン符号の生成行列である場合にチャネル極性現象が発生する。特にカーネルがフルランクであり、適切に選ばれた体を用いる場合に成立する。
• リード・ソロモンカーネルを用いた非二進極性符号の漸近的誤り確率は、ガウス分布の尾部によって上限付けられ、その指数はカーネルの距離スぺクトルに依存する。
• 密度発展演算による極性符号の構成により、信頼性の高いビットチャネルの効率的選択が可能となり、対称的 q-ary DMC において容量を達成する性能を実現する。
• 本稿では、リード・ソロモンカーネルがアリカンの元来の2×2二進カーネルを一般化し、非二進チャネルにおいて構造的にかつ漸近的に最適であることを確立した。