[論文レビュー] The Asymptotic Capacity of Private Search

Zhe Chen, Zhiying Wang+1 more|arXiv (Cornell University)|Jan 12, 2018

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

ひとこと要約

本稿は、非協力的サーバー数 $N$ に対して、プライベート検索の漸近的容量が $1 - 1/N$ であることを確立している。これは、メッセージが任意に依存していても、かつ検索が拡大する集合における近似的（OR）クエリに一般化されても成り立つ。この結果は、依存プライベート情報検索（DPIR）のための新規の逆問題境界を用いて導出されており、これはアルファベットサイズ $K$ が大きい場合にプライベート検索においてタイトであることが示されている。メッセージの依存性が存在しても、一致するレコード数が $K$ と共に増加しても、容量は依然として $1 - 1/N$ のままであり、依存性に対して強い耐性を示している。

ABSTRACT

The private search problem is introduced, where a dataset comprised of $L$ i.i.d. records is replicated across $N$ non-colluding servers, each record takes values uniformly from an alphabet of size $K$, and a user wishes to search for all records that match a privately chosen value, without revealing any information about the chosen value to any individual server. The capacity of private search is the maximum number of bits of desired information that can be retrieved per bit of download. The asymptotic (large $K$) capacity of private search is shown to be $1-1/N$, even as the scope of private search is further generalized to allow approximate (OR) search over a number of realizations that grows with $K$. The results are based on the asymptotic behavior of a new converse bound for private information retrieval with arbitrarily dependent messages.

研究の動機と目的

• 非協力的サーバー $N$ 個に複製されたデータセットから、ユーザーがプライベートなクエリに一致するレコードを取得する、プライベート検索の漸近的容量を同定すること。
• 従来のプライベート情報検索（PIR）理論を、任意に依存するメッセージを扱えるように拡張し、依存プライベート情報検索（DPIR）の枠組みを導入すること。
• 従来、独立したメッセージに対して知られていた $1 - 1/N$ の漸近的容量が、プライベート検索で一般的に見られる強いメッセージ依存性のもとでも成立するかを同定すること。
• ユーザーが $M$ 個のクエリ値のいずれかに一致するレコードを取得する近似的検索においても、この容量が成立するかを調査すること。$M$ が $K$ と共に増加しても成立するかを含む。
• 提案された逆問題境界がタイトとなる条件を同定し、容量が $1 - 1/N$ と異なる可能性がある反例を探索すること。

提案手法

• DPIRの一般な非漸近的逆問題境界を導出し、ダウンロードコストの下界と容量の上界を提供する。
• 既知の一般的な実現可能スキームをDPIRに適用し、特定の条件下で逆問題境界がタイトであることを示す。
• 定理3で示される十分条件（各メッセージの条件付きエントロピーの極限がその周辺エントロピーに等しくなること）を導入し、DPIRの漸近的容量が $1 - 1/N$ に収束することを示す。
• メッセージのアルファベットを再帰的に二分法で分割することで、条件付きエントロピー $H(W_l | W_1, \dots, W_{l-1})$ を評価し、$L H_2(\gamma)$ に漸近的に一致することを示す。
• 条件付きエントロピーと周辺エントロピーの漸近的同等性を用いて、プライベート検索における $1 - 1/N$ 容量の十分条件を検証する。
• 円形アルファベット上での連続する半円形の検索パターンを制限した反例を分析し、逆問題境界がタイトでない、または容量が $1 - 1/N$ でない可能性があることを示す。

実験結果

リサーチクエスチョン

• RQ1 メッセージが任意に依存している場合、たとえば単一のクエリ値に一致する $L$ 個のi.i.d.レコードがある場合でも、プライベート検索の漸近的容量は $1 - 1/N$ のまま保たれるか？
• RQ2 ユーザーが $M$ 個の値のいずれかに一致するレコードを取得する近似的プライベート検索においても、$1 - 1/N$ の漸近的容量を拡張できるか？$M$ が $K$ と共に増加しても成立するか？
• RQ3 提案されたDPIRの逆問題境界は、すべてのメッセージ依存構造に対してタイトか？それとも、一部のケースでは真の容量を捉えられていないか？
• RQ4 どのような構造的制約が、メッセージ依存性によって漸近的容量が $1 - 1/N$ に達しないのを防ぐか？このようなケースは特徴づけられるか？
• RQ5 どのような条件下で、メッセージの条件付きエントロピーが周辺エントロピーに収束し、$1 - 1/N$ 容量の結果が可能になるか？

主な発見

• 非協力的サーバー数 $N \geq 2$ のいかなる場合でも、プライベート検索の漸近的容量は $1 - 1/N$ である。これは、レコード数 $L$ がアルファベットサイズ $K$ よりもはるかに大きくても成り立つ。
• ユーザーが $M$ 個のクエリ値のいずれかに一致するレコードを取得する $M$-近似的プライベート検索に対しても、この結果が成立する。$M$ が $K$ と共に増加しても、メッセージの依存性が定理3の十分条件を満たしていれば成立する。
• DPIRの一般逆問題境界は、プライベート検索においてタイトであることが示された。導出されたダウンロードコストの下界が、漸近的領域における実現可能スキームの性能と一致する。
• 定理3の十分条件—各メッセージの過去のメッセージを条件とした条件付きエントロピーが、その周辺エントロピーに等しくなる—は、プライベート検索において満たされており、$1 - 1/N$ 容量の実現を可能にしている。
• 円形アルファベット上に連続する半円形の検索パターンを制限した反例を提示することで、逆問題境界がタイトでない、または漸近的容量が $1 - 1/N$ でない可能性があることが示され、このケースは未解決のまま残っている。
• 本稿は、$1 - 1/N$ 容量が非線形なメッセージ依存性に対しても耐性を示すことを示した。これは、従来の結果が独立したメッセージや線形依存性を仮定していたのに対し、本研究はその範囲を拡張している。