[论文解读] All 2-positive linear maps from M3 to M3 are decomposable

Yang Yu, Denny H. Leung+1 more|arXiv (Cornell University)|Mar 11, 2016

Advanced Topics in Algebra参考文献 6被引用 3

一句话总结

本文证明了所有从 $M_3(\mathbb{C})$ 到 $M_3(\mathbb{C})$ 的 2-正线性映射都是可分解的，即可以表示为一个完全正映射与一个完全共正映射的和。基于 Choi 的矩阵分解技术，作者建立了当 $2 \leq k < \min\{m,n\}$ 时 $k$-正映射的一般分解定理，正面解决了 Kye 在 $M_3$ 情形下的猜想，并证实在此设定下不存在不可分解的 2-正映射。

ABSTRACT

Following an idea of Choi, we obtain a decomposition theorem for k-positive linear maps from Mm to Mn, where 2&lt;=k

研究动机与目标

• 为解决 Kye 关于 $M_3(\mathbb{C})$ 上 2-正映射可分解性的猜想。
• 建立从 $M_m(\mathbb{C})$ 到 $M_n(\mathbb{C})$ 的 $k$-正映射在 $2 \leq k < \min\{m,n\}$ 条件下的通用分解定理。
• 证明 $B(M_3(\mathbb{C}), M_3(\mathbb{C}))$ 中每一个 2-正映射都是可分解的，意味着在此设定下不存在不可分解的 2-正映射。

提出的方法

• 将 Choi 的矩阵分解方法加以改进，用于分析从 $M_3(\mathbb{C})$ 到 $M_3(\mathbb{C})$ 的 2-正映射 $\Phi[a,b,c]$ 的 Choi 矩阵。
• 对映射的 Choi 矩阵执行 Choi 分解，将其分解为两个半正定矩阵成分：一个对应于完全正映射，另一个对应于完全共正映射。
• 使用 1-平凡提升方法，将 $B(M_2(\mathbb{C}), M_3(\mathbb{C}))$ 中的正映射扩展到更高维空间，利用低维空间中已知的可分解性。
• 通过 Schmidt 数与部分转置的对偶性，将正映射与量子态关联，以刻画映射的结构。
• 通过检查 Choi 矩阵及其部分转置的正定性，验证分解的两个成分确实为完全正与完全共正映射。
• 通过与文献 [3, 定理 3.4] 中的另一种分解进行比较，证明了该分解并非唯一。

实验结果

研究问题

• RQ1 每个从 $M_3(\mathbb{C})$ 到 $M_3(\mathbb{C})$ 的 2-正线性映射是否都能分解为一个完全正映射与一个完全共正映射的和？
• RQ2 当 $2 \leq k < \min\{m,n\}$ 时，从 $M_m(\mathbb{C})$ 到 $M_n(\mathbb{C})$ 的一般 $k$-正映射是否可分解？
• RQ3 在 $B(M_3(\mathbb{C}), M_4(\mathbb{C}))$ 中是否存在一个 2-正但不可分解的映射？
• RQ4 Schmidt 数在刻画正映射可分解性方面起什么作用？
• RQ5 Choi 矩阵分解技术如何促进低维矩阵代数中可分解性的证明？

主要发现

• 所有从 $M_3(\mathbb{C})$ 到 $M_3(\mathbb{C})$ 的 2-正线性映射都是可分解的，正面证实了 Kye 的猜想。
• 2-正映射 $\Phi[a,b,c]$ 的分解并非唯一，如与文献 [3] 中的另一种分解比较所示。
• 映射 $\Phi[a,b,c]$ 的 Choi 矩阵可表示为两个半正定矩阵之和：一个具有对应于完全正性的结构，另一个具有对应于完全共正性的结构。
• 条件 $bc \geq 4(2-a)^2$ 确保了 2-正性，且在此条件下映射仍保持可分解性。
• 由分解导出的映射 $\Phi_{1}$ 是完全正的，因为其 Choi 矩阵是半正定的。
• 映射 $\Phi_{2}$ 是完全共正的，因为其 Choi 矩阵的部分转置是半正定的，从而确认了其分解为 $\mathbb{P}_3 + \mathbb{P}^3$ 的形式。