[论文解读] Optimal Scalar Linear Index Codes for Some Symmetric Multiple Unicast Problems

Mahesh Babu Vaddi, Roop Kumar Bhattaram+1 more|arXiv (Cornell University)|Oct 19, 2015

Cooperative Communication and Network Coding参考文献 11被引用 4

一句话总结

本文为十类对称多播索引编码问题构建了最优标量线性索引码，这些问题的反毒数少于以往研究，通过显式设计最小化传输长度的编码方案实现了容量。这些编码使接收端能以最少的传输完成解码，降低在噪声信道中的误码概率，并通过基于秩的分析和每种情况的解码过程证明了最优性。

ABSTRACT

The capacity of symmetric instance of the multiple unicast index coding problem with neighboring antidotes (side-information) with number of messages equal to the number of receivers was given by Maleki, Cadambe and Jafar. In this paper we consider ten symmetric multiple unicast problems with lesser antidotes than considered by them and explicitly construct scalar linear codes for these problems. These codes are shown to achieve the capacity or equivalently these codes shown to be of optimal length. Also, the constructed codes enable the receivers use small number of transmissions to decode their wanted messages which is important to have the probability of message error reduced in a noisy broadcast channel. Some of the cases considered are shown to be critical index coding problems and these codes help to identify some of the subclasses considered by others to be not critical index coding problems.

研究动机与目标

• 为相较于先前工作减少反毒集的对称多播索引编码问题设计最优长度的标量线性索引码。
• 证明所构建的编码在特定具有有限辅信息的对称配置下达到理论容量。
• 最小化每个接收端的传输次数，以降低在噪声广播信道中的误码概率。
• 通过证明某些子类并非关键问题，识别并分析关键索引编码问题，从而细化对问题空间结构的理解。

提出的方法

• 提出十个具有单边反毒的特定对称多播索引编码问题，其定义基于周期性消息依赖关系和结构化辅信息。
• 通过源消息的线性组合构造标量线性索引码，其中码符号基于GF(2)上的周期性移位和模运算生成。
• 采用基于秩的最优性证明，通过证明码符号数量等于辅信息图的最小秩，确认达到容量的性能。
• 采用逐案解码分析：若接收端位于前λ个或最后D+2λ个位置，则使用单个码符号解码；否则通过求和多个码符号以消除干扰。
• 应用模索引和码符号分组（例如基于p = K/(K−D+λ)）以实现干扰消除和高效解码。
• 通过将传输码符号数与理论容量C = 1/(K−D)匹配来验证编码的最优性，确认其长度最小。

实验结果

研究问题

• RQ1 能否为反毒数少于Maleki等人[1]研究的对称多播索引编码问题构建最优标量线性索引码？
• RQ2 在消息依赖关系和辅信息方面，何种结构条件可导致长度最优且解码传输最少的编码？
• RQ3 是否存在某些对称索引编码问题的子类并非关键问题，尽管它们属于先前研究中广泛探讨的类别？
• RQ4 如何在保持达到容量的码长前提下，通过最少的传输实现接收端高效的干扰消除？
• RQ5 消息依赖中的周期性模式（如λ, D, K−D）在实现最优码构造和解码中起到何种作用？

主要发现

• 本文为十类具有减少反毒集的对称多播索引编码问题构建了最优标量线性索引码，每种情况均达到容量。
• 在全部十个案例中，传输码符号数与理论容量C = 1/(K−D)（当D ≤ K−2时）完全匹配，确认了最优性。
• 在示例10中，K=28，D=18，λ=2，编码以10次传输达到容量，码本作为GF(2)上的28×10矩阵明确给出。
• 位于前λ个位置的接收端使用单个码符号解码；其余接收端最多使用⌈(K−D−λ)/λ⌉次传输，从而最小化易出错的通信。
• 通过最小秩等价性证明编码最优：编码矩阵的秩等于辅信息图的最小秩。
• 分析表明，某些先前被认为关键的索引编码问题实际上并非关键，因为其边并非容量所必需。