[论文解读] Capacity of Some Index Coding Problems with Symmetric Neighboring Interference

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

Cooperative Communication and Network Coding参考文献 6被引用 5

一句话总结

该论文推导了具有 K 个有限消息、在目标消息之后有 D 个干扰消息、在目标消息之前有 U = gcd(K, D+1) - 1 个干扰消息的对称邻近干扰单播索引编码问题（SNI-SUICP）的容量。作者通过在任意有限域上构造 K×(D+1) 阶相邻行独立（AIR）矩阵，生成了最优线性索引编码，实现了每条消息符号 1/(D+1) 的理论容量。

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 symmetric neighboring interference single unicast index coding problem (SNI-SUICP) with $(K)$ tending to infinity and Blasiak, Kleinberg and Lubetzky for the special case of $(D=U=1)$ with $K$ being finite. In this work, for any finite $K$ and arbitrary $D$ we obtain the capacity for the case $U=gcd(K,D+1)-1.$ Our proof is constructive, i.e., we give an explicit construction of a linear index code achieving the capacity.

研究动机与目标

• 确定有限 K 下对称邻近干扰单播索引编码问题（SNI-SUICP）的精确容量，扩展以往仅适用于渐近情况或特殊情形的结果。
• 通过为一类广泛参数（具体为 U = gcd(K, D+1) - 1）提供构造性解法，填补对 SNI-SUICP 容量理解的空白。
• 证明大小为 K×(D+1) 的相邻行独立（AIR）矩阵可作为编码矩阵，在任意有限域上生成最优线性索引编码。
• 将 Maleki 等人（渐近容量）和 Blasiak 等人（特定情形 D=U=1）的先前结果统一并推广为适用于有限 K 的单一通用框架。

提出的方法

• 作者定义了包含 K 个消息和 K 个接收者的 SNI-SUICP，其中每个接收者 R_k 期望获得 x_k，并拥有除其目标消息以及之后 D 个消息和之前 U 个消息之外的侧信息。
• 他们引入并利用了大小为 K×(D+1) 的相邻行独立（AIR）矩阵的结构，该结构旨在确保编码传输满足所有接收者的解码约束。
• 证明过程基于接收者索引 k 进行案例分析，根据接收者相对于由 GCD 参数 λ = gcd(K, D+1) 定义的块结构的位置，将接收者划分为四种不同情形。
• 对于每种情形，作者验证了索引编码中所有干扰消息符号均可通过侧信息和先前解码的符号进行消除，从而确保目标消息 x_k 可被唯一解码。
• 解码过程依赖于索引编码符号在 AIR 矩阵结构中特定位置的和能够消除所有干扰符号，仅留下目标消息的性质。
• 该构造在任意有限域上均有效，且索引编码长度被证明恰好为每条消息 K/(D+1) 个符号，从而证明了最优性。

实验结果

研究问题

• RQ1 当干扰消息数量在目标消息之前为 U = gcd(K, D+1) - 1 时，有限 K 下 SNI-SUICP 的精确容量是多少？
• RQ2 能否设计一种显式的、构造性的线性编码方案，以实现该类 SNI-SUICP 的理论容量 1/(D+1)？
• RQ3 AIR 矩阵的哪些结构性质使得每个接收者能够消除所有干扰符号？
• RQ4 所提出的构造是否适用于任意有限域，从而确保其在超越特定代数约束下的实际适用性？
• RQ5 以 GCD 参数化 U 的方式如何与 SNI-SUICP 中干扰模式的周期性和对称性相关联？

主要发现

• 对于具有有限 K、目标消息后有 D 个干扰消息、且目标消息前有 U = gcd(K, D+1) - 1 个干扰消息的 SNI-SUICP，其容量恰好为每条消息符号 1/(D+1)。
• 作者通过使用 K×(D+1) 阶相邻行独立（AIR）矩阵，构造出一种显式的线性索引编码，在任意有限域上实现了该最优容量。
• 通过证明所有干扰符号均可利用侧信息和编码符号之和在每个接收者 R_k 处被消除，验证了其解码过程的可行性。
• 证明过程全面覆盖全部 K 个接收者，基于 λ = gcd(K, D+1) 所诱导的块结构，对接收者索引进行四类情形分析。
• 该构造为最优且最小化，总索引编码长度恰好为 K/(D+1) 个符号，与理论下限完全一致。
• 该结果推广并统一了先前成果：既包含了 Maleki 等人（当 K→∞ 时容量为 1/(D+1)）的渐近结果，也包含了 Blasiak 等人针对 D=U=1 的有限 K 情形结果。