[論文レビュー] A characterization of the capacity of online (causal) binary channels

Zitan Chen, Sidharth Jaggi+1 more|arXiv (Cornell University)|Dec 19, 2014

Wireless Communication Security Techniques参考文献 8被引用数 3

ひとこと要約

この論文は、敵対的ビット反転および消去モデルの下で、各ビットが以前に送信されたビットに基づいてのみ破損を決定する、二値オンライン（因果的）チャネルの容量をきめ細かく特徴づける。著者らは、以前に予想されていた上限に達する新しい符号化方式を提案し、$ p \leq 1/4 $ の場合に $ C^{flip}_p = \min_{\bar{p} \in [0,p]} \left[ (1 - 4(p - \bar{p})) \left(1 - H\left(\frac{\bar{p}}{1 - 4(p - \bar{p})}\right)\right) \right] $ であり、$ p \leq 1/2 $ の場合に $ C^{erase}_p = 1 - 2p $ であることが示され、これらの閾値を超えると容量はゼロとなる。

ABSTRACT

In the binary online (or "causal") channel coding model, a sender wishes to communicate a message to a receiver by transmitting a codeword $\mathbf{x} =(x_1,\ldots,x_n) \in \{0,1\}^n$ bit by bit via a channel limited to at most $pn$ corruptions. The channel is "online" in the sense that at the $i$th step of communication the channel decides whether to corrupt the $i$th bit or not based on its view so far, i.e., its decision depends only on the transmitted bits $(x_1,\ldots,x_i)$. This is in contrast to the classical adversarial channel in which the error is chosen by a channel that has a full knowledge on the sent codeword $\mathbf{x}$. In this work we study the capacity of binary online channels for two corruption models: the {\em bit-flip} model in which the channel may flip at most $pn$ of the bits of the transmitted codeword, and the {\em erasure} model in which the channel may erase at most $pn$ bits of the transmitted codeword. Specifically, for both error models we give a full characterization of the capacity as a function of $p$. The online channel (in both the bit-flip and erasure case) has seen a number of recent studies which present both upper and lower bounds on its capacity. In this work, we present and analyze a coding scheme that improves on the previously suggested lower bounds and matches the previously suggested upper bounds thus implying a tight characterization.

研究の動機と目的

• 敵対的ビット反転および消去モデルにおける因果的二値チャネルの正確な容量を特徴づける未解決問題を解消すること。
• 因果的チャネルの容量に関する既存の上界と下界の差を埋めるために、上界に達する符号化方式を構築すること。
• 敵対的アプローチが限定的な先読み（lookahead）を持つ場合の容量の頑健性を分析し、わずかな先読みに対しても容量がほとんど低下しないことを示すこと。
• リストデコードとシークレットシェアリングを用いた構造化符号化方式を用いて、容量式の厳密な達成可能性を証明すること。

提案手法

• 符号語を左および右のメガ部分符号語に分割する新しい符号化方式を提案し、二段階の復号プロセスを用いる。
• ランダムなシークレットを用いたシークレットシェアリング機構を用いて右メガ部分符号語を構築し、敵対的選択に対して耐性を持つようにする。
• 右部分符号語においてリストデコードを適用し、リストサイズを制限し、正しいメッセージが高確率で回復されることを保証する。
• 指定された復号ポイント $ t^* $ で整合性チェックを定義し、ランダムなシークレットの下で正しいメッセージが高確率で選択されることを保証する。
• 確率的解析を用いて失敗確率を評価し、復号が確率 $ 1 - 2^{-n\theta^3/32} $ 以上で成功することを示す。
• $ n\epsilon $-先読みがある場合でも、容量が僅かに減少することを証明し、敵対的先読みの制限に対する頑健性を示す。

実験結果

リサーチクエスチョン

• RQ1 誤り率 $ p $ の関数として、二値因果的ビット反転チャネルの正確な容量は何か？
• RQ2 消去率 $ p $ の関数として、二値因果的消去チャネルの正確な容量は何か？
• RQ3 因果的チャネルの既知の容量上界に達する符号化方式を構築できるか？
• RQ4 敵対的アプローチが限定的な先読み（例：$ n\epsilon $）を持つ場合、因果的チャネルの容量はどのように変化するか？

主な発見

• 二値因果的ビット反転チャネルの容量は、$ p \leq 1/4 $ の場合に $ C^{flip}_p = \min_{\bar{p} \in [0,p]} \left[ (1 - 4(p - \bar{p})) \left(1 - H\left(\frac{\bar{p}}{1 - 4(p - \bar{p})}\right)\right) \right] $ であり、$ p \geq 1/4 $ の場合はゼロである。
• 二値因果的消去チャネルの容量は、$ p \leq 1/2 $ の場合に $ C^{erase}_p = 1 - 2p $ であり、$ p \geq 1/2 $ の場合はゼロである。
• 提案された符号化方式は、既知の上界に達し、したがって容量式がタイトであることを証明している。
• 方式は、$ n $ が増加するにつれて $ 1 - 2^{-n\theta^3/32} $ 以上で復号成功確率を達成する。
• $ n\epsilon $-先読みがある場合でも、容量は連続関数 $ f(\epsilon) $ によって僅かに減少するが、これは敵対的先読みの制限に対する頑健性を示している。
• 解析により、わずかな先読みに対しても容量が変化しないことが確認され、これは因果モデルが厳密な因果性からのわずかな逸脱に対しても安定であることを示している。