[论文解读] Quantum communication complexity of block-composed functions

Yaoyun Shi, Yufan Zhu|ArXiv.org|Sep 29, 2007

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

一句话总结

本文提出了一种针对块复合函数的新型量子通信复杂度下界方法，该方法适用于由对称函数 $ f_n $ 与一个‘构建块’函数 $ g_k $ 在 $ n $ 个块上复合而成的总布尔函数。该方法证明，若 $ g_k $ 足够困难，则复合函数的量子与经典通信复杂度之间存在多项式关系，从而在对称谓词之外的广泛函数类中证明了对数等价性猜想，其应用包括内积函数和不相交函数。

ABSTRACT

A major open problem in communication complexity is whether or not quantum protocols can be exponentially more efficient than classical protocols on _total_ Boolean functions in the two-party interactive model. The answer appears to be ``No''. In 2002, Razborov proved this conjecture for so far the most general class of functions F(x, y) = f(x_1 * y_1, x_2 * y_2, ..., x_n * y_n), where f is a_symmetric_ Boolean function on n Boolean inputs, and x_i, y_i are the i'th bit of x and y, respectively. His elegant proof critically depends on the symmetry of f. We develop a lower-bound method that does not require symmetry and prove the conjecture for a broader class of functions. Each of those functions F(x, y) is obtained by what we call the ``block-composition'' of a ``building block'' g : {0, 1}^k by {0, 1}^k --> {0, 1}, with an f : {0, 1}^n -->{0, 1}, such that F(x, y) = f(g(x_1, y_1), g(x_2, y_2), ..., g(x_n, y_n)), where x_i and y_i are the i'th k-bit block of x and y, respectively. We show that as long as g itself is ``hard'' enough, its block-composition with an_arbitrary_ f has polynomially related quantum and classical communication complexities. Our approach gives an alternative proof for Razborov's result (albeit with a slightly weaker parameter), and establishes new quantum lower bounds. For example, when g is the Inner Product function for k=Ω(\log n), the_deterministic_ communication complexity of its block-composition with_any_ f is asymptotically at most the quantum complexity to the power of 7.

研究动机与目标

• 解决两方通信模型中，量子协议是否能对总布尔函数实现指数级超越经典协议的开放问题。
• 在移除复合函数对称性要求的前提下，将Razborov的结果（仅适用于对称谓词）推广至更广泛的非对称函数。
• 为任意块复合函数 $ F(x,y) = f_n(g_k(x_1,y_1), \dots, g_k(x_n,y_n)) $ 开发一种通用的下界技术，其中 $ g_k $ 为困难的构建块。
• 建立此类函数的量子与经典通信复杂度之间的多项式关系，支持对数等价性猜想。

提出的方法

• 基于矩阵逼近的谱分析提出一种新下界方法，重点关注与输入分布相关的密度矩阵之间差异的迹范数。
• 利用近似度的对偶形式（引理3.1）将弱下界放大为强量子下界，从而实现对如不相交函数等函数的困难度放大。
• 通过构建块 $ g_k $ 导出的局部矩阵 $ \mu_0 $ 和 $ \mu_1 $ 的张量积构造见证矩阵，以界定复合函数的近似度。
• 应用三角不等式与特征值分解，控制见证矩阵的迹范数，确保其随块数 $ n $ 增长。
• 通过避免依赖Hahn多项式与谱对称性，将方法推广至非对称函数，不同于Razborov原始证明的路径。
• 证明当 $ g_k $ 为内积函数且 $ k = \Omega(\log n) $ 时，确定性复杂度至多为量子复杂度的7次方。

实验结果

研究问题

• RQ1 在两方交互式模型中，总布尔函数的量子通信复杂度是否可能远小于经典复杂度？
• RQ2 对数等价性猜想——即量子与经典通信复杂度多项式相关——是否对非对称函数成立？
• RQ3 能否开发一种不依赖复合函数对称性假设的下界方法，同时仍能获得强下界？
• RQ4 对构建块 $ g_k $ 需满足何种条件，才能确保复合函数 $ f_n \Box g_k $ 的量子与经典复杂度多项式相关？
• RQ5 能否通过近似度的对偶形式，将 $ g_k $ 的弱下界放大为强量子下界？

主要发现

• 对于任意块复合函数 $ F(x,y) = f_n(g_k(x_1,y_1), \dots, g_k(x_n,y_n)) $，若 $ g_k $ 足够困难，则 $ D(F) = O(Q(F)^7) $，表明确定性复杂度与量子复杂度之间存在多项式关系。
• 当 $ g_k $ 为内积函数且 $ k = \Omega(\log n) $ 时，$ F $ 的确定性通信复杂度至多为量子复杂度的7次方。
• 该方法为Razborov关于对称谓词的结果提供了替代证明，尽管参数略弱，但无需依赖Hahn多项式或完整的谱分解。
• 该技术建立了 $ Q(\textsc{DISJ}_n) = \Omega(n^{1/3}) $，通过使用近似度的对偶形式，从弱下界 $ \rho(\textsc{DISJ}_k) = O(1/k) $ 实现困难度放大。
• 对于 $ g_k^0(x, (i,b)) = x_i + b $，该方法恢复了Sherstov的结果 $ Q(f_n \Box g_k^0) = \Omega(\widetilde{\textrm{deg}}(f_n)) $，表明该方法与更强的已知界限一致。
• 该方法可推广至非对称函数，并可扩展至非相同或非平衡的构建块，表明其在对数等价性猜想方面具有广泛适用性。