[論文レビュー] Multicasting correlated multi-source to multi-sink over a network

Te Sun Han|arXiv (Cornell University)|Jan 6, 2009

Cooperative Communication and Network Coding参考文献 24被引用数 3

ひとこと要約

この論文は、一般の容量と定常エルゴード的相関源を持つノイズの多いネットワークにおいて、複数の源から複数のシンクへの信頼性の高いマルチキャストを実現するための必要十分条件を確立する。単一源マルチキャスト（Ahlswedeら）と相関源・単一シンク（Han, 1980）のモデルを統合することで、条件付きエントロピー率とネットワーク容量関数に基づく一致条件を導入し、メンジャーの定理や整数容量や誤りなしチャネルといった制限付き仮定に依存しない共同ソース・チャネル符号化を可能にする。

ABSTRACT

The problem of network coding with multicast of a single source to multisink has first been studied by Ahlswede, Cai, Li and Yeung in 2000, in which they have established the celebrated max-flow mini-cut theorem on non-physical information flow over a network of independent channels. On the other hand, in 1980, Han has studied the case with correlated multisource and a single sink from the viewpoint of polymatroidal functions in which a necessary and sufficient condition has been demonstrated for reliable transmission over the network. This paper presents an attempt to unify both cases, which leads to establish a necessary and sufficient condition for reliable transmission over a network multicasting correlated multisource to multisink. Here, the problem of separation of source coding and channel coding is also discussed.

研究の動機と目的

• 単一源マルチキャストモデル（Ahlswedeら）と相関源・単一シンクモデル（Han, 1980）を統合し、複数の源と複数のシンクへの相関源マルチキャストのための一般枠組みを構築すること。
• 一般（非整数、任意の実数値）容量と定常エルゴード的相関源を持つノイズの多いネットワークにおける信頼性の高い伝送のための必要十分条件を確立すること。
• 相関源と複数のシンクを有するネットワークにおいて、分散ソース符号化とネットワーク符号化の分離問題を分析すること。
• グラフ論的道具（例：メンジャーの定理）に依存しない、計算可能で情報理論的なソースとチャネル特性の一致条件を提供すること。
• 多面体的および共多面体的構造が、ソース符号化とネットワーク符号化の分離可能性を可能にするか、それらを特徴付ける役割を明らかにすること。

提案手法

• エッジ容量がチャネル容量を表す非循環有向グラフとしてネットワークを定式化し、任意の非負実数値を許容する。
• 相関源の条件付きエントロピー率とネットワークの容量関数 ρₙ(S) を用いて、ソースとチャネルの間の一致条件を導入する。
• 多面体的および共多面体的関数を用いて、信頼性のある伝送のための可能なレート領域を特徴付ける。
• スレピアン＝ウルフのレート領域とネットワーク容量領域の交差に基づく、伝送可能性の必要十分条件を導出する：R_SW ∩ (∩ₜ∈Ψ Cₜ) ≠ ∅。
• チャネルの強い逆転性（Verdú-Han）を適用して、一般のチャネルモデル下での信頼性を保証する。
• 整数ビットレート、誤りなしチャネル、無記憶源の仮定を一切せず、メンジャーの定理に依存しないことの妥当性を示す。

実験結果

リサーチクエスチョン

• RQ1 一般の容量を持つノイズの多いネットワークにおいて、相関源を複数のシンクに信頼性を持ってマルチキャストするための必要十分条件は何か？
• RQ2 独立または無記憶チャネルを仮定しないネットワークにおいて、相関源と複数のシンクを有する状況での共同ソース・チャネル符号化はどのように特徴付けられるか？
• RQ3 マルチソース・マルチシンクネットワークにおいて、分散ソース符号化（スレピアン＝ウルフ）とネットワーク符号化の分離が成立する条件は何か？
• RQ4 メンジャーの定理のようなグラフ論的構造に依存しない、計算可能で情報理論的なソースとチャネルの一致条件をどのように表現できるか？
• RQ5 多面体的および共多面体的構造が、共同ソース・チャネル符号化における分離可能性の実現または特徴付けに果たす役割は何か？

主な発見

• 相関源の条件付きエントロピー率とネットワークの容量関数 ρₙ(S) を用いた必要十分条件が確立され、単一源マルチキャストと相関源・単一シンクモデルの両方を一般化する。
• 条件は、スレピアン＝ウルフのレート領域とネットワークの容量領域の交差の非空性として定式化される：R_SW ∩ (∩ₜ∈Ψ Cₜ) ≠ ∅。
• この結果は、一般の定常エルゴード的相関源と、任意の非負実数容量（非整数レートを含む）を持つ統計的に独立なノイズ付きチャネルに対して成立する。
• メンジャーの定理に依存しないため、先行研究の制限付き仮定（整数容量、誤りなしチャネル、無記憶源）を排除した応用が可能である。
• 条件 R_SW ∩ (∩ₜ∈Ψ Cₜ) ≠ ∅ が成立する限り、分散ソース符号化とネットワーク符号化の分離は、多面体的構造の仮定がなくても、必要かつ十分である。
• この枠組みは、非ネットワーク型複合スレピアン＝ウルフ系を一般化し、複数のシンクへの相関源マルチキャストのための統一的で情報理論的な基盤を提供する。