[论文解读] 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）的单播索引编码问题的近似最优向量线性索引码构造方法，其速率与理论下限之间的差距有界。该方法引入了一类2元组(a,b)，使得在任意域上均可实现速率$ D+1 + \frac{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 $）的精确容量结果推广至更广泛的参数类别。
• 为所构造的向量线性索引码提供低复杂度的解码过程。

提出的方法

• 定义一组2元组$ \mathcal{S} $，使得在任意域上均可通过向量线性索引码实现速率$ D+1 + \frac{a}{b} $。
• 使用AIR（相邻独立行）矩阵构造索引码，以确保任意域上相邻行的线性无关性。
• 基于扩展欧几里得算法的递归结构，生成具有受控行依赖关系和干扰模式的码矩阵。
• 设计一种解码过程，利用辅信息和编码符号组合来消除干扰符号，确保正确解码所需符号。
• 证明所构造的码在广播速率已知下限的$ \frac{K \mod (D+1)}{\lfloor K/(D+1) \rfloor} $范围内。
• 验证该构造可作为特例恢复三个已知的精确容量结果，包括Maleki等人关于渐近容量的结果以及Blasiak等人在$ D=U=1 $时的结果。

实验结果

研究问题

• RQ1 能否为具有任意K、U和D的SUICP-SNI构造出近似最优的向量线性索引码，使其速率接近理论下限？
• 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} $。
• 该构造可作为特例恢复Maleki等人（渐近情形，$ K \to \infty $）和Blasiak等人（$ D=U=1 $，有限K）的精确容量结果。
• AIR矩阵构造确保任意$ n $个相邻行在任意域上均线性无关，从而支持鲁棒的码设计。
• 提供了一种低复杂度的解码过程，每个接收端通过基于辅信息添加特定编码符号来消除干扰符号。
• 解码过程被证明能正确恢复所需的消息符号，即使在对称邻近干扰下，也利用了码的结构和辅信息。