[論文レビュー] Near-Optimal Vector Linear Index Codes For Single Unicast Index Coding Problems with Symmetric Neighboring Interference

Mahesh Babu Vaddi, B. Sundar Rajan|arXiv (Cornell University)|May 28, 2017

Cooperative Communication and Network Coding参考文献 1被引用数 3

ひとこと要約

本稿は、対称的隣接干渉を有する単一ユニキャストインデックスコーディング問題（SUICP-SNI）に対して、理論的下界からの有界ギャップ内で近似的最適なベクトル線形インデックスコーディング構成を提案する。任意の体上で実現可能なレート $ D+1 + \frac{a}{b} $ を有する2-タプル (a,b) の族を導入し、下界とのギャップを $ \frac{K \mod (D+1)}{\lfloor K/(D+1) \rfloor} $ として定量的に評価することで、既知の正確な容量結果を特別なケースとして回復する。

ABSTRACT

A single unicast index coding problem (SUICP) with symmetric neighboring interference (SNI) has equal number of $K$ messages and $K$ receivers, the $k$th receiver $R_{k}$ wanting the $k$th message $x_{k}$ and having the side-information $\mathcal{K}_{k}=(\mathcal{I}_{k} \cup x_{k})^c,$ where ${I}_k= \{x_{k-U},\dots,x_{k-2},x_{k-1}\}\cup\{x_{k+1}, x_{k+2},\dots,x_{k+D}\}$ is the interference with $D$ messages after and $U$ messages before its desired message. Maleki, Cadambe and Jafar obtained the capacity of this single unicast index coding problem with symmetric neighboring interference (SUICP-SNI) with $K$ tending to infinity and Blasiak, Kleinberg and Lubetzky for the special case of $(D=U=1)$ with $K$ being finite. In our previous work, we proved the capacity of SUICP-SNI for arbitrary $K$ and $D$ with $U= ext{gcd}(K,D+1)-1$. This paper deals with near-optimal linear code construction for SUICP-SNI with arbitrary $K,U$ and $D.$ For SUICP-SNI with arbitrary $K,U$ and $D$, we define a set of $2$-tuples such that for every $(a,b)$ in that set the rate $D+1+\frac{a}{b}$ is achieved by using vector linear index codes over every field. We prove that the set $\mathcal{\mathbf{S}}$ consists of $(a,b)$ such that the rate of constructed vector linear index codes are at most $\frac{K~ ext{mod}~(D+1)}{\left \lfloor \frac{K}{D+1} ight floor}$ away from a known lower bound on broadcast rate of SUICP-SNI. The three known results on the exact capacity of the SUICP-SNI are recovered as special cases of our results. Also, we give a low complexity decoding procedure for the proposed vector linear index codes for the SUICP-SNI.

研究の動機と目的

• 任意の K, U, D に対して、対称的隣接干渉を有する単一ユニキャストインデックスコーディング問題（SUICP-SNI）の近的最適なベクトル線形インデックスコーディングを設計すること。
• SUICP-SNIの既知の下界に定量的にギャップを有するブロードキャストレートを達成すること。
• 特定の U 値（例：$ U = \gcd(K, D+1) - 1 $）における既存の正確容量結果を、より広いパラメータクラスに一般化すること。
• 構築されたベクトル線形インデックスコーディングに対して低複雑度のデコード手順を提供すること。

提案手法

• 任意の体上でレート $ D+1 + \frac{a}{b} $ が実現可能な2-タプル (a,b) の集合 $ \mathcal{S} $ を定義する。
• 任意の体上で隣接する行が線形独立となるように保証するため、AIR（隣接独立行）行列を用いてインデックスコーディングを構築する。
• 拡張ユークリッドアルゴリズムに基づく再帰的構造を用い、行の依存関係と干渉パターンを制御された形で生成する。
• 側情報と符号記号の組み合わせを活用して干渉するメッセージをキャンセルするデコード手順を設計し、望ましい記号の正しく復元を保証する。
• 構築されたコードが、ブロードキャストレートの既知の下界からのギャップが $ \frac{K \mod (D+1)}{\lfloor K/(D+1) \rfloor} $ 以内であることを証明する。
• 構成が、マリキらの漸近的容量結果およびブラシアックらの $ D=U=1 $ 結果を含む、3つの既知の正確容量結果を特別なケースとして回復することを検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の K, U, D に対して、理論的下界に近いレートを達成する近的最適なベクトル線形インデックスコーディングを構築可能か？
• RQ2 構築されたコードのレートと、SUICP-SNIの既知のブロードキャストレート下限との最大ギャップは何か？
• RQ3 この構成は、既知の正確容量結果を特別なケースとして回復できるように一般化可能か？
• RQ4 任意の体上で隣接行が線形独立となるコード行列の構造は何か？
• RQ5 側情報と符号記号のみを用いて効率的にデコード可能な低複雑度のデコード手順を設計可能か？

主な発見

• 提案されたベクトル線形インデックスコーディングは、2-タプル (a,b) の集合に対して $ D+1 + \frac{a}{b} $ のレートを達成し、任意の有限体上で有効である。
• 構築されたコードのレートは、SUICP-SNIのブロードキャストレートの既知の下界からのギャップが $ \frac{K \mod (D+1)}{\lfloor K/(D+1) \rfloor} $ 以内である。
• 構成は、マリキらの結果（漸近的、$ K \to \infty $）およびブラシアックらの結果（$ D=U=1 $、有限 K）という既知の正確容量結果を特別なケースとして回復する。
• AIR行列構成により、任意の $ n $ 個の隣接行が任意の体上で線形独立となることが保証され、堅牢なコード設計が可能になる。
• 低複雑度のデコード手順が提供され、各受信者は側情報を基に特定の符号記号を加算することで干渉する記号をキャンセルする。
• コードの構造と側情報を活用することで、デコードプロセスが正しく望ましいメッセージ記号を復元することを証明し、対称的隣接干渉下でも正しく動作することが確認された。