[論文レビュー] 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 上に存在するための必要十分条件を提示する。この研究は、アリカンの元々の二進極化理論を任意の有限体へ拡張し、極化の速度を特徴づけ、リード・ソロモン行列が漸近的に最も速い極化を実現することを示しており、標準的な二進極化符号に比べて誤り確率性能を著しく向上させる。

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 の場合にリード・ソロモン行列が漸近的に最も速い極化速度を達成することを示すこと。
• リード・ソロモンに基づく変換行列を用いて、誤り性能を向上させた極化符号を構成するための構成的技法を提供すること。

提案手法

• 本稿は、有限体上での行列ベースの極化フレームワークを導入し、ソースおよびチャネル入力を変換するための 𝔽_q 上の可逆な ℓ×ℓ 行列 G を用いる。
• ソースおよび行列の間の同値関係を定義し、同じ行列フレームワーク内でソース極化とチャネル極化の分析を統一する。
• バタチャリャリ・パラメータを有限体へ一般化し、極化行動と収束を分析する主な道具として用いる。
• 極化の速度はバタチャリャリ・パラメータの減衰率によって特徴づけられ、二進の場合の解析を任意の有限体へ拡張する。
• リード・ソロモン行列を極化符号の生成行列として構築し、その代数的構造を活用して極化速度を最大化する。
• 条件付き確率の進化に関するマルコフ連鎖の議論を用いて理論的収束を証明し、変換された変数における非ゼロ成分の消滅を示す。

実験結果

リサーチクエスチョン

• RQ1 有限体 𝔽_q 上の ℓ×ℓ 行列が任意のソースまたはチャネルを極化できるための必要十分条件は何か？
• RQ2 非二進アルファベットにおいて、極化速度は行列のサイズおよび構造にどのように依存するか？
• RQ3 リード・ソロモン行列を用いて、標準的な二進行列よりも速い極化を達成できる極化符号を構築できるか？
• RQ4 リード・ソロモン行列を用いて構築された極化符号の漸近的誤り確率性能は、二進極化符号と比べてどうなるか？
• RQ5 非二進ソースおよびチャネルの極化行動は二進の場合とどのように異なるか？また、極端なチャネルへの収束を保証する条件は何か？

主な発見

• 任意のソースまたはチャネルを極化できる ℓ×ℓ 行列が 𝔽_q 上に存在するための必要十分条件が確立された：行列は、関連する線形変換が反復的変換下で完全極化を誘導するような体拡大 𝔽_p(G) を生成しなければならない。
• 一般行列の極化速度はバタチャリャリ・パラメータの減衰率によって特徴づけられ、そのレートは行列の行空間の双対における非ゼロ成分の最小数に依存する。
• ℓ ≤ q の場合にリード・ソロモン行列が、すべての ℓ×ℓ 行列の中で漸近的に最も速い極化速度を達成することが証明された。標準的な二進行列を上回る性能を示す。
• リード・ソロモン行列を用いて構築された極化符号の漸近的誤り確率は、二進極化符号のそれよりも著しく低く、四進設定における数値結果から性能向上が明確に示された。
• 極化プロセスはほとんど確実に極端なチャネルまたはソースへ収束し、提案された行列条件の下で非極化成分の確率は指数関数的に急速に減少する。