Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:math/0510005

Decomposability of extremal positive unital maps on $M_2$

W. A. Majewski, Marcin Marciniak

Published Sep 30, 2005• 0 citations
arXivHTMLPDF

Abstract

A map $ϕ:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form $ϕ=ϕ_1+ϕ_2$ where $ϕ_1$ is a CP map while $ϕ_2$ is a co-CP map. It is known that if $m=n=2$ then every positive map is decomposable. Given an extremal unital positive map $ϕ:M_2(\bC)\to M_2(\bC)$ we construct concrete maps (not necessarily unital) $ϕ_1$ and $ϕ_2$ which give a decomposition of $ϕ$. We also show that in most cases this decomposition is unique.

DOI
10.48550/arxiv.math/0510005

Related papers

Decomposability of extremal positive maps on $M_2$

W. A. Majewski, Marcin Marciniak

A map $\phi:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form $\phi=\phi_1+\phi_2$ where $\phi_1$ is a CP map while $\phi_2$ is a co-CP map. It is known that if $m=n=2$ then every positive map is decomposable. Given an extremal unital positive map $\phi:M_2(\bC)\to M_2(\bC)$ we construct concrete maps (not necessarily unital) $\phi_1$ and $\phi_2$ which give a decomposition of $\phi$. We also show that in most cases this decomposition is unique.

•Sep 30, 2005•0 citations

Decomposability of extremal positive unital maps on M2(C)

W. A. Majewski, Marcin Marciniak

A map $\varphi:M_m(\mathbb C)\to M_n(\mathbb C)$ is decomposable if it is of the form $\varphi=\varphi_1+\varphi_2$ where $\varphi_1$ is a CP map while $\varphi_2$ is a co-CP map. It is known that if $m=n=2$ then every positive map is decomposable. Give

Banach Center Publications•Jan 1, 2006•5 citations

On decomposability of positive maps between $M_2$ and $M_n$

W. A. Majewski, Marcin Marciniak

A map $ϕ:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form $ϕ=ϕ_1+ϕ_2$ where $ϕ_1$ is a CP map while $ϕ_2$ is a co-CP map. A partial characterization of decomposability for maps $ϕ: M_2(\bC) \to M_3(\bC)$ is given.

arXiv:math/0510138•Oct 7, 2005•2 citations

Decomposable of positive map from M3(C) to M2(M2(C))

Winda C. Akatch, Okelo B. Nyaare, Priscah Mogotu Omoke

In most literature, the decomposition of positive maps from M3 to M2 are discussed where the matrix elements are complex numbers. In this paper we construct a positive maps φ(µ,c1,c2) from M3(C) to M2(M2(C)). The Choi matrices for complete positivity and complete copositivity ares visualized as tensor matrix M3 ⊗M2 with M2(C) as the entry elements. The construction allow us describe decomposability on positive semidefinite matrices.

Journal of Mathematical Analysis and Modeling•Dec 29, 2023•0 citations

A factorization property of positive maps on $C^*$-algebras

B. V. Rajarama Bhat, Hiroyuki Osaka

The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let $A_i$, $C_i$ be unital C*-algebras and let $α_i$ be positive linear maps from $A_i$ to $C_i,$ $i=1,2$. We obtain conditions under which any positive map $β$ from the minimal C*-tensor product $A_1 \otimes_{min} A_2$ to $C_1 \otimes_{min} C_2$, such that $ α_1 \otimes α_2 \geq β$, factorizes as $β= γ\otimes α_2$ for some positive map $γ$. In particular we show that when $α_i \colon A_i \rightarrow B(\mathcal H_i)$ are completely positive (CP) maps for some Hilbert spaces $\mathcal H_i$ $(i=1,2)$, and $α_2$ is a pure CP map and $β$ is a CP map so that $α_1 \otimes α_2 - β$ is also CP, then $β= γ\otimes α_2$ for some CP map $γ$. We show that a similar result holds in the context of positive linear maps when $A_2 = C_2 = B(\mathcal H)$ and $α_2 = id$. As an application we extend \cite[IX Theorem]{PM}( revisited recently by Huber et al in \cite{HLLM}) to show that for any linear map $τ$ from a unital C*-algebra $A$ to a C*-algebra $C$, if $τ\otimes id_k$ is decomposable for some $k \geq 2$, where $id_k$ is the identity map on the algebra $M_k(\mathbb {C} )$ of $k\times k$ matrices, then $τ$ is completely positive.

arXiv:1912.02381•Dec 5, 2019•2 citations

A factorization property of positive maps on C*-algebras

B. V. Rajarama Bhat, Hiroyuki Osaka

The purpose of this short paper is to clarify and present a general version of an interesting observation by [Piani and Mora, Phys. Rev. A 75 (2007) 012305], linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let [Formula: see text], [Formula: see text] be unital C*-algebras and let [Formula: see text] be positive linear maps from [Formula: see text] to [Formula: see text] [Formula: see text]. We obtain conditions under which any positive map [Formula: see text] from the minimal C*-tensor product [Formula: see text] to [Formula: see text], such that [Formula: see text], factorizes as [Formula: see text] for some positive map [Formula: see text]. In particular, we show that when [Formula: see text] are completely positive (CP) maps for some Hilbert spaces [Formula: see text] [Formula: see text], and [Formula: see text] is a pure CP map and [Formula: see text] is a CP map so that [Formula: see text] is also CP, then [Formula: see text] for some CP map [Formula: see text]. We show that a similar result holds in the context of positive linear maps when [Formula: see text] and [Formula: see text]. As an application, we extend IX Theorem of Ref. 4 (revisited recently by [Huber et al., Phys. Rev. Lett. 121 (2018) 200503]) to show that for any linear map [Formula: see text] from a unital C*-algebra [Formula: see text] to a C*-algebra [Formula: see text], if [Formula: see text] is decomposable for some [Formula: see text], where [Formula: see text] is the identity map on the algebra [Formula: see text] of [Formula: see text] matrices, then [Formula: see text] is CP.

International Journal of Quantum Information•Aug 1, 2020•3 citations
Decomposability of extremal positive unital maps on M2M_2M2​
A map ϕ:Mm(\bC)→Mn(\bC)ϕ:M_m(\bC)\to M_n(\bC)ϕ:Mm​(\bC)→Mn​(\bC) is decomposable if it is of the form ϕ=ϕ1+ϕ2ϕ=ϕ_1+ϕ_2ϕ=ϕ1​+ϕ2​ where ϕ1ϕ_1ϕ1​ is a CP map while ϕ2ϕ_2ϕ2​ is a co-CP map. It is known that if m=n=2m=n=2m=n=2 then every positive map is decomposable. Given an extremal unital positive map ϕ:M2(\bC)→M2(\bC)ϕ:M_2(\bC)\to M_2(\bC)ϕ:M2​(\bC)→M2​(\bC) we construct concrete maps (not necessarily unital) ϕ1ϕ_1ϕ1​ and ϕ2ϕ_2ϕ2​ which give a decomposition of ϕϕϕ. We also show that in most cases this decomposition is unique.
Decomposability of extremal positive maps on M2M_2M2​
A map $\phi:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form ϕ=ϕ1+ϕ2\phi=\phi_1+\phi_2ϕ=ϕ1​+ϕ2​ where ϕ1\phi_1ϕ1​ is a CP map while ϕ2\phi_2ϕ2​ is a co-CP map. It is known that if m=n=2m=n=2m=n=2 then every positive map is decomposable. Given an extremal unital positive map $\phi:M_2(\bC)\to M_2(\bC)$ we construct concrete maps (not necessarily unital) ϕ1\phi_1ϕ1​ and ϕ2\phi_2ϕ2​ which give a decomposition of ϕ\phiϕ. We also show that in most cases this decomposition is unique.
A map φ:Mm(C)→Mn(C)\varphi:M_m(\mathbb C)\to M_n(\mathbb C)φ:Mm​(C)→Mn​(C) is decomposable if it is of the form φ=φ1+φ2\varphi=\varphi_1+\varphi_2φ=φ1​+φ2​ where φ1\varphi_1φ1​ is a CP map while φ2\varphi_2φ2​ is a co-CP map. It is known that if m=n=2m=n=2m=n=2 then every positive map is decomposable. Give
On decomposability of positive maps between M2M_2M2​ and MnM_nMn​
A map $ϕ:M_m(\bC)\to M_n(\bC)$ is decomposable if it is of the form ϕ=ϕ1+ϕ2ϕ=ϕ_1+ϕ_2ϕ=ϕ1​+ϕ2​ where ϕ1ϕ_1ϕ1​ is a CP map while ϕ2ϕ_2ϕ2​ is a co-CP map. A partial characterization of decomposability for maps $ϕ: M_2(\bC) \to M_3(\bC)$ is given.
A factorization property of positive maps on C∗C^*C∗-algebras
The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let AiA_iAi​, CiC_iCi​ be unital C*-algebras and let αiα_iαi​ be positive linear maps from AiA_iAi​ to Ci,C_i,Ci​, i=1,2i=1,2i=1,2. We obtain conditions under which any positive map βββ from the minimal C*-tensor product A1⊗minA2A_1 \otimes_{min} A_2A1​⊗min​A2​ to C1⊗minC2C_1 \otimes_{min} C_2C1​⊗min​C2​, such that $ α_1 \otimes α_2 \geq β$, factorizes as β=γ⊗α2β= γ\otimes α_2β=γ⊗α2​ for some positive map γγγ. In particular we show that when αi ⁣:Ai→B(Hi)α_i \colon A_i \rightarrow B(\mathcal H_i)αi​:Ai​→B(Hi​) are completely positive (CP) maps for some Hilbert spaces Hi\mathcal H_iHi​ (i=1,2)(i=1,2)(i=1,2), and α2α_2α2​ is a pure CP map and βββ is a CP map so that α1⊗α2−βα_1 \otimes α_2 - βα1​⊗α2​−β is also CP, then β=γ⊗α2β= γ\otimes α_2β=γ⊗α2​ for some CP map γγγ. We show that a similar result holds in the context of positive linear maps when A2=C2=B(H)A_2 = C_2 = B(\mathcal H)A2​=C2​=B(H) and α2=idα_2 = idα2​=id. As an application we extend \cite[IX Theorem]{PM}( revisited recently by Huber et al in \cite{HLLM}) to show that for any linear map τττ from a unital C*-algebra AAA to a C*-algebra CCC, if τ⊗idkτ\otimes id_kτ⊗idk​ is decomposable for some k≥2k \geq 2k≥2, where idkid_kidk​ is the identity map on the algebra Mk(C)M_k(\mathbb {C} )Mk​(C) of k×kk\times kk×k matrices, then τττ is completely positive.
The purpose of this short paper is to clarify and present a general version of an interesting observation by [Piani and Mora, Phys. Rev. A 75 (2007) 012305], linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let [Formula: see text], [Formula: see text] be unital C*-algebras and let [Formula: see text] be positive linear maps from [Formula: see text] to [Formula: see text] [Formula: see text]. We obtain conditions under which any positive map [Formula: see text] from the minimal C*-tensor product [Formula: see text] to [Formula: see text], such that [Formula: see text], factorizes as [Formula: see text] for some positive map [Formula: see text]. In particular, we show that when [Formula: see text] are completely positive (CP) maps for some Hilbert spaces [Formula: see text] [Formula: see text], and [Formula: see text] is a pure CP map and [Formula: see text] is a CP map so that [Formula: see text] is also CP, then [Formula: see text] for some CP map [Formula: see text]. We show that a similar result holds in the context of positive linear maps when [Formula: see text] and [Formula: see text]. As an application, we extend IX Theorem of Ref. 4 (revisited recently by [Huber et al., Phys. Rev. Lett. 121 (2018) 200503]) to show that for any linear map [Formula: see text] from a unital C*-algebra [Formula: see text] to a C*-algebra [Formula: see text], if [Formula: see text] is decomposable for some [Formula: see text], where [Formula: see text] is the identity map on the algebra [Formula: see text] of [Formula: see text] matrices, then [Formula: see text] is CP.