[论文解读] Binary Causal-Adversary Channels

Michael Langberg, Sidharth Jaggi+1 more|ArXiv.org|Jan 13, 2009

Wireless Communication Security Techniques参考文献 15被引用 7

一句话总结

本文研究了由因果性敌手干扰的二元信道，该敌手可基于先前传输的符号实时翻转最多比例 $ p $ 的比特。研究建立了可达通信速率的紧致上界 $ \min\{1-H(p),(1-4p)^+\} $，表明当 $ p > 0.25 $ 时，无法实现正速率通信，显著收紧了先前的界限。

ABSTRACT

In this work we consider the communication of information in the presence of a causal adversarial jammer. In the setting under study, a sender wishes to communicate a message to a receiver by transmitting a codeword x=(x_1,...,x_n) bit-by-bit over a communication channel. The adversarial jammer can view the transmitted bits x_i one at a time, and can change up to a p-fraction of them. However, the decisions of the jammer must be made in an online or causal manner. Namely, for each bit x_i the jammer's decision on whether to corrupt it or not (and on how to change it) must depend only on x_j for j <= i. This is in contrast to the "classical" adversarial jammer which may base its decisions on its complete knowledge of x. We present a non-trivial upper bound on the amount of information that can be communicated. We show that the achievable rate can be asymptotically no greater than min{1-H(p),(1-4p)^+}. Here H(.) is the binary entropy function, and (1-4p)^+ equals 1-4p for p < 0.25, and 0 otherwise.

研究动机与目标

• 分析在因果敌手干扰下的二元信道容量，其中敌手按顺序观察传输并最多干扰 $ p $ 比特。
• 在该模型中建立一个非平凡的可达通信速率上界，区别于经典的全知敌手模型。
• 证明当 $ p > 0.25 $ 时，最大可达速率确实为零，揭示了可靠通信的根本限制。
• 为设计对因果干扰具有鲁棒性的编码提供理论基础，尤其适用于敌手无法预先掌握码字的情形。

提出的方法

• 通过将敌手行为建模为二项式对称信道，利用基于熵的容量极限，推导出上界 $ 1 - H(p) $。
• 引入一种新颖的上界 $ (1 - 4p)^+ $，运用极值组合学，特别是图论中的图论极值定理（Turán 定理），分析在因果约束下码字集合的结构。
• 通过概率分析表明，在因果敌手存在下，即使采用随机编码，解码错误概率仍与零保持有界距离，原因在于码字的对称分组与汉明距离约束。
• 在码字上构建图结构，其中边表示汉明距离较小的码字对，并证明在敌手干扰下，不同消息被映射到图中相连节点的概率很高。
• 应用集中不等式，表明敌手在传输过程中不会耗尽其比特翻转预算，从而保持其对抗性影响。
• 结合消息与码字分布的条件概率论证，表明即使采用最优解码，接收方 Bob 也无法可靠地区分不同消息。

实验结果

研究问题

• RQ1 当敌手为因果性时，即仅能基于过去传输做出决策，二元信道上的最大可达通信速率是多少？
• RQ2 因果敌手信道的容量与经典全知敌手信道的容量相比如何？
• RQ3 能否为因果敌手模型导出比 $ 1 - H(p) $ 更紧的上界，特别是当 $ p > 0.25 $ 时？
• RQ4 在因果干扰下，是否可能实现 $ p > 0.25 $ 时的正速率通信，还是速率确实为零？

主要发现

• 二元因果敌手信道的容量上界为 $ \min\{1 - H(p), (1 - 4p)^+\} $，其中 $ H(p) $ 为二元熵函数。
• 当 $ p > 0.25 $ 时，上界 $ (1 - 4p)^+ $ 表明无法实现正速率通信，该结果强于 $ 1 - H(p) $ 的界限。
• 在 $ p \in (p_0, 0.5) $ 范围内，$ p_0 \approx 0.15642 $，上界 $ (1 - 4p)^+ $ 比 $ 1 - H(p) $ 更紧且非平凡，因为在此区间内 $ 1 - 4p < 1 - H(p) $。
• 证明依赖于极值组合学与概率方法，表明即使在码字对称分组与等概率传输条件下，解码错误概率仍与零保持有界距离。
• 分析表明，因果敌手可强制解码错误概率与零保持有界距离，即使在最优解码下亦然，原因在于码字集合的结构与汉明距离约束。
• 该结果提示上界 $ (1 - 4p)^+ $ 可能并非紧致，因此仍存在构建高于当前全知模型已知速率码字的可能性。