[论文解读] On entanglement of states and quantum correlations

W. A. Majewski|arXiv (Cornell University)|Feb 21, 2002

Advanced Thermodynamics and Statistical Mechanics参考文献 4被引用 11

一句话总结

本文通过紧致凸集与边界积分，严谨重构了通用量子系统（包括无限维系统）的纠缠熵（EoF）定义，解决了原始定义中的基础性模糊问题。引入量子关联系数（CQC）作为非经典关联的度量，证明了EoF当且仅当状态为可分时为零，并表明CQC量化了与经典关联的偏离程度：CQC为零意味着可分，非零CQC则表示真正的量子纠缠。

ABSTRACT

In this paper we present the novel qualities of entanglement of formation for general (so also infinite dimensional) quantum systems and we introduce the notion of coefficient of quantum correlations. Our presentation stems from rigorous description of entanglement of formation.

研究动机与目标

• 为一般量子系统中混合态的纠缠熵（EoF）原始定义中的基础性模糊问题提供解决。
• 利用紧致凸集理论与边界积分，为EoF建立严格的数学框架，尤其适用于无限维希尔伯特空间。
• 引入并形式化量子关联系数（CQC），作为复合量子系统中非经典关联的度量。
• 通过证明EoF = 0当且仅当状态可分，建立纠缠与量子关联之间的清晰联系。
• 定义并分析均匀量子关联度（UDQC）与弱量子关联度（WDQC），作为超越纠缠的量子关联定量度量。

提出的方法

• 本文采用Choquet理论与紧致凸集理论，通过状态空间上的边界积分严格定义纠缠熵（EoF），确保对分解的最小化过程定义良好。
• 利用Ruelle在C*-代数上的可分性条件，确保状态空间具有良好的可测性与拓扑性质，从而支持Radon测度的使用。
• 将量子关联系数（CQC）定义为状态与经典关联态集合（S_cc）之间的下确界距离，采用一致范数或弱拓扑。
• 本文定义了两种量子关联度：均匀度（UDQC）为||φ - ψ||在ψ ∈ S_cc上的下确界，弱度（WDQC）为|φ(a₁⊗...⊗aₗ) - ψ(a₁⊗...⊗aₗ)|的下确界。
• 通过测度的重心性质与状态空间中乘积态的结构，证明EoF(φ) = 0当且仅当φ为可分态。
• 通过将c-依赖态（S_cc）定义为子集上乘积态的凸包，将该框架推广至N体系统，从而实现对链状与扩展系统中量子关联的分析。

实验结果

研究问题

• RQ1 如何在一般（无限维）量子系统中严谨定义纠缠熵（EoF），以克服原始定义中对分解最小化过程的模糊性？
• RQ2 何种精确的数学结构可确保利用凸分析与测度论使EoF的定义良好？
• RQ3 如何定义一种可量化的量子关联度量，以区分非经典关联与经典关联？
• RQ4 可分性、纠缠与新的量子关联系数（CQC）之间存在何种关系？
• RQ5 均匀与弱量子关联度（UDQC、WDQC）如何表征多体与链状系统中的量子关联？

主要发现

• 通过状态空间上的边界积分，严谨定义了纠缠熵（EoF），解决了无限维系统中对凸分解最小化过程的基础性问题。
• EoF(φ) = 0当且仅当状态φ可分，利用状态空间的测度论结构，确立了可分性的严格判据。
• 量子关联系数（CQC）被定义为状态到经典关联态集合（S_cc）的距离，且CQC = 0当且仅当状态可分。
• 均匀量子关联度（UDQC）为零当且仅当状态可分，证实UDQC完整捕捉了纠缠内容。
• 弱量子关联度（WDQC）为零当且仅当状态在指定子系统上为量子独立，尽管仍可能存在经典关联。
• 在量子链（如无限自旋链）中，WDQC > 0的状态称为有限量子关联，为扩展系统中量子关联结构提供了分类。