[论文解读] Lower bounds for quantum communication complexity

Hartmut Klauck|ArXiv.org|Jun 28, 2001

Quantum Computing Algorithms and Architecture参考文献 25被引用 47

一句话总结

本文提出了用于有界误差量子通信复杂性的新型基于傅里叶的下界方法，将经典技术推广至量子设置。它建立了有界误差与非确定性量子通信复杂性之间的指数级分离，证明了哈明距离函数 HAMⁿⁿ/² 的 Ω(n/log n) 下界，同时表明其非确定性复杂度为 O(log n)。

ABSTRACT

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower bounds developed by Raz to the quantum case. Applying this method we give an exponential separation between bounded error quantum communication complexity and nondeterministic quantum communication complexity. We develop several other lower bound methods based on the Fourier transform, notably showing that \sqrt{\bar{s}(f)/\log n}, for the average sensitivity \bar{s}(f) of a function f, yields a lower bound on the bounded error quantum communication complexity of f(x AND y XOR z), where x is a Boolean word held by Alice and y,z are Boolean words held by Bob. We then prove the first large lower bounds on the bounded error quantum communication complexity of functions, for which a polynomial quantum speedup is possible. For all the functions we investigate, the only previously applied general lower bound method based on discrepancy yields bounds that are O(\log n).

研究动机与目标

• 开发适用于有界误差通信复杂性的通用、量子特异性下界技术，克服以往方法（如分歧和秩）的局限性。
• 为量子加速可能的函数（特别是相对于经典协议具有多项式量子优势的函数）证明强下界。
• 建立量子通信复杂性模型之间的分离，特别是有界误差与非确定性（单边无界误差）量子协议之间的分离。
• 利用函数通信矩阵的代数与谱性质，分析 HAMⁿⁿ/²、MAJₙ 和 COUNTₙᵗ 等函数的量子通信复杂性。
• 探究量子优势在通信复杂性中的极限，特别是对于总函数，量子协议是否可能比经典协议好超过二次方。

提出的方法

• 将 Razi 的经典通信下界方法（基于选定傅里叶系数绝对值之和）推广至量子设置，使用实数权重在 [−1, 1] 范围内的加权单色矩形。
• 利用函数 f 的傅里叶变换，通过平均敏感度 s̄(f) 推导出量子通信复杂性的下界，证明 √(s̄(f)/log n) 是 f(x ∧ y ⊕ z) 的有效下界。
• 应用 de Wolf 的框架，将量子协议与加权矩形覆盖关联，实现量子协议由经典弱无界误差协议的模拟。
• 利用矩阵逼近技术，特别是迹范数最小化，以通信矩阵的复杂性，受 Razborov 后续工作的启发。
• 通过分组矩形并调整权重，从量子协议构造经典弱无界误差协议，证明对所有 f 有 QC(f) = Θ(PC(f))。
• 使用分歧与谱方法分析 IPₙ、HAMⁿⁿ/² 和 MAJₙ 等具体函数，比较各模型下的边界。

实验结果

研究问题

• RQ1 能否将基于傅里叶的方法从经典通信复杂性推广至量子通信复杂性，以获得更强的下界？
• RQ2 哈明距离函数 HAMⁿⁿ/² 的量子通信复杂度是多少？其与非确定性版本相比如何？
• RQ3 能否利用代数技术证明有界误差与非确定性量子通信复杂性之间的指数级分离？
• RQ4 对于 HAMⁿⁿ/² 这类函数，新下界方法与分歧方法相比如何？在 HAMⁿⁿ/² 上分歧方法仅能给出 O(log n) 的界。
• RQ5 对于总函数，量子有界误差通信复杂度是否可能比经典有界误差复杂度小超过二次方？

主要发现

• 通过基于傅里叶的方法，为 HAMⁿⁿ/² 的有界误差量子通信复杂性建立了 Ω(n/log n) 的下界。
• 证明了 HAMⁿⁿ/² 的非确定性量子通信复杂度为 O(log n)，从而在有界误差与非确定性量子复杂性之间实现了指数级分离。
• 分歧方法对 HAMⁿⁿ/² 仅能给出 O(log n) 的界，凸显了新基于傅里叶方法的优越性。
• 对函数 f(x ∧ y ⊕ z)，证明了 √(s̄(f)/log n) 是有界误差量子通信复杂性的有效下界。
• 本文表明对所有函数 f 有 QC(f) = Θ(PC(f))，即量子与经典弱无界误差通信复杂度渐近等价。
• 结果表明 COUNTₙᵗ 的上界是紧致的，后续 Razborov 的工作已验证这一点，证实了该方法的强大性。