[论文解读] On Multi-source Networks: Enumeration, Rate Region Computation, and Hierarchy

Congduan Li, Steven Weber+1 more|arXiv (Cornell University)|Jul 21, 2015

Cooperative Communication and Network Coding参考文献 34被引用 6

一句话总结

本文提出了一套系统性框架，用于在网络编码下枚举最小化、规范化的多源多汇超边网络，实现了对超过744,000种独特网络的精确速率区域的高效计算。通过利用群作用下的网络等价性，并开发嵌入与组合算子，该方法可从较小网络推导出较大网络的速率区域，揭示了线性码充分性所对应的禁止极小图，并显著扩展了直接计算所能解决的实例范围。

ABSTRACT

This paper investigates the enumeration, rate region computation, and hierarchy of general multi-source multi-sink hyperedge networks under network coding, which includes multiple network models, such as independent distributed storage systems and index coding problems, as special cases. A notion of minimal networks and a notion of network equivalence under group action are defined. An efficient algorithm capable of directly listing single minimal canonical representatives from each network equivalence class is presented and utilized to list all minimal canonical networks with up to 5 sources and hyperedges. Computational tools are then applied to obtain the rate regions of all of these canonical networks, providing exact expressions for 744,119 newly solved network coding rate regions corresponding to more than 2 trillion isomorphic network coding problems. In order to better understand and analyze the huge repository of rate regions through hierarchy, several embedding and combination operations are defined so that the rate region of the network after operation can be derived from the rate regions of networks involved in the operation. The embedding operations enable the definition and determination of a list of forbidden network minors for the sufficiency of classes of linear codes. The combination operations enable the rate regions of some larger networks to be obtained as the combination of the rate regions of smaller networks. The integration of both the combinations and embedding operators is then shown to enable the calculation of rate regions for many networks not reachable via combination operations alone.

研究动机与目标

• 开发一种针对多源多汇超边网络在网络编码下的全面枚举框架，通过规范表示避免同构重复。
• 计算一大类最小规范网络的精确速率区域，为网络编码理论提供基础数据。
• 通过嵌入与组合操作建立网络的层次结构，保持或从分量网络推导出速率区域特性。
• 识别决定线性网络编码中非标量或非二进制码必要性的禁止网络极小图。
• 通过组合预计算的小型网络结果，实现对大型网络的可扩展速率区域计算。

提出的方法

• 通过消除冗余的源、节点和边，定义最小化网络，以确保结构无冗余。
• 通过群作用定义边标签置换下的网络等价性，实现同构检测与规范代表选择。
• 应用Leiterspiel算法，高效枚举最多5个源和超边的非同构最小规范网络。
• 使用计算工具为744,119个规范网络推导出精确速率区域，其余网络则给出外 bounds 和内 bounds。
• 定义嵌入操作，使较小网络可嵌入到较大网络中，从而识别出决定线性码充分性的禁止极小图。
• 定义组合操作，使复合网络的速率区域可从其组成网络的速率区域推导得出。

实验结果

研究问题

• RQ1 如何系统性地枚举所有结构上不同的多源多汇超边网络，同时避免同构重复？
• RQ2 给定一个最小规范网络的精确速率区域是什么？如何通过香农熵向量的多面体边界高效计算？
• RQ3 哪些网络结构需要非标量或非二进制码？这些是否可通过嵌入操作下的禁止极小图来表征？
• RQ4 在组合与嵌入操作下，多大程度上可从预计算的小型网络速率区域推导出大型网络的速率区域？
• RQ5 嵌入与组合算子共同作用，如何将可解网络集合扩展至仅使用组合操作无法达到的范围？

主要发现

• 作者成功枚举并计算了744,119个最小规范网络的精确速率区域，对应超过2万亿个同构网络编码问题。
• 嵌入操作的使用表明，仅当网络包含一个其自身也对标量二进制码不充分的更小极小图时，标量二进制码才对某些网络不充分。
• 仅使用组合操作可达到3个333个可能的(2,2)维网络中的3个，而嵌入与组合操作的结合使可达到的网络数增至至少12个。
• 随着网络规模上限的提高，可达到网络的数量迅速增长，证明了组合算子框架的可扩展性。
• 该框架可为许多无法通过标准计算直接求解的网络推导出速率区域，显著扩展了可计算网络编码问题的范围。
• 该方法通过嵌入与组合操作建立了完整的网络层次结构，使复杂网络的速率区域可系统地从简单组件构建。