[论文解读] Comment on ``Dynamics of open quantum systems initially entangled with environment: Beyond the Kraus representation'' [PRA 64, 062106 (2001)]

David Cienfuegos Salgado, J. L. Sánchez‐Gómez|ArXiv.org|Nov 25, 2002

Quantum Mechanics and Applications被引用 4

一句话总结

本文更正了2001年研究中的一项错误，该研究声称初始系统-环境纠缠会破坏开放量子动力学的Kraus表示。本文证明，初始关联与联合动力学的具体形式——尤其是演化是否可分——共同决定了约化动力学是否保持完全正定。研究进一步表明，即使存在初始关联，可分动力学仍能保持完全正定性。

ABSTRACT

We correct a mistake in a result reported in [PRA 64, 062106 (2001)], where it is rightfully argued that initial correlations between a system and its environment may render the system reduced dynamics not completely positive. We prove how not only these initial correlations but also the specific joint dynamics does play a significant role in the question of the complete positivy of the reduced dynamics.

研究动机与目标

• 更正Štelmachovič与Bužek（2001）在分析因初始系统-环境纠缠导致的非Kraus动力学时所犯的错误示例。
• 澄清约化动力学的完全正定性不仅取决于初始关联，还取决于系统-环境联合动力学的结构。
• 证明当联合动力学为可分形式（可分幺正演化）时，即使存在初始关联，约化动力学仍保持完全正定。
• 为具有关联初始态的开放量子系统建立完全正定性的充分条件。

提出的方法

• 推导在受控-非门哈密顿量下，量子比特A的时演化约化密度矩阵，对比两种初始态：直积态与纠缠态。
• 通过证明在两种初始条件下约化密度矩阵的对角项完全相同，揭示原主张中的错误，从而反驳其声称的差异。
• 引入一个微扰项δρ_A(t)，表示初始关联对时间t时约化密度矩阵的贡献。
• 利用泡利生成元的迹性质与幺正不变性，证明当联合幺正演化为可分形式，即U_AB(t) = U_A(t) ⊗ U_B(t)时，δρ_A(t) = 0。
• 利用迹恒等式，结合迹为零的算符τ_j与幺正变换，证明在可分动力学下，由关联引起的修正项消失。
• 分析特定的C-NOT哈密顿量示例，说明其非可分动力学是原主张失败的原因，尽管其关于初始关联作用的一般洞见是正确的。

实验结果

研究问题

• RQ1 当量子系统初始时与环境纠缠时，其约化动力学是否仍保持完全正定？
• RQ2 仅初始关联是否足以导致约化动力学失去完全正定性，还是联合动力学也起决定性作用？
• RQ3 在何种联合动力学条件下，即使存在初始关联，约化动力学也能保证完全正定？
• RQ4 为何Štelmachovič与Bužek（2001）的原始示例错误地声称在不同初始条件下，同一系统具有不同的约化密度矩阵？

主要发现

• 原主张称在t = π/2时，关联与非关联初始态下量子比特A的约化密度矩阵不同，此说法错误，因为两种情况下对角项完全相同。
• 对于直积态ρ_AB^(1)的时演化约化密度矩阵ρ_A(t)仅包含对角项及与|α|² cos t sin t成比例的非对角项；而纠缠态ρ_AB^(2)则额外包含涉及αβ* e^{it} cos t的干涉项。
• 由初始关联引起的修正项δρ_A(t)在联合幺正演化为可分形式时（即U_AB(t) = U_A(t) ⊗ U_B(t)）恒等于零。
• 此结果证明，即使存在初始系统-环境关联，可分动力学仍能保证约化动力学的完全正定性。
• C-NOT哈密顿量演化不具备可分性，这解释了为何原始示例失败，尽管其关于初始关联作用的一般结论是正确的。