[论文解读] Multilevel Diversity Coding Systems: Rate Regions, Codes, Computation, & Forbidden Minors

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

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

一句话总结

本文通过香农外界界和基于有限域上线性码的多面体内部界，研究了7,360个非同构多级多样性编码系统（MDCS）的速率区域。通过匹配界，证明了数千个实例的精确速率区域，提出了计算机辅助的人类可读反证证明，并识别出12个禁止极小MDCS实例，这些实例表明标量二进制码不足，从而可通过嵌入操作实现泛化。

ABSTRACT

The rate regions of multilevel diversity coding systems (MDCS), a sub-class of the broader family of multi-source multi-sink networks with special structure, are investigated. After showing how to enumerate all non-isomorphic MDCS instances of a given size, the Shannon outer bound and several achievable inner bounds based on linear codes are given for the rate region of each non-isomorphic instance. For thousands of MDCS instances, the bounds match, and hence exact rate regions are proven. Results gained from these computations are summarized in key statistics involving aspects such as the sufficiency of scalar binary codes, the necessary size of vector binary codes, etc. Also, it is shown how to generate computer aided human readable converse proofs, as well as how to construct the codes for an achievability proof. Based on this large repository of rate regions, a series of results about general MDCS cases that they inspired are introduced and proved. In particular, a series of embedding operations that preserve the property of sufficiency of scalar or vector codes are presented. The utility of these operations is demonstrated by boiling the thousands of MDCS instances for which binary scalar codes are insufficient down to 12 forbidden smallest embedded MDCS instances.

研究动机与目标

• 表征多级多样性编码系统（MDCS）的精确速率区域，MDCS是一类具有分层解码优先级的多源多汇网络。
• 确定在何种情况下，有限域上的标量或向量线性码足以实现MDCS实例的容量区域。
• 开发基于香农型不等式的自动化、人类可读的反证论证证明生成方法。
• 识别出最小的MDCS配置——“禁止极小图”——这些配置会排除特定码类的使用，从而可通过嵌入操作实现泛化。
• 建立一个计算框架，将拟阵-based内部界与香农外部界相连接，以在结构化网络编码问题中实现精确速率区域的确定。

提出的方法

• 使用组合分类方法枚举了给定规模下所有非同构的MDCS实例。
• 应用香农外部界和多种多面体内部界（二元/三元/可表示拟阵、叠加）以界定速率区域。
• 使用优化方法计算最小的香农型不等式集合，以生成人类可读的反证证明。
• 在MDCS上引入收缩、删除和统一操作，以保持码类充分性性质，并识别出禁止极小图。
• 在7,360个实例中验证了界的一致性，当界匹配时，证明了精确速率区域。
• 从内部界构造了显式的叠加、标量和向量码，以完成可达性证明。

实验结果

研究问题

• RQ1 在哪些MDCS实例中，标量二进制码能够实现精确速率区域，而在何时会不足？
• RQ2 能否识别出一个有限的禁止MDCS极小图集合，使得任何此类极小图的扩展也均无法支持给定的码类？
• RQ3 香农外部界在所有MDCS实例中与真实速率区域的匹配程度如何？
• RQ4 如何系统地使用香农型不等式，通过计算机辅助生成人类可读的速率区域界证明？
• RQ5 哪些结构操作能够保持MDCS中标量或向量码的充分性，从而实现跨实例的泛化？

主要发现

• 在所有界匹配的MDCS实例中，香农外部界均是紧致的，共涉及7,360个非同构情况。
• 标量二进制码在12个最小MDCS配置中不足，这些配置被识别为标量码充分性的禁止极小图。
• 通过使用嵌入操作，将问题实例集合从数千个减少至仅12个禁止极小图，实现了泛化。
• 计算机辅助证明生成成功地仅使用香农型不等式，生成了最小且人类可读的反证证明。
• 从内部界成功构造了显式的叠加、标量和向量码，确认了可达性。
• 建立了一个框架，将拟阵-based内部界与香农外部界相连接，实现了对结构化网络编码问题中精确速率区域的确定。