[論文レビュー] Multi-User Privacy: The Gray-Wyner System and Generalized Common Information

Ravi Tandon, Lalitha Sankar+1 more|arXiv (Cornell University)|Jun 10, 2011

Wireless Communication Security Techniques参考文献 5被引用数 6

ひとこと要約

本稿は、エコワリエンス制約を用いてグレイ＝ワイナーネットワークをモデル化することで、複数ユーザーのプライバシーを確保するための新規フレームワークを提案する。K個の相関するソースに対して一般化された共通情報の2つの同等な定義を提示し、それらが同一の定式化をもたらし、Kに関して非増加性を満たすことを証明する。これは、ガツ＝コルナーの共通情報の自然なKユーザー拡張である。

ABSTRACT

The problem of preserving privacy when a multivariate source is required to be revealed partially to multiple users is modeled as a Gray-Wyner source coding problem with K correlated sources at the encoder and K decoders in which the kth decoder, k = 1, 2, ...,K, losslessly reconstructs the kth source via a common link and a private link. The privacy requirement of keeping each decoder oblivious of all sources other than the one intended for it is introduced via an equivocation constraint at each decoder such that the total equivocation summed over all decoders is E. The set of achievable rates-equivocation tuples is completely characterized. Using this characterization, two different definitions of common information are presented and are shown to be equivalent.

研究の動機と目的

• 各ユーザーがプライベートデータとパブリックデータを受け取り、他のユーザーのプライベートデータについて無知であるようにするマルチユーザー・データ共有をモデル化すること。
• 各デコーダーにおけるエコワリエンス制約を用いてプライバシーを形式化し、意図しないソースに関する情報が隠蔽されることを保証すること。
• 共通リンクおよびプライベートリンクの制約下で、K個の相関するソースに対する達成可能なレート－エコワリエンス領域を特徴付けること。
• K個の確率変数に対する一般化された共通情報の2つの同等な定式化を定義し、解析すること。
• 提案された共通情報測度がKに関して非増加性を満たすことを示すこと。これは、先行研究の一般化とは異なり、成り立たない。

提案手法

• システムを、共通リンク（レート R₀）とK個のプライベートリンク（レート Rₖ）を持つKユーザーのグレイ＝ワイナーソース符号化ネットワークとしてモデル化。各デコーダーはその目的のソースを誤りなしで再構成する。
• デコーダーkにエコワリエンス制約 Eₖ を課し、他のすべてのソースに関する不確実性を測定。全エコワリエンス E は Δ 以上である。
• 情報理論的技術（合同典型性とファーノの不等式を含む）を用いて、完全なレート－エコワリエンス領域を導出する。
• 共通情報の2つの定義を提案：(1) 全エコワリエンス Δ を最大化するような最大 R₀、および (2) 各ユーザーがソースをエントロピーまで再構成できるような最大 R₀。
• マコフ連鎖とエコワリエンスの制約の下で、C(X₁,…,Xₖ) = maxₐₗₗ W I(X₁,…,Xₖ;W) という一様な特徴付けにより、両定義の同等性を示す。
• ビニングと合同典型性デコーディングを用いたコードブック生成により、誤り確率がゼロに近づき、所望のエコワリエンスレベルに到達する。

実験結果

リサーチクエスチョン

• RQ1 共通リンク上の最大レート R₀ は何か？ これは、各ソースがその対応するデコーダーで完全再構成可能であり、全エコワリエンスが最大化される条件を満たす。
• RQ2 K個の相関するソースに対する共通情報測度を定義できるか？ その定義はガツ＝コルナーの定義を一般化し、Kに関して非増加性を満たすようにする。
• RQ3 最大エコワリエンスに基づく定式化とエントロピー制限再構成に基づく定式化という、2つの異なる共通情報の定式化は、Kユーザー設定において同等であるか？
• RQ4 提案された共通情報 C(X₁,…,Xₖ) は、ワイナーモデルのK変数一般化 B(X₁,…,Xₖ) とどのように関係するか？
• RQ5 各ユーザーが他のユーザーのプライベートデータについて無知に保たれるようにする条件下で、マルチユーザー・ソース符号化におけるプライバシーの根本的限界は何か？

主な発見

• K個の相関するソースに対する2つの共通情報の定義は数学的に同等であり、同一の定式化をもたらす：C(X₁,…,Xₖ) = max_W I(X₁,…,Xₖ;W) であり、マコフ制約の下で成り立つ。
• 提案された共通情報測度はKに関して非増加性を満たす。すなわち、C(X₁,…,Xₖ) ≤ C(X₁,…,Xₖ₋₁) であり、これは先行研究のK変数一般化 B(X₁,…,Xₖ) では満たされない。
• 提案された共通情報は、K変数ワイナーモデルの共通情報で上から抑えられる：C(X₁,…,Xₖ) ≤ B(X₁,…,Xₖ)。
• C(X₁,…,Xₖ) に対する下界として、min_{i≠j} I(Xᵢ;Xⱼ) が確立され、これは最小の対比較相互情報量以上であることを示す。
• 符号化方式により、所望のエコワリエンスレベル Δ = ∑ₖ H(Ẋ|W,Xₖ) が達成され、領域が実現可能であることが証明される。ここで Ẋ は Xₖ を除くすべてのソースを表す。
• 両定義の同等性は、レート制約下での全エコワリエンス最大化が、エントロピー再構成制約下での R₀ の最大化と同じ R₀ をもたらすことで証明される。