[論文レビュー] 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）の使用が、単一ビットの独立符号化（t = 1）と比較して、通信コストを厳密に低減できるか？
• RQ2 漸近的レート β が有界（例えば β = 2）であるが、1 ビットブロックレート β₁ が任意に大きいようなブロードキャスト設定が存在するか？
• RQ3 独立なブロードキャスト設定の和集合に対する最適符号が、個別設定の最適符号を連結したものよりも著しく優れた性能を達成できるか？
• RQ4 線形符号と非線形符号の間の最大ギャップはどれほど大きくできるか？また、そのギャップを任意に大きくできるか？
• RQ5 特定のハイパーグラフの混乱グラフが、彩色数と分数彩色数の間に非定数のギャップを示すか？

主な発見

• 任意の定数 C に対して、β = 2 であるが β₁ > C となるようなブロードキャスト設定が存在し、大規模ブロック符号化が 1 ビット符号化に対して任意に大きな利得をもたらすことを証明した。
• 本稿は、最適符号がブロックあたり最大 ≈2.265 ビットで十分であるが、任意の線形符号が少なくとも 3 ビットを必要とするサイズ 48 の明示的ネットワークを構成した。これにより、比率は 1.324 に達する。
• 奇数サイクル C₂ₙ₊₁ の補グラフについて、混乱グラフの彩色数が分数彩色数よりも定数倍 c > 1 だけ大きいことが示された。この定数は n に依存しない。
• C₂₃ の補グラフの混乱グラフについて、分数彩色数は ≤ 4.809、彩色数は少なくとも 3 であるため、符号化効率に非自明なギャップが生じる。
• 分数彩色数が有界（<7）であるが彩色数が √log n のオーダーで無限大に発散するようなハイパーグラフが存在し、1 ビットケースにおいて対数ギャップが生じる。
• 特定のハイパーグラフ族において、k 個の独立コピーの最適符号は k に対して線形通信量で十分であるが、個別コピーの符号を連結した場合、超線形通信量が必要となる。