[論文レビュー] Index coding via linear programming

Anna Blasiak, Robert Kleinberg+1 more|arXiv (Cornell University)|Apr 8, 2010

Cooperative Communication and Network Coding参考文献 35被引用数 80

ひとこと要約

本稿は、インデックスコーディングにおけるブロードキャストレート β を直接分析するための新規な線形計画法フレームワークを導入し、長年の未解決問題を解消する。β を o(n) 要因内で近似する多項式時間アルゴリズムと、β=2 であるかの決定手続きを提供する。さまざまなグラフクラスに対して β を正確に特定し、β が自明な下界よりも線形的に大きく、ナイーブな上界よりも多項式的に小さいことを示している。

ABSTRACT

Index Coding has received considerable attention recently motivated in part by real-world applications and in part by its connection to Network Coding. The basic setting of Index Coding encodes the problem input as an undirected graph and the fundamental parameter is the broadcast rate $β$, the average communication cost per bit for sufficiently long messages (i.e. the non-linear vector capacity). Recent nontrivial bounds on $β$ were derived from the study of other Index Coding capacities (e.g. the scalar capacity $β_1$) by Bar-Yossef et al (2006), Lubetzky and Stav (2007) and Alon et al (2008). However, these indirect bounds shed little light on the behavior of $β$: there was no known polynomial-time algorithm for approximating $β$ in a general network to within a nontrivial (i.e. $o(n)$) factor, and the exact value of $β$ remained unknown for any graph where Index Coding is nontrivial. Our main contribution is a direct information-theoretic analysis of the broadcast rate $β$ using linear programs, in contrast to previous approaches that compared $β$ with graph-theoretic parameters. This allows us to resolve the aforementioned two open questions. We provide a polynomial-time algorithm with a nontrivial approximation ratio for computing $β$ in a general network along with a polynomial-time decision procedure for recognizing instances with $β=2$. In addition, we pinpoint $β$ precisely for various classes of graphs (e.g. for various Cayley graphs of cyclic groups) thereby simultaneously improving the previously known upper and lower bounds for these graphs. Via this approach we construct graphs where the difference between $β$ and its trivial lower bound is linear in the number of vertices and ones where $β$ is uniformly bounded while its upper bound derived from the naive encoding scheme is polynomially worse.

研究の動機と目的

• 一般のインデックスコーディングネットワークにおけるブロードキャストレート β の近似に向けた多項式時間アルゴリズムの欠如に対処すること。
• 非自明なグラフにおいて β が正確に計算可能かどうかという未解決問題を解消すること。
• 既知の上界と下界の間のギャップを、直接的な情報理論的解析によって埋めること。
• 任意のネットワークに対して β=2 かどうかを決定するための手続きを確立すること。
• β が一様に有界である一方で、ナイーブな符号化上界が多項式的に悪いような、明示的なグラフ族を構築すること。

提案手法

• 著者たちは、側情報構造に基づく線形計画法を用いてインデックスコーディング問題をモデル化し、ブロードキャストレート β を集合被覆と交差の関数として扱う。
• 部分集合の頂点集合の交差パターンを符号化する行列 M を定義し、クロネッカー積の恒等式を用いてその逆行列の存在を証明する。
• 行列 (1,1;1,0) および (0,1;1,-1) の性質を用いて M の逆行列を明示的に導出することで、実行可能符号化方式の特徴付けが可能になる。
• 実行可能性のための重要な基準として、集合和における交互和を含む不等式系を定式化し、符号化重みの非負性を保証する。
• 双対性および包含除算法則を活用して、β の下界 b₂ を導出し、これが情報理論的にタイトであることを示す。
• このアプローチにより、β を o(n) 要因内で近似する多項式時間アルゴリズムと、β=2 を正確に決定する手続きが可能になる。

実験結果

リサーチクエスチョン

• RQ1 情報理論的下界 b₂ と実際のブロードキャストレート β の間で、最大でどれほどギャップが生じ得るか。
• RQ2 指数的数の制約を含む b₂ を効率的に計算するアルゴリズムは存在するか。
• RQ3 与えられた定数 C とグラフ G に対して、β < C かどうかを決定する計算複雑性は何か。
• RQ4 任意の ε > 0 に対して、β を乗法的要因 n^{1−ε} の範囲内で近似できるか。
• RQ5 体の特徴量 q が無限大に近づく際、射影的ハダマードグラフのスカラー容量 β₁ は無限大に発散するか。

主な発見

• 本稿は、一般ネットワークにおける非自明な近似についての未解決問題を解消する多項式時間アルゴリズムを提示し、β を o(n) 要因内で近似可能であることを示している。
• 任意のインデックスコーディングインスタンスに対して β = 2 かどうかを決定する多項式時間の手続きを提供している。
• 著者たちは、巡回群のカイリー・グラフのさまざまなクラスについて β を正確に計算し、これらのクラスにおける上界と下界を両方とも改善している。
• β が自明な下界よりも線形的に大きいグラフを構築し、ギャップが Ω(n) に達することを示している。
• β が一様に有界である一方で、ナイーブな符号化上界 bₙ が多項式的に大きいグラフを提示し、β と bₙ の間のギャップが超多項式的であることを示している。
• 特定の射影的ハダマードグラフのスカラー容量 β₁ が、体の特徴量 q → ∞ のとき無限大に発散することを示しており、未解決の問題に答えている。