[論文レビュー] Optimal Deterministic Polynomial-Time Data Exchange for Omniscience

Nebojsa Milosavljevic, Sameer Pawar+3 more|arXiv (Cornell University)|Aug 30, 2011

Cooperative Communication and Network Coding参考文献 13被引用数 11

ひとこと要約

本稿では、部分的なファイル知識を持つユーザー間における完全知識のためのレート最適なデータ交換を達成する決定的多項式時間アルゴリズムを提示する。組合せ最適化を用いて総通信量を最小化する。非符号化および線形符号化された補助情報に対して明示的な送信スケームを提供し、最適性を保証するとともに、ランクに基づくネットワーク符号化条件を用いて効率的な構築が可能である。

ABSTRACT

We study the problem of constructing a deterministic polynomial time algorithm that achieves omniscience, in a rate-optimal manner, among a set of users that are interested in a common file but each has only partial knowledge about it as side-information. Assuming that the collective information among all the users is sufficient to allow the reconstruction of the entire file, the goal is to minimize the (possibly weighted) amount of bits that these users need to exchange over a noiseless public channel in order for all of them to learn the entire file. Using established connections to the multi-terminal secrecy problem, our algorithm also implies a polynomial-time method for constructing a maximum size secret shared key in the presence of an eavesdropper. We consider the following types of side-information settings: (i) side information in the form of uncoded fragments/packets of the file, where the users' side-information consists of subsets of the file; (ii) side information in the form of linearly correlated packets, where the users have access to linear combinations of the file packets; and (iii) the general setting where the the users' side-information has an arbitrary (i.i.d.) correlation structure. Building on results from combinatorial optimization, we provide a polynomial-time algorithm (in the number of users) that, first finds the optimal rate allocations among these users, then determines an explicit transmission scheme (i.e., a description of which user should transmit what information) for cases (i) and (ii).

研究の動機と目的

• すべてのユーザーが完全なファイルを共同で所有している状況で、完全知識に到達するための通信ビット数を最小化する決定的多項式時間アルゴリズムの設計。
• 非符号化断片、線形に相関するパケット、一般のi.i.d.に相関する補助情報の3つの状況におけるデータ交換の取り扱い。
• どのユーザーがどの情報を送信すべきかを明示的に指定する送信スケームの構築により、レート最適性を保証すること。
• データ交換とマルチターミナル秘密性の間の関係を確立し、効率的な秘密鍵生成を可能にすること。
• 盗聴者を想定した状況においても、最大サイズの共有秘密鍵を多項式時間で構築する方法の提供。

提案手法

• ユーザーの補助情報集合に基づいて、最適なレート割り当てを決定するための組合せ最適化技術を用いる。
• カットセット境界から導かれたランクに基づく実現可能性条件（式116）を適用し、線形符号化設定におけるレートタプルの実現可能性を検証する。
• ユーザーごとに段階的に最大ランクを維持するように送信集合を構築するための貪欲法（アルゴリズム4）を採用する。
• データ交換問題をネットワーク符号化の実現可能性問題に変換し、完全知識とネットワーク符号化の可解性の等価性を活用する。
• 各受信者において全ランク回復が保証されるように、ユーザー固有の行列から特定の行を選択することで送信スケームを導出する。
• すべてのユーザーの部分集合に対してネットワーク符号化の実現可能性の必要十分条件を満たすことで最適性を保証する。

実験結果

リサーチクエスチョン

• RQ1 部分的なファイル知識を持つユーザー間で、完全知識を達成するためのレート最適なデータ交換を実現する決定的多項式時間アルゴリズムを設計できるか？
• RQ2 線形に相関する補助情報が存在する状況で、完全知識に到達するための必要十分条件は何か？
• RQ3 どのデータをどのユーザーが送信すべきかを明示的に指定する送信スケームをどのように構築できるか？
• RQ4 データ交換問題は、既知のランクに基づく条件を有するネットワーク符号化の実現可能性問題に還元可能か？
• RQ5 レート最適なデータ交換とマルチターミナル秘密性における最大サイズの共有秘密鍵の構築との間にどのような関係があるか？

主な発見

• 提案されたアルゴリズムは、ユーザー数に対して多項式時間で実行され、完全知識のためのレート最適なデータ交換を保証する。
• 非符号化および線形符号化された補助情報の両状況において、アルゴリズムは通信コストを最小化する明示的な送信スケームを生成する。
• 任意のレートタプルの実現可能性は、式（116）のカットセット条件によって特徴づけられる：すべての部分集合 𝒮 に対して ∑ᵢ∈ₛ Rᵢ ≥ rank(𝒜ₛ|𝒜ₛᶜ) が成り立つ。
• 貪欲法（アルゴリズム4）は、最大ランクの段階的増加を維持する送信集合を構築し、実現可能性と最適性を保証する。
• 4つのファイルパケットと3人のユーザーを含む例では、最小合計レートが3シンボルに達する。
• このフレームワークにより、データ交換とマルチターミナル秘密性の双対性を活用して、最大サイズの共有秘密鍵を多項式時間で構築可能である。