[论文解读] Tight List-Sizes for Oblivious AVCs under Constraints

Yihan Zhang, Sidharth Jaggi+1 more|arXiv (Cornell University)|Sep 8, 2020

Wireless Communication Security Techniques参考文献 60被引用 5

一句话总结

本文针对在输入和噪声约束下，对盲式任意时变信道（AVCs）的可靠列表译码所需最小列表大小提供了精确表征。通过引入一种新颖的子码构造方法并借助一个组合猜想，该文确定了正列表译码容量的确切阈值，推广了经典结果，并解决了关于列表对称可译性的开放问题。

ABSTRACT

We study list-decoding over adversarial channels governed by oblivious adversaries (a.k.a. oblivious Arbitrarily Varying Channels (AVCs)). This type of adversaries aims to maliciously corrupt the communication without knowing the actual transmission from the sender. For any oblivious AVCs potentially with constraints on the sender's transmitted sequence and the adversary's noise sequence, we determine the exact value of the minimum list-size that can support a reliable communication at positive rate. This generalizes a classical result by Hughes (IEEE Transactions on Information Theory, 1997) and answers an open question posed by Sarwate and Gastpar (IEEE Transactions on Information Theory, 2012). A lower bound on the list-decoding capacity (whenever positive) is presented. Under a certain combinatorial conjecture, we also prove a matching upper bound. En route to a tight characterization of the list-decoding capacity, we propose a method for subcode construction towards the resolution of the combinatorial conjecture.

研究动机与目标

• 确定在输入和噪声约束下，能够在盲式AVCs上实现正速率可靠列表译码的最小列表大小的精确值。
• 将Hughes（1997）关于列表译码容量的经典结果推广至受限AVCs场景。
• 解决Sarwate与Gastpar（2012）提出的关于盲式AVCs中列表对称可译性的开放问题。
• 建立列表译码容量的紧下界，并在某一组合猜想成立的前提下，给出匹配的上界。
• 提出一种子码构造方法，旨在解决与列表对称可译性相关的核心组合猜想。

提出的方法

• 作者通过在消息、码字和辅助变量之间定义联合分布，引入了一种盲式AVCs的规范构造方法，以建模列表译码行为。
• 定义了三个列表大小阈值：$L_{\text{strong}}^*$、$L_{\text{CP}}^*$ 和 $L_{\text{weak}}^*$，分别对应不同级别的敌方知识和译码鲁棒性。
• 关键技术在于分析联合分布的 $σ$-规范分解与 $σ$-CP 分解，以表征对称可译性与列表大小需求。
• 该方法依赖于先前工作 [WBBJ19, ZBJ20] 的工具，通过在辅助变量上最大化互信息来推导容量界。
• 提出一种新颖的子码构造方法，以支持对与列表对称可译性相关的核心组合猜想的解决。
• 在涉及 $σ$-CP 分解结构及其诱导分布的特定猜想下，推导出容量上界。

实验结果

研究问题

• RQ1 在输入和噪声约束下，盲式AVCs中实现正速率可靠列表译码的精确最小列表大小是多少？
• RQ2 Hughes（1997）关于列表译码容量的经典结果是否可推广至受限AVCs？
• RQ3 能否对列表对称可译性阈值进行精确表征，从而解决Sarwate与Gastpar（2012）提出的开放问题？
• RQ4 所提出的列表译码容量下界是否紧致？在何种条件下其与上界匹配？
• RQ5 $σ$-CP 分解与辅助变量在决定盲式AVCs中列表译码基本极限方面起什么作用？

主要发现

• 本文证明，在盲式AVCs中，实现正列表译码容量的最小列表大小 $L^*$ 恰好由码字联合分布的 $σ$-CP 分解结构所决定。
• 对于任意具有输入和噪声约束的盲式AVC，精确阈值 $L^*$ 均被确定，将Hughes（1997）的结果推广至受限情形。
• 推导出一个非平凡的列表译码容量下界，该下界在容量为正时始终有效。
• 在特定组合猜想成立的前提下，本文证明了匹配的上界，表明该下界是紧致的。
• 作者构造了反例表明 $L_{\text{strong}}^* < L_{\text{CP}}^* = L_{\text{weak}}^*$ 且 $L_{\text{CP}}^* < L_{\text{weak}}^*$，但尚未找到满足 $L_{\text{strong}}^* < L_{\text{CP}}^* < L_{\text{weak}}^*$ 的例子，该情形仍为开放问题。