[论文解读] Entanglement of Formation of an Arbitrary State of Two Rebits

Carlton M. Caves, Christopher A. Fuchs+1 more|ArXiv.org|Sep 14, 2000

Quantum Mechanics and Applications参考文献 3被引用 5

一句话总结

本文通过基于密度矩阵变换迹的实数concurrence度量，推导出任意两组态比特（two rebits，即实数域上的量子比特系统）混合态的纠缠熵形成显式公式。关键结果表明，纠缠熵形成等于通过特定实数转置操作后态的迹的绝对值参数化的量子比特态的冯诺依曼熵，揭示了实数纠缠与标准复数量子纠缠的根本差异，包括在实数系统中存在束缚纠缠——即在复数域上可分但在实数域上纠缠的态。

ABSTRACT

We consider entanglement for quantum states defined in vector spaces over the real numbers. Such real entanglement is different from entanglement in standard quantum mechanics over the complex numbers. The differences provide insight into the nature of entanglement in standard quantum theory. Wootters [Phys. Rev. Lett. 80, 2245 (1998)] has given an explicit formula for the entanglement of formation of two qubits in terms of what he calls the concurrence of the joint density operator. We give a contrasting formula for the entanglement of formation of an arbitrary state of two ``rebits,'' a rebit being a system whose Hilbert space is a 2-dimensional real vector space.

研究动机与目标

• 发展对实向量空间上定义的量子系统纠缠的完整表征，与标准复数量子力学形成对比。
• 将纠缠熵形成的概念从量子比特扩展到两组态比特的任意混合态。
• 识别实数纠缠与复数纠缠的差异，特别是在可分性与束缚纠缠的语境下。
• 在实数量子形式体系中，为纠缠熵形成提供闭式公式，类似于Wootters对量子比特的公式。

提出的方法

• 将组态比特定义为希尔伯特空间在实数域上的两能级量子系统。
• 引入实数concurrence $ C(\rho) = |\mathrm{Tr}(\rho \sigma_y \otimes \sigma_y)| $，其源自密度矩阵的偏转置。
• 使用凸包构造法，将纠缠熵形成定义为该态所有纯态分解中平均熵的最小值。
• 建立纠缠熵形成由 $ E(\rho) = \mathcal{E}(|\mathrm{Tr}(\tau)|) $ 给出，其中 $ \mathcal{E}(C) = H\left( \frac{1 + \sqrt{1 - C^2}}{2} \right) $，$ H $ 为二元熵函数。
• 证明两组态比特态是可分的（实可分）当且仅当 $ \mathrm{Tr}(\rho \sigma_y \otimes \sigma_y) = 0 $，等价于在偏转置下不变。
• 将实数concurrence与Wootters的复数concurrence进行比较，表明即使在复数纠缠缺失时，实数纠缠仍可存在。

实验结果

研究问题

• RQ1 实量子力学（组态比特）中的纠缠与标准复数量子力学（量子比特）中的纠缠有何不同？
• RQ2 能否为任意两组态比特态推导出纠缠熵形成的闭式表达式？
• RQ3 偏转置在检测实量子系统中的纠缠时起什么作用？它与复数情形有何不同？
• RQ4 是否存在在实数上纠缠但在复数上可分的态？这对束缚纠缠意味着什么？
• RQ5 实量子力学中纠缠的结构在多大程度上是普遍特征？它如何帮助我们隔离出量子纠缠的本质要素？

主要发现

• 任意两组态比特态的纠缠熵形成由 $ E(\rho) = H\left( \frac{1 + \sqrt{1 - C^2}}{2} \right) $ 给出，其中 $ C = |\mathrm{Tr}(\rho \sigma_y \otimes \sigma_y)| $，提供了完整的解析公式。
• 两组态比特态是实可分的当且仅当 $ \mathrm{Tr}(\rho \sigma_y \otimes \sigma_y) = 0 $，这等价于态在偏转置下不变。
• 实数concurrence $ C $ 定义为 $ \rho \sigma_y \otimes \sigma_y $ 的迹的绝对值，与Wootters的复数concurrence根本不同，后者涉及矩阵 $ \tau \tau^\dagger $ 的奇异值。
• 对于态族 $ \rho = \frac{1}{4}(I \otimes I + \alpha \sigma_y \otimes \sigma_y) $，实数concurrence为 $ C = \alpha $，而Wootters concurrence为 $ C_W = 0 $，表明这些态在实数上纠缠但在复数上可分。
• 这些态在实数形式体系中表现出束缚纠缠：它们在实数上纠缠，但无可提取的纠缠，因为它们在复数域上可分。
• 结果表明，标准量子力学中的束缚纠缠可能并非源于内在的不可提取性，而是源于域的选择——实数纠缠即使在复数纠缠缺失时，仍可为束缚态。