[论文解读] Lower Bound for entanglement cost of antisymmetric states

Toshiyuki Shimono|ArXiv.org|Mar 8, 2002

Quantum Mechanics and Applications参考文献 3被引用 5

一句话总结

本文通过分析通过构造映射 Λ 得到的约化密度矩阵的本征值结构，建立了对两体 d 量子系统中反对称态的纠缠代价的下界。证明了纠缠代价至少为 log₂(d/(d−1)) ebits，解决了关于三水平反对称态是否需要一 ebit 的开放问题，并表明当 d=3 时该下界是紧致的，即 ≥0.585 ebits。

ABSTRACT

This report gives a lower bound of entanglement cost for antisymmetric states of bipartite d-level systems to be log_2 (d/(d-1)) ebit (for d=3, E_c >= 0.585...). The paper quant-ph/0112131 claims that the value is equal to one ebit for d=3, since all of the eigenvalues of reduced matrix of any pure states living in N times tensor product of antisymmetric space is not greater than 2^(-N) thus the von Neumann entropy is not less than N, but the proof is not true. Hence whether the value is equal to or less than one ebit is not clear at this moment.

研究动机与目标

• 为解决三水平系统中反对称态的纠缠代价是否为一 ebit 或更少这一开放问题。
• 为两体 d 量子系统中反对称态的纠缠代价提供严格的下界。
• 纠正先前研究中存在缺陷的证明，该证明声称对于 d=3，反对称态的约化密度矩阵的所有本征值均 ≤2⁻ᴺ。
• 通过新颖地分析映射 Λ 及其性质，建立适用于任意 d 的通用下界。
• 通过纠缠形成与代价层级关系，澄清渐近纠缠代价。

提出的方法

• 本文定义了一个线性映射 Λ，将反对称子空间 H₋ 上的密度矩阵映射到一个子系统的约化密度矩阵。
• 引入其对偶映射 Λ†，并通过分析该映射的算子范数来限制约化密度矩阵的最大本征值。
• 关键步骤在于通过构造的映射 Λ 及其正性性质，证明在 H₋^⊗N 中任意纯态的约化密度矩阵的最大本征值 ≤(d−1/d)^N。
• 利用完全正（CP）映射的概念，并应用 Choi-Jamiołkowski 同构来验证该映射范数的界限。
• 通过纠缠形成定义和冯诺依曼熵的凸性，将界限推广至混合态。
• 通过纠缠形成每份态的极限推导出渐近纠缠代价，最终得到下界。

实验结果

研究问题

• RQ1 三水平系统中反对称态的纠缠代价是否等于一 ebit，如先前所声称？
• RQ2 d 量子系统中反对称态的纠缠代价的正确下界是什么？
• RQ3 为何先前声称 d=3 时约化密度矩阵本征值 ≤2⁻ᴺ 的证明是无效的？
• RQ4 能否利用反对称子空间的结构特性，为任意 d 推导出纠缠代价的一般下界？
• RQ5 d=3 时反对称态的纠缠代价是否超过 0.585 ebits，且该界限是否紧致？

主要发现

• 任何支持在反对称子空间 H₋^⊗N 上的混合态的纠缠代价，其下界为 N·log₂(d/(d−1)) ebits。
• 当 d=3 时，该下界为 log₂(3/2) ≈ 0.58496 ebits，严格小于一 ebit。
• 本文指出了先前研究中一个缺陷：声称三水平反对称态的约化密度矩阵所有本征值 ≤2⁻ᴺ 的结论，提供了最大本征值为 1/3 > 1/4 的反例。
• 通过证明 H₋^⊗N 中任意纯态的约化密度矩阵的最大本征值 ≤(d−1/d)^N，推导出该界限。
• 结果证实，d=3 时反对称态的纠缠代价并非一 ebit，而是严格小于一 ebit。
• 通用下界 log₂(d/(d−1)) ebits 对所有 d≥2 成立，且在渐近极限下对某些态可达到，因此是紧致的。