[论文解读] A lower bound for bounded round quantum communication complexity of set disjointness

Rahul Jain, Jaikumar Radhakrishnan+1 more|ArXiv.org|Mar 22, 2003

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

一句话总结

本文在k轮有界误差模型下，通过将Bar-Yossef等人经典论证的信息论方法适配至量子场景，建立了集合不相交问题的量子通信复杂度的紧下界Ω(n/k²)。该结果改进了先前的界限，并在k = 1时与最优的O(√n)上界一致，表明在多轮设置中，量子协议无法显著超越此极限减少通信量。

ABSTRACT

We consider the class of functions whose value depends only on the intersection of the input X_1,X_2, ..., X_t; that is, for each F in this class there is an f_F: 2^{[n]} o {0,1}, such that F(X_1,X_2, ..., X_t) = f_F(X_1 \cap X_2 \cap ... \cap X_t). We show that the t-party k-round communication complexity of F is Omega(s_m(f_F)/(k^2)), where s_m(f_F) stands for the `monotone sensitivity of f_F' and is defined by s_m(f_F) \defeq max_{S\subseteq [n]} |{i: f_F(S \cup {i}) eq f_F(S)|. For two-party quantum communication protocols for the set disjointness problem, this implies that the two parties must exchange Omega(n/k^2) qubits. For k=1, our lower bound matches the Omega(n) lower bound observed by Buhrman and de Wolf (based on a result of Nayak, and for 2 <= k <= n^{1/4}, improves the lower bound of Omega(sqrt{n}) shown by Razborov. (For protocols with no restrictions on the number of rounds, we can conclude that the two parties must exchange Omega(n^{1/3}) qubits. This, however, falls short of the optimal Omega(sqrt{n}) lower bound shown by Razborov.)

研究动机与目标

• 在有界轮次模型中，建立集合不相交问题的量子通信复杂度的强下界。
• 将Bar-Yossef等人在经典通信复杂度中的信息论技术扩展至多参与方和两方通信的量子设置。
• 分析单调敏感性在决定基于交集的函数的量子通信复杂度中的作用。
• 弥合已知上界与下界之间在有限轮次量子协议中的差距。
• 证明量子通信复杂度中的优势受轮次数限制，尤其在集合不相离问题中。

提出的方法

• 将Bar-Yossef等人的信息论框架适配至量子通信模型，使用迹距离和保真度界。
• 利用酉变换关联各轮次间量子态的演化，建模输入变化带来的影响。
• 应用迹范数不等式与酉不变性，界定不同输入下量子态之间的距离。
• 通过互信息约束下的误差项c_A^i和c_B^i，引入状态分歧δ_i的递归界。
• 利用四次根函数的凹性，推导出k轮后状态分歧的累积界。
• 运用引理3和事实3，将最终状态距离与协议误差关联，从而得出通信代价的下界。

实验结果

研究问题

• RQ1 求解具有有界误差的k轮协议在集合不相交问题上的最小量子通信代价是多少？
• RQ2 底层函数f_F的单调敏感性s_m(f_F)如何与量子通信复杂度相关联？
• RQ3 经典通信复杂度中的信息论方法能否有效适配以推导紧致的量子下界？
• RQ4 轮次数k如何影响集合不相交问题的量子通信复杂度？
• RQ5 随着轮次数增加，量子通信复杂度中的优势是否会减弱？

主要发现

• 本文建立了k轮量子通信复杂度在集合不相交问题上的下界Ω(n/k²)。
• 当k = 1时，该下界与Buhrman和de Wolf的Ω(n)下界一致，确认了一轮情形下的紧致性。
• 当2 ≤ k ≪ n^{1/4}时，该下界优于Razborov的Ω(√n)下界，显示出对量子协议更强的限制。
• 该结果意味着，任何两方有界误差量子协议在集合不相交问题中，必须在无界轮次情况下通信Ω(n^{1/3}) qubits。
• 该下界通过使用量子态迹范数和酉不变性的经典论证适配推导得出。
• 分析表明，由于固有的信息论约束，即使在多轮情况下，量子协议也无法在O(√n)之外实现次多项式通信节省。