[论文解读] Algebraic Network Coding Approach to Deterministic Wireless Relay Networks

Minji Kim, Muriel Médard|arXiv (Cornell University)|Jan 25, 2010

Cooperative Communication and Network Coding参考文献 7被引用 9

一句话总结

本文为确定性无线中继网络（ADT网络）建立了代数网络编码框架，表明最小割等于系统矩阵 M(D) 的秩，从而无需枚举所有割即可高效计算最小割。该研究将最小割-最大流定理推广至一般连接类型——包括多播、不相交多播及两级多播——并证明随机线性网络编码在存在环路和随机删除的ADT网络中可达到容量。

ABSTRACT

The deterministic wireless relay network model, introduced by Avestimehr et al., has been proposed for approximating Gaussian relay networks. This model, known as the ADT network model, takes into account the broadcast nature of wireless medium and interference. Avestimehr et al. showed that the Min-cut Max-flow theorem holds in the ADT network. In this paper, we show that the ADT network model can be described within the algebraic network coding framework introduced by Koetter and Medard. We prove that the ADT network problem can be captured by a single matrix, called the "system matrix". We show that the min-cut of an ADT network is the rank of the system matrix; thus, eliminating the need to optimize over exponential number of cuts between two nodes to compute the min-cut of an ADT network. We extend the capacity characterization for ADT networks to a more general set of connections. Our algebraic approach not only provides the Min-cut Max-flow theorem for a single unicast/multicast connection, but also extends to non-multicast connections such as multiple multicast, disjoint multicast, and two-level multicast. We also provide sufficiency conditions for achievability in ADT networks for any general connection set. In addition, we show that the random linear network coding, a randomized distributed algorithm for network code construction, achieves capacity for the connections listed above. Finally, we extend the ADT networks to those with random erasures and cycles (thus, allowing bi-directional links). Note that ADT network was proposed for approximating the wireless networks; however, ADT network is acyclic. Furthermore, ADT network does not model the stochastic nature of the wireless links. With our algebraic framework, we incorporate both cycles as well as random failures into ADT network model.

研究动机与目标

• 建立ADT网络模型与Koetter和Médard提出的代数网络编码框架之间的联系。
• 通过系统矩阵 M(D) 代数定义ADT网络中的最小割，避免对所有割进行指数级枚举。
• 将最小割-最大流定理推广至单播/多播以外的一般连接类型，包括多播、不相交多播及两级多播。
• 证明在存在环路和随机删除的ADT网络中，随机线性网络编码可达到容量。
• 在保持代数结构和容量结果的前提下，将ADT模型推广至包含环路和随机故障的情形。

提出的方法

• 在有限域上的形式幂级数环中使用传递函数形式化ADT网络，用变量 D 表示延迟。
• 定义系统矩阵 M(D) = A(D)(I - DF)^{-1}B(D)^T，其中 A(D)、F 和 B(D) 分别表示输入编码、边动态特性和输出解码。
• 利用脉冲响应 (I - DF)^{-1} = I + DF + D^2F^2 + ... 建模具有延迟的路径，从而在网络中处理环路。
• 在有理函数域 F_q(D) 中操作，以允许使用有理系数编码，推广标量域运算。
• 利用代数网络编码中已有的定理，推导复杂连接集合的可行性与容量条件。
• 通过在 D 域中将边过程建模为随机过程，将结果推广至存在随机删除的网络，同时保持代数结构。

实验结果

研究问题

• RQ1 ADT网络模型能否被完整地纳入代数网络编码框架？
• RQ2 ADT网络中的最小割是否等价于单个系统矩阵 M(D) 的秩，从而实现高效计算？
• RQ3 最小割-最大流定理能否推广至非多播连接（如多播、不相交多播）的ADT网络？
• RQ4 在存在环路和随机删除的ADT网络中，随机线性网络编码是否可达到容量？
• RQ5 能否在保持代数结构和容量结果的前提下，将ADT模型扩展至包含环路和随机故障的情形？

主要发现

• ADT网络的最小割等于系统矩阵 M(D) 的秩，从而可在不枚举所有可能割的情况下实现高效计算。
• 系统矩阵 M(D) = A(D)(I - DF)^{-1}B(D)^T 完全捕捉了具有延迟和环路的ADT网络的输入-输出行为。
• 通过代数可行性条件，最小割-最大流定理被推广至一般连接集合，包括多播、不相交多播及两级多播。
• 随机线性网络编码在所有研究的连接类型中（包括存在环路和随机删除的情况）均可达到ADT网络的容量。
• 代数框架允许将随机删除和环路纳入ADT模型，同时保持线性操作的最优性。
• 在 D 中使用有理函数可建模具有延迟和环路的路径，从而将原始无环ADT模型推广至更真实的网络拓扑。