[論文レビュー] On the Relation Between the Index Coding and the Network Coding Problems

Salim El Rouayheb, Alex Sprintson+1 more|ArXiv.org|Feb 1, 2008

Cooperative Communication and Network Coding参考文献 7被引用数 34

ひとこと要約

この論文は、一般のネットワークコーディング問題をインデックスコーディング問題へ還元することを確立し、ネットワークコーディングの重要な性質—たとえばスカラーやベクターライナー・コーディングの不十分さ—がインデックスコーディングへと持ち越されることを示している。非線形インデックスコーディングがベクターライナー・コーディングでさえも上回ることを証明し、インデックスコーディングにおける最適性に関する長年の予想を解消した。

ABSTRACT

In this paper we show that the Index Coding problem captures several important properties of the more general Network Coding problem. An instance of the Index Coding problem includes a server that holds a set of information messages $X=\{x_1,...,x_k\}$ and a set of receivers $R$. Each receiver has some side information, known to the server, represented by a subset of $X$ and demands another subset of $X$. The server uses a noiseless communication channel to broadcast encodings of messages in $X$ to satisfy the receivers' demands. The goal of the server is to find an encoding scheme that requires the minimum number of transmissions. We show that any instance of the Network Coding problem can be efficiently reduced to an instance of the Index Coding problem. Our reduction shows that several important properties of the Network Coding problem carry over to the Index Coding problem. In particular, we prove that both scalar linear and vector linear codes are insufficient for achieving the minimal number of transmissions.

研究の動機と目的

• インデックスコーディング問題とネットワークコーディング問題の間の正式な関係を確立すること。
• ネットワークコーディングにおける線形コーディングの制限といった性質が、インデックスコーディングへも拡張されるかどうかを調査すること。
• スカラーライナー・インデックスコーディングの最適性に関する未解決の予想を解消すること。
• ベクターライナー・コーディングの不十分性と、インデックスコーディングにおける非線形解法の優位性を示すこと。

提案手法

• 任意のネットワークコーディングインスタンスを同等のインデックスコーディングインスタンスへ還元する構成を行う。
• 還元を用いて、ネットワークコーディングから得られた既知の結果—特に線形コーディングの制限に関する結果—をインデックスコーディングへと移転する。
• 先行研究における非パッパス・ネットワーク例を活用し、スカラーライナー解がないインデックスコーディングインスタンスを構築する。
• Doughertyら[9]の構成を応用して、線形解がないが非線形解があるネットワークを構築し、これをインデックスコーディングに翻訳する。
• 非線形コーディングがより少ない送信数を達成できるインデックスコーディングインスタンスを構築することで、ベクターライナー・コーディングが不十分であることを証明する。
• 有限体表現と多変数線形関数を用いて、特にGF(2)およびGF(3)上での符号化方式をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 ネットワークコーディング問題をインデックスコーディング問題へ還元する際、重要な符号化性質が保存されるか？
• RQ2 ネットワークコーディングにおけるスカラーライナー・コーディングの制限が、インデックスコーディングに対しても同様に適用されるか？
• RQ3 ベクターライナー・コーディングがスカラーライナー・コーディングを上回るインデックスコーディング問題のインスタンスが存在するか？
• RQ4 非線形インデックスコーディングが、たとえベクターライナー・コーディングであっても、より少ない送信数を達成できるか？
• RQ5 ネットワークコーディングと同様に、インデックスコーディングにおいて線形解と非線形解の間に根本的なギャップが存在するか？

主な発見

• ネットワークコーディングからインデックスコーディングへの還元は、同じ体上での線形解の存在を保持するため、結果の移転が可能になる。
• Mネットワークや非パッパス・ネットワークから導かれるインデックスコーディングインスタンス—これらでは、ベクターライナー・コーディングがスカラーライナー・コーディングを上回る。
• Mネットワークに基づくインデックスコーディングインスタンスでは、ベクターライナー・コーディング（GF(2)上）を用いた最適解が2回の送信で達成可能であるが、スカラーライナー・コーディングではそれより多く必要となる。
• 非パッパス・ネットワークに基づくインスタンスでは、GF(3)上でのベクターライナー・コーディングが最適な2回の送信制限に達するが、スカラーライナー・コーディングでは失敗する。
• 本論文は、ベクターライナー・コーディングが不十分であることを証明した：非線形コーディングが理論的最小値に達するインデックスコーディングインスタンスが存在するが、すべての線形コーディング（スカラーライナーまたはベクターライナー）はより多くの送信を要する。
• 特に、ネットワーク $\mathcal{N}_3$ から導かれるインスタンスについて、$\lambda(2,4) = \mu(\mathcal{I}_{\mathcal{N}_3})$ であるが、すべての $n$ および $q$ に対して $\lambda^*(n,q) < \lambda(n,q)$ であるため、非線形コーディングが線形コーディングを上回ることを証明した。