[论文解读] 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) 设置下提出一个反例，否定了 FGHK 关于 MDS 编码私有信息检索（MDS-TPIR）容量的猜想，其中速率 3/5 超过了猜想的 4/7。作者建立了所有 (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.

研究动机与目标

• 解决非退化设置下 MDS-TPIR 容量的开放问题，其中 T,Kc ∉ {1,N}。
• 评估 FGHK 猜想的有效性，该猜想基于 T+Kc−1 提出了 MDS-TPIR 的统一容量表达式。
• 表征所有 (K,N,T,Kc)=(2,N,T,N−1) 配置下 MDS-TPIR 的精确容量，其中 N 和 T 为任意值。
• 通过构造性 PIR 方案提供对 FGHK 猜想的反例，其速率超过猜想值。
• 在给定约束下，为线性 PIR 方案推导紧致的信息论上界。

提出的方法

• 针对 (K,N,T,Kc)=(2,4,2,2) 设置构造一个私有信息检索方案，使用 (2,4) MDS 编码将消息编码为 (x,y,x+y,x+2y)。
• 通过下载 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 猜想是否在所有非退化参数设置下有效，该猜想基于 T+Kc−1 提出了 MDS-TPIR 的统一容量表达式？
• RQ2 在 (K,N,T,Kc)=(2,4,2,2) 设置下，是否存在 PIR 方案的速率高于猜想容量 4/7？
• RQ3 当 K=2，Kc=N−1，且 T 为任意值时，MDS-TPIR 的精确信息论容量是多少？
• RQ4 与完全共谋集合相比，受限共谋集合（如 {1,2}, {3,4}）如何影响 MDS-TPIR 的容量？
• RQ5 能否在 T-共谋约束下，为 MDS-TPIR 中的线性 PIR 方案推导出紧致的上界？

主要发现

• 通过 (2,4,2,2) MDS-TPIR 设置下的反例，否定了 FGHK 猜想，其中速率 3/5 超过了猜想的 4/7。
• 通过构造性 PIR 方案，在 (2,4,2,2) 设置下实现了 3/5 的速率，通过下载 12 个符号（其中 12 个为所需符号，9 个为线性相关的非所需符号）。
• 在 (2,4,2,2) 设置下，任何线性 PIR 方案的速率信息论上界为 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 容量一致。
• 在 (2,3,2) 设置下，当共谋集合为 {1,2},{2,3} 或 {1,2},{3} 时，容量为 4/7，该结果通过基于熵的对偶论证得到确认。