arXiv:math-ph/0411074

A simple proof of the Jamiolkowski criterion for complete positivity of linear maps of algebras of Hilbert-Schmidt operators

Salgado, D., J. L. Sánchez‐Gómez

Published Nov 24, 2004• 0 citations

Abstract

We generalize a preceding simple proof of the Jamiolkowski criterion to check whether a given linear map between algebras of operators is completely positive or not. The generalization is performed to embrace all algebras of Hilbert-Schmidt class operators, thus possibly infinite-dimensional.

DOI: 10.48550/arxiv.math-ph/0411074

Related papers

A simple proof of the Jamiolkowski criterion for complete positivity of linear maps

Salgado, D., J. L. Sánchez‐Gómez, Miguel Ferrero

We give a simple direct proof of the Jamiolkowski criterion to check whether a linear map between matrix algebras is completely positive or not. This proof is more accesible for physicists than others found in the literature and provides a systematic method to give any set of Kraus matrices of its Kraus decomposition.

arXiv:math-ph/0406010Jun 4, 20040 citations

A Simple Proof of the Jamiołkowski Criterion for Complete Positivity of Linear Maps

David Cienfuegos Salgado, J. L. Sánchez‐Gómez, Miguel Ferrero

We give a simple direct proof of the Jamiołkowski criterion to check whether a linear map between matrix algebras is completely positive or not. This proof is more accessible for physicists than other ones found in the literature and provides a systematic method to give any set of Kraus matrices of the Kraus decomposition.

Open Systems & Information DynamicsMar 1, 200512 citations

The Jamiołkowski Isomorphism and a Simplified Proof for the Correspondence Between Vectors Having Schmidt Number k and k-Positive Maps

Kedar S. Ranade, Mazhar Ali

arXiv:quant-ph/0702255Open Systems & Information DynamicsDec 1, 200716 citations

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

B. V. Rajarama Bhat, Hiroyuki Osaka

arXiv:1912.02381Dec 5, 20192 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

Jul 1, 20197 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

arXiv:1806.06938Special MatricesJan 1, 20191 citation

arXiv:math-ph/0411074

A simple proof of the Jamiolkowski criterion for complete positivity of linear maps of algebras of Hilbert-Schmidt operators

Salgado, D., J. L. Sánchez‐Gómez

Published Nov 24, 2004• 0 citations

arXiv HTML PDF

Abstract

DOI: 10.48550/arxiv.math-ph/0411074

Related papers

A simple proof of the Jamiolkowski criterion for complete positivity of linear maps

Salgado, D., J. L. Sánchez‐Gómez, Miguel Ferrero

arXiv:math-ph/0406010Jun 4, 20040 citations

A Simple Proof of the Jamiołkowski Criterion for Complete Positivity of Linear Maps

David Cienfuegos Salgado, J. L. Sánchez‐Gómez, Miguel Ferrero

Open Systems & Information DynamicsMar 1, 200512 citations

The Jamiołkowski Isomorphism and a Simplified Proof for the Correspondence Between Vectors Having Schmidt Number k and k-Positive Maps

Kedar S. Ranade, Mazhar Ali

Positive maps which are not completely positive are used in quantum information theory as witnesses for convex sets of states, in particular as entanglement witnesses and, more generally, as witnesses for states having Schmidt number not greater than k. Such maps and witnesses are related to k-positive maps, and their properties may be investigated by making use of the Jamiołkowski isomorphism. In this article we review the properties of this isomorphism, noting that there are actually two related mappings bearing that name. As a new result, we give a simplified proof for the correspondence between vectors having Schmidt number k and k-positive maps and thus for the Jamiołkowski criterion for complete positivity. Another consequence is a special case of a result by Choi, namely that k-positivity implies complete positivity, if k is the dimension of the smaller one of the Hilbert spaces on which the operators act.Positive maps which are not completely positive are used in quantum information theory as witnesses for convex sets of states, in particular as entanglement witnesses and, more generally, as witnesses for states having Schmidt number not greater than k. Such maps and witnesses are related to k-positive maps, and their properties may be investigated by making use of the Jamiołkowski isomorphism. In this article we review the properties of this isomorphism, noting that there are actually two related mappings bearing that name. As a new result, we give a simplified proof for the correspondence between vectors having Schmidt number k and k-positive maps and thus for the Jamiołkowski criterion for complete positivity. Another consequence is a special case of a result by Choi, namely that k-positivity implies complete positivity, if k is the dimension of the smaller one of the Hilbert spaces on which the operators act.

arXiv:quant-ph/0702255Open Systems & Information DynamicsDec 1, 200716 citations

A factorization property of positive maps on $C^*$ -algebrasA 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.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.02381Dec 5, 20192 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.

Jul 1, 20197 citations

Infinite dimensional generalizations of Choi’s Theorem

Shmuel Friedland

Abstract In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.Abstract In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi’s characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A completely positive map μ is called a quantum channel, if it is trace preserving, and μ is called a quantum subchannel if it decreases the trace of a positive operator.We give simple neccesary and sufficient condtions for μ to be a quantum subchannel.We show that μ is a quantum subchannel if and only if it hasHellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.

arXiv:1806.06938Special MatricesJan 1, 20191 citation

A factorization property of positive maps on

C^*

-algebras

A_i

C_i

be unital C*-algebras and let

α_i

be positive linear maps from

A_i

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

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} )

k\times k

matrices, then

τ

is completely positive.