[論文レビュー] Reed-Muller Codes Achieve Capacity on Erasure Channels

Santhosh Kumar, Henry D. Pfister|arXiv (Cornell University)|May 19, 2015

Error Correcting Code Techniques参考文献 49被引用数 12

ひとこと要約

この論文は、置換群の対称性を活用することで、最大後erior確信度（MAP）推定に基づくデコーディングにおいて、リード・マラー符号が二進消去チャネル（BEC）で容量を達成することを証明している。任意の線形符号系列について、ブロック長が厳密に増加し、収束するレートが (0,1) の範囲にある場合、かつその置換群が二重推移的であるならば、容量を達成することが示された。この結果は、アフィン不変型および拡張 BCH 符号へと拡張可能である。

ABSTRACT

This paper introduces a new approach to proving that a sequence of deterministic linear codes achieves capacity on an erasure channel under maximum a posteriori decoding. Rather than relying on the precise structure of the codes, this method requires only that the codes are highly symmetric. In particular, the technique applies to any sequence of linear codes where the blocklengths are strictly increasing, the code rates converge to a number between 0 and 1, and the permutation group of each code is doubly transitive. This also provides a rare example in information theory where symmetry alone implies near-optimal performance. An important consequence of this result is that a sequence of Reed-Muller codes with increasing blocklength achieves capacity if its code rate converges to a number between 0 and 1. This possibility has been suggested previously in the literature but it has only been proven for cases where the limiting code rate is 0 or 1. Moreover, these results extend naturally to affine-invariant codes and, thus, to all extended primitive narrow-sense BCH codes. The primary tools used in the proof are the sharp threshold property for monotone boolean functions and the area theorem for extrinsic information transfer functions.

研究の動機と目的

• 二重推移的置換群を有する線形符号の系列が、二進消去チャネル（BEC）において MAP デコーディング下で容量を達成することを証明すること。
• リード・マラー符号が 0 と 1 の間の厳密なレートで容量を達成するかどうかという、長年の未解決問題を解消すること。
• 対称性、特に二重推移的置換群が、コード固有の構造とは独立して、ほぼ最適な性能を示すことの根拠を示すこと。
• 一般化リード・マラー符号を F_q 上で拡張し、アフィン不変型符号（特に拡張原始的狭帯域 BCH 符号を含む）へと結果を拡張すること。
• 極端に複雑な設計に依存しない、符号の対称性に基づく容量達成コードの一般枠組みを提供すること。これは、極性符号や空間的結合符号とは対照的である。

提案手法

• 単調なブール関数の鋭い閾値性質を用いて、外部情報伝達（EXIT）関数の挙動を分析する。
• EXIT 関数の面積定理を用いて、EXIT 関数の収束性と MAP デコーディング下での符号の性能を関連付ける。
• EXIT 関数の関数的逆関数を定義し、補集合となる消去確率におけるその値の差を評価する。
• 符号の置換群の対称性に基づいて導出された集中不等式を適用し、デコーディング閾値がチャネル容量に収束することを示す。
• F_q 上の線形符号へと一般化するにあたり、EXIT 関数フレームワークをシンボル-MAP デコーディングに拡張する。
• 最小距離とブロック長に関する漸近的境界を用いて、ブロック消去確率がブロック長の増加に伴い消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 リード・マラー符号が、0 と 1 の間の厳密なレートを持つ場合、BEC において MAP デコーディング下で容量を達成できるか？
• RQ2 線形符号の置換群が二重推移的であるという対称性のみが、その具体的な構成とは無関係に容量達成性能を示すと見なせるか？
• RQ3 拡張原始的狭帯域 BCH 符号は、ブロック-MAP デコーディング下で BEC において容量を達成するか？
• RQ4 符号の対称性に基づいて、すべてのアフィン不変型 F_q 線形符号へと容量達成性の性質を拡張できるか？
• RQ5 符号の対称性のみに依存する一般枠組みが、チャネル固有の設計に依存せずに容量達成性能を証明するためのものであるか？

主な発見

• ブロック長が増加し、レートが任意の r ∈ (0,1) に収束するリード・マラー符号は、ブロック-MAP デコーディング下で BEC において容量を達成する。
• 証明により、符号の置換群が二重推移的であれば、ブロック消去確率がブロック長の増加に伴い 0 に近づくことが示された。
• 結果は、F_q 上の一般化リード・マラー符号へと拡張され、q 進消去チャネルにおけるシンボル-MAP デコーディング下で容量を達成することが示された。
• 拡張原始的狭帯域 BCH 符号は、アフィン不変型構造と二重推移的対称性のおかげで、ブロック-MAP デコーディング下で容量を達成することが示された。
• 分析により、対称性、特に二重推移的置換群が、複雑な符号設計がなくてもほぼ最適な性能を示すことが明らかになった。
• 本手法は、符号固有の構造に依存しない、符号の対称性と EXIT 関数解析に基づく、容量達成コードのための新しい一般的証明技法を提供した。