[论文解读] Quantum conditional operator and a criterion for separability

Nicolas J. Cerf, Christoph Adami+1 more|CERN Bulletin|Oct 1, 1997

Spectral Theory in Mathematical Physics被引用 46

一句话总结

本文引入了量子条件振幅算符作为分析量子纠缠的工具，并提出了一种基于正映射 Γ: ρ → (Tr ρ)I − ρ 的新可分性判据。研究表明，可分态必须具有特征值 ≤ 1 的条件算符，且对态应用 Γ⊗I 后，若态为可分态，则结果为非负算符。该判据在量子比特系统中等价于部分转置，且在 2×2 和 2×3 系统中既必要又充分。

ABSTRACT

We analyze the properties of the conditional amplitude operator, the quantum analog of the conditional probability which has been introduced in [quant-ph/9512022]. The spectrum of the conditional operator characterizing a quantum bipartite system is invariant under local unitary transformations and reflects its inseparability. More specifically, it is shown that the conditional amplitude operator of a separable state cannot have an eigenvalue exceeding 1, which results in a necessary condition for separability. This leads us to consider a related separability criterion based on the positive map $Γ:ρ o (Tr ρ) - ρ$, where $ρ$ is an Hermitian operator. Any separable state is mapped by the tensor product of this map and the identity into a non-negative operator, which provides a simple necessary condition for separability. In the special case where one subsystem is a quantum bit, $Γ$ reduces to time-reversal, so that this separability condition is equivalent to partial transposition. It is therefore also sufficient for $2 imes 2$ and $2 imes 3$ systems. Finally, a simple connection between this map and complex conjugation in the "magic" basis is displayed.

研究动机与目标

• 基于量子条件振幅算符的谱，建立量子态可分性的新必要条件。
• 研究条件算符与复合量子系统中可分态结构之间的联系。
• 引入并分析正映射 Γ: ρ → (Tr ρ)I − ρ 及其在检测可分性中的作用。
• 证明基于 Γ⊗I 的判据在其中一个子系统为量子比特时，等价于部分转置。
• 评估该新判据在检测高维系统中不可分性（包括部分转置失效的情况）中的有效性。

提出的方法

• 将量子条件振幅算符定义为条件概率的量子类比，由复合系统的密度矩阵导出。
• 分析条件算符的谱，证明其在局部幺正变换下不变，并将其与纠缠性质联系起来。
• 引入正映射 Γ: ρ → (Tr ρ)I − ρ，当通过张量积与单位算符结合时，其可作为可分性的见证。
• 对态应用映射 Γ⊗I，并检查所得算符是否为非负算符，这是可分性的必要条件。
• 利用 Γ 在此情况下退化为时间反演的事实，证明当其中一个子系统为量子比特时，Γ⊗I 判据与部分转置等价。
• 通过“魔法基”揭示映射 Γ 与复共轭之间的联系，为该判据提供几何解释。

实验结果

研究问题

• RQ1 量子条件振幅算符的谱能否作为量子不可分性的可检测特征？
• RQ2 当与单位算符张量积作用时，映射 Γ: ρ → (Tr ρ)I − ρ 是否在任意复合系统中给出可分性的必要条件？
• RQ3 基于 Γ⊗I 的可分性判据是否在量子比特系统中等价于部分转置？其在 2×2 和 2×3 维度下是否仍充分？
• RQ4 Γ⊗I 判据能否检测出逃避 Peres 判据的弱不可分态，特别是在 3×3 和 2×4 系统中？
• RQ5 在“魔法基”中，映射 Γ 与复共轭之间存在何种几何或代数关系？

主要发现

• 可分态的条件振幅算符不能有超过 1 的特征值，从而提供了可分性的必要条件。
• 当通过 Γ⊗I 应用映射 Γ: ρ → (Tr ρ)I − ρ 时，所有可分态均产生非负算符，构成可分性的必要判据。
• 在 2×2 和 2×3 系统中，Γ⊗I 判据既必要又充分，其强度与 Peres 判据相当。
• 当其中一个子系统为量子比特时，映射 Γ 退化为时间反演，使得 Γ⊗I 判据等价于部分转置。
• 在 3×3 和 2×4 系统中，Γ⊗I 判据无法检测到某些弱不可分态，与 Peres 判据表现一致，证实其在高维中不充分。
• 对于不可分态（如 2×2 例子），Γ⊗I 变换后算符的行列式为负；而对于可分态或弱不可分态，行列式为正，从而提供一种定量的见证。