[论文解读] Non-linear index coding outperforming the linear optimum

Eyal Lubetzky, Uri Stav|ArXiv.org|Jun 11, 2008

Cooperative Communication and Network Coding参考文献 9被引用 8

一句话总结

本文构建了显式的有向图，其中非线性索引编码的码字长度远短于任何线性编码，从而推翻了长期存在的猜想：线性索引编码始终最优。通过将有限域上的Frankl-Wilson Ramsey构造方法加以扩展，作者证明：对于某些n个顶点的图，线性编码需要接近n比特，而非线性编码仅需n^ε比特，展示了索引编码中线性与非线性性能之间的超多项式差距。

ABSTRACT

The following source coding problem was introduced by Birk and Kol: a sender holds a word $x\in\{0,1\}^n$, and wishes to broadcast a codeword to $n$ receivers, $R_1,...,R_n$. The receiver $R_i$ is interested in $x_i$, and has prior \emph{side information} comprising some subset of the $n$ bits. This corresponds to a directed graph $G$ on $n$ vertices, where $i j$ is an edge iff $R_i$ knows the bit $x_j$. An \emph{index code} for $G$ is an encoding scheme which enables each $R_i$ to always reconstruct $x_i$, given his side information. The minimal word length of an index code was studied by Bar-Yossef, Birk, Jayram and Kol (FOCS 2006). They introduced a graph parameter, $\minrk_2(G)$, which completely characterizes the length of an optimal \emph{linear} index code for $G$. The authors of BBJK showed that in various cases linear codes attain the optimal word length, and conjectured that linear index coding is in fact \emph{always} optimal. In this work, we disprove the main conjecture of BBJK in the following strong sense: for any $ε> 0$ and sufficiently large $n$, there is an $n$-vertex graph $G$ so that every linear index code for $G$ requires codewords of length at least $n^{1-ε}$, and yet a non-linear index code for $G$ has a word length of $n^ε$. This is achieved by an explicit construction, which extends Alon's variant of the celebrated Ramsey construction of Frankl and Wilson. In addition, we study optimal index codes in various, less restricted, natural models, and prove several related properties of the graph parameter $\minrk(G)$.

研究动机与目标

• 推翻Bar-Yossef等人提出的猜想：线性索引编码对索引编码问题始终最优。
• 构建显式有向图族，使得最优非线性索引编码长度远小于最小线性编码长度。
• 扩展对图参数minrkF(G)及其在刻画线性与非线性索引编码性能中作用的理解。
• 探索在动态侧信息条件下同时传输多个数据块时可能实现的通信节省。

提出的方法

• 将Alon对Frankl-Wilson Ramsey构造的变体扩展，以构建具备特定组合性质的有向图。
• 在有限域上定义侧信息图的矩阵表示，以分析minrkF(G)，即在域F上的最小秩。
• 证明：对于某些图，minrk2(G)相对于ℓ(G)（最优非线性编码长度）呈超多项式增长。
• 利用Ramsey型图的结构，通过代数与组合技术显式构造非线性索引编码。
• 通过证明minrk2(G) ≥ n^{1−ε}而ℓ(G) ≤ n^ε（对任意ε > 0且足够大的n），展示线性与非线性性能之间的差距可达到超多项式级别。
• 将更一般的索引编码场景约化为标准模型，表明多个数据块的联合传输可进一步节省通信开销。

实验结果

研究问题

• RQ1 对于任意图，非线性索引编码是否能在码字长度上优于线性编码？
• RQ2 线性索引编码始终最优的猜想是否错误？若错误，该差距可如何量化？
• RQ3 能否给出显式构造，使得在某些图中，最优非线性编码长度远短于最佳线性编码？
• RQ4 对于一般图，minrk2(G)/ℓ(G)的渐近行为如何？该比值是否可为超多项式？
• RQ5 在动态侧信息图条件下，同时传输多个数据块时能否实现通信节省？

主要发现

• 对任意ε > 0及足够大的n，存在一个n个顶点的有向图G，使得所有线性索引编码的码字长度至少为n^{1−ε}，而非线性编码可将长度压缩至n^ε。
• 所构造的图基于Frankl-Wilson Ramsey构造的扩展，提供了显式图族，其中非线性编码相比线性编码具有超多项式优势。
• minrk2(G)与ℓ(G)之间的差距最大可达n / exp(O(√(log n log log n)))，表明存在超多项式分离。
• 在更高阶有限域上的线性编码优于GF(2)上的线性编码，表明域的选择会影响线性性能。
• 作者构造了即使在任意有限域上，线性编码仍次优的图，表明非线性编码在最优性能中具有根本必要性。
• 结果表明，对固定侧信息图联合传输b比特数据块，所需比特数可少于b·ℓ(G)，从而在后续工作中正面回答了一个开放问题。