[論文レビュー] Non-linear index coding outperforming the linear optimum

Eyal Lubetzky, Uri Stav|ArXiv.org|Jun 11, 2008

Cooperative Communication and Network Coding参考文献 9被引用数 8

ひとこと要約

本稿では、非線形インデックス符号が任意の線形符号よりも指数的に短い符号語長を達成する明示的な有向グラフを構築し、長年の予想である「線形インデックス符号が常に最適である」という仮説を反証した。有限体上のFrankl-Wilsonラマヌジャン構成の拡張を用いて、特定のn頂点グラフに対して線形符号はほぼnビットを要するが、非線形符号はn^εビットで十分であることを示し、インデックス符号における線形と非線形の性能差が超多項式的であることを実証した。

ABSTRACT

The following source coding problem was introduced by Birk and Kol: a sender holds a word $x\in\{0,1\}^n$, and wishes to broadcast a codeword to $n$ receivers, $R_1,...,R_n$. The receiver $R_i$ is interested in $x_i$, and has prior \emph{side information} comprising some subset of the $n$ bits. This corresponds to a directed graph $G$ on $n$ vertices, where $i j$ is an edge iff $R_i$ knows the bit $x_j$. An \emph{index code} for $G$ is an encoding scheme which enables each $R_i$ to always reconstruct $x_i$, given his side information. The minimal word length of an index code was studied by Bar-Yossef, Birk, Jayram and Kol (FOCS 2006). They introduced a graph parameter, $\minrk_2(G)$, which completely characterizes the length of an optimal \emph{linear} index code for $G$. The authors of BBJK showed that in various cases linear codes attain the optimal word length, and conjectured that linear index coding is in fact \emph{always} optimal. In this work, we disprove the main conjecture of BBJK in the following strong sense: for any $ε> 0$ and sufficiently large $n$, there is an $n$-vertex graph $G$ so that every linear index code for $G$ requires codewords of length at least $n^{1-ε}$, and yet a non-linear index code for $G$ has a word length of $n^ε$. This is achieved by an explicit construction, which extends Alon's variant of the celebrated Ramsey construction of Frankl and Wilson. In addition, we study optimal index codes in various, less restricted, natural models, and prove several related properties of the graph parameter $\minrk(G)$.

研究の動機と目的

• Bar-Yossef らの予想である「インデックス符号問題において線形インデックス符号は常に最適である」という仮説を反証すること。
• 最適な非線形インデックス符号長が最小線形符号長よりも指数的に小さいような明示的な有向グラフの族を構築すること。
• minrkF(G) というグラフパラメータとそれが線形および非線形インデックス符号性能を特徴付ける役割を理解を拡張すること。
• 動的側情報条件下で複数のデータブロックを同時に送信する際の通信節約の可能性を調査すること。

提案手法

• 有限体上のFrankl-Wilsonラマヌジャン構成の拡張を用いて、特定の組合せ的性質を持つ有向グラフを構築する。
• 有限体上での側情報グラフの行列表現を定義し、minrkF(G)（体F上の最小ランク）を分析する。
• 特定のグラフに対して、minrk2(G) が ℓ(G)（最適非線形符号長）よりも超多項式的に大きいことを証明する。
• ラマヌジャン型グラフの構造を活用する代数的・組合せ的技法を用いて、明示的な非線形インデックス符号を構築する。
• minrk2(G) ≥ n^{1−ε} かつ ℓ(G) ≤ n^ε（任意の ε > 0 および十分大きな n）を示し、線形と非線形性能の差が超多項式的であることを示す。
• より一般的なインデックス符号シナリオを標準モデルに還元し、複数ブロックの共同送信がさらなる節約をもたらす可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフに対して、非線形インデックス符号が符号語長の面で線形符号を上回ることは可能か？
• RQ2 線形インデックス符号が常に最適であるという予想は誤りであり、そのギャップはどの程度定量的に示せるか？
• RQ3 最適非線形符号が最良線形符号よりも指数的に短いようなグラフの明示的構成は可能か？
• RQ4 一般のグラフに対して、minrk2(G)/ℓ(G) の漸近的挙動は何か？ そしてそれは超多項式的に大きくなるか？
• RQ5 動的側情報グラフ下で複数のデータブロックを同時に送信する際、通信節約が達成可能か？

主な発見

• 任意の ε > 0 および十分大きな n に対して、n 頂点の有向グラフ G が存在し、そのすべての線形インデックス符号は符号語長が少なくとも n^{1−ε} である一方、非線形インデックス符号は n^ε で達成可能である。
• 構築されたグラフはFrankl-Wilsonラマヌジャン構成の拡張に基づき、非線形符号が線形符号に対して超多項式的な利点を示す明示的族を提供する。
• minrk2(G) と ℓ(G) のギャップは、n / exp(O(√(log n log log n))) にまで達する可能性があり、これは超多項式的な分離を示している。
• より高次の有限体上の線形符号は、GF(2) 上の線形符号よりも、同じグラフに対して優れていることが示され、体の選択が線形性能に影響することを示している。
• 著者らは、任意の有限体上でも線形符号が最適でないようなグラフを構築し、最適性能を達成するには非線形符号が本質的に必要であることを示している。
• 結果として、固定された側情報グラフ上でbビットブロックを共同送信する場合、b·ℓ(G) ビット未満で済むことが示唆され、後続の研究で未解決の問いに肯定的に答えている。