[论文解读] On rounds in quantum communication

Hartmut Klauck|ArXiv.org|Apr 26, 2000

Quantum Computing Algorithms and Architecture参考文献 28被引用 4

一句话总结

本文建立了指针跳跃函数的量子通信轮次-通信层次结构，证明当鲍勃发起通信时，任意常数 $k$ 轮的量子协议均需 $\Omega(n)$ 通信量。该研究提出了一种基于相对冯诺依曼熵与迹距离的新信息度量，以此推导出该下界，并进一步表明，对于不相交问题，$k$ 轮量子协议在常数 $k$ 下需 $\Omega(n^{1/k})$ 通信量，展示了在轮次复杂度上的显著量子优势。

ABSTRACT

We investigate the power of interaction in two player quantum communication protocols. Our main result is a rounds-communication hierarchy for the pointer jumping function $f_k$. We show that $f_k$ needs quantum communication $Ω(n)$ if Bob starts the communication and the number of rounds is limited to $k$ (for any constant $k$). Trivially, if Alice starts, $O(k\log n)$ communication in $k$ rounds suffices. The lower bound employs a result relating the relative von Neumann entropy between density matrices to their trace distance and uses a new measure of information. We also describe a classical probabilistic $k$ round protocol with communication $O(n/k\cdot(\log^{(k/2)}n+\log k)+k\log n)$ in which Bob starts the communication. Furthermore as a consequence of the lower bound for pointer jumping we show that any $k$ round quantum protocol for the disjointness problem needs communication $Ω(n^{1/k})$ for $k=O(1)$.

研究动机与目标

• 研究交互在两方量子通信协议中的作用。
• 在量子环境下建立指针跳跃函数 $f_k$ 的轮次-通信层次结构。
• 分析通信顺序（谁先发起）对量子协议效率的影响。
• 在轮次受限条件下推导量子通信复杂性的下界。
• 将这些结果扩展至不相交问题，证明 $k$ 轮协议的通信下界为 $\Omega(n^{1/k})$。

提出的方法

• 提出一种基于相对冯诺依曼熵与迹距离的新型量子信息度量，用于量化通信双方之间的信息流动。
• 利用阿拉基-利布不等式与迹距离界，将互信息与密度矩阵之间的信息距离关联起来。
• 对轮次间的信息距离进行递归分析，表明鲍勃的通信可减少爱丽丝系统与下一指针之间的信息距离。
• 通过将指针跳跃问题约化至不相交问题，推导出后者的下界。
• 利用葛洛弗搜索与超密集编码构造经典与量子协议的上界。
• 采用一种概率性经典 $k$ 轮协议，当鲍勃发起通信时，其通信量为 $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$。

实验结果

研究问题

• RQ1 当鲍勃发起通信时，指针跳跃函数在 $k$ 轮量子协议中的通信复杂度是多少？
• RQ2 通信顺序的选择（爱丽丝或鲍勃先发起）如何影响量子通信复杂度？
• RQ3 基于相对熵与迹距离的信息理论度量是否能为量子通信提供更强的下界？
• RQ4 对于常数 $k$，不相交问题的 $k$ 轮量子通信复杂度是多少？
• RQ5 在指针跳跃与不相交问题中，量子协议与经典协议在通信量与轮次复杂度方面有何比较？

主要发现

• 对于指针跳跃函数 $f_k$，任何 $k$ 轮量子协议在鲍勃发起通信时，对任意常数 $k$ 均需 $\Omega(n)$ 通信量，确立了强有力的轮次-通信层次结构。
• 当爱丽丝发起通信时，$O(k\log n)$ 通信量在 $k$ 轮内即足够，表明通信成本在发起方不同时存在显著不对称性。
• 当鲍勃发起通信时，经典 $k$ 轮随机化协议在指针跳跃问题上的通信量为 $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$，与已知经典下界高度吻合。
• 本文证明，$k$ 轮量子协议在不相交问题上需 $\Omega(n^{1/k})$ 通信量（$k$ 为常数），将该下界扩展至一个基础问题。
• 基于相对冯诺依曼熵与迹距离的新型信息度量，能够对轮次间的信息流动实现紧致界，克服了标准互信息的局限性。
• 从指针跳跃到不相交问题的约化证实，即使在使用公开随机币的情况下，不相交问题的 $\Omega(n^{1/k})$ 下界在 $k$ 轮约束下依然成立。