We propose a versatile privacy framework for quantum systems, termed quantum pufferfish privacy (QPP). Inspired by classical pufferfish privacy, our formulation generalizes and addresses limitations of quantum differential privacy by offering flexibility in specifying private information, feasible measurements, and domain knowledge. We show that QPP can be equivalently formulated in terms of the Datta-Leditzky information spectrum divergence, thus providing the first operational interpretation thereof. We reformulate this divergence as a semi-definite program and derive several properties of it, which are then used to prove convexity, composability, and post-processing of QPP mechanisms. Parameters that guarantee QPP of the depolarization mechanism are also derived. We analyze the privacy-utility tradeoff of general QPP mechanisms and, again, study the depolarization mechanism as an explicit instance. The QPP framework is then applied to privacy auditing for identifying privacy violations via a hypothesis testing pipeline that leverages quantum algorithms. Connections to quantum fairness and other quantum divergences are also explored and several variants of QPP are examined.
翻译:我们提出了一种适用于量子系统的通用隐私框架,称为量子泡鱼隐私(QPP)。受经典泡鱼隐私启发,该公式通过灵活指定私有信息、可行测量和领域知识,推广并解决了量子差分隐私的局限性。我们证明QPP可等价地以Datta-Leditzky信息谱散度形式化表述,从而提供了该散度的首个操作性解释。我们将该散度重新表述为半定规划,并推导出其若干性质,进而用于证明QPP机制的凸性、可组合性和后处理性。还推导了保证去极化机制满足QPP的参数。我们分析了通用QPP机制的隐私-效用权衡,并再次以去极化机制作为显式实例进行研究。随后将QPP框架应用于隐私审计,通过利用量子算法的假设检验管道识别隐私泄露。我们还探讨了与量子公平性及其他量子散度的联系,并研究了QPP的若干变体。