[论文解读] Wireless Network Information Flow

A. Salman Avestimehr, Suhas Diggavi+1 more|ArXiv.org|Oct 19, 2007

Cooperative Communication and Network Coding参考文献 13被引用 114

一句话总结

本论文通过证明当最优输入分布为乘积分布时，信息论割集界是紧致的，从而完全刻画了具有广播和干扰的一般确定性中继网络中的可实现速率。对于线性确定性有限域模型，这给出了最大流最小割定理的推广，将网络编码与中继网络容量结果统一于一个统一的信息论框架下。

ABSTRACT

We present an achievable rate for general deterministic relay networks, with broadcasting at the transmitters and interference at the receivers. In particular we show that if the optimizing distribution for the information-theoretic cut-set bound is a product distribution, then we have a complete characterization of the achievable rates for such networks. For linear deterministic finite-field models discussed in a companion paper [3], this is indeed the case, and we have a generalization of the celebrated max-flow min-cut theorem for such a network.

研究动机与目标

• 填补在同时具有广播和干扰的确定性中继网络中对单播和多播容量进行表征的空白。
• 确定信息论割集界在何种情况下是紧致的，特别是当输入分布为乘积分布时。
• 将经典的最大流最小割定理推广至具有物理层效应（如干扰和广播）的网络。
• 将网络编码结果扩展至超越正交、非干扰链路的通用确定性模型。
• 为线性有限域确定性模型及其高斯对应模型的容量分析提供统一框架。

提出的方法

• 使用确定性函数建模无线网络，以表示物理层的广播和多址接入信道。
• 将信息论割集界用作可实现速率的上界，表达为 $\max_{p(x)} \min_{\Omega} H(Y_{\Omega^c}|X_{\Omega^c})$。
• 证明当最优输入分布为乘积分布时，可实现速率可达割集界。
• 使用展开的时间-扩展图模型分析时间依赖性，并通过环路约简论证证明渐近最优性。
• 引入一个新颖的引理（引理 VI.4），关于熵项循环和，证明在展开图中重复的割集可被最小割值替代。
• 通过利用乘积分布的结构，建立线性有限域模型中割集界与可实现速率之间的等价性。

实验结果

研究问题

• RQ1 在具有干扰和广播的确定性中继网络中，信息论割集界在何种条件下是紧致的？
• RQ2 最大流最小割定理能否推广至具有物理层约束（如干扰和广播）的网络？
• RQ3 在线性有限域确定性模型中，乘积分布是否优化割集界？
• RQ4 干扰的存在如何影响确定性中继网络中的容量表征？
• RQ5 在具有干扰的多播确定性网络中，割集界与可实现速率之间存在何种关系？

主要发现

• 当最优输入分布为乘积分布时，割集界是可实现的，从而对这类网络的容量提供了完全刻画。
• 对于 Aref 的网络（无干扰），该结果退化为已知的单播容量，推广了早期结果。
• 在线性确定性有限域模型中，割集界由乘积分布优化，从而实现了最大流最小割定理的推广。
• 线性有限域模型中的多播容量被表征为 $\max_{\prod p(x_i)} \min_{D \in \mathcal{D}} \min_{\Omega \in \Lambda_D} H(Y_{\Omega^c}|X_{\Omega^c})$。
• 通过时间展开图的证明技术表明，状态序列中的任意环路均可被最小割值替代，从而确保渐近最优性。
• 该结果建立了割集界与确定性网络中可实现速率之间的直接联系，统一了网络编码与中继网络容量理论。