[論文レビュー] On Computing a Function of Correlated Sources

Milad Sefidgaran, Aslan Tchamkerten|arXiv (Cornell University)|Jul 28, 2011

Wireless Communication Security Techniques参考文献 26被引用数 8

ひとこと要約

本稿は、受信機で2つの相関する情報源とサイドインフォメーションの関数を計算するためのレート領域を研究し、情報源がサイドインフォメーションに関して独立であるか、関数が部分的に可逆である場合に、内包的・外包的境界が一致することを示している。マルチソース設定では最適性能を達成するために独立集合の多重集合が必要であることが示され、これは単一ソース設定では独立集合のみで十分であるのとは対照的である。

ABSTRACT

A receiver wants to compute a function f of two correlated sources X and Y and side information Z. What is the minimum number of bits that needs to be communicated by each transmitter? In this paper, we derive inner and outer bounds to the rate region of this problem which coincide in the cases where f is partially invertible and where the sources are independent given the side information. These rate regions point to an important difference with the single source case. Whereas for the latter it is sufficient to consider independent sets of some suitable characteristic graph, for multiple sources such a restriction is suboptimal and multisets are necessary.

研究の動機と目的

• 受信機が2つの相関する情報源とサイドインフォメーションの関数を漸近的にゼロの誤りで計算するために必要な最小通信レートを同定すること。
• レート領域の内包的・外包的境界が一致する条件を特定し、正確なレート領域を確立すること。
• 単一ソースとマルチソースの関数計算の構造的差異、特に符号化方式において多重集合の必要性に関する調査。
• 既存の単一ソース関数計算の結果（例：Orlitsky-Roche）を、サイドインフォメーションを伴う相関するマルチソース設定に一般化すること。
• マルチソース設定において独立集合に制限することは最適でないことを示し、最適レート性能を達成するには多重集合の使用が不可欠であることを示すこと。

提案手法

• 独立集合の多重集合に基づく符号化方式を用いて、単一ソース関数計算の技術を拡張することで、一般化された内包的境界を提案する。
• 相関する情報源に対する情報理論的歪み理論を用いて、関数とサイドインフォメーションの構造を活用することで、外包的境界を導出する。
• [3]および[26]の反証技術を応用し、情報源とサイドインフォメーションの関数に基づく歪み測度を扱う。
• 新規に定義された確率変数 $ W' $ と導出された十分統計量 $ S_Y(W') $ を導入し、条件付き依存構造を捉えることで、よりタイトなレート境界を可能にする。
• マークフ・チェーン $ (X,Z) - Y - W' $ と性質 $ H(f(X,Y,Z)|X,W',Z) = 0 $ を用いて $ W' $ のサポートを制約し、$ S_Y(W') $ を定義する。
• 問題を十分統計量 $ S_Y(W') $ の集合に還元し、レート境界が $ S_Y(W') $ を含む条件付きエントロピーおよび相互情報量に依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの相関する情報源とサイドインフォメーションの関数を計算するためのレート領域の内包的・外包的境界が一致する条件は何か？
• RQ2 なぜマルチソース設定では独立集合の多重集合の使用が不可欠であるのか、一方で単一ソース設定では独立集合のみで十分なのか？
• RQ3 関数 $ f $ の構造、特に部分的可逆性が、達成可能なレート領域に与える影響は何か？
• RQ4 単一ソース関数計算におけるSlepian-WolfeおよびOrlitsky-Rocheの結果は、サイドインフォメーションを伴う相関するマルチソース設定に一般化可能か？
• RQ5 最適符号化方式における単一ソースとマルチソース関数計算問題の構造的差異は何か？

主な発見

• 情報源 $ X $ と $ Y $ がサイドインフォメーション $ Z $ を条件として独立である場合、レート領域の内包的・外包的境界が一致し、レート領域がタイトに特徴付けられる。
• 部分的に可逆な関数（$ f(X,Y,Z) $ と $ Z $ によって $ X $ または $ Y $ が再構成可能）の場合、内包的境界が正確なレート領域を特徴付ける。
• 関数 $ f(X,Y) = (X,Y) $ の場合、Slepian-Wolfeのレート領域が特殊ケースとして回復され、先行研究と整合性が確認される。
• Orlitsky-Rocheの単一ソース関数計算結果は、系として回復され、本フレームワークが既知の単一ソース結果を一般化していることを示している。
• マルチソース設定では多重集合の使用が不可欠である：独立集合に制限すると最適でないレートが得られ、一方で単一ソース設定ではその制限が十分である。
• 反証の議論により、$ H(X|W',Z) = H(X|S_Y(W'),Z) $ および $ I(Y;W'|X,Z) = I(Y;S_Y(W')|X,Z) $ が成り立つことが示され、十分統計量 $ S_Y(W') $ がすべての関連情報を取り込むことが示され、$ R_X \geq H(X|S_Y(W'),Z) $、$ R_Y \geq I(Y;S_Y(W')|X,Z) $ が成り立つ。