[论文解读] On the measure of entanglement

Adam Majewski|arXiv (Cornell University)|Jan 7, 2001

Advanced Operator Algebra Research参考文献 4被引用 4

一句话总结

本文通过运用 Choquet 理论和紧致凸集分析，严格重构了包括无限维系统在内的通用量子系统的纠缠熵（EoF）定义，解决了原始定义中的歧义。证明了当且仅当一个态是可分态时，EoF 为零，建立了其凸性与拓扑性质，并通过最大边界测度展示了最优分解的存在性，为超越有限维的纠缠量化提供了数学上严谨的框架。

ABSTRACT

In this paper we present the novel qualities of entanglement of formation for general (so also infinite dimensional) quantum systems. A major benefit of our presentation is a rigorous description of entanglement of formation. In particular, we indicate how this description may be used to examine optimal decompositions. Illustrative examples showing the method of estimation of entanglement of formation are givem .

研究动机与目标

• 解决原始定义中关于混合态纠缠熵（EoF）的基础性歧义。
• 为一般（包括无限维）量子系统提供一个数学上严谨且拓扑性质良好的 EoF 定义。
• 建立 EoF 当且仅当态为可分态时为零，从而提供一个坚实的可分性判据。
• 基于分解理论与边界积分发展一个分析和计算 EoF 的框架，尤其关注最优分解。
• 阐明所提出的 EoF 与 Bennett 等人原始定义之间的关系，确保一致性并扩展适用范围。

提出的方法

• 利用紧致凸集理论与边界积分，通过给定态的表示测度集中最大测度来定义 EoF。
• 应用 Choquet 定理与 Lumer 存在性定理，证明了能最大化熵泛函的单形边界测度的存在性。
• 将 EoF 定义为在所有将态分解为纯态的分解中，熵泛函的下确界，利用测度论框架确保其定义良好。
• 通过 Choquet 单形中最大测度与极值测度的概念，刻画最优分解。
• 借助态空间的结构以及冯·诺依曼熵在有限维子系统上的连续性，建立 EoF 的凸性与连续性。
• 证明在有限维情形下，新定义的 EoF 与 Bennett 等人原始定义一致，验证了新方法的一致性。

实验结果

研究问题

• RQ1 纠缠熵能否在无限维量子系统中被严格定义，其中原始的分解最小化问题在数学上是病态的？
• RQ2 纠缠熵在一般复合系统中具有哪些拓扑与凸性性质？
• RQ3 对于任意混合态，是否存在最优分解（即最小化平均熵的分解）？如何通过测度论对其进行刻画？
• RQ4 所提出的 EoF 与 Bennett 等人原始定义之间有何关系？在何种条件下二者一致？
• RQ5 该框架能否推广至使用冯·诺依曼熵以外的其他凹函数？若使用任意连续非负凹函数（在纯态上为零），其对纠缠度量的含义是什么？

主要发现

• 通过 Choquet 理论与边界测度，对包括无限维系统在内的通用量子系统实现了纠缠熵的严格定义。
• EoF 当且仅当态为可分态时为零，从而提供了一个完整且数学上严谨的可分性判据。
• 纠缠熵是态空间上的凸函数，其拓扑性质良好，得益于紧致凸集理论的应用。
• 最优分解存在，并可被刻画为 Choquet 单形中表示测度的最大边界测度所实现的分解。
• 在有限维系统中，新定义的 EoF 与 Bennett 等人原始定义一致，验证了其一致性。
• 该框架可推广至使用任意连续非负凹函数（在纯态上为零）替代冯·诺依曼熵，从而支持基于其他函数的纠缠度量。