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

Galen Reeves, Henry D. Pfister|arXiv (Cornell University)|Oct 27, 2021

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

ひとこと要約

この論文は、長尺のリード・マラー（RM）符号が、ビット単位の最大後erior確率（MAP）復元において、すべての二進記憶なし対称（BMS）チャネルで容量を達成することを証明している。RM符号のネスティング性と、一般化された外部情報伝達関数と外部最小平均二乗誤差の間に成り立つ新たな情報不等式を活用することで、ハイパーコントラクト性に依存せずに、長年の未解決問題を解決した。

ABSTRACT

This paper considers the performance of long Reed-Muller (RM) codes transmitted over binary memoryless symmetric (BMS) channels under bitwise maximum-a-posteriori decoding. Its main result is that the family of binary RM codes achieves capacity on any BMS channel with respect to bit-error rate. This resolves a long-standing open problem that connects information theory and error-correcting codes. In contrast with the earlier result for the binary erasure channel, the new proof does not rely on hypercontractivity. Instead, it combines a nesting property of RM codes with new information inequalities relating the generalized extrinsic information transfer function and the extrinsic minimum mean-squared error.

研究の動機と目的

• ビット誤り率に関して、すべての二進記憶なし対称（BMS）チャネルでリード・マラー（RM）符号が容量を達成することを確立すること。
• 二進消去チャネルを超えて、RM符号の容量達成性能に関する情報理論における長年の未解決問題を解消すること。
• ハイパーコントラクト性に依存しない、一般BMSチャネルにおけるRM符号のための証明フレームワークを構築すること。
• 一般化された外部情報伝達関数と外部最小平均二乗誤差を結びつける新しい情報理論的ツールを導入すること。

提案手法

• 異なるパラメータを持つRM符号の関係を、RM符号のネスティング性を活用して確立し、その階層的構造を活用する。
• 一般化された外部情報伝達（EXIT）関数と外部最小平均二乗誤差（MMSE）を結びつける新しい情報不等式のクラスを導入する。
• これらの不等式を用いて、ビット単位のMAP復元におけるRM符号のビット誤り率性能を分析する。
• 符号長が増加するにつれて、一般化されたEXIT関数がチャネル容量に収束することを確立する。
• RM符号の構造を活用して、新しい情報理論的不等式を用いてビット誤り確率の減衰を束縛する。
• 導出されたバウンドが、任意のBMSチャネルにおける容量達成性能を示していることを示す。

実験結果

リサーチクエスチョン

• RQ1 リード・マラー（RM）符号は、ビット単位のMAP復元において、すべての二進記憶なし対称（BMS）チャネルで容量を達成するか？
• RQ2 二進消去チャネルにおけるRM符号の容量達成性を、ハイパーコントラクト性に依存せずに、一般BMSチャネルへと拡張できるか？
• RQ3 一般BMSチャネルにおけるRM符号の性能を分析するために、どのような新しい情報理論的不等式が必要か？
• RQ4 RM符号のネスティング構造は、容量達成性能の証明をどのように支援するか？
• RQ5 一般化された外部情報伝達関数と外部MMSEは、ビット誤り率がゼロに収束する過程をどのように特徴づけるか？

主な発見

• リード・マラー（RM）符号は、ビット単位の最大後erior確率（MAP）復元において、任意の二進記憶なし対称（BMS）チャネルでビット誤り率に関して容量を達成する。
• 証明はハイパーコントラクト性に依存せず、これまでは二進消去チャネルに限定された結果とは異なる。
• 一般化された外部情報伝達関数と外部最小平均二乗誤差を結びつける、新しいクラスの情報不等式が確立され、分析に用いられた。
• RM符号のネスティング性が、符号長が増加するにつれてゼロに収束するビット誤り確率のバウンドを導出する上で中心的な役割を果たした。
• RM符号の一般化されたEXIT関数は、チャネル容量に収束することが確認され、容量達成性の裏付けが得られた。
• 本研究の結果は、一般BMSチャネルにおけるRM符号の性能に関する符号理論における長年の未解決問題を解決した。