[论文解读] Broadcasting with side information

Noga Alon, Avinatan Hasidim+3 more|ArXiv.org|Jun 19, 2008

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

一句话总结

本文研究了带有附加信息的数据块广播问题，表明与独立处理每个比特相比，使用大块可显著降低通信开销。关键贡献在于证明了渐近广播速率 β 可严格小于 1 比特块速率 β₁，且给出了显式构造示例，其中 β = 2 但 β₁ > C 对任意常数 C 成立，展示了编码效率中存在显著的非线性增益。

ABSTRACT

A sender holds a word x consisting of n blocks x_i, each of t bits, and wishes to broadcast a codeword to m receivers, R_1,...,R_m. Each receiver R_i is interested in one block, and has prior side information consisting of some subset of the other blocks. Let β_t be the minimum number of bits that has to be transmitted when each block is of length t, and let βbe the limit β= \lim_{t o \infty} β_t/t. In words, βis the average communication cost per bit in each block (for long blocks). Finding the coding rate β, for such an informed broadcast setting, generalizes several coding theoretic parameters related to Informed Source Coding on Demand, Index Coding and Network Coding. In this work we show that usage of large data blocks may strictly improve upon the trivial encoding which treats each bit in the block independently. To this end, we provide general bounds on β_t, and prove that for any constant C there is an explicit broadcast setting in which β= 2 but β_1 > C. One of these examples answers a question of Lubetzky and Stav. In addition, we provide examples with the following counterintuitive direct-sum phenomena. Consider a union of several mutually independent broadcast settings. The optimal code for the combined setting may yield a significant saving in communication over concatenating optimal encodings for the individual settings. This result also provides new non-linear coding schemes which improve upon the largest known gap between linear and non-linear Network Coding, thus improving the results of Dougherty, Freiling, and Zeger. The proofs use ideas related to Witsenhausen's rate, OR graph products, colorings of Cayley graphs and the chromatic numbers of Kneser graphs.

研究动机与目标

• 理解当接收方对其他块具有先验附加信息时，广播数据块的渐近通信开销。
• 研究使用大块（t > 1）是否能获得严格优于独立处理每个比特（t = 1）的编码速率。
• 建立广播设置中最优速率 β 有界的（例如 β = 2），但 1 比特块速率 β₁ 可任意大。
• 探索广播编码、混淆图的色数与分数色数，以及网络编码之间的联系，特别是线性与非线性解之间的差距。
• 构造显式示例，表明联合多个独立广播设置的最优编码性能显著优于单独最优编码的拼接，揭示了直接和现象。

提出的方法

• 将 β(H) 定义为当 t → ∞ 时 βₜ(H)/t 的极限，表示广播所需每块比特的渐近平均比特数。
• 利用 βₜ(H) 的次可加性及 Fekete 引理，证明极限的存在性：β(H) = infₜ βₜ(H)/t。
• 使用有向超图 H 建模问题，其中每个接收方对应一条从其所需块指向其已知附加信息块的有向边。
• 将广播问题与从超图 H 导出的混淆图的色数和分数色数联系起来。
• 利用 Cayley 图、Witsenhausen 的速率以及 Kneser 图的性质，推导 β(H) 的界限，尤其针对奇圈的补图。
• 构造显式图族（例如奇圈的补图），其色数远大于分数色数，从而导致 β₁ 与 β 之间存在显著差距。

实验结果

研究问题

• RQ1 使用大块数据（t > 1）是否能实现显著低于独立编码单个比特的通信开销？
• RQ2 是否存在广播设置使得渐近速率 β 有界（例如 β = 2），但 1 比特块速率 β₁ 可任意大？
• RQ3 联合多个独立广播设置的最优编码是否能实现显著优于拼接各独立设置最优编码的性能？
• RQ4 线性与非线性网络编码之间的最大可能差距是多少？该差距能否任意大？
• RQ5 某些超图的混淆图是否表现出色数与分数色数之间的超常数差距？

主要发现

• 对任意常数 C，存在一个广播设置使得 β = 2 但 β₁ > C，证明大块编码相比 1 比特编码可实现任意大的增益。
• 本文构造了一个大小为 48 的显式网络，其最优编码每块最多需要 ≈2.265 比特，但任何线性编码至少需要 3 比特，对应比率 1.324。
• 对于奇圈 C₂ₙ₊₁ 的补图，混淆图的色数比分数色数大一个与 n 无关的常数因子 c > 1。
• C₂₃ 补图的混淆图具有分数色数 ≤ 4.809，色数至少为 3，从而在编码效率上展现出非平凡差距。
• 存在超图，其混淆图的分数色数有界（<7），但色数无界（Ω(√log n)），导致 1 比特情形下出现对数级差距。
• 对于某些超图族，k 个该设置的独立副本的最优编码仅需关于 k 的线性通信量，而各副本最优编码的拼接则需要超线性通信量。