[Paper Review] $k$-decomposability of positive maps

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

Advanced Topics in Algebra14 references5 citations

TL;DR

This paper introduces and characterizes $k$-decomposability of positive maps between $C^*$-algebras, generalizing the notion of decomposability via a dual Tomita-Takesaki framework. It establishes an analog of Stinespring's theorem for $k$-decomposable maps and provides a complete characterization of $2\times2$ matrix maps using a Hilbert space-level duality, proving that local decomposability implies global $k$-decomposability in finite dimensions.

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.

Motivation & Objective

• To generalize the concept of decomposable maps to $k$-decomposable maps in the context of $C^*$-algebras.
• To establish a duality framework using the Tomita-Takesaki theory for the transposition map on $\mathcal{B}(H)$, enabling a dual characterization of decomposability.
• To provide a complete characterization of $2\times2$ positive maps in terms of $k$-decomposability and local decomposability.
• To clarify the relationship between local decomposability and global $k$-decomposability in finite-dimensional settings.
• To extend the known classification of positive maps by identifying necessary and sufficient conditions for $k$-decomposability in low-dimensional cases.

Proposed method

• Introduces $k$-decomposability via a generalization of Størmer's characterization of decomposable maps, using matrix positivity conditions on $[a_{ij}]$ and $[a_{ji}]$.
• Applies the GNS construction to a faithful state $\omega(a) = \mathrm{Tr}(\varrho a)$ on $\mathcal{B}(H)$, identifying the GNS Hilbert space with $\mathcal{B}(H)$ via the trace inner product.
• Defines a conjugation $J_c$ on $H$ via $J_c f = \sum_i \overline{\langle x_i, f \rangle} x_i$, which induces the transposition map $a \mapsto a^t = J_c a^* J_c$ on $\mathcal{B}(H)$.
• Constructs a dual map $\tau$ on the GNS space $H_\pi$ such that $\tau(a\varrho^{1/2}) = a^t \varrho^{1/2}$, linking transposition to modular theory.
• Uses the identification of $H_\pi$ with $\mathcal{B}(H)$ and orthonormal basis $\{E_{ij}\}$ to define a modular conjugation $J$ on $H_\pi$, satisfying $a^t \xi = J a^* J \xi$ for $\xi \in H_\pi$.
• Applies the framework to $M_2(\mathbb{C})$-valued maps, proving that local decomposability (via conditions on $\varphi(e_{ij})$) implies global $k$-decomposability via a representation $\varphi(a) = V_\eta \rho_\eta(a) V_\eta^*$.

Experimental results

Research questions

• RQ1 What conditions ensure that a positive map $\varphi: M_2(\mathbb{C}) \to \mathcal{B}(H)$ is $k$-decomposable for $k=2$?
• RQ2 How can the Tomita-Takesaki modular theory be adapted to describe transposition and its role in characterizing decomposable maps?
• RQ3 Can local decomposability of a positive map on $M_2(\mathbb{C})$ imply global $k$-decomposability in finite dimensions?
• RQ4 What is the precise relationship between $k$-decomposability and the existence of a representation $\varphi(a) = W^* \rho(a) W$ with $\rho$ a Jordan morphism?
• RQ5 How does the dual picture (Hilbert space-level duality) refine the classification of positive maps beyond complete positivity?

Key findings

• The paper establishes a complete characterization of $k$-decomposable maps via a generalized version of Theorem 1.1, showing equivalence between matrix positivity of $[a_{ij}]$ and $[a_{ji}]$ and $k$-decomposability.
• It proves that for $A = M_2(\mathbb{C})$, local decomposability (i.e., positivity of $\varphi$ on certain subalgebras) implies global $k$-decomposability.
• The authors show that any positive map $\varphi: M_2(\mathbb{C}) \to \mathcal{B}(H)$ satisfying conditions (4.8) and (4.9) admits a representation $\varphi(a) = V_\eta \rho_\eta(a) V_\eta^*$, confirming $k$-decomposability.
• The construction reveals that the map $\varphi$ is $k$-decomposable if and only if its action on matrix units $e_{ij}$ satisfies specific trace and inner product constraints, such as $\mathrm{Tr}\,\varphi(e_{12}) = 0$ and $\langle \eta_2, \varphi(e_{12}) \eta_2 \rangle = 0$.
• The duality between Schrödinger and Heisenberg pictures, inspired by Kadison, Connes, and Alfsen–Shultz, is realized via the modular conjugation $J$, providing a new geometric interpretation of transposition and decomposability.
• The paper confirms that in the $2\times2$ case, $k$-decomposability reduces to a finite set of linear constraints on the matrix elements of $\varphi$, making the classification algorithmically accessible.