[论文解读] A Condition for the Nullity of Quantum Discord

Animesh Datta|arXiv (Cornell University)|Mar 27, 2010

Quantum Computing Algorithms and Architecture参考文献 2被引用 26

一句话总结

本文证明了零量子失谐等价于冯诺依曼熵强子可加性的饱和，为零失谐态提供了必要且充分的条件。它将这些态表征为指针态，并将其结构与非破坏性测量的存在性联系起来，从而在经典与量子关联之间划定了根本性的信息理论边界。

ABSTRACT

The positivity of quantum discord is shown to be equivalent to the strong subadditivity of von-Neumann entropy. This leads us to a necessary and sufficient condition characterizing the set of states with zero quantum discord. This also gives us a mathematical definition of pointer states, as they are the states with zero discord. Finally, we suggest that strong subadditivity of entropy might delineate the boundaries of the set of quantum correlations.

研究动机与目标

• 确定一个量子态具有零量子失谐的必要且充分条件。
• 基于量子失谐为零，建立指针态的正式数学表征。
• 探讨冯诺依曼熵的强子可加性在区分量子与经典关联中的作用。
• 提出一个基于熵不等式的判据，以区分量子理论与更一般的不可 signaling 理论。
• 为有限维与无限维系统中识别零失谐态提供一种构造性框架。

提出的方法

• 将量子失谐导出为总关联（量子互信息）与经典关联（对 POVM 取最大值）之差。
• 使用 Naimark 延拓，将系统 B 上的测量嵌入到扩展系统 ABC 上的酉演化中。
• 对扩展态 $\rho'_{ABC}$ 应用强子可加性不等式，证明等式成立当且仅当该态构成短马尔可夫链。
• 证明强子可加性中的等式对应于零量子失谐，从而在 $\rho_B$ 的本征基下导出乘积结构。
• 将零失谐态表征为 $\rho_{AB} = \sum_j p_j \rho_{A|j} \otimes |\lambda_j\rangle\!\langle\lambda_j|$ 的形式，即在 $\rho_B$ 的本征基下对角化。
• 在熵的有限性条件下，将该表征扩展至无限维系统。

实验结果

研究问题

• RQ1 一个量子态具有零量子失谐的必要且充分条件是什么？
• RQ2 冯诺依曼熵强子可加性的饱和如何与零失谐态的结构相关？
• RQ3 能否通过量子失谐为零来数学定义指针态？
• RQ4 冯诺依曼熵的强子可加性是否可作为区分量子与经典或更一般不可 signaling 理论的边界条件？
• RQ5 在约化密度矩阵 $\rho_B$ 的本征基下，零失谐态的结构形式是什么？

主要发现

• 当且仅当冯诺依曼熵的强子可加性成立时，量子失谐非负，从而为此事实提供了新证明。
• 零量子失谐恰好发生在扩展态 $\rho'_{ABC}$ 满足强子可加性等式时，即构成短马尔可夫链。
• 零失谐态的形式为 $\rho_{AB} = \sum_j p_j \rho_{A|j} \otimes |\lambda_j\rangle\!\langle\lambda_j|$，在 $\rho_B$ 的本征基下对角化，确认了其乘积结构。
• 指针态被数学定义为零量子失谐态，其源于可通过非破坏性测量提取信息的能力。
• 在有限维希尔伯特空间中，零失谐态集合的测度为零，表明其稀有性。
• 对于量子态，$H(AB) + H(BC) - H(ABC) - H(B)$ 为正；对于经典态，为零；对于更一般的不可 signaling 理论，为负，表明强子可加性是量子关联的边界。