[论文解读] The Capacity of Private Information Retrieval

Hua Sun, Syed A. Jafar|arXiv (Cornell University)|Feb 29, 2016

Cryptography and Data Security参考文献 30被引用 23

一句话总结

该论文确定了在 $K$ 个消息和 $N$ 个非通信数据库的设置下，私有信息检索（PIR）的信息论容量为 $\left(1 + \frac{1}{N} + \frac{1}{N^2} + \cdots + \frac{1}{N^{K-1}}\right)^{-1}$。容量达到的方案通过线性编码和查询设计确保隐私，其关键洞见在于，即使移除任意消息子集，该方案仍保持最优，同时维持隐私性和效率。

ABSTRACT

In the private information retrieval (PIR) problem a user wishes to retrieve, as efficiently as possible, one out of $K$ messages from $N$ non-communicating databases (each holds all $K$ messages) while revealing nothing about the identity of the desired message index to any individual database. The information theoretic capacity of PIR is the maximum number of bits of desired information that can be privately retrieved per bit of downloaded information. For $K$ messages and $N$ databases, we show that the PIR capacity is $(1+1/N+1/N^2+\cdots+1/N^{K-1})^{-1}$. A remarkable feature of the capacity achieving scheme is that if we eliminate any subset of messages (by setting the message symbols to zero), the resulting scheme also achieves the PIR capacity for the remaining subset of messages.

研究动机与目标

• 刻画在 $K$ 个消息和 $N$ 个非通信数据库的设置下，私有信息检索（PIR）的信息论容量。
• 设计一种达到容量的 PIR 方案，确保任意单个数据库无法获知所请求消息索引的身份。
• 探索 PIR 方案在消息子集被移除时的不变性，证明当部分消息被设为零时，方案仍保持最优。
• 建立 PIR 与盲干扰对齐（BIA）之间的深层联系，将 BIA 的自由度转化为 PIR 速率。
• 通过展示 PIR 在物理约束之外推广了 BIA，统一信息论、编码理论与无线通信的视角。

提出的方法

• 该方案使用消息符号的线性组合作为查询，系数在 $\mathbb{F}_2$ 上均匀随机选取，以确保查询与所请求消息索引无关。
• 每个数据库使用其对应的查询向量作为系数，对所有消息进行线性组合，形成响应字符串。
• 用户通过组合所有数据库的响应来恢复所请求的消息，利用查询系数的差异抵消干扰。
• 隐私条件得以满足，因为每个独立查询在统计上与所请求消息索引 $\theta$ 无关，这是由于系数独立同分布。
• 通过分析所请求消息大小与总下载量的比值，结合对称性及数据库间线性组合的结构，推导出容量。
• 利用与盲干扰对齐（BIA）的联系，将已知的 BIA 方案推广至任意相干模式，从而实现 $K > 2$ 时的最优 PIR。

实验结果

研究问题

• RQ1 用户在 $K$ 个消息存储于 $N$ 个非通信数据库的环境中，能够以多高的最大速率私密地检索一个消息？
• RQ2 能否构造一种 PIR 方案，使其在部分消息被移除时仍能保持隐私性和效率？
• RQ3 如何将盲干扰对齐的原理适配以构建最优的 PIR 协议？
• RQ4 在信息论 PIR 中，下载成本与隐私之间的基本权衡是什么？
• RQ5 对于任意 $K$ 和 $N$，能否以闭式表达刻画 PIR 的容量？

主要发现

• PIR 的信息论容量恰好为 $\left(1 + \frac{1}{N} + \frac{1}{N^2} + \cdots + \frac{1}{N^{K-1}}\right)^{-1}$，即一个几何级数和的倒数。
• 所提出的方案通过线性编码和随机查询系数实现该容量，确保任意单个数据库无法获知所请求消息索引。
• 即使任意消息子集被设为零，该方案仍保持容量最优，展现出鲁棒性与结构不变性。
• 通过将最优盲干扰对齐（BIA）方案转换为 PIR，推导出达到容量的 PIR 方案，建立了 BIA 自由度与 PIR 速率之间的直接对应关系。
• 该结果推广了先前的 PIR 方案，特别是针对 $K=2$ 的情形，并通过允许超越无线约束的任意相干模式，将其扩展至任意 $K > 2$。
• 下载成本相对于消息大小被最小化，在渐近情形下上传成本可忽略不计，与香农理论框架一致。