[论文解读] Lower Bound on the Redundancy of PIR Codes

Sankeerth Rao, Alexander Vardy|arXiv (Cornell University)|May 6, 2016

Coding theory and cryptography参考文献 3被引用 42

一句话总结

本文建立了 k-服务器私有信息检索（PIR）码冗余度的紧下界，证明当 k ≥ 3 时，冗余度为 Ω(√s)，与已知的 O(√s) 上界一致。对于 k=3 和 k=4 的情况，精确确定了最小冗余度为满足 r(r−1) ≥ 2s 的最小 r，解决了现有构造的渐近最优性问题。

ABSTRACT

We prove that the redundancy of a $k$-server PIR code of dimension $s$ is $Ω(\sqrt{s})$ for all $k \ge 3$. This coincides with a known upper bound of $O(\sqrt{s})$ on the redundancy of PIR codes. Moreover, for $k=3$ and $k = 4$, we determine the lowest possible redundancy of $k$-server PIR codes exactly. Similar results were proved independently by Mary Wootters using a different method.

研究动机与目标

• 确定 k≥3 时 k-服务器 PIR 码冗余度的根本下界。
• 弥合现有 PIR 码冗余度上界与下界之间的差距。
• 确立现有 O(√s) 冗余度 PIR 码构造的渐近最优性。
• 精确计算 3-服务器与 4-服务器 PIR 码的最小冗余度。
• 解决 k≥3 时是否存在小于 O(√s) 冗余度的可能问题。

提出的方法

• 在 GF(2)^n 上使用交换代数，定义二进制向量的逐分量乘法。
• 将集合 X ⊆ GF(2)^n 的平方定义为所有不同 u,v ∈ X 的乘积 u·v 的集合。
• 应用引理 1，利用向量空间结构，得到 |X²| ≤ |X|(|X|−1)/2 的上界。
• 应用引理 2：若 v₁v₂ + v₁v₃ + v₂v₃ = 0，则 (u+v₁)(u+v₂) + (u+v₂)(u+v₃) + (u+v₃)(u+v₁) = u。
• 通过具有满列秩的生成矩阵 G，将 PIR 条件转化为线性代数问题。
• 证明标准基向量 e_i 可表示为不相交列集的和，从而导出对矩阵列的代数约束。

实验结果

研究问题

• RQ1 现有 k-服务器 PIR 码的 O(√s) 冗余度对 k≥3 是否渐近最优？
• RQ2 k-服务器 PIR 码能否实现小于 O(√s) 的冗余度？
• RQ3 3-服务器与 4-服务器 PIR 码的精确最小冗余度是多少？
• RQ4 3-服务器 PIR 码的下界是否可推广至更高的 k？
• RQ5 能否利用逐分量向量乘法对 PIR 码的结构进行代数表征？

主要发现

• 对所有 k≥3，k-服务器 PIR 码的维度 s 对应的冗余度 r 满足 r(r−1) ≥ 2s，这意味着 r = Ω(√s)。
• 下界 r(r−1) ≥ 2s 是紧的，与已知的 O(√s) 上界一致，从而证明了渐近最优性。
• 对于 3-服务器 PIR 码，最小冗余度为满足 r(r−1) ≥ 2s 的最小整数 r，其显式表达式为 r = ⌈√(2s + 1/4) + 1/2⌉。
• 对于 4-服务器 PIR 码，最小冗余度与 3-服务器 PIR 码相同，这是由于已知关系 ρ(s,4) = ρ(s,3)+1 及紧下界所决定的。
• 证明技术依赖于向量积与线性张量的代数运算，表明标准基向量必须位于奇偶校验列集合平方的张量空间中。
• 该结果确认，对于任意 k≥3，不存在比 Ω(√s) 更优的 k-服务器 PIR 码，从而解决了长期悬而未决的开放问题。