[論文レビュー] Polar Codes: Characterization of Exponent, Bounds, and Constructions

Satish Babu Korada, Eren Şaşoğlu+1 more|ArXiv.org|Jan 5, 2009

Error Correcting Code Techniques参考文献 6被引用数 32

ひとこと要約

この論文は、任意の$$\ell\times\ell$$行列を用いて構築された極性符号の誤り指数を特徴づけ、サイズが15未満の行列では元の$$2\times2$$構成で達成された指数$$\frac{1}{2}$$を超えることはできないことを証明している。また、大きな$$\ell$$に対して指数が1に限りなく近づく新しいBCHに基づく行列構成法を提案し、$$16\times16$$行列では$$\frac{1}{2}$$を超える指数を達成した。これにより、元の設計を凌駕する優れた極性符号構成の存在が示された。

ABSTRACT

Polar codes were recently introduced by Arıkan. They achieve the capacity of arbitrary symmetric binary-input discrete memoryless channels under a low complexity successive cancellation decoding strategy. The original polar code construction is closely related to the recursive construction of Reed-Muller codes and is based on the $2 imes 2$ matrix $\bigl[ 1 &0 1& 1 \bigr]$. It was shown by Arıkan and Telatar that this construction achieves an error exponent of $\frac12$, i.e., that for sufficiently large blocklengths the error probability decays exponentially in the square root of the length. It was already mentioned by Arıkan that in principle larger matrices can be used to construct polar codes. A fundamental question then is to see whether there exist matrices with exponent exceeding $\frac12$. We first show that any $\ell imes \ell$ matrix none of whose column permutations is upper triangular polarizes symmetric channels. We then characterize the exponent of a given square matrix and derive upper and lower bounds on achievable exponents. Using these bounds we show that there are no matrices of size less than 15 with exponents exceeding $\frac12$. Further, we give a general construction based on BCH codes which for large $n$ achieves exponents arbitrarily close to 1 and which exceeds $\frac12$ for size 16.

研究の動機と目的

• $$\ell\times\ell$$行列が元の$$2\times2$$極性符号行列の指数$$\frac{1}{2}$$を超える誤り指数を達成できるかどうかを特定すること。
• $$\ell\times\ell$$行列の指数を特徴づけ、達成可能な指数の上界と下界を導出すること。
• BCHコードに基づく行列族を構築し、$$\ell$$が大きくなるにつれて指数が1に限りなく近づくようにすること。特に$$\ell=16$$で$$\frac{1}{2}$$を超えることを確認すること。

提案手法

• $$\ell\times\ell$$行列が対称バイナリ入力離散的記憶なしチャネル（B-DMC）を極性化するための必要十分条件を導出し、行列の列置換が上三角行列にはなり得ないことを示した。
• 誘導されるチャネルのバタチャリャルパラメータと相互情報量に基づいて、行列の指数を特徴づける手法を導入した。
• 行列の部分距離を用いて指数を上限付けし、$$\ell=16$$における最適行列の探索空間を制限するために補題26を適用した。
• BCHコードから得られる行列族を構築し、$$\ell$$が増加するにつれてその指数が1に近づくことを証明した。
• 極値情報結合に関する定理34を用いて、結合チャネルの相互情報量の下界を導出した。
• $$16\times16$$行列の候補となる部分距離集合の全探索を実施し、構築された行列の最適性を確認した。

実験結果

リサーチクエスチョン

• RQ1 $$\ell < 15$$のとき、誤り指数が$$\frac{1}{2}$$を厳密に上回る$$\ell\times\ell$$行列が存在するか？
• RQ2 $$\ell\times\ell$$行列が対称B-DMCを極性化するための条件は何か？
• RQ3 $$\ell\times\ell$$行列の最大達成可能指数は何か？ また、1に限りなく近づけることは可能か？
• RQ4 $$\frac{1}{2}$$を超える指数を達成する行列を構成的に構築する方法は存在するか？ 特に$$\ell=16$$においては？
• RQ5 行列の部分距離は、その極性化性能および達成可能な指数にどのように関係するか？

主な発見

• $$\ell < 15$$の$$\ell\times\ell$$行列は、誤り指数が$$\frac{1}{2}$$を超えることはなく、元の$$2\times2$$構成がこの範囲で最適であることを確認した。
• $$16\times16$$行列がBCHコードから構築され、誤り指数が$$\frac{1}{2}$$を厳密に上回ることを示し、より大きな行列が元の極性符号設計を上回れることを実証した。
• 構築された$$16\times16$$行列の部分距離は$$\{16,8,8,8,8,6,6,4,4,4,4,2,2,2,2,1\}$$であり、すべての$$16\times16$$行列の中で最適であることが証明された。
• 任意の$$\delta > 0$$に対して、ある行列サイズ$$\ell$$が存在し、構築された行列族の指数が$$1 - \delta$$を超える。これにより、1に限りなく近い指数が達成可能であることを証明した。
• 行列の指数はその部分距離によって上限付けされ、全探索により$$\ell=16$$の他の部分距離集合がより優れたものである行列は存在しないことが確認された。
• 結合チャネルの相互情報量は、構成チャネルがBSCである場合に最小化され、指数が1に収束することの証明に用いられる重要な下界を提供した。