[论文解读] Constrained Linear Representability of Polymatroids and Algorithms for Computing Achievability Proofs in Network Coding

Jayant Apte, John MacLaren Walsh|arXiv (Cornell University)|May 15, 2016

Cooperative Communication and Network Coding参考文献 44被引用 5

一句话总结

本文提出了一套计算框架，通过实现为 ITAP GAP 工具包，解决多胞体中的约束线性可表征问题（CLRP），从而在网络编码和秘密共享中实现自动化可实现性证明。该框架利用群论组合生成方法，高效检查有限域上的线性可表征性，自动化发现线性码构造并验证线性秩不等式，在基准问题（包括 Fano 网络和 $2U^4_2$ 网络以及 Benaloh-Coppersmith 秘密共享方案）上取得成功。

ABSTRACT

The constrained linear representability problem (CLRP) for polymatroids determines whether there exists a polymatroid that is linear over a specified field while satisfying a collection of constraints on the rank function. Using a computer to test whether a certain rate vector is achievable with vector linear network codes for a multi-source network coding instance and whether there exists a multi-linear secret sharing scheme achieving a specified information ratio for a given secret sharing instance are shown to be special cases of CLRP. Methods for solving CLRP built from group theoretic techniques for combinatorial generation are developed and described. These techniques form the core of an information theoretic achievability prover, an implementation accompanies the article, and several computational experiments with interesting instances of network coding and secret sharing demonstrating the utility of the method are provided.

研究动机与目标

• 为解决网络编码和秘密共享中可实现性证明的根本挑战，这些证明传统上依赖人工且耗时。
• 开发约束线性可表征问题（CLRP）的算法解决方案，这是表征熵向量闭包这一开放问题的特例。
• 通过构建已解决案例的完整数据库，系统性探索小型网络和秘密共享实例，以支持模式识别与一般化。
• 提供一个计算工具——ITAP，用于验证有限域上多胞体的线性可表征性，支持存在性与枚举型 CLRP 变体。
• 通过自动可表征性检查，促进新线性秩不等式的发现与验证。

提出的方法

• 形式化定义 CLRP 的两种变体：存在性问题（是否存在满足约束的线性可表征多胞体？）与枚举性问题（找出所有此类表示，直至同构）。
• 应用群论技术进行组合生成，利用对称性并高效处理多胞体表示中的同构类。
• 开发一种算法，将网络编码速率区域和秘密共享访问结构的约束整合到统一的 CLRP 框架中。
• 将该算法实现为信息论可实现性证明器（ITAP），一个用于有限域上多胞体表示的 GAP 工具包。
• 使用 p-映射对变量进行标记并映射到向量空间，以在搜索过程中实现高效表示与同构约简。
• 采用系统化的搜索策略，早期剪枝同构解，降低计算复杂度。

实验结果

研究问题

• RQ1 能否开发一种计算机自动方法，用于验证网络编码和秘密共享问题中线性码构造的存在性？
• RQ2 约束线性可表征问题（CLRP）在多大程度上可作为解决信息论基本问题的计算代理？
• RQ3 群论组合生成方法在复杂约束下搜索线性可表征多胞体时，其效率如何？
• RQ4 自动化工具如 ITAP 能否发现或验证已知构造（例如 Benaloh-Coppersmith）及新的线性秩不等式？
• RQ5 此类系统在典型网络编码和秘密共享问题上的可扩展性与性能如何？

主要发现

• ITAP 在约 32 分钟内成功重现了具有二维秘密和指定份额大小的 Benaloh-Coppersmith 秘密共享方案。
• 使用 ITAP 验证了 Fano 网络的可实现性证明，耗时 142 分钟零 1 秒，确认了有效线性码的存在性。
• 在 $2U^4_2$ 网络中，可实现性证明的计算耗时 1 分钟零 1 秒，表明在小型实例上具有高效率。
• ITAP 在多次迭代中生成了 174 个弱同构不同的表示，验证了其枚举能力。
• 该系统通过统一的 CLRP 公式化，成功处理了来自网络编码和秘密共享的复杂约束，包括秩和访问结构要求。
• 该方法支持构建大规模已解决实例数据库，可用于揭示结构模式，并为网络编码和秘密共享中的通用定理提供支持。