[论文解读] Quantum Communication Complexity (A Survey)

Gilles Brassard|ArXiv.org|Jan 1, 2001

Quantum Computing Algorithms and Architecture参考文献 24被引用 9

一句话总结

本综述探讨了量子通信复杂性，表明在某些分布式任务中，尽管Holevo定理限制了每n个量子比特最多传输n个经典比特的信息，量子通信仍可相对于经典通信实现指数级优势。研究揭示了预先共享的纠缠态可使经典上不可能的任务在零通信下完成，且经典模拟纠缠态需要指数级更多的通信，凸显了通信效率上的根本性量子优势。

ABSTRACT

Can quantum communication be more efficient than its classical counterpart? Holevo's theorem rules out the possibility of communicating more than n bits of classical information by the transmission of n quantum bits --- unless the two parties are entangled, in which case twice as many classical bits can be communicated but no more. In apparent contradiction, there are distributed computational tasks for which quantum communication cannot be simulated efficiently by classical means. In extreme cases, the effect of transmitting quantum bits cannot be achieved classically short of transmitting an exponentially larger number of bits. In a similar vein, can entanglement be used to save on classical communication? It is well known that entanglement on its own is useless for the transmission of information. Yet, there are distributed tasks that cannot be accomplished at all in a classical world when communication is not allowed, but that become possible if the non-communicating parties share prior entanglement. This leads to the question of how expensive it is, in terms of classical communication, to provide an exact simulation of the spooky power of entanglement.

研究动机与目标

• 探究量子通信在分布式计算任务中是否能在效率上超越经典通信。
• 考察先验纠缠态在实现无通信条件下经典上不可能解决的分布式问题中的作用。
• 确定精确模拟量子纠缠态所需的经典通信成本，特别是在无直接通信的场景下。
• 探索经典模拟量子非局域性的极限以及重现量子关联所需的资源。
• 识别量子通信复杂性中的开放问题，特别是关于全函数、模拟界限以及无通信场景下纠缠能力的强弱。

提出的方法

• 回顾经典通信复杂性以建立比较基准，包括确定性、随机化和承诺问题模型。
• 通过考虑使用量子比特而非经典比特的协议，分析量子通信复杂性，展示特定函数下的指数级节省。
• 引入“幽灵通信复杂性”概念——当双方共享纠缠态时，可在零经典通信下解决的任务。
• 应用量子隐形传态，证明k个量子比特可用2k个经典比特模拟，从而确立经典模拟成本的上界。
• 利用有限域上的多项式恒等式检验设计高效随机化协议，以减少相等性测试的通信量。
• 研究使用经典通信模拟纠缠态上POVM（正算子值测度）测量结果，推导出期望和最坏情况通信量的界限。

实验结果

研究问题

• RQ1 对于全函数而非仅承诺问题，量子通信是否能相对于经典通信实现指数级优势？
• RQ2 是否存在一种分布式任务，当存在纠缠时可用极少的经典通信解决，但若无纠缠则需要显著更多的量子通信？
• RQ3 模拟k个量子比特纠缠态测量结果所需的最少经典通信量是多少？
• RQ4 在最坏情况下，能否用少于四个经典比特模拟EPR佯谬或非局域关联？
• RQ5 在经典模型中，模拟非局域关联的成功概率如何随共享随机变量数量的变化而变化？

主要发现

• 尽管Holevo定理限制每n个量子比特最多传输n个经典比特的信息，量子通信在某些承诺问题上仍可实现通信复杂性的指数级节省。
• 先验纠缠态使经典上不可能的分布式任务在零通信下成为可能，例如n=2或n=4时的Deutsch–Jozsa关系，且随着n增大，此类任务的类经典模拟也变得更简单。
• k个量子比特纠缠效应的经典模拟最多需(3k+6)2^k个期望通信比特，表明量子非局域性虽可被经典模拟，但需付出高昂的通信代价。
• 在最坏情况通信受限下，即使使用连续共享随机性，也尚未发现类似界限，表明在严格约束下对经典模拟的理解仍存在差距。
• 量子隐形传态表明，k个量子比特可用2k个经典比特模拟，说明量子通信可被经典方式以双倍通信成本实现模拟。
• 利用共享随机性伪造基于纠缠的关联概率随共享随机变量数量的增加呈指数下降，凸显了量子关联的非经典本质。