[论文解读] A universal, operational theory of unicast multi-user communication with fidelity criteria

Mukul Agarwal, Sanjoy K. Mitter+1 more|arXiv (Cornell University)|Feb 24, 2013

Wireless Communication Security Techniques参考文献 10被引用 4

一句话总结

本文通过一种通用的、操作性的框架，建立了在保真度准则下，对于具有复合信道特性的单播多用户通信，源信道分离的最优性。它证明了：只要信道能够以给定失真水平传输源信号，即可在低于源编码速率下确界的速率下实现可靠通信，其理论基础是基于随机覆盖-打包视角的统一源编码与信道编码的分层黑箱模型，该模型仅关注信道端到端的性能表现。

ABSTRACT

This is a three part paper. Optimality of source-channel separation for communication with a fidelity criterion when the channel is compound as defined by Csiszar and Korner in their book and general as defined by Verdu and Han, is proved in Part I. It is assumed that random codes are permitted. The word "universal" in the title of this paper refers to the fact that the channel model is compound. The proof uses a layered black-box or a layered input-output view-point. In particular, only the end-to-end description of the channel as being capable of communicating a source to within a certain distortion level is used when proving separation. This implies that the channel model does not play any role for separation to hold as long as there is a source model. Further implications of the layered black-box view-point are discussed. Optimality of source-medium separation for multi-user communication with fidelity criteria over a general, compound medium in the unicast setting is proved in Part II, thus generalizing Part I to the unicast, multi-user setting. Part III gets to an understanding of the question, "Why is a channel which is capable of communicating a source to within a certain distortion level, also capable of communicating bits at any rate less than the infimum of the rates needed to code the source to within the distortion level": this lies at the heart of why optimality of separation for communication with a fidelity criterion holds. The perspective taken to get to this understanding is a randomized covering-packing perspective, and the proof is operational.

研究动机与目标

• 在复合信道设置下，建立单播多用户通信在保真度准则下的源信道分离最优性。
• 将先前在点对点场景中关于分离最优性的结果，推广至具有保真度约束的多用户单播场景。
• 通过随机覆盖-打包视角，提供一种操作性解释，说明为何分离原理成立，且不依赖于显式的信道模型细节。
• 证明信道在分离中的作用纯粹是端到端的，仅由其在特定失真水平内传输源信号的能力决定。
• 基于操作性准则而非函数简化，探究源编码与信道编码之间存在速率间隙的根本原因。

提出的方法

• 采用分层黑箱或输入-输出视角，仅通过信道在失真水平内传输源信号的端到端能力来建模信道。
• 使用随机码，其中编码器和解码器为确定性映射上的概率分布，错误率基于随机选择的平均值进行计算。
• 采用超出失真概率准则而非期望失真，从而可在无需不可分解性假设的情况下分析一般性复合信道。
• 引入随机覆盖-打包对偶性：将源编码视为覆盖问题，信道编码视为打包问题，并共享随机编码论证。
• 以源编码速率的下确界（R^P_U(D,inf)）作为可实现信道速率的基准，通过操作性准则将源编码与信道编码联系起来。
• 依赖于错误概率和速率阈值的渐近分析，表明只要信道支持在失真D内传输源信号，则任何低于R^P_U(D,inf)的速率均可实现。

实验结果

研究问题

• RQ1 为何在信道为复合且未完全指定的情况下，单播多用户通信在保真度准则下仍能实现源信道分离的最优性？
• RQ2 如何在不依赖互信息或期望失真指标的前提下，仅通过操作性、概率性准则证明分离最优性？
• RQ3 为何一个能在失真D内传输源信号的信道，也能在低于该D下源编码速率下确界的所有速率上可靠传输比特？其根本的操作性原因是什么？
• RQ4 在证明中仅使用端到端性能的前提下，信道模型对分离最优性的影响有多大？
• RQ5 该证明方法能否推广至独立同分布源和加性失真函数之外的‘行为良好’的置换不变失真函数？

主要发现

• 在复合信道下，基于超出失真概率准则，证明了源信道分离的最优性，且无需不可分解性假设。
• 证明表明：若信道能在失真D内传输源信号，则其可可靠地在低于该D下源编码速率下确界的所有速率上进行比特传输。
• 分层黑箱视角表明，只要端到端的失真-容量关系成立，信道内部结构对分离最优性无影响。
• 随机覆盖-打包视角为源编码与信道编码提供了对偶性，其核心洞见体现在错误概率的渐近行为中。
• 技术条件R^P_U(D) = R^P_U(D,inf)被推测对‘许多行为良好’的置换不变失真函数成立，并在加性失真函数下得到操作性验证。
• 该框架可提供一种更基础、操作性的率失真定理证明，与香农原始的基于互信息的推导方式截然不同。