[论文解读] Quantum Communication Complexity

Hartmut Klauck|ArXiv.org|May 8, 2000

Quantum Computing Algorithms and Architecture参考文献 15被引用 20

一句话总结

本文综述了量子通信复杂性，建立了量子单向协议的新下界技术，并展示了其相对于经典方法的指数级优势。本文提出一种基于矩阵行多样性与列不平衡性的新下界，证明对于Index和Greater-Than等函数，量子单向通信复杂性需Ω(n/log n) qubits，显著优于经典方法与VC维数方法的下界。

ABSTRACT

This paper surveys the field of quantum communication complexity. Some interesting recent results are collected concerning relations to classical communication, lower bound methods, one-way communication, and applications of quantum communication complexity.

研究动机与目标

• 对量子通信复杂性领域内的成果进行综述与系统化整理，重点关注量子协议相较于经典协议的优势。
• 开发并应用量子单向通信复杂性的新型下界技术，解决现有方法（如VC维数）的局限性。
• 展示量子协议在降低通信成本方面的强大能力，尤其针对全布尔函数。
• 探索量子通信复杂性在量子自动机与公式大小问题中的应用，将通信复杂性与量子计算模型相联系。

提出的方法

• 提出一种新型下界方法，通过选取通信矩阵M的子矩阵M'以最大化下界。
• 定义参数h为最小值，使得对于任意行的子集，该子集中任意列的多数比例均不超过h。
• 构建下界公式：bound(f) = log(row(M')) / log_{1/h}(row(M'))，其中row(M')表示M'中不同行的数量。
• 通过重复实现误差缩减，将误差概率降低，通信量增加O(log_{1/h} row(M'))倍。
• 应用Holevo定理，证明以高保真度传输M'中的一行至少需要Ω(log row(M')) qubits。
• 采用自适应测量策略，通过迭代方式逐步排除错误行，每次测量最多将行数减少至原来的h倍。

实验结果

研究问题

• RQ1 对于全布尔函数，量子单向通信协议是否能显著低于经典协议的通信复杂度？
• RQ2 量子通信复杂性的新型下界技术与经典方法（如VC维数）相比如何？
• RQ3 在单向模型中，Index函数与Greater-Than函数的最小量子通信成本是多少？
• RQ4 量子通信复杂性下界在量子自动机与公式大小问题中的应用程度如何？
• RQ5 在Las Vegas设置下，交互是否为量子协议实现超越经典协议的超多项式加速所必需？

主要发现

• 新下界方法对Index函数得出bound(IX_n) = Ω(n/log n)，显著优于基于VC维数的下界。
• 对于Greater-Than函数，该方法证明Q_ε^1(GT) = Ω(n/log n)，尽管其VC维数仅为1。
• 证明bound(f) = Ω(VC(f)/log VC(f))，表明新方法严格强于VC维数方法。
• 量子单向Las Vegas协议满足Q_0,ε^1(f) ≥ (1−ε)D^1(f)，表明交互对于实现任何量子-经典Las Vegas加速至关重要。
• 该方法确立了某些函数的量子通信复杂性需Ω(log row(M') / log_{1/h} row(M')) qubits，反映了行多样性与列平衡性之间的权衡。
• 结果表明，量子有限单向自动机至多比经典确定性有限自动机（DFAs）小多项式级别，但有界误差量子自动机可能指数级更小或更大。