[論文レビュー] Optimal Scalar Linear Index Codes for Some Symmetric Multiple Unicast Problems

Mahesh Babu Vaddi, Roop Kumar Bhattaram+1 more|arXiv (Cornell University)|Oct 19, 2015

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

ひとこと要約

本稿は、先行研究よりも少ないアンチドートを有する10の対称的複数ユニキャストインデックスコーディング問題について、送信長を最小化する明示的な符号設計により、容量に達する最適なスカラ線形インデックス符号を構築する。これらの符号は受信機が最小限の送信で復号可能であり、ノイジーなチャネルにおける誤り確率を低減する。各ケースについてランクに基づく解析と復号手順を用いて最適性を証明する。

ABSTRACT

The capacity of symmetric instance of the multiple unicast index coding problem with neighboring antidotes (side-information) with number of messages equal to the number of receivers was given by Maleki, Cadambe and Jafar. In this paper we consider ten symmetric multiple unicast problems with lesser antidotes than considered by them and explicitly construct scalar linear codes for these problems. These codes are shown to achieve the capacity or equivalently these codes shown to be of optimal length. Also, the constructed codes enable the receivers use small number of transmissions to decode their wanted messages which is important to have the probability of message error reduced in a noisy broadcast channel. Some of the cases considered are shown to be critical index coding problems and these codes help to identify some of the subclasses considered by others to be not critical index coding problems.

研究の動機と目的

• 先行研究と比較してアンチドート集合を削減した対称的複数ユニキャストインデックスコーディング問題に対して、最適長スカラ線形符号を設計すること。
• 特定の対称的構成において、限られたサイドインフォーメーションを有する場合に、構築した符号が理論的容量に達することを示すこと。
• ノイジーなブロードキャストチャネルにおける誤り確率を低減するために、受信機ごとの送信数を最小化すること。
• 特定の部分クラスが臨界でないことを示すことで、問題空間の構造的理解を精緻化すること。

提案手法

• 一方向のアンチドートを有する10の具体的な対称的複数ユニキャストインデックスコーディング問題を提示し、周期的メッセージ依存関係と構造的サイドインフォーメーションによって定義する。
• ソースメッセージの線形結合を用いてスカラ線形インデックス符号を構築し、符号記号はGF(2)上での周期的シフトとモジュラー算術に基づいて形成される。
• ランクに基づく最適性証明を採用し、符号記号の数がサイドインフォーマーショングラフのminrankに等しいことを示し、容量を達成する性能を確認する。
• ケースバイケースの復号解析を実施：受信機が最初のλ個または最後のD+2λ個の位置にある場合は1つの符号記号で復号可能。それ以外の場合は干渉をキャンセルするために複数の符号記号を合算する。
• 符号記号のモジュラーインデックス付けとグループ化（例：p = K/(K−D+λ)に基づく）を適用し、干渉キャンセレーションと効率的な復号を可能にする。
• 符号の最適性を検証し、送信記号数が理論的容量C = 1/(K−D)（D ≤ K−2のとき）と一致することを確認することで、最小長であることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 Malekiら[1]の研究よりも少ないアンチドートを有する対称的複数ユニキャスト問題に対して、最適なスカラ線形インデックス符号を構築可能か？
• RQ2 メッセージ依存関係とサイドインフォーメーションにどのような構造的条件が、最小の復号送信数を有する最適長符号をもたらすか？
• RQ3 広範なクラスに属するが、臨界でない対称インデックスコーディング問題の部分クラスは存在するか？
• RQ4 容量を達成する符号長を維持しつつ、最小限の送信で受信機で干渉を効率的にキャンセルする方法は何か？
• RQ5 周期的パターン（例：λ, D, K−D）は、最適な符号構築と復号を可能にする上でどのような役割を果たすか？

主な発見

• 本稿は、アンチドート集合を削減した10の対称的複数ユニキャスト問題に対して、最適なスカラ線形インデックス符号を構築し、各ケースで容量に達することを確認した。
• 10のすべてのケースにおいて、送信符号記号数が理論的容量C = 1/(K−D)（D ≤ K−2のとき）と一致しており、最適性が裏付けられた。
• K=28, D=18, λ=2の例10では、10回の送信で容量に達しており、符号帳はGF(2)上での28×10行列として明示的に与えられている。
• 最初のλ個の位置にいる受信機は1つの符号記号で復号可能。それ以外の受信機は最大⌈(K−D−λ)/λ⌉回の送信を用い、誤りに強い通信を実現する。
• 符号の最適性はminrankの等価性により示された：符号化行列のランクがサイドインフォーマーショングラフのminrankと等しい。
• 解析により、従来臨界であると想定されていたインデックスコーディング問題の一部が、実際には臨界でないことが判明した。その問題のエッジは容量に不可欠ではない。