[論文レビュー] On the Storage Cost of Private Information Retrieval

Chao Tian|arXiv (Cornell University)|Oct 26, 2019

Cryptography and Data Security参考文献 36被引用数 5

ひとこと要約

本稿は、ストレージコードの構造的制約を仮定せずに、プライベートインフォメーションレトリーブ（PIR）システムにおけるストレージコストとダウンロードコストの根本的トレードオフを調査する。2つの新しい情報理論的外部バウンディングを確立し、メッセージが冗長性のない形でストレージされる場合、最適なPIR戦略ではすべてのメッセージをダウンロードする必要があることを示している。PIR容量を達成するコードの場合、各データベースは平均して最大で1つのメッセージ分のストレージコストを削減できる。2メッセージ・2データベースの場合のより強いバウンディングは、正確なトレードオフの特徴付けに非シャノン型不等式が必要となる可能性を示唆している。

ABSTRACT

We consider the fundamental tradeoff between the storage cost and the download cost in private information retrieval systems, without any explicit structural restrictions on the storage codes, such as maximum distance separable codes or uncoded storage. Two novel outer bounds are provided, which have the following implications. When the messages are stored without any redundancy across the databases, the optimal PIR strategy is to download all the messages; on the other hand, for PIR capacity-achieving codes, each database can reduce the storage cost, from storing all the messages, by no more than one message on average. We then focus on the two-message two-database case, and show that a stronger outer bound can be derived through a novel pseudo-message technique. This stronger outer bound suggests that a precise characterization of the storage-download tradeoff may require non-Shannon type inequalities, or at least more sophisticated bounding techniques.

研究の動機と目的

• ストレージコードに構造的制約を仮定せずに、PIRシステムにおけるストレージコストとダウンロードコストの根本的トレードオフを理解すること。
• ストレージ・ダウンロードトレードオフ曲線の2つの極端な点、すなわち最小ストレージコストと最小ダウンロードコストを特定すること。
• ストレージおよびダウンロード効率の限界を特徴付ける情報理論的外部バウンディングを導出すること。
• 特に2メッセージ・2データベース設定において、正確なトレードオフの特徴付けに非シャノン型不等式が必要かどうかを調査すること。

提案手法

• エントロピー不等式と対称性の議論を用いて、ストレージ・ダウンロードトレードオフを制約する2つの新しい情報理論的外部バウンディングを導出する。
• オザロウのマルコフカップリング法にインspiredされた新規の擬似メッセージ技術を用いて、2メッセージ・2データベースケースにおけるバウンディングを強化する。
• エントロピー分解と条件付きエントロピーのバウンディングを用いて、複数のデータベース間におけるクエリ、応答、メッセージの依存関係を分析する。
• 補助確率変数（例：$U_2$, $V_2$）の対称性と同一分布を活用して、エントロピー項を簡略化・比較する。
• 不等式を正規化して、ストレージコスト$\alpha$とダウンロードコスト$\beta$の比に対するバウンディングを導出し、効率の定量的限界を明らかにする。
• タイトな特徴付けに向けた不等式の精密なバウンディング戦略を採用し、非シャノン型不等式の必要性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 メッセージがデータベースに冗長性のない形でストレージされる場合、最小ダウンロードコストは何か？
• RQ2 PIR容量を達成するコードにおいて、最小で達成可能なストレージコストは何か？
• RQ3 ストレージ・ダウンロードトレードオフを、シャノン型不等式のみで正確に特徴付けられるか？
• RQ4 擬似メッセージ技術は、2メッセージ・2データベースPIR設定において、外部バウンディングをどのように改善するか？
• RQ5 非シャノン型不等式は、ストレージ・ダウンロードトレードオフのタイトな特徴付けにおいて果たす役割は何か？

主な発見

• メッセージが冗長性のない形でストレージされる場合、最適なPIR戦略ではすべてのメッセージをダウンロードする必要があり、これは完全なリトリーブを超えたダウンロードコストの削減が不可能であることを示している。
• PIR容量を達成するコードの場合、各データベースは、すべてのメッセージをストレージする場合と比較して、平均で最大1つのメッセージ分のストレージコストを削減できる。
• 2メッセージ・2データベースケースにおいて、新規の擬似メッセージ技術を用いたより強い外部バウンディングが導出され、非シャノン型不等式がタイトなバウンディングに不可欠である可能性が示唆されている。
• 導出されたバウンディングは、標準的なシャノン型不等式が、特に対称的設定においてストレージ・ダウンロードトレードオフを完全に特徴付けるには不十分であることを示している。
• 分析により、$U_2$, $V_2$, $X_1$, $Y_2$ などの補助変数を含むエントロピー項は、対称性と条件付き独立性を活用して慎重にバウンディングされる必要があることが明らかになった。
• 最終的な正規化バウンディングは、$6\alpha + 16\beta \geq 20$ を示しており、2データベースケースにおけるストレージとダウンロードの効率の根本的限界を示している。