[論文レビュー] List Decoding of Polar Codes

Ido Tal, Alexander Vardy|arXiv (Cornell University)|May 31, 2012

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

ひとこと要約

この論文は、極性符号の逐次取消リスト（SCL）デコーダを提案し、最大 $L$ 個のデコードパスを同時に維持することで、古典的な逐次取消デコーダに比べて誤り率性能を著しく向上させている。再帰構造を活用し、刈り込み機構を用いることで、時間計算量は $O(L \times n \log n)$、空間計算量は $O(L \times n)$ に抑えられ、中程度の $L$ でもほぼ最大尤度性能が達成可能であり、さらにブロック誤り率の向上を図るため、CRCを用いたジェイン・ライクなパス選択法を導入している。

ABSTRACT

We describe a successive-cancellation \emph{list} decoder for polar codes, which is a generalization of the classic successive-cancellation decoder of Arıkan. In the proposed list decoder, up to $L$ decoding paths are considered concurrently at each decoding stage. Then, a single codeword is selected from the list as output. If the most likely codeword is selected, simulation results show that the resulting performance is very close to that of a maximum-likelihood decoder, even for moderate values of $L$. Alternatively, if a "genie" is allowed to pick the codeword from the list, the results are comparable to the current state of the art LDPC codes. Luckily, implementing such a helpful genie is easy. Our list decoder doubles the number of decoding paths at each decoding step, and then uses a pruning procedure to discard all but the $L$ "best" paths. %In order to implement this algorithm, we introduce a natural pruning criterion that can be easily evaluated. Nevertheless, a straightforward implementation still requires $Ω(L \cdot n^2)$ time, which is in stark contrast with the $O(n \log n)$ complexity of the original successive-cancellation decoder. We utilize the structure of polar codes to overcome this problem. Specifically, we devise an efficient, numerically stable, implementation taking only $O(L \cdot n \log n)$ time and $O(L \cdot n)$ space.

研究の動機と目的

• 短〜中程度のブロック長における極性符号の誤り率性能が逐次取消（SC）デコーダの制限により最適でない問題に対処すること。
• 複数の候補パスを同時に追跡するリストベースのアプローチにSCデコーダを一般化することで、デコーディング性能を向上させること。
• パス数の増加にもかかわらず計算量が低く抑えられるリストデコーダの効率的実装を設計すること。
• CRCを埋め込んだ変更された極性符号構成を検討し、『ジーニ』によるパス選択を可能にすることで、誤り率性能をさらに向上させること。

提案手法

• 各段階で最大 $L$ 個のデコードパスを維持する逐次取消リスト（SCL）デコーダを提案し、最終リストから最も確からしいコドワードを選択して出力する。
• 各段階で、チャネル尤度に基づくパスメトリクスを用いて、$L$ 個の最も確からしいパスのみを保持する刈り込み手順を採用する。
• 極性符号の再帰的構造を活用した再帰的かつ数値的に安定したアルゴリズムにより、時間計算量を $\Omega(L \cdot n^2)$ から $O(L \cdot n \log n)$ に低減する。
• 最初の $k-r$ 個の情報ビットのCRCに $r$ 個の unfrozen ビットを割り当てた、変更された極性符号構成を導入し、『ジーニ』がリスト内の正しいコドワードを特定可能にする。
• デコーディング段階では、CRCが不正なパスを事前に除外し、生存している中で最も確からしいパスを選択することで、事前知識が不要なジーニ支援選択を効果的にシミュレートする。
• パスメトリクスの計算とコドワード推定値の更新を再帰関数で効率的に行い、$m = \log_2 n$ として時間計算量を $O(L \cdot m \cdot n)$ で制限する。

実験結果

リサーチクエスチョン

• RQ1 リストデコーディングは、逐次取消デコーダを上回る極性符号のブロック誤り率性能を実現できるか？
• RQ2 候補パス数の指数的増加にもかかわらず、実用的な時間計算量を維持できる極性符号用のリストデコーダを設計可能か？
• RQ3 『ジーニ』支援パス選択は、極性符号の誤り率性能をどの程度向上できるか？
• RQ4 コード構造にCRCを統合すると、リストデコードされた極性符号のデコーディング性能と計算量にどのような影響を与えるか？

主な発見

• 長さ $n=2048$、レート $1/2$ の極性符号において、$L=32$ のSCLデコーダは最大尤度デコーダに非常に近いワード誤り率性能を達成している。
• 『ジーニ』がリスト内の正しいコドワードを選択する場合、SCLデコーダの性能は特に低誤り率領域で最先端のLDPCコードと同等になる。
• 提案された効率的実装により、$O(L \cdot n \log n)$ の時間計算量と $O(L \cdot n)$ の空間計算量を達成し、中程度の $L$ に対してもリストデコーディングが実用的になる。
• CRC支援の修正により、最も確からしいパスが誤りであっても正しいパス選択が可能となり、特に高SNR領域でブロック誤り率が顕著に低減される。
• シミュレーション結果から、$L$ の増加に伴い利得の逓減効果が見られ、$n=2048$ では $L=32$ でほぼ最適性能が達成されている。