[論文レビュー] New Results on the Storage-Retrieval Tradeoff in Private Information Retrieval Systems

Tao Guo, Ruida Zhou+1 more|arXiv (Cornell University)|Aug 3, 2020

Cryptography and Data Security参考文献 40被引用数 4

ひとこと要約

この論文は、プライベート情報検索（PIR）システムにおけるストレージ・リトリーブのトレードオフの理解を進める。2-近似の制度的特徴付け、コード構築のための巡回置換補題、およびより鋭い下界を得るための緩和されたエントロピック線形計画法（LP）を導入している。著者らは、先行研究を著しく上回る新たな上界・下界を導出しているが、一般にはより鋭い近似特徴付けを達成していない。

ABSTRACT

In a private information retrieval (PIR) system, the user needs to retrieve one of the possible messages from a set of storage servers, but wishes to keep the identity of requested message private from any given server. Existing efforts in this area have made it clear that the efficiency of the retrieval will be impacted significantly by the amount of the storage space allowed at the servers. In this work, we consider the tradeoff between the storage cost and the retrieval cost. We first present three fundamental results: 1) a regime-wise 2-approximate characterization of the optimal tradeoff, 2) a cyclic permutation lemma that can produce more sophisticated codes from simpler ones, and 3) a relaxed entropic linear program (LP) lower bound that has a polynomial complexity. Equipped with the cyclic permutation lemma, we then propose two novel code constructions, and by applying the lemma, obtain new storage-retrieval points. Furthermore, we derive more explicit lower bounds by utilizing only a subset of the constraints in the relaxed entropic LP in a systematic manner. Though the new upper bound and lower bound do not lead to a more precise approximate characterization in general, they are significantly tighter than the existing art.

研究の動機と目的

• 構造的ストレージ制約がない情報理論的PIRシステムにおけるストレージコストとリトリーブコストの根本的トレードオフを特徴付けること。
• より単純なコードからより洗練されたPIRコードを生成する一般化技術—巡回置換補題—を考案すること。
• 多項式時間の複雑度を持つ緩和されたエントロピックLPフレームワークを設計し、リトリーブコストのより鋭い下界を計算すること。
• 新たなストレージ・リトリーブトレードオフの点をもたらす新しいコード構築法を提案すること。
• 緩和されたLPにおける制約の部分集合を体系的に利用して、明示的・閉形式の下界を導出すること。

提案手法

• 最適なストレージ・リトリーブトレードオフの制度的2-近似特徴付けを提案し、曲線を2つの制度に分割。各制度では、ストレージコストまたはリトリーブコストが2倍以内に近似される。
• 巡回置換補題を導入し、より単純なPIRコードからより複雑なコードへの変換を可能にし、非符号化ストレージPIRやMDS-PIRコードといった既知のコードを特別な場合として回復できる。
• 完全なエントロピックLPフレームワークからの不等式の部分集合を選択することで、緩和されたエントロピックLPを構築。複雑度を指数的から多項式的へ削減しつつ、鋭さを保持する。
• 巡回置換補題を2つの新しいコード構築法に適用し、以前に未知であったストレージ・リトリーブトレードオフの点を生成する。
• 緩和されたLPからの制約を体系的に適用することで、実数パラメータでパrameter化された明示的下界の族を導出する。
• 情報理論的不等式における劣微分性とプライバシー制約を用い、PIRシステムにおける条件付きエントロピーの下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ストレージコードに構造的制約を課さないPIRシステムにおいて、ストレージコストとリトリーブコストの根本的トレードオフは何か？
• RQ2 より単純なコードからより洗練されたPIRコードを生成する一般化変換技術を開発できるか？
• RQ3 完全なエントロピックLPの指数的複雑度を、PIR問題における有用な下界を保持したまま低減できるか？
• RQ4 従来の知られていたものよりも鋭い上界・下界をストレージ・リトリーブトレードオフに関して導出できるか？
• RQ5 緩和されたエントロピックLPにおける制約を部分的に適用することで達成可能な明示的・閉形式の下界は何か？

主な発見

• 本論文は、最適なストレージ・リトリーブトレードオフの制度的2-近似特徴付けを確立し、曲線全体にわたる粗いが一般的な近似を提供している。
• 巡回置換補題は、非符号化ストレージPIRやMDS-PIRコードといった既知のPIRコードを、より単純なベースコードから体系的に回復でき、その一般性と有用性を示している。
• 緩和されたエントロピックLPは多項式時間の複雑度を達成し、従来の手法よりも著しく鋭い下界を提供しているが、完全なエントロピックLPではない。
• 巡回置換補題を用いて強化された新しいコード構築法により、以前に未知であったストレージ・リトリーブトレードオフの点が得られ、利用可能な解の領域が拡張された。
• 緩和されたLPからの制約の部分集合を体系的に適用することで、パラメータ化された下界の族が導出され、鋭さが向上した。
• 新しい上界・下界は、既存の研究よりもより鋭い近似特徴付けを達成していないが、前例のないほど鋭く、トレードオフの実用的理解を著しく向上させている。