[論文レビュー] Converse for Multi-Server Single-Message PIR with Side Information

Li Su, Michael Gastpar|arXiv (Cornell University)|Sep 26, 2018

Cryptography and Data Security参考文献 26被引用数 13

ひとこと要約

この論文は、側情報付きのマルチサーバー単一メッセージプライベート情報検索（MSPIR-SI）の情報理論的容量を確立し、Kadheらのスキームによる達成可能なレートが最適であることを証明する。著者らは、仮想的側情報を導入し、クエリ応答の対称性を活用することで、既知の達成可能スキームと一致する逆方向の境界を導出し、容量を $(1 + \frac{1}{N} + \frac{1}{N^2} + \dots + \frac{1}{N^{\lceil K/(M+1)\rceil - 1}})^{-1}$ と特定する。

ABSTRACT

Multi-server single-message private information retrieval is studied in the presence of side information. In this problem, $K$ independent messages are replicatively stored at $N$ non-colluding servers. The user wants to privately download one message from the servers without revealing the index of the message to any of the servers, leveraging its $M$ side information messages. We assume that the servers only know the number of the side information messages available at the user but not their indices. We prove a converse bound on the maximum download rates, which coincides with the known achievability scheme proposed by Kadhe {\it et. al.}. Hence, we characterize the capacity for this problem, which is $(1+\frac{1}{N}+\frac{1}{N^2}+\dots+\frac{1}{N^{\left\lceil \frac{K}{M+1} ight ceil-1}})^{-1}$. The proof leverages a novel concept that we call {\it virtual side information}, which, for a fixed query and any message, identifies the side information that would be needed in order to recover that message.

研究の動機と目的

• W-プライバシー下でのマルチサーバー単一メッセージプライベート情報検索（MSPIR-SI）の情報理論的容量を特定すること。
• 逆方向境界を証明することで、既知の達成可能スキームと理論的限界の差を埋めること。
• 逆方向証明の主要な道具として、仮想的側情報の概念を導入し、形式化すること。
• Kadhe らの既知の符号化スキームが、この問題において最適であることを示すこと。

提案手法

• 仮想的側情報の概念を導入：任意のメッセージとクエリに対して、そのメッセージがサーバー応答から回復可能となるような側情報の集合を定義する。
• 最適性を損なわずに、仮想的側情報が特定の対称性を満たすようなPIRスキームに制限できることを証明する。
• 仮想的側情報の対称性を活用して、ダウンロードレートに対する逆方向境界を導出する。
• エントロピー不等式とサーバー応答の構造に基づく逆方向の議論を構築し、境界が既知の達成可能レートと一致することを示す。
• 先行研究の「分割・符号化」スキームを活用して最適スキームを具体化し、プライバシーと復元可能性を保証する。
• 例として $K=5$, $N=2$, $M=1$ を用い、逆方向境界を検証し、レート $\frac{4}{7}$ が理論的容量と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 ユーザーが $M$ 個の側情報メッセージを保有しており、サーバーは $M$ のみを知っているが、そのインデックスは知らない場合、マルチサーバー単一メッセージPIRの情報理論的容量は何か？
• RQ2 Kadhe らの既知の達成可能スキームが、情報理論的逆方向によって最適であると証明できるか？
• RQ3 仮想的側情報の概念をどのように形式化し、側情報付きPIRにおける最適性の証明に用いることができるか？
• RQ4 容量式 $\left(1 + \frac{1}{N} + \frac{1}{N^2} + \dots + \frac{1}{N^{\lceil K/(M+1)\rceil - 1}}\right)^{-1}$ は真の最大ダウンロードレートを表すか？
• RQ5 仮想的側情報の対称性を用いて、逆方向証明を簡素化・強化できるか？

主な発見

• W-プライバシー下でのMSPIR-SIの情報理論的容量は、正確に $\left(1 + \frac{1}{N} + \frac{1}{N^2} + \dots + \frac{1}{N^{\lceil K/(M+1)\rceil - 1}}\right)^{-1}$ に等しい。
• 本論文で導出された逆方向境界は、Kadhe らが提案した符号化スキームの達成可能レートと一致し、その最適性が証明された。
• 仮想的側情報の概念は証明において不可欠であり、タイトな逆方向境界の導出を可能にした。
• $N=1$ の場合、容量は [15] の単一サーバーPIRにおける側情報付き容量に還元され、一貫性が確認された。
• $M=0$ の場合、容量は [4] の側情報なしマルチサーバーPIRの容量に還元され、特殊ケースでの正しさが確認された。
• $K=5$, $N=2$, $M=1$ の例により、最適レート $\frac{4}{7}$ が達成され、理論的容量式と一致することが示された。