[论文解读] Fractional coloring (orthogonal access) achieves all-unicast capacity (DoF) region of index coding (TIM) if and only if network topology is chordal

Xinping Yi|arXiv (Cornell University)|Jan 30, 2015

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

一句话总结

该论文证明了在索引编码（TIM）问题中，分数着色（正交接入）实现全部单播复用增益（DoF）区域当且仅当其底层二分图网络拓扑为弦图——即所有长度为四或以上的诱导环都包含一条弦。该结果推广了先前在一维凸网络中关于和容量最优性的结果，并确定弦性为在所有单播消息集合上正交接入最优的充要条件。

ABSTRACT

The main result of this work is that fractional coloring (orthogonal access) achieves the all-unicast capacity (degrees of freedom (DoF)) region of the index coding (topological interference management (TIM)) problem if and only if the bipartite network topology graph (with sources on one side and destinations on the other, and edges identifying presence of nontrivial channels whose communication capacity is not zero or infinity) is chordal, i.e., every cycle that can contain a chord, does contain a chord. The all-unicast capacity (DoF) region includes the capacity (DoF) region for any arbitrary choice of a unicast message set, so e.g., the results of Maleki and Jafar on the optimality of orthogonal access for the sum-capacity (DoF) of one-dimensional convex networks are recovered as a special case.

研究动机与目标

• 确定在何种网络拓扑条件下，正交接入（分数着色）可在索引编码问题中实现全部单播容量（DoF）区域。
• 将现有的一维凸网络中关于和容量最优性的结果推广至更广泛的全部单播DoF区域。
• 识别出刻画在所有单播消息集合上正交接入最优性的结构性网络属性——弦性。
• 通过刻画DoF区域最优性的精确拓扑条件，统一并扩展先前关于拓扑干扰管理（TIM）的研究。

提出的方法

• 作者将索引编码问题建模为一个二分图，其中一侧为源节点，另一侧为目的节点，边表示非平凡信道。
• 若所有长度≥4的诱导环至少包含一条弦（即连接环中两个非相邻顶点的边），则定义网络拓扑为弦图。
• 利用分数着色分析DoF区域，其对应于干扰管理中的正交接入。
• 证明了当且仅当二分拓扑图是弦图时，分数着色可实现全部单播DoF区域。
• 利用图论工具刻画在拓扑约束下最优传输方案的结构。
• 表明先前研究（如Maleki和Jafar）中正交接入的最优性是该一般弦性条件的特例。

实验结果

研究问题

• RQ1 在何种网络拓扑条件下，正交接入可在索引编码问题中实现全部单播DoF区域？
• RQ2 是否存在一种图的结构性质，可刻画分数着色在所有单播消息集合上最优的情形？
• RQ3 在一维凸网络中正交接入的最优性是否可推广至一般全部单播DoF区域？
• RQ4 二分拓扑图的弦性是否可同时作为分数着色实现整个DoF区域的必要且充分条件？
• RQ5 该弦性条件如何与先前关于TIM中和容量最优性的结果相关联并加以推广？

主要发现

• 分数着色在索引编码中实现全部单播DoF区域当且仅当二分网络拓扑图是弦图。
• 弦性条件在所有单播消息集合上既是正交接入最优的必要条件也是充分条件。
• 该结果推广并统一了先前发现，例如在一维凸网络中正交接入的最优性。
• 对于任意单播消息集合，DoF区域可通过分数着色完全实现，当且仅当拓扑为弦图。
• 该表征揭示了弦性捕捉了使无需干扰对齐方案达到最优的关键结构性质。
• 该框架为正交接入能否通过拓扑完全最优地解决干扰管理提供了完整的表征。