[論文レビュー] A universal, operational theory of unicast multi-user communication with fidelity criteria

Mukul Agarwal, Sanjoy K. Mitter+1 more|arXiv (Cornell University)|Feb 24, 2013

Wireless Communication Security Techniques参考文献 10被引用数 4

ひとこと要約

本稿は、忠実度基準の下で、複合チャネル設定におけるユニキャストマルチユーザー通信におけるソースチャネル分離の最適性を、汎用的で実用的なフレームワークを用いて確立する。確率的カバーイング・パッキングの視点から、チャネルのエンドツーエンド性能を段階的ブラックボックスとして統合的に扱うことで、ソース符号化とチャネル符号化を統一的に扱い、与えられた歪み内にソースを伝送可能な任意のチャネルにおいて、歪みの下限に達するソース符号化レート未満の通信が確実に達成可能であることを示す。

ABSTRACT

This is a three part paper. Optimality of source-channel separation for communication with a fidelity criterion when the channel is compound as defined by Csiszar and Korner in their book and general as defined by Verdu and Han, is proved in Part I. It is assumed that random codes are permitted. The word "universal" in the title of this paper refers to the fact that the channel model is compound. The proof uses a layered black-box or a layered input-output view-point. In particular, only the end-to-end description of the channel as being capable of communicating a source to within a certain distortion level is used when proving separation. This implies that the channel model does not play any role for separation to hold as long as there is a source model. Further implications of the layered black-box view-point are discussed. Optimality of source-medium separation for multi-user communication with fidelity criteria over a general, compound medium in the unicast setting is proved in Part II, thus generalizing Part I to the unicast, multi-user setting. Part III gets to an understanding of the question, "Why is a channel which is capable of communicating a source to within a certain distortion level, also capable of communicating bits at any rate less than the infimum of the rates needed to code the source to within the distortion level": this lies at the heart of why optimality of separation for communication with a fidelity criterion holds. The perspective taken to get to this understanding is a randomized covering-packing perspective, and the proof is operational.

研究の動機と目的

• 複合チャネル設定下で、忠実度基準の下でのユニキャストマルチユーザー通信におけるソースチャネル分離の最適性を確立すること。
• 従来の点対点からの分離最適性の結果を、忠実度制約付きのマルチユーザー・ユニキャスト状況へ一般化すること。
• 明示的なチャネルモデルの詳細に依存しない、確率的カバーイング・パッキングの視点から、分離が成立する理由を実用的（operational）に説明すること。
• チャネルが分離に果たす役割が、唯一エンドツーエンドの性能、すなわち指定された歪みレベル内でのソース伝送能力によって定義されることを示すこと。
• 関数的単純化を避け、実用的基準を用いて、ソース符号化とチャネル符号化の間のレートギャップが存在する根本的要因を解明すること。

提案手法

• チャネルをエンドツーエンドの能力、すなわち指定された歪みレベル内でのソース伝送能力のみでモデル化する段階的ブラックボックスまたは入出力の視点を採用する。
• 符号化器と復調器を決定的写像上の確率分布として扱い、誤り確率を確率的選択の平均で評価する確率的符号を用いる。
• 期待歪みではなく、過剰歪みの確率基準を採用することで、分解不能性の仮定なしに一般な複合チャネルに対しても解析可能となる。
• 確率的カバーイング・パッキング双対性を導入：ソース符号化をカバーイング問題として、チャネル符号化をパッキング問題として定式化し、共通の確率的符号化の議論を統合する。
• ソース符号化レートの下限（R^P_U(D,inf)）を、ソースとチャネル符号化を実用的基準で結びつけるベンチマークとして用いる。
• 誤り確率とレート閾値の漸近的解析に依拠し、チャネルが歪みD内でのソース伝送を可能にする限り、R^P_U(D,inf)未満の任意のレートが達成可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 チャネルが複合的かつ完全に指定されていない状況下でも、なぜ忠実度基準の下でユニキャストマルチユーザー通信におけるソースチャネル分離が最適なのであろうか？
• RQ2 相互情報量や期待歪みに依存せず、実用的・確率的基準を用いて、分離の最適性をどのように証明できるか？
• RQ3 歪みD内にソースを伝送可能なチャネルが、そのDに対して必要なソース符号化レートの下限未満の任意のレートで信頼性のあるビット伝送をサポートできる、根本的な実用的根拠は何か？
• RQ4 証明においてエンドツーエンド性能のみが使用される以上、チャネルモデルの詳細は分離最適性にどの程度影響を及ぼすのか？
• RQ5 i.i.d.ソースや加法的歪み関数に限らず、「良好に振る舞う」置換不変歪み関数に対しても、この証明手法は一般化可能か？

主な発見

• 過剰歪みの確率基準の下で、分解不能性の仮定なしに、複合チャネルにおけるソースチャネル分離の最適性が証明された。
• 証明により、チャネルが歪みD内にソースを伝送可能であれば、そのDに対して必要なソース符号化レートの下限未満の任意のレートでビット伝送が信頼性を持って可能であることが示された。
• 段階的ブラックボックスの視点により、チャネルの内部構造は分離最適性にとって無関係であることが示され、エンドツーエンドの歪み・容量関係が成立する限り、最適性は保たれる。
• 確率的カバーイング・パッキングの視点により、ソース符号化とチャネル符号化の間に双対性が生じ、核心的洞察は誤り確率の漸近的挙動に集約される。
• 技術的条件 R^P_U(D) = R^P_U(D,inf) は、「多くの良好に振る舞う」置換不変歪み関数に対して成り立つと予想され、加法的歪み関数に対しては実用的妥当性が確認された。
• このフレームワークにより、シャノンの元の相互情報量に基づく導出とは別個の、より根本的で実用的なレート歪み定理の証明が可能となった。