[論文レビュー] Channel Polarization on q-ary Discrete Memoryless Channels by Arbitrary Kernels

Ryuhei Mori, Toshiyuki Tanaka|arXiv (Cornell University)|Jan 15, 2010

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

ひとこと要約

本稿は、任意のカーネルを用いてq進離散メモリレスチャネルへのチャネル極性の一般化を試み、カーネルおよびバタチャリャ・パラメータに関する特定の条件下で極性が発生することを証明する。特にq=4において、2進線形カーネルよりも高い極性指数を達成するリード・ソロモンに基づくカーネルを用いた明示的構成を導入し、q進極性符号における漸近的性能の向上を示している。

ABSTRACT

A method of channel polarization, proposed by Arikan, allows us to construct efficient capacity-achieving channel codes. In the original work, binary input discrete memoryless channels are considered. A special case of $q$-ary channel polarization is considered by Sasoglu, Telatar, and Arikan. In this paper, we consider more general channel polarization on $q$-ary channels. We further show explicit constructions using Reed-Solomon codes, on which asymptotically fast channel polarization is induced.

研究の動機と目的

• バイナリ離散メモリレスチャネルからq進離散メモリレスチャネルへのアリビカンのチャネル極性フレームワークの拡張。
• q進チャネルにおけるチャネル極性が発生するための任意のカーネルに関する十分条件の同定。
• リード・ソロモンに基づくカーネルを用いた明示的q進極性符号の構築と、高速極性化の達成。
• 特にq=4のような小さなqにおいて、q進カーネルが2進カーネルを上回る極性指数を達成できるかどうかの実証。

提案手法

• 元のチャネルを部分チャネルに変換するための一対一写像として、一般化カーネルg: X^{β} → X^{β} を用いる。
• 部分チャネルの挙動を分析するため、周辺化および対称性の性質を用いて変換されたチャネルW^{(i)}およびW^{(i)}_{u_{0}^{i-1}}を定義する。
• マルティングール収束定理を適用し、対称的容量I(W^{(B_0)⋯(B_n)})がほとんど確実に極限I_∞に収束することを示す。
• 誤差挙動および極性化速度の分析のため、バタチャリャ・パラメータZ(W)およびその最小・最大変種Z_min(W)とZ_max(W)を導入する。
• qが素数べきである場合に、リード・ソロモンカーネルG_{RS}(q)を用いて明示的q進極性符号を構築する。
• 入力xとx'がカーネル変換において異なる位置の数D_{x,x'}^{(i)}(u_{0}^{i-1})を用いて、部分チャネルのバタチャリャ・パラメータの上限・下限を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意のカーネルがq進離散メモリレスチャネルにおけるチャネル極性を発生させるために満たすべき条件は何か？
• RQ2 非2進カーネルを用いる場合、q進極性符号は2進極性符号よりも速い極性化速度を達成できるか？
• RQ3 qが素数べきである場合のリード・ソロモンに基づくカーネルG_{RS}(q)の極性指数は何か？
• RQ4 G_{RS}(q)の極性指数は、2x2や16x16の小さな2進カーネルと比べてどう異なるか？
• RQ5 非線形カーネルを用いることで、q進チャネル極性において線形カーネルよりも利点が得られるか？

主な発見

• リード・ソロモンカーネルG_{RS}(q)の極性指数はlog_e(q!)/(q log_e q)であり、q=4では2x2バイナリカーネルの指数（0.5）を上回る。
• q=4の場合、G_{RS}(4)の極性指数は約0.57312であり、指数が約0.51828の16x16バイナリカーネルを上回る。
• 任意のカーネルに対して、部分チャネルのバタチャリャ・パラメータは、Z_min(W)^{D_{x,x'}^{(i)}(u_{0}^{i-1})}/q^{2(β-1-i)} ≤ Z_{x,x'}(W_{u_{0}^{i-1}}^{(i)}) ≤ q^{β-1-i} Z_max(W)^{D_{x,x'}^{(i)}(u_{0}^{i-1})} の不等式を満たす。
• 対称的容量I(W)は、log(q / (1 + (q-1)Z(W))) で下限され、2(q-1)(log e)√(1 - Z(W)^2) で上限され、容量とバタチャリャ・パラメータを結びつける。
• 本稿では、置換下での平均バタチャリャ・パラメータに関する特定の条件を満たす任意のカーネルに対して、I_∞ ∈ {0,1} がほとんど確実に成立することを証明している。
• G_{RS}(q)を用いたq進極性符号の構築により、q進チャネルを素数べきの部分チャネルに分解することなく、漸近的に高速な極性化が可能となる。