[论文解读] Lexicographic products and the power of non-linear network coding

Anna Blasiak, Robert Kleinberg+1 more|arXiv (Cornell University)|Aug 11, 2011

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

一句话总结

本文提出了一种新颖的技术，结合线性规划与超图字典积，以放大网络编码和索引编码中组合参数与编码理论参数之间的差距。该研究首次建立了线性与非线性网络编码速率之间的多项式分离，证明了非线性码可比最优（向量）线性码高出 $ n^{\varepsilon} $ 倍，且解决了关于索引编码差距与拟阵实现性的开放问题。

ABSTRACT

We introduce a technique for establishing and amplifying gaps between parameters of network coding and index coding. The technique uses linear programs to establish separations between combinatorial and coding-theoretic parameters and applies hypergraph lexicographic products to amplify these separations. This entails combining the dual solutions of the lexicographic multiplicands and proving that they are a valid dual of the product. Our result is general enough to apply to a large family of linear programs. This blend of linear programs and lexicographic products gives a recipe for constructing hard instances in which the gap between combinatorial or coding-theoretic parameters is polynomially large. We find polynomial gaps in cases in which the largest previously known gaps were only small constant factors or entirely unknown. Most notably, we show a polynomial separation between linear and non-linear network coding rates. This involves exploiting a connection between matroids and index coding to establish a previously unknown separation between linear and non-linear index coding rates. We also construct index coding problems with a polynomial gap between the broadcast rate and the trivial lower bound for which no gap was previously known.

研究动机与目标

• 在网络编码与索引编码问题中，建立并放大组合参数与编码理论参数之间的显著差距。
• 解决关于线性与非线性网络编码速率之间是否存在多项式差距的开放问题。
• 在索引编码中，证明广播速率与平凡下界（如独立数）之间存在多项式分离，此前此类差距尚未被发现。
• 利用拟阵与索引编码之间的联系，证明在域上实现拟阵等价于相应索引编码问题的线性可解性。
• 通过字典积与线性规划对偶解，构建一个通用框架，以系统性地构造具有大且可证明分离度的困难实例。

提出的方法

• 使用线性规划识别组合参数（如独立数）与编码理论参数（如广播速率）之间的初始差距。
• 应用超图字典积，将微小的初始差距放大为乘积实例中的多项式级大差距。
• 通过组合各乘积因子的对偶解来构造字典积的对偶解，并利用同态约束模式证明其有效性。
• 利用拟阵与索引编码之间的联系，将拟阵在域上的实现性转化为索引编码问题的线性可解性。
• 采用基于熵的论证方法与向量空间的秩函数，验证所构造的解满足线性规划中的不等式约束。
• 利用定理 5.5 证明线性规划界中的严格不等式，确保最优解的下界比线性码速率高出一个多项式因子。

实验结果

研究问题

• RQ1 能否在已知的 11/10 常数因子差距之外，建立线性与非线性网络编码速率之间的多项式差距？
• RQ2 在索引编码问题中，广播速率与平凡下界（如独立数）之间是否存在多项式分离？
• RQ3 能否利用拟阵与索引编码之间的联系，证明编码理论参数的新分离？
• RQ4 索引编码问题的字典积是否保持或放大组合参数与编码理论参数之间的差距？
• RQ5 能否开发一种通用框架，结合线性规划与乘积运算，系统性地构造具有大分离度的困难实例？

主要发现

• 本文首次建立了线性与非线性网络编码速率之间的多项式分离，表明非线性码可比最优（向量）线性码高出 $ n^{\varepsilon} $ 倍（其中 $ \varepsilon > 0 $）。
• 该研究解决了 [AHLSW] 中的一个开放问题，证明广播速率 $ \beta(G) $ 可以比独立数 $ \alpha(G) $ 高出多项式因子，构造示例显示在某些情况下 $ \beta(G) > 16 \cdot \alpha(G) $。
• 作者构造了索引编码问题，其广播速率与平凡下界 $ \alpha(G) $ 之间存在多项式差距，此前此类差距尚未被发现。
• 建立了一种新联系：在域 $ \mathbb{F} $ 上实现拟阵，等价于构造相应索引编码实例的线性可解性。
• 该技术成功通过字典积运算，将线性规划中获得的微小初始差距放大为多项式级大分离。
• 该方法证明，基于同态约束模式与次模性的线性规划最优解，可提供广播速率的下界，且该下界严格超过线性码速率，从而证实了非线性增益的存在。