[论文解读] Entanglement and Properties of Composite Quantum Systems: a Conceptual and Mathematical Analysis

G. C. Ghirardi, Luca Marinatto+1 more|ArXiv.org|Sep 4, 2001

Quantum Mechanics and Applications被引用 7

一句话总结

本文对复合系统中的量子纠缠提供了严谨的概念与数学分析，区分了可区分粒子与全同粒子。它确立了纠缠的必要与充分条件，澄清了关于纠缠系统中物理性质的误解，并证明了因子化纯态的统计混合态无法违反贝尔不等式——为量子力学中的非定域性与隐变量理论提供了基础性澄清。

ABSTRACT

Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of the paper deals with composite systems in pure states. After a detailed discussion and a precise formal analysis of the case of systems of distinguishable particles, the problems of entanglement and the one of the properties of subsystems of systems of identical particles are thourougly discussed. This part is the most interesting and new and it focuses various subtle questions which have never been adequately discussed in the literature. Some inappropriate assertions which appeared in recent papers are analyzed. The relations of the main subject of the paper with the nonlocal aspects of quantum mechanics, as well as with the possibility of deriving Bell's inequality are also considered.

研究动机与目标

• 澄清复合量子系统中纠缠的概念与数学基础，尤其关注对子系统赋予客观性质的问题。
• 解决长期以来在全同粒子系统中纠缠处理上的模糊性，这些问题在以往文献中未得到充分处理。
• 研究纠缠、非定域性与贝尔不等式推导之间的关系，特别是在混合态中的情况。
• 纠正近期文献中关于纠缠与统计混合态的错误或误导性断言。
• 为纯态与混合系综中的纠缠态与非纠缠态建立正式判据，特别关注全同粒子。

提出的方法

• 使用希尔伯特空间形式化对量子态进行形式分析，区分纯态与统计系综。
• 通过张量积希尔伯特空间中量子态的不可因子化性来定义纠缠，并给出纠缠的精确数学条件。
• 使用统计算符（密度矩阵）分析非纯态及其在关系 ρ_E* = ρ_E 下的等价类。
• 推导混合态中可分解可观测量的期望值，表明当态可因子化时，其形式等价于隐变量模型。
• 应用定理 4.3 证明：因子化态的混合态所导致的期望值满足贝尔不等式。
• 分析共享相同密度算符的统计系综等价类，以确定给定态是否可分解为因子化纯态的混合态。

实验结果

研究问题

• RQ1 在何种精确的数学与概念条件下，复合量子系统被视为纠缠？
• RQ2 可区分粒子系统与全同粒子系统在纠缠处理上存在哪些根本性差异？
• RQ3 非纠缠（因子化）态的统计混合态是否可能导致贝尔不等式的违反？为什么或为什么不？
• RQ4 密度算符在确定给定统计系综能否分解为因子化纯态混合态中起什么作用？
• RQ5 为何某些近期关于混合态中纠缠与贝尔不等式违反的断言在严格分析下不成立？

主要发现

• 由因子化纯态的统计混合态所描述的系统无法导致贝尔不等式的违反，因为其期望值在形式上等同于局域隐变量模型的期望值。
• 在因子化态的混合态中，可观测量 A(1)⊗B(2) 的期望值为 ⟨A(1)⊗B(2)⟩ = ∑p_j A_j B_j，其结构与隐变量形式完全相同。
• 反之则不然：描述纠缠态混合态的密度算符在数学上可能等价于描述因子化态混合态的密度算符，但这种等价性并不意味着贝尔不等式被违反。
• 判断给定密度算符是否可分解为因子化纯态混合态的问题在形式上仍具挑战性，尚未完全解决。
• 对于全同粒子系统，纠缠的标准形式化必须重新审视，因为对称化原理的存在，本文对其中涉及的微妙概念与数学问题提供了详细分析。
• 本文识别并纠正了近期文献中关于混合态中贝尔不等式不被违反的不当断言，表明此类结论仅在特定条件下（如子系综为因子化）才成立。