[論文レビュー] Optimal Linear Broadcast Rates of the Two-Sender Unicast Index Coding Problem with Fully-Participated Interactions

Chinmayananda Arunachala, Vaneet Aggarwal+1 more|arXiv (Cornell University)|Aug 29, 2018

Cooperative Communication and Network Coding参考文献 17被引用数 4

ひとこと要約

本稿は、すべての送信者が共同で全メッセージを所有し、受信者が側情報を持つ完全参加型相互作用下における2送信者ユニキャストインデックスコーディング問題の最適線形ブロードキャストレートと明示的な符号構成を確立する。最適レートは、関連する3つの単一送信者部分問題の最適レートから導出され、部分参加型相互作用ケースに対するタイトな下界を提供し、マルチ送信者インデックスコーディングシステムにおけるスケーラブルな解決策を可能にする。

ABSTRACT

The two-sender unicast index coding problem consists of finding optimal coded transmissions from the two senders which collectively know the messages demanded by all the receivers. Each receiver demands a unique message. One important class of this problem consists of the message sets at the senders and the side-information at the receivers satisfying \emph{fully-participated interactions}. This paper provides optimal linear broadcast rates and corresponding code constructions for all the possible cases of the two-sender unicast index coding problem with fully-participated interactions. The optimal linear broadcast rate and the corresponding code for the two-sender problem are given in terms of those of the three single-sender unicast problems associated with the two-sender problem. Optimal linear broadcast rates of two-sender problems with fully-participated interactions provide lower bounds for the optimal linear broadcast rates of many related two-sender problems with \emph{partially-participated interactions}. Proof techniques used to obtain the results for the two-sender problem are shown to be useful in obtaining the results for some cases of the multi-sender unicast index coding problem.

研究の動機と目的

• 完全参加型相互作用下における2送信者ユニキャストインデックスコーディング問題（TUICP）のすべてのケースについて、最適線形ブロードキャストレートとそれに応じた符号を特定すること。
• 2送信者問題の最適レートを、3つの構成要素となる単一送信者ユニキャストインデックスコーディング問題の最適レートの関数として表現すること。
• 部分参加型相互作用を伴う関連する2送信者問題の最適線形ブロードキャストレートに対してタイトな下界を提供すること。
• 正確な最適性が達成しにくい場合に、部分最適だが構造的な解決策を提供するため、証明技法をマルチ送信者インデックスコーディング問題へ拡張すること。
• 2送信者TUICPを解く複雑さを、より単純な単一送信者問題に還元するフレームワークを確立すること。

提案手法

• 問題は、側情報ディグラフの3つの頂点誘導部分グラフに分解され、それぞれが送信者1、送信者2、および両送信者に存在するメッセージ集合に対応する。
• 2送信者問題の最適線形ブロードキャストレートは、個々の部分グラフの最適レートの最大値の和として計算される：$\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = \max\{\beta^{l}_{t}(\mathcal{D}_1), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \max\{\beta^{l}_{t}(\mathcal{D}_2), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \beta^{l}_{t}(\mathcal{D}_{\{1,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{2,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{1,2,3\}})$。
• 符号構成は、3つの単一送信者部分問題からの最適線形符号を組み合わせることで実施され、受信者がその側情報を用いて復号可能であることを保証する。
• 相互作用ディグラフを用いて、メッセージの可用性と側情報構造に基づいて問題を分類し、すべてのメッセージ相互作用が完全に共有される状況を完全参加型相互作用と定義する。
• 部分問題分解に基づく証明技法をマルチ送信者設定へ拡張し、正確な最適性が困難な場合に部分最適だが構造的な解決策を提供する。
• 完全参加型ケースにおける最適線形レートが、同じ部分問題構造を持つ部分参加型変種の下界として機能することを活用する。

実験結果

リサーチクエスチョン

• RQ1 すべての相互作用が完全に参加されている場合、2送信者ユニキャストインデックスコーディング問題の最適線形ブロードキャストレートは何か？
• RQ2 2送信者問題の最適レートは、3つの単一送信者部分問題の最適レートをどのように表現できるか？
• RQ3 完全参加型相互作用に用いられた証明技法を、部分参加型相互作用ケースの境界や解決策を導出するために一般化できるか？
• RQ4 完全参加型相互作用下における2送信者TUICPの最適線形符号の構造は何か？
• RQ5 完全参加型相互作用の結果が、より一般的な2送信者TUICPインスタンスに対する下界をどのように提供するか？

主な発見

• すべての完全参加型相互作用を持つ2送信者ユニキャストインデックスコーディング問題の最適線形ブロードキャストレートは、3つの単一送信者部分問題からの最大レートの和として与えられ、式 $\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = \max\{\beta^{l}_{t}(\mathcal{D}_1), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \max\{\beta^{l}_{t}(\mathcal{D}_2), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \beta^{l}_{t}(\mathcal{D}_{\{1,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{2,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{1,2,3\}})$ で明示される。
• 10メッセージと完全参加型相互作用を伴う例では、最適線形ブロードキャストレートは $\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = 5$ であり、$\beta^{l}_{t}(\mathcal{D}_{\{1,2\}}) = 2$ で、他のすべての項は1に等しい。
• 最適線形符号は、3つの単一送信者部分問題からの最適符号を組み合わせることで構成され、たとえば $\mathcal{C}_{\{1,2\}} = ({\bf{x}}_4, {\bf{x}}_8)$ および $\mathcal{C}_{\{2,3\}} = {\bf{x}}_5 \oplus {\bf{x}}_6$ のように表される。
• これらの結果は、同じ部分問題構造を持つ部分参加型相互作用を伴う2送信者問題の最適線形ブロードキャストレートに対して非自明な下界を提供する。
• 証明技法はマルチ送信者設定へ拡張可能であり、正確な最適性が困難な場合に部分最適だが構造的な解決策を導くフレームワークを提供する。
• このフレームワークにより、2送信者TUICPを解く複雑さが、3つの単一送信者ユニキャストインデックスコーディング問題に還元され、解析と符号設計の大幅な簡素化が可能になる。