[论文解读] $k$-decomposability of positive maps

Louis E. Labuschagne, Marcin Marciniak|ArXiv.org|Nov 4, 2004

Advanced Topics in Algebra参考文献 14被引用 5

一句话总结

本文引入并表征了$C^*$-代数之间正映射的$k$-可分解性，通过双重Tomita-Takesaki框架推广了可分解性的概念。它建立了$k$-可分解映射的Stinespring定理类比，并利用希尔伯特空间层次的对偶性，对$2\times2$矩阵映射给出了完整表征，证明在有限维情形下，局部可分解性蕴含全局$k$-可分解性。

ABSTRACT

The problem of classification of decomposable (in the sense of Stormer) positive maps between matrix algebras is presented. We propose the new notion of "finite" version of decomposability ($k$-decomposabilty). The characterisation of $k$-decomposability on the Hilbert space level is done. In the case of low dimensional algebras the notion of local decomposability and its applications for the description of decomposable maps are discussed.

研究动机与目标

• 在$C^*$-代数背景下，将可分解映射的概念推广为$k$-可分解映射。
• 通过$\mathcal{B}(H)$上的转置映射的Tomita-Takesaki理论，建立对偶框架，实现可分解性的对偶表征。
• 以$k$-可分解性和局部可分解性为依据，对$2\times2$正映射提供完整表征。
• 澄清有限维情形下局部可分解性与全局$k$-可分解性之间的关系。
• 扩展已知的正映射分类，识别低维情形下$k$-可分解性的必要与充分条件。

提出的方法

• 通过推广Størmer对可分解映射的表征，利用$[a_{ij}]$和$[a_{ji}]$的矩阵正定性条件，引入$k$-可分解性。
• 对$\mathcal{B}(H)$上的忠实态$\omega(a) = \mathrm{Tr}(\varrho a)$应用GNS构造，通过迹内积将GNS希尔伯特空间与$\mathcal{B}(H)$相等化。
• 通过$J_c f = \sum_i \overline{\langle x_i, f \rangle} x_i$定义$H$上的共轭算子$J_c$，从而在$\mathcal{B}(H)$上诱导转置映射$a \mapsto a^t = J_c a^* J_c$。
• 在GNS空间$H_\pi$上构造一个对偶映射$\tau$，使得$\tau(a\varrho^{1/2}) = a^t \varrho^{1/2}$，将转置与模理论联系起来。
• 利用$H_\pi$与$\mathcal{B}(H)$的识别关系及正交基$\{E_{ij}\}$，在$H_\pi$上定义一个模共轭算子$J$，满足对所有$\xi \in H_\pi$有$a^t \xi = J a^* J \xi$。
• 将该框架应用于$M_2(\mathbb{C})$-值映射，证明局部可分解性（通过$\varphi(e_{ij})$的条件）蕴含全局$k$-可分解性，其表示形式为$\varphi(a) = V_\eta \rho_\eta(a) V_\eta^*$。

实验结果

研究问题

• RQ1 什么条件能确保一个正映射$\varphi: M_2(\mathbb{C}) \to \mathcal{B}(H)$是$k=2$情形下的$k$-可分解？
• RQ2 如何将Tomita-Takesaki模理论适配以描述转置及其在表征可分解映射中的作用？
• RQ3 在有限维情形下，$M_2(\mathbb{C})$上正映射的局部可分解性是否能蕴含全局$k$-可分解性？
• RQ4 精确而言，$k$-可分解性与存在表示$\varphi(a) = W^* \rho(a) W$（其中$\rho$为Jordan同态）之间存在何种关系？
• RQ5 对偶图像（希尔伯特空间层次的对偶性）如何在完全正性之外，细化正映射的分类？

主要发现

• 本文通过广义版本的定理1.1，建立了$k$-可分解映射的完整表征，证明了$[a_{ij}]$与$[a_{ji}]$的矩阵正定性与$k$-可分解性之间的等价性。
• 证明了当$A = M_2(\mathbb{C})$时，局部可分解性（即映射在某些子代数上的正性）蕴含全局$k$-可分解性。
• 作者表明，任何满足条件(4.8)和(4.9)的正映射$\varphi: M_2(\mathbb{C}) \to \mathcal{B}(H)$均存在表示$\varphi(a) = V_\eta \rho_\eta(a) V_\eta^*$，从而确认其为$k$-可分解。
• 该构造揭示，映射$\varphi$是$k$-可分解的，当且仅当其在矩阵单位$e_{ij}$上的作用满足特定的迹和内积约束，例如$\mathrm{Tr}\,\varphi(e_{12}) = 0$和$\langle \eta_2, \varphi(e_{12}) \eta_2 \rangle = 0$。
• 受Kadison、Connes以及Alfsen–Shultz的启发，通过模共轭算子$J$实现了薛定谔绘景与海森堡绘景之间的对偶性，为转置和可分解性提供了新的几何解释。
• 本文确认，在$2\times2$情形下，$k$-可分解性简化为$\varphi$的矩阵元上的一组有限线性约束，使得分类具有算法可实现性。