Optimizing Leaky Private Information Retrieval Codes to Achieve ${O}(\log K)$ Leakage Ratio Exponent
Wenyuan Zhao, Yu-Shin Huang, Chao Tian, Alex Sprintson
TL;DR
The paper addresses leaky private information retrieval (L-PIR) under pure differential privacy by optimizing retrieval-pattern probabilities across a generalized TSC base code. It reveals a layered probability structure where keys with lower Hamming weight are more likely, and proves that focusing on a reduced TSC code with cyclic permutations suffices. The authors derive the optimal weight-based allocation $p_j=\frac{e^{(K-1-j)\epsilon}}{N\big(e^{\epsilon}+N-1\big)^{K-1}}$ and show the resulting leakage-exponent scales as $O(\log K)$ for fixed $D$ and $N$, a significant improvement over the prior $\Theta(K)$ bound. The results are established via reduction to the reduced scheme and KKT optimization, and they quantify the DP-PIR tradeoff with explicit expressions for download cost and leakage as functions of $\epsilon$, $K$, and $N$. This work substantially advances the practical design of privacy-leaky PIR systems by tightening the DP leakage-performance tradeoff.
Abstract
We study the problem of leaky private information retrieval (L-PIR), where the amount of privacy leakage is measured by the pure differential privacy parameter, referred to as the leakage ratio exponent. Unlike the previous L-PIR scheme proposed by Samy et al., which only adjusted the probability allocation to the clean (low-cost) retrieval pattern, we optimize the probabilities assigned to all the retrieval patterns jointly. It is demonstrated that the optimal retrieval pattern probability distribution is quite sophisticated and has a layered structure: the retrieval patterns associated with the random key values of lower Hamming weights should be assigned higher probabilities. This new scheme provides a significant improvement, leading to an ${O}(\log K)$ leakage ratio exponent with fixed download cost $D$ and number of servers $N$, in contrast to the previous art that only achieves a $Θ(K)$ exponent, where $K$ is the number of messages.
