[論文レビュー] 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.

研究の動機と目的

• ネットワークおよびインデックスコーディング問題における組合せ的パラメータと符号理論的パラメータの間の顕著なギャップを確立し、拡大すること。
• 線形および非線形ネットワークコーディングレートの間の多項式的ギャップの存在に関する未解決問題を解消すること。
• インデックスコーディングにおいて、ブロードキャストレートと自明な下界（例えば独立数）との間の多項式的分離を示すこと。ここでは、以前はそのようなギャップが知られていなかった。
• マトロイドとインデックスコーディングの関係を活用し、体 $ \mathbb{F} $ 上でのマトロイド実現可能性が、対応するインデックスコーディング問題の線形可解性と同値であることを示すこと。
• 辞書的積と線形計画法の双対解を用いた一般枠組みを構築し、大きな、証明可能な分離を持つ困難なインスタンスを体系的に構築すること。

提案手法

• 線形計画法を用いて、独立数やブロードキャストレートなどの組合せ的パラメータと符号理論的パラメータの間の初期分離を同定する。
• ハイパーグラフの辞書的積を適用し、小さな初期ギャップを積インスタンス全体にわたって多項式的サイズのギャップに拡大する。
• 乗数の双対解を組み合わせることで、辞書的積の双対解を構築し、同型制約スキーマを用いて妥当性を証明する。
• マトロイドとインデックスコーディングの関係を活用し、マトロイド実現可能性をインデックスコーディング問題の線形可解性に翻訳する。
• エントロピーに基づく議論およびベクトル空間のランク関数を用いて、構築された解が線形計画法における必要な不等式を満たしていることを検証する。
• 定理 5.5 を用いて、LPの境界における厳密な不等式を証明し、最適解の下界が線形符号レートを多項式的要因で上回ることを保証する。

実験結果

リサーチクエスチョン

• 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} $ 上でのマトロイド実現可能性とインデックスコーディング問題の線形可解性との間で、新たな関係を確立した。対応するインデックスコーディングインスタンスの構築により、同値性を示した。
• この手法により、線形計画法からの小さな初期ギャップが、辞書的積の操作によって多項式的サイズの大きな分離に拡大された。
• この方法により、同型制約スキーマと単調性に基づく線形計画法の最適解が、ブロードキャストレートの下界を提供することが証明され、線形符号レートを多項式的要因で上回ることを確認した。これにより、非線形利得の存在が裏付けられた。