[论文解读] Conditional Entanglement

Yang Dong, Michał Horodecki+1 more|ArXiv.org|Jan 21, 2007

Quantum Information and Cryptography被引用 6

一句话总结

本文提出了一种新颖的纠缠度量构建框架，称为条件纠缠（conditional entanglement），该框架通过量子扩展和量子条件化推导得出。它建立了一种基于量子互信息的新加性纠缠度量，可自然推广至多体系统，并与量子失真纠缠（squashed entanglement）密切相关，为证明关键纠缠度量的加性性提供了有希望的路径。

ABSTRACT

Based on the ideas of {\it quantum extension} and {\it quantum conditioning}, we propose a generic approach to construct a new kind of entanglement measures called {\it conditional entanglement}. The new measures, built from the known entanglement measures, are convex, automatically {\it super-additive}, and even smaller than the regularized versions of the generating measures. More importantly, new measures can also be built directly from measures of correlations, enabling us to introduce an {\it additive} measure and generalize it to a multipartite entanglement measure.

研究动机与目标

• 开发一种通用且系统化的方法，用于构建超越现有方法（如凸包方法或基于距离的方法）的新纠缠度量。
• 解决目前缺乏加性纠缠度量，特别是针对多体系统的问题，该问题阻碍了量子信息理论中的定量分析。
• 探讨对关联度量（如量子互信息）进行量子条件化，是否能产生具有理想性质（如加性与LOCC下的单调性）的纠缠度量。
• 建立条件纠缠与已知度量（如失真纠缠）之间的联系，或可为长期悬而未决的加性性猜想提供新见解。

提出的方法

• 提出一种新的纠缠度量——条件纠缠（CE），定义为所有扩展中，扩展系统纠缠与辅助子系统纠缠之差的下确界。
• 类比经典条件熵，采用量子扩展与量子条件化，核心公式为：CE(ρ_AB) = inf{E(ρ_{AA'BB'}) - E(ρ_{A'B'})}，其中下确界取遍所有有效扩展。
• 将该框架应用于量子互信息作为关联度量，得到一种新的加性纠缠度量 C_I，其可自然推广至多体系统。
• 通过使用多体互信息的不同定义，定义了两种多体版本的条件纠缠：I_n 和 S_n。
• 证明了所得度量继承了关键性质，如凸性、LOCC下的单调性以及非负性。
• 表明新度量 C_I 介于失真纠缠的最小与最大版本之间：E_sq^q ≤ C_I ≤ E_sq^c，暗示若加性性成立，则 C_I 可能等于失真纠缠。

实验结果

研究问题

• RQ1 能否开发一种通用且系统化的方法，通过量子条件化从已知度量构造新的纠缠度量？
• RQ2 对诸如量子互信息等关联度量进行条件化，是否能产生一种加性且可推广至多体系统的新型纠缠度量？
• RQ3 所提出的条件纠缠与现有纠缠度量（如失真纠缠和纠缠相对熵）之间有何关系？
• RQ4 该框架能否有助于解决开放性问题，如纠缠形成度量的加性性或失真纠缠的加性性？
• RQ5 新度量 C_I 是否具有可锁定性？其在局部操作下的行为意味着什么？

主要发现

• 条件纠缠度量 C_I 对于两体态是加性的，满足 C_I(ρ ⊗ σ) = C_I(ρ) + C_I(σ)，这显著优于非加性度量（如纠缠相对熵）。
• 通过使用多体互信息的不同定义（I_n 和 S_n），定义了两种 C_I 的多体推广形式，两者均被证明是加性的。
• 度量 C_I 介于失真纠缠的最小与最大版本之间：E_sq^q ≤ C_I ≤ E_sq^c，暗示若加性性成立，则 C_I 可能等于失真纠缠。
• C_I 被证明具有可锁定性，即在丢失单个量子比特时可任意减小，这是失真纠缠的已知特性，表明其对局部操作高度敏感。
• 该框架使得可直接从量子互信息（一种关联度量）构造出一种新的加性纠缠度量，而此前标准方法无法实现此目标。
• 结果表明，量子条件化可能是构造加性纠缠度量的统一原则，或可为证明纠缠形成度量的加性性提供新路径。