[论文解读] On quantum and approximate privacy

Hartmut Klauck|Oct 5, 2001

Hermeneutics and Narrative Identity被引用 7

一句话总结

本文研究了两方通信复杂性中的量子隐私与近似隐私，表明与经典协议相比，量子协议可将隐私损失指数级降低，尽管并未扩大零隐私损失函数的集合。研究证明，少量信息泄露可使量子协议计算出原本不可行的函数（如AND函数），并指出量子私密可计算布尔函数的结构可表征为各输入的XOR形式。

ABSTRACT

This paper studies privacy and secure function evaluation in communication complexity. The focus is on quantum versions of the model and on protocols with only approximate privacy against honest players. We show that the privacy loss (the minimum divulged information) in computing a function can be decreased exponentially by using quantum protocols, while the class of privately computable functions (i.e., those with privacy loss 0) is not enlarged by quantum protocols. Quantum communication combined with small information leakage on the other hand makes certain functions computable (almost) privately which are not computable using either quantum communication without leakage or classical communication with leakage. We also give an example of an exponential reduction of the communication complexity of a function by allowing a privacy loss of $o(1)$ instead of privacy loss 0.

研究动机与目标

• 确定量子通信是否扩大了可零隐私损失计算的函数类。
• 探究允许少量信息泄露是否能使量子协议私密计算出新函数。
• 分析量子协议中通信成本与隐私损失之间的权衡。
• 表征在隐私约束下可通过量子协议计算的布尔函数结构。
• 探讨近似隐私与近乎诚实参与方可行的量子安全函数计算的含义。

提出的方法

• 使用信息理论度量分析隐私损失，将其定义为协议执行过程中玩家获得的最小信息量。
• 将量子通信协议应用于不相交问题（DISJn），表明隐私损失可降低至O(log²n)，而通信复杂度仍为Ω(√n)。
• 运用量子信息理论技术，包括叠加与酉变换，模拟具有受控信息泄露的协议。
• 采用混合方法，结合量子通信与有界泄露，证明此类协议可计算经典或纯量子泄露下不可行的函数。
• 利用引理9将协议的隐私损失限制在δ以内，建立协议设计与信息理论安全性的正式联系。
• 将经典私密计算结果扩展至量子设置，表征量子私密布尔函数为fA(x) ⊕ fB(y)。

实验结果

研究问题

• RQ1 量子通信能否在计算函数时将隐私损失降低至经典界限以下？
• RQ2 允许少量信息泄露是否能使量子协议计算出在经典或纯量子协议下均不可私密计算的函数？
• RQ3 使用量子协议实现零隐私损失计算的布尔函数具有何种结构？
• RQ4 近似隐私（通过小泄露与误差定义）在安全函数计算中如何与量子通信相互作用？
• RQ5 能否使量子协议对略微偏离协议的近乎诚实参与者保持安全？

主要发现

• 对于不相交问题，量子协议可将隐私损失从指数级降低至O(log²n)，相比经典协议实现指数级减少。
• 零隐私损失函数（即完全私密函数）的集合未因量子通信而扩大；此类函数仍精确为fA(x) ⊕ fB(y)的形式。
• 少量信息泄露与量子通信结合，可实现AND函数的计算，该函数在经典设置下即使允许泄露也无法实现私密计算。
• 对于布尔函数，量子私密计算可表征为fA(x) ⊕ fB(y)，将经典表征扩展至量子领域。
• 量子协议的隐私损失严格小于其通信复杂度，如不相交问题所示：隐私损失为O(log²n)，通信复杂度为Ω(√n)。
• 本文表明，具有少量泄露的量子协议可实现经典或纯量子模型下不可计算的函数的私密计算，表明存在新的计算优势。