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

Publications of the Research Institute for Mathematical Sciences

On the Simultaneous Transformation of Density Operators by Means of a Completely Positive, Unity Preserving Linear Map

Peter M. Alberti

Published Jun 30, 1985• 7 citations
Publisher

Abstract

Let {o^,..., a) n ] and {<TI,..., a n ] be finite sets of normal states over the bounded linear operators acting over some infinite-dimensional separable Hilbert-space.In the paper mutually equivalent sets of necessary and sufficient conditions are derived that there exists a completely positive, unity preserving linear map Ttransforming 0-1,..., a n simultaneously into o)i..., o) n : a) k = a k ° T,k = l,... 9 n.Of particular interest is this 6 '/z-tuple-problem" in case of pairs of density operators (normal states), i.e. for n=2.In this situation possible connections with the notion of "generalized transition probability" are analyzed, and at least in case of normal states over the bounded operators a characterization of functionals of this type is proposed and applied. § lo Main Results, ExamplesLet jtf be a unital C*-algebra ? with unit 7, topological dual jtf*, and group of unitary elements <%(j&).To each Fe ^(j/) let us associate a bounded linear operator T v over the dual by T ¥ (a))(X) = co(VXV*) = co v (X), for all XEJ^ and any COG jtf*.On the set of bounded linear operators ^(j/*) over j/* we may introduce the weak operator topology (w-topology) which is characterized by the system of semi-norms {q^xi coe.s/*,XEJ/} given by q (0 ,x(T) = \T(a>)(X)\, with Te^(X*).Then, by % u (<xf} the weak closure of the convex hull of the operators T v will be denoted: ^M(j^) = conv{T F : VE<%(JZ?)} W .In this paper as an essential result the following theorem is proved (proofs of most of the assertions of this part are given In § §3-5): LI Ttoeoremo Let 3? be an infinite-dimensional separable complex

DOI
10.2977/prims/1195179058

Related papers

0 A CHARACTERIZATION OF POSITIVE LINEAR MAPS AND CRITERIA OF ENTANGLEMENT FOR QUANTUM STATES

Jinchuan Hou

Let $H$ and $K$ be (finite or infinite dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from ${\mathcal B}(H)$ into ${\mathcal B}(K)$ is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is give which shows that a state $\rho$ on $H\otimes K$ is separable if and only if $(\Phi\otimes I)\rho\geq 0$ for all positive finite rank elementary operators $\Phi$. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.

•Aug 16, 2016•41 citations

Structure and positivity of linear maps preserving covariance under unitary evolution

Yuan Li, Shuaijie Wang, Xiaoming Xu

Let $\mathcal{H}$ be a complex finite-dimensional or infinite-dimensional separable Hilbert space, $\mathcal{B(H)}$ and $\mathcal{T(H)}$ be the Banach spaces of all bounded linear operators and of all trace class operators on $\mathcal{H},$ respectively. In this paper, we give a concrete description of the linear maps $Φ:\mathcal{T(H)}\rightarrow \mathcal{B(H\otimes H)}$ that are continuous relative to the norm topology and covariance under unitary evolution (i.e., $Φ(UXU^*)=(U\otimes U)Φ(X)(U^*\otimes U^*)$ for all $X\in\mathcal{T(H)}$ and unitary operators $U\in\mathcal{B(H)}).$ Using this, we obtain the equivalent conditions for this class of maps to be self-adjoint or positive. As a corollary, we get that the virtual broadcasting map $\mathcal{B}_{vb}:\mathcal{T(H)}\rightarrow \mathcal{B(H\otimes H)}$ with the form $\mathcal{B}_{vb}(X)=\frac{ 1}{2}[S(I\otimes X)+S(X\otimes I)]$ is uniquely determined by three conditions: covariance under unitary evolution, invariance under permutation of the copies and consistency with classical broadcasting, where $S\in\mathcal{B(H\otimes H)}$ is the swap operator. Moreover, the linear maps $Ψ:\mathcal{B(H)}\rightarrow \mathcal{B(H\otimes H)}$ that are continuous relative to the $W^*$-topology and covariance under unitary evolution are also characterized.

arXiv:2512.12319•Dec 13, 2025•0 citations

A characterization of positive linear maps and criteria of entanglement for quantum states

Jinchuan Hou

Let H and K be (finite- or infinite-dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from into is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied to give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is given which shows that a state ρ on H ⊗ K is separable if and only if (Φ⊗ I )ρ ⩾ 0 for all positive finite-rank elementary operators Φ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.

arXiv:1007.0560•Journal of Physics A Mathematical and Theoretical•Aug 6, 2010•44 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.

•Jul 1, 2019•7 citations

Maps on Quantum States in -algebras Preserving von Neumann Entropy or Schatten -norm of Convex Combinations

Marcell Gaál

Abstract Very recently, Karder and Petek completely described maps on density matrices (positive semidefinite matrices with unit trace) preserving certain entropy-like convex functionals of any convex combination. As a result, maps could be characterized that preserve von Neumann entropy or Schatten $p$ -norm of any convex combination of quantum states (whose mathematical representatives are the density matrices). In this note we consider these latter two problems on the set of invertible density operators, in a much more general setting, on the set of positive invertible elements with unit trace in a $C^{\ast }$ -algebra.

Canadian Mathematical Bulletin•Mar 22, 2018•3 citations

The continuity of the output entropy of positive maps

Максим Евгеньевич Широков

Global and local continuity conditions for the output von Neumann entropy for positive maps between Banach spaces of trace-class operators in separable Hilbert spaces are obtained. Special attention is paid to completely positive maps: infinite dimensional quantum channels and operations. It is shown that as a result of some specific properties of the von Neumann entropy (as a function on the set of density operators) several results on the output entropy of positive maps can be obtained, which cannot be derived from the general properties of entropy type functions. In particular, it is proved that global continuity of the output entropy of a positive map follows from its finiteness. A characterization of positive linear maps preserving continuity of the entropy (in the following sense: continuity of the entropy on an arbitrary subset of input operators implies continuity of the output entropy on this subset) is obtained. A connection between the local continuity properties of two completely positive complementary maps is considered. Bibliography: 21 titles.

Sbornik Mathematics•Oct 31, 2011•4 citations
Let {o^,..., a) n ] and {<TI,..., a n ] be finite sets of normal states over the bounded linear operators acting over some infinite-dimensional separable Hilbert-space.In the paper mutually equivalent sets of necessary and sufficient conditions are derived that there exists a completely positive, unity preserving linear map Ttransforming 0-1,..., a n simultaneously into o)i..., o) n : a) k = a k ° T,k = l,... 9 n.Of particular interest is this 6 '/z-tuple-problem" in case of pairs of density operators (normal states), i.e. for n=2.In this situation possible connections with the notion of "generalized transition probability" are analyzed, and at least in case of normal states over the bounded operators a characterization of functionals of this type is proposed and applied. § lo Main Results, ExamplesLet jtf be a unital C*-algebra ? with unit 7, topological dual jtf*, and group of unitary elements <%(j&).To each Fe ^(j/) let us associate a bounded linear operator T v over the dual by T ¥ (a))(X) = co(VXV*) = co v (X), for all XEJ^ and any COG jtf*.On the set of bounded linear operators ^(j/) over j/ we may introduce the weak operator topology (w-topology) which is characterized by the system of semi-norms {q^xi coe.s/,XEJ/} given by q (0 ,x(T) = \T(a>)(X), with Te^(X).Then, by % u (<xf} the weak closure of the convex hull of the operators T v will be denoted: ^M(j^) = conv{T F : VE<%(JZ?)} W .In this paper as an essential result the following theorem is proved (proofs of most of the assertions of this part are given In § §3-5): LI Ttoeoremo Let 3? be an infinite-dimensional separable complex
Let HHH and KKK be (finite or infinite dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from B(H){\mathcal B}(H)B(H) into B(K){\mathcal B}(K)B(K) is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is give which shows that a state ρ\rhoρ on H⊗KH\otimes KH⊗K is separable if and only if (Φ⊗I)ρ≥0(\Phi\otimes I)\rho\geq 0(Φ⊗I)ρ≥0 for all positive finite rank elementary operators Φ\PhiΦ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.
Let H\mathcal{H}H be a complex finite-dimensional or infinite-dimensional separable Hilbert space, B(H)\mathcal{B(H)}B(H) and T(H)\mathcal{T(H)}T(H) be the Banach spaces of all bounded linear operators and of all trace class operators on H,\mathcal{H},H, respectively. In this paper, we give a concrete description of the linear maps Φ:T(H)→B(H⊗H)Φ:\mathcal{T(H)}\rightarrow \mathcal{B(H\otimes H)}Φ:T(H)→B(H⊗H) that are continuous relative to the norm topology and covariance under unitary evolution (i.e., Φ(UXU∗)=(U⊗U)Φ(X)(U∗⊗U∗)Φ(UXU^*)=(U\otimes U)Φ(X)(U^*\otimes U^*)Φ(UXU∗)=(U⊗U)Φ(X)(U∗⊗U∗) for all X∈T(H)X\in\mathcal{T(H)}X∈T(H) and unitary operators U∈B(H)).U\in\mathcal{B(H)}).U∈B(H)). Using this, we obtain the equivalent conditions for this class of maps to be self-adjoint or positive. As a corollary, we get that the virtual broadcasting map Bvb:T(H)→B(H⊗H)\mathcal{B}_{vb}:\mathcal{T(H)}\rightarrow \mathcal{B(H\otimes H)}Bvb​:T(H)→B(H⊗H) with the form Bvb(X)=12[S(I⊗X)+S(X⊗I)]\mathcal{B}_{vb}(X)=\frac{ 1}{2}[S(I\otimes X)+S(X\otimes I)]Bvb​(X)=21​[S(I⊗X)+S(X⊗I)] is uniquely determined by three conditions: covariance under unitary evolution, invariance under permutation of the copies and consistency with classical broadcasting, where S∈B(H⊗H)S\in\mathcal{B(H\otimes H)}S∈B(H⊗H) is the swap operator. Moreover, the linear maps Ψ:B(H)→B(H⊗H)Ψ:\mathcal{B(H)}\rightarrow \mathcal{B(H\otimes H)}Ψ:B(H)→B(H⊗H) that are continuous relative to the W∗W^*W∗-topology and covariance under unitary evolution are also characterized.
Let H and K be (finite- or infinite-dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from into is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied to give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is given which shows that a state ρ on H ⊗ K is separable if and only if (Φ⊗ I )ρ ⩾ 0 for all positive finite-rank elementary operators Φ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.
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 Very recently, Karder and Petek completely described maps on density matrices (positive semidefinite matrices with unit trace) preserving certain entropy-like convex functionals of any convex combination. As a result, maps could be characterized that preserve von Neumann entropy or Schatten ppp -norm of any convex combination of quantum states (whose mathematical representatives are the density matrices). In this note we consider these latter two problems on the set of invertible density operators, in a much more general setting, on the set of positive invertible elements with unit trace in a C∗C^{\ast }C∗ -algebra.
Global and local continuity conditions for the output von Neumann entropy for positive maps between Banach spaces of trace-class operators in separable Hilbert spaces are obtained. Special attention is paid to completely positive maps: infinite dimensional quantum channels and operations. It is shown that as a result of some specific properties of the von Neumann entropy (as a function on the set of density operators) several results on the output entropy of positive maps can be obtained, which cannot be derived from the general properties of entropy type functions. In particular, it is proved that global continuity of the output entropy of a positive map follows from its finiteness. A characterization of positive linear maps preserving continuity of the entropy (in the following sense: continuity of the entropy on an arbitrary subset of input operators implies continuity of the output entropy on this subset) is obtained. A connection between the local continuity properties of two completely positive complementary maps is considered. Bibliography: 21 titles.