[论文解读] Duality of cones of positive maps

Erling Størmer|ArXiv.org|Oct 23, 2008

Advanced Topics in Algebra参考文献 9被引用 20

一句话总结

该论文为有限维C*-代数之间正线性映射的锥建立了一个对偶框架，将Horodecki定理推广至任意映射锥。通过Choi矩阵的正定性刻画了K-正映射的对偶锥，并证明了双重对偶锥可恢复原始锥，其应用涵盖可分解映射与PPT态，表明PPT态恰好对应于可分解映射的对偶锥。

ABSTRACT

We study the so-called K-positive linear maps from B(L) into B(H) for finite dimensional Hilbert spaces L and H and give characterizations of the dual cone of the cone of K-positive maps. Applications are given to decomposable maps and PPT-states.

研究动机与目标

• 刻画有限维C*-代数中任意映射锥K的K-正映射对偶锥。
• 将关于可分性与PPT态的Horodecki定理推广至一般映射锥。
• 建立K-正映射锥与其对偶锥之间的对偶关系，并证明双重对偶锥可恢复原始锥。
• 通过Choi矩阵与张量积正定性，厘清可分解映射、PPT态及其对偶锥之间的关系。

提出的方法

• 利用Choi矩阵表示 $ C_{\theta} = \text{id} \otimes \theta(p) $ 来刻画线性映射 $ \theta $ 的正性，其中 $ p $ 为最大纠缠态。
• 通过迹条件 $ \text{Tr}(C_{\theta} C_{\psi}) \geq 0 $ 对所有 $ \psi \in S $ 定义锥 $ S \subset B(M,H)^+ $ 的对偶锥 $ S^{\flat} $。
• 引入锥 $ P(M,K) = \{ x \in M \otimes B(H) : \text{id} \otimes \alpha(x) \geq 0 \; \forall \alpha \in K \} $，以捕捉对偶结构。
• 应用Hahn-Banach定理证明锥的相等性，特别是证明 $ P(M,P) = P(M,CP(H)) \vee P(M,Cop(H)) $，其中 $ P $ 为PPT映射的锥。
• 利用共轭映射 $ t $ 及其在映射与锥上的作用，定义对偶锥，包括 $ K^t $ 与 $ K^{\sharp} $，并证明对于可分解锥有 $ D = P^{\sharp} $。
• 利用 $ \tilde{\theta} $（即 $ \theta $ 的对偶泛函）与 $ \tilde{\theta} \circ (\text{id} \otimes \alpha^*) $ 的正定性，来刻画对偶锥。

实验结果

研究问题

• RQ1 如何刻画有限维C*-代数中任意映射锥K的K-正映射对偶锥？
• RQ2 可分解映射的对偶锥与PPT态的锥之间存在何种关系？
• RQ3 K-正映射锥的双重对偶是否能恢复原始锥，其条件为何？
• RQ4 该对偶框架如何将Horodecki定理推广至一般映射锥？
• RQ5 对偶锥 $ P^{\sharp} $ 的精确结构为何，其与可分解映射锥的关系如何？

主要发现

• K-正映射对偶锥的刻画条件为 $ C_{\theta} \in P(M,K^t) $，从而为对偶锥中的成员资格提供了Choi矩阵准则。
• K-正映射锥的双重对偶等于原始锥，证明了此类锥集合上的对偶关系为对合运算。
• 对于映射锥 $ P $（即同时为完全正与共轭正的映射，亦即PPT映射），可分解映射锥的对偶锥恰好是 $ P $-正映射的锥。
• 可分解映射锥 $ D $ 满足 $ D = P^{\sharp} $，其中 $ P^{\sharp} $ 是由 $ \alpha \in P^{\sharp} $ 当且仅当 $ \alpha \circ \beta^* \in CP(H) $ 对所有 $ \beta \in P $ 成立所定义的对偶映射锥。
• 当且仅当 $ \omega \circ (\text{id} \otimes \phi^*) \geq 0 $ 在锥 $ F = \{ x \in B(H \otimes H)^+ : \text{id} \otimes t(x) \geq 0 \} $ 上成立时，映射 $ \phi \in \mathcal{P}(H) $ 为可分解映射，其中 $ \omega $ 为最大纠缠态。
• 在 $ n \leq \dim H $ 的条件下，该对偶框架证实 $ \tilde{\phi} $ 为可分态当且仅当 $ \phi $ 为 $ \mathcal{P}(H) $-正映射，从而扩展了Horodecki定理。