[论文解读] Continuity of quantum mutual information

Robert Alicki, M. Fannes|arXiv (Cornell University)|Dec 9, 2003

Quantum Information and Cryptography参考文献 2被引用 47

一句话总结

本文在量子态一致收敛下建立了量子互信息 S(ρ₁₂|ρ₂) 的连续性，给出了与维度无关的界，该界不依赖于第二方系统的尺寸。该结果确保了量子信息度量（如凹陷纠缠）在态扰动下的稳定性。

ABSTRACT

We prove continuity of quantum mutual information S(ρ 12 |ρ 2) with respect to the uniform convergence of states and obtain a bound which is independent of the dimension of the second party. This can, e.g., be used to prove the continuity of squashed entanglement. A, generally mixed, state of a bipartite system is given by a density matrix ρ 12 on a Hilbert space H 12 = H 1 ⊗ H 2. We shall, in order to avoid technical complications, restrict our attention to finite dimensional systems and not distinguish between the density matrix ρ 12 and its associated expectation functional a ↦ → ρ 12 (a): = Tr ρ 12 a, a a linear operator on H 12. The restrictions of ρ 12 to the subsystems 1 and 2 are denoted by ρ 1 and ρ 2, e.g. ρ 1 (a): = ρ 1 (a ⊗ ) = Tr ρ 12 a ⊗ , a a linear operator on H 1. The von Neumann entropy S(ρ) of a state ρ is the quantity Tr η(ρ) with η(x): = −x log x for 0 < x ≤ 1 and η(0) = 0. The mutual information S(ρ 12 | ρ 2) of ρ 12 with respect to the second system is the quantity S(ρ 12 | ρ 2): = S(ρ 12) − S(ρ 2),

研究动机与目标

• 建立量子互信息 S(ρ₁₂|ρ₂) 关于量子态一致收敛的连续性。
• 推导出与第二子系统维度无关的互信息变化界。
• 为证明相关量子信息度量（如凹陷纠缠）的连续性提供基础。
• 通过消除稳定性界中的维度依赖，简化量子关联的分析。

提出的方法

• 分析在有限维希尔伯特空间中进行，将密度矩阵视为期望泛函。
• 互信息定义为 S(ρ₁₂|ρ₂) = S(ρ₁₂) − S(ρ₂)，其中 S(ρ) 表示冯·诺依曼熵。
• 通过在 ρ₁₂ → σ₁₂ 和 ρ₂ → σ₂ 一致收敛下有界 |S(ρ₁₂|ρ₂) − S(σ₁₂|σ₂)| 来建立连续性。
• 利用冯·诺依曼熵和迹范数的性质推导出该界，确保其与 H₂ 的维度无关。
• 通过限制在有限维系统并使用标准泛函分析工具，避免了技术复杂性。
• 将结果应用于证明凹陷纠缠的连续性，这是量子纠缠的关键度量。

实验结果

研究问题

• RQ1 在底层量子态发生微小扰动时，量子互信息如何变化？
• RQ2 能否为状态收敛下互信息变化推导出与维度无关的界？
• RQ3 在有限维系统中，互信息是否关于态的一致收敛连续？
• RQ4 此连续性结果能否用于证明其他量子信息度量（如凹陷纠缠）的连续性？
• RQ5 第二子系统的维度在互信息稳定性中起什么作用？

主要发现

• 量子互信息 S(ρ₁₂|ρ₂) 关于态 ρ₁₂ 和 ρ₂ 的一致收敛是连续的。
• 推导出与第二子系统 H₂ 维度无关的互信息变化界。
• 该界仅依赖于态之间的迹距离和熵函数，不依赖于系统大小。
• 该结果意味着凹陷纠缠的连续性，因其依赖于互信息的稳定性。
• 分析在有限维系统中成立，通过将密度矩阵视为期望泛函避免了技术复杂性。
• 利用迹范数和冯·诺依曼熵的性质建立了连续性，确保了在态扰动下的鲁棒性。