[论文解读] A Continuity Theorem for Stinespring's Dilation

Dennis Kretschmann, Dirk Schlingemann+1 more|ArXiv.org|Oct 12, 2007

Quantum Mechanics and Applications参考文献 12被引用 6

一句话总结

本文建立了Stinespring扩张的连续性定理，证明了两个完全正映射在完全有界（cb）范数下接近当且仅当它们的Stinespring扩张可以被选为在算子范数下接近。关键结果表明，完全正映射的cb-范数距离与Bures距离等价，将扩张的唯一性推广到了近似情形。

ABSTRACT

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C*-algebras are close in cb-norm iff we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.

研究动机与目标

• 建立一个连续性定理，将完全正映射之间的cb-范数距离与它们的Stinespring扩张之间的算子范数距离联系起来。
• 将Stinespring的唯一性定理推广到近似情形，表明当映射在cb-范数下接近时，其扩张也可被选为接近。
• 证明完全正映射的cb-范数距离与Bures距离之间的等价性，将Bures度量从正泛函推广到一般cp映射。
• 通过将量子操作的稳定性与它们的扩张的稳定性联系起来，为量子信息理论中的鲁棒性分析提供基础。
• 将有限维代数上单位元映射的结果推广到具有单射值域的一般C*-代数上的完全正映射。

提出的方法

• 将完全正映射之间的Bures距离定义为它们的Stinespring扩张之间算子范数距离的下确界。
• 通过算子范数的初等估计证明下界：Bures距离被cb-范数距离的函数从下方有界。
• 利用Bures对正泛函的结果，并应用Ky Fan的极小化极大定理，将界扩展到一般cp映射。
• 构造两个正泛函的共同表示，以应用Sakai的Radon-Nikodym定理，并通过谱分解推导Bures距离的界。
• 使用凸组合和连续性论证，推导出Bures距离与cb-范数差之间的最终不等式。
• 通过直和构造和表示理论，将结果从值域在$\mathcal{B(H)}$的映射扩展到任意C*-代数中具有单射值域的映射。

实验结果

研究问题

• RQ1 Stinespring扩张的唯一性能否推广到近似情形，例如当cp映射接近时，其扩张是否也能被选为接近？
• RQ2 两个cp映射之间的完全有界范数距离是否等价于它们扩张之间算子范数距离的下确界？
• RQ3 通过扩张定义的cp映射之间的Bures距离是否与cb-范数距离一致？
• RQ4 Stinespring扩张的连续性在cp映射的扰动下（特别是在无限维情形下）如何表现？
• RQ5 Bures度量对正泛函的定义能否推广到任意C*-代数之间的一般完全正映射？

主要发现

• 本文证明了两个完全正映射在cb-范数下接近当且仅当存在对应的扩张在算子范数下接近，其界为：$\frac{\|T_1 - T_2\|_{cb}}{\sqrt{\|T_1\|_{cb}} + \sqrt{\|T_2\|_{cb}}} \leq \inf_{V_1,V_2} \|V_1 - V_2\| \leq \sqrt{\|T_1 - T_2\|_{cb}}$。
• 两个cp映射之间的Bures距离与它们的cb-范数距离等价，建立了度量等价性，将Bures的结果从正泛函推广到了一般cp映射。
• 通过算子范数的初等估计和Stinespring表示的结构，推导出Bures距离的下界。
• 上界依赖于Ky Fan的极小化极大定理，并通过谱分解和Radon-Nikodym理论将问题约化到正泛函的情形。
• 通过直和表示和共同希尔伯特空间嵌入，将等价性从值域在$\mathcal{B(H)}$的映射扩展到任意C*-代数中具有单射值域的映射。
• 在附录A中形式化证明了Bures距离是完全正映射空间上的度量，确保了其数学一致性。