[論文レビュー] Explicit Capacity-achieving Codes for Worst-Case Additive Errors

Venkatesan Guruswami, Adam Smith|arXiv (Cornell University)|Dec 5, 2009

Complexity and Algorithms in Graphs参考文献 21被引用数 7

ひとこと要約

本稿では、補助的な乱数ビットを用いた確率的符号化を用いて、最悪ケースの加法的誤りに対して、容量 1−H(p) に近いレートを達成する二値符号の明示的構成を提示する。これにより、誤りベクトルがメッセージに敵対的に依存する状況でも、効率的かつ信頼性の高い復号が可能となり、また平均ケース誤り基準における決定的符号の構成にも成功し、線形符号の限界を克服する。

ABSTRACT

For every p in (0,1/2), we give an explicit construction of binary codes of rate approaching "capacity" 1-H(p) that enable reliable communication in the presence of worst-case additive errors}, caused by a channel oblivious to the codeword (but not necessarily the message). Formally, we give an efficient "stochastic" encoding E(\cdot,\cdot) of messages combined with a small number of auxiliary random bits, such that for every message m and every error vector e (that could depend on m) that contains at most a fraction p of ones, w.h.p over the random bits r chosen by the encoder, m can be efficiently recovered from the corrupted codeword E(m,r) + e by a decoder without knowledge of the encoder's randomness r. Our construction for additive errors also yields explicit deterministic codes of rate approaching 1-H(p) for the "average error" criterion: for every error vector e of at most p fraction 1's, most messages m can be efficiently (uniquely) decoded from the corrupted codeword C(m)+e. Note that such codes cannot be linear, as the bad error patterns for all messages are the same in a linear code. We also give a new proof of the existence of such codes based on list decoding and certain algebraic manipulation detection codes. Our proof is simpler than the previous proofs from the literature on arbitrarily varying channels.

研究の動機と目的

• 最悪ケース加法的誤り下で容量に近いレート 1−H(p) を達成する明示的二値符号の構築。
• メッセージに依存する敵対的誤りパターンに対しても、小さな数の乱数ビットを用いた確率的符号化により、効率的な復号を可能にする。
• 線形符号では、すべてのメッセージに対して一様に最悪ケース誤りを扱えないという制限を克服する。
• リスト復号と代数的操作検出符号を用いた新たな単純化された証明により、このような符号の存在を示す。
• 固定誤りベクトル e に対して、ほとんどのメッセージが有界誤り下で復号可能となる、決定的符号への構成の拡張

提案手法

• r が小さな数の補助的乱数ビットである符号化 E(m,r) を用いて、符号語をランダム化し、最悪ケース誤りベクトル e に対して耐性を付与する。
• 誤りベクトル e がメッセージ m に依存する可能性がある最悪ケース誤り状況を扱うために、リスト復号技術を用いる。
• 敵対的条件下での誤り検出および訂正を保証する構造的要素として、代数的操作検出 (AMD) 符号を活用する。
• 符号化および復号プロセスを効率的に設計し、乱数 r の確率的性質に基づいて、成功した回復の確率を高める。
• リスト復号と AMD 符号に基づく新しい証明法により、任意変動チャネルに関する先行研究よりも単純化された、このような符号の存在証明を行う。
• 固定誤りベクトル e に対して復号可能なメッセージの割合を分析することで、平均ケース誤りモデルにおける決定的符号を導出する

実験結果

リサーチクエスチョン

• RQ1 メッセージに依存する最悪ケース加法的誤りに対しても、レートが 1−H(p) に近い明示的二値符号を構築可能か？
• RQ2 小さな数の乱数ビットを用いた確率的符号化により、最悪ケースモデル下で敵対的誤りパターンに対しても信頼性の高い復号が可能か？
• RQ3 線形符号の限界を回避し、平均ケース誤り基準下でレートが 1−H(p) に近い決定的符号を構築可能か？
• RQ4 リスト復号と AMD 符号を用いることで、従来の手法よりも単純にこのような符号の存在を証明可能か？
• RQ5 最悪ケースおよび平均ケース誤りモデル下で、これらの符号は線形符号と比較して、誤り耐性およびレートの点で優れているか？

主な発見

• 本稿では、最悪ケース加法的誤り下で容量に近いレート 1−H(p) を達成する明示的二値符号を構築した。
• 小さな数の乱数ビットを用いた確率的符号化により、任意の誤りベクトル e（1 の割合が p 未満）に対して、高確率でメッセージが E(m,r)+e から効率的に復号可能であることが保証された。
• 本構成により、固定誤りベクトル e（1 の割合が p 未満）に対して、ほとんどのメッセージが C(m)+e から一意に復号可能となる決定的符号が得られた。
• 線形符号では、メッセージに依存する最悪ケース誤りパターンに対して本質的に失敗するため、提案された符号は線形ではない。
• リスト復号と代数的操作検出符号を用いた新たな存在証明が提供され、任意変動チャネルに関する先行研究よりも単純化されたものである。
• 復号プロセスは効率的であり、符号化者の乱数ビット r の知識を必要としないため、実用的実装が可能である。