[論文レビュー] Private Information Retrieval from MDS Coded Data with Colluding Servers: Settling a Conjecture by Freij-Hollanti et al.

Hua Sun, Syed A. Jafar|ArXiv.org|Jan 26, 2017

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

ひとこと要約

この論文は、(K,N,T,Kc)=(2,4,2,2)設定において、MDS符号化プライベート情報検索（MDS-TPIR）の容量に関するFGHK予想を反証し、反例を提示することで、容量の上限が4/7であると予想されたのに対し、3/5を超えるレートが達成可能であることを示している。著者らは、すべての(K,N,T,Kc)=(2,N,T,N−1)設定における正確な容量を確立し、予想された容量式が誤りであることを明らかにするとともに、情報理論的解析と構成的スキームに基づいて、より厳密な特徴付けを提示している。

ABSTRACT

A $(K, N, T, K_c)$ instance of the MDS-TPIR problem is comprised of $K$ messages and $N$ distributed servers. Each message is separately encoded through a $(K_c, N)$ MDS storage code. A user wishes to retrieve one message, as efficiently as possible, while revealing no information about the desired message index to any colluding set of up to $T$ servers. The fundamental limit on the efficiency of retrieval, i.e., the capacity of MDS-TPIR is known only at the extremes where either $T$ or $K_c$ belongs to $\{1,N\}$. The focus of this work is a recent conjecture by Freij-Hollanti, Gnilke, Hollanti and Karpuk which offers a general capacity expression for MDS-TPIR. We prove that the conjecture is false by presenting as a counterexample a PIR scheme for the setting $(K, N, T, K_c) = (2,4,2,2)$, which achieves the rate $3/5$, exceeding the conjectured capacity, $4/7$. Insights from the counterexample lead us to capacity characterizations for various instances of MDS-TPIR including all cases with $(K, N, T, K_c) = (2,N,T,N-1)$, where $N$ and $T$ can be arbitrary.

研究の動機と目的

• T,Kc ∉ {1,N} である非退化設定におけるMDS-TPIR容量の未解決問題を解消すること。
• FGHK予想の妥当性を評価すること。この予想は、T+Kc−1に基づいてMDS-TPIRの統一的容量式を提案している。
• 任意のNとTに対して、すべての(K,N,T,Kc)=(2,N,T,N−1)設定におけるMDS-TPIRの正確な容量を特徴づけること。
• 構成的PIRスキームを用いて、FGHK予想に対する反例を提示し、予想されたレートを超えるレートを達成すること。
• 与えられた制約下で線形PIRスキームのタイトな情報理論的上限を導出すること。

提案手法

• MDSコードを用いてメッセージを(x,y,x+y,x+2y)として符号化する(2,4) MDSコードを用いて、(K,N,T,Kc)=(2,4,2,2)設定のプライベート情報検索スキームを構築する。
• 不要なシンボルの線形従属性を活用することで、12シンボルをダウンロードし、そのうち12が望ましいもので、9が不要なものであると示し、レート3/5を達成することを証明する。
• 情報理論的不等式を適用して、T=2のコラボレーティブサーバー下での任意の線形PIRスキームにおける達成可能なレートの上限を3/5として導出する。
• ベクトル空間の分解と独立性の議論を用いて、不要なシンボルが唯一9次元を張ることを示し、効率的な検索を可能にする。
• 反例を一般化することで、すべての(K,N,T,Kc)=(2,N,T,N−1)設定における正確な容量式 C = (N²−N)/(2N²−3N+T) を導出する。
• エントロピーに基づく上限を用いて逆方向を検証し、いかなるスキームも導出されたレートを超えることはできないことを示し、対称性とランダム行列の独立性によりタイトさを確認する。

実験結果

リサーチクエスチョン

• RQ1 FGHK予想は、MDS-TPIRの統一的容量式を提案しているが、非退化パrameter設定すべてにおいて有効であるか？
• RQ2 MDS-TPIRの(2,4,2,2)設定において、予想された容量4/7を超えるPIRスキームが達成可能か？
• RQ3 K=2、Kc=N−1、Tが任意の値である場合、MDS-TPIRの正確な情報理論的容量は何か？
• RQ4 制限付きコラボレーティブセット（例：{1,2}、{3,4}）は、完全なコラボレーティブセットと比較して、MDS-TPIRの容量にどのような影響を与えるか？
• RQ5 T-コラボレーション制約下で、MDS-TPIRにおける線形PIRスキームのタイトな上限を導出可能か？

主な発見

• FGHK予想は、(2,4,2,2) MDS-TPIR設定における反例により反証された。この設定では、3/5のレートが4/7の予想された値を超えて達成可能である。
• 構成的PIRスキームにより、(2,4,2,2)設定で12シンボル（うち12が望ましい、9が線形従属な不要なシンボル）をダウンロードすることで、3/5のレートを達成した。
• 任意の線形PIRスキームにおける(2,4,2,2)設定の情報理論的上限は3/5であり、このスキームが最適であることを証明する。
• すべての(K,N,T,Kc)=(2,N,T,N−1)設定における正確な容量は、C = (N²−N)/(2N²−3N+T) として導出され、これはFGHK予想よりもタイトである。
• 制限付きコラボレーティブセット（例：{1,2}、{3,4}）において、(2,4,2)設定では容量は2/3のままであり、MDS-PIR容量と一致する。
• コラボレーティブセットが{1,2},{2,3}または{1,2},{3}である(2,3,2)設定では、容量は4/7であり、エントロピーに基づく逆方向の議論で確認された。