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:2512.12319

Structure and positivity of linear maps preserving covariance under unitary evolution

Yuan Li, Shuaijie Wang, Xiaoming Xu

Published Dec 13, 2025• 0 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.2512.12319

Related papers

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

Peter M. Alberti

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

Publications of the Research Institute for Mathematical Sciences•Jun 30, 1985•7 citations

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

On Extension of Quantum Channels and Operations to the Space of Relatively Bounded Operators

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

We analyse possibility to extend a quantum operation (sub-unital normal completely positive linear map on the algebra $$\mathfrak{B}(\mathcal{H})$$ of bounded operators on a separable Hilbert space $$\mathcal{H}$$ ) to the space of all operators on $$\mathcal{H}$$ relatively bounded w.r.t. a given positive unbounded operator. We show that a quantum operation $$\Phi$$ can be uniquely extended to a bounded linear operator on the Banach space of all $$\sqrt{G}$$ -bounded operators on $$\mathcal{H}$$ provided that the operation $$\Phi$$ is $$G$$ -limited: the predual operation $$\Phi_{*}$$ maps the set of positive trace class operators $$\rho$$ with finite value of $$\textrm{Tr}\rho G$$ into itself. Assuming that $$G$$ has discrete spectrum of finite multiplicity we prove that for a wide class of quantum operations the existence of the above extension implies the $$G$$ -limited property. Applications to the theory of Bosonic Gaussian channels are considered.

arXiv:1903.06086•Lobachevskii Journal of Mathematics•Apr 1, 2020•7 citations

Separable states and positive maps II

Erling Størmer

Using the natural duality between linear functionals on tensor products of $C^*$-algebras with the trace class operators on a Hilbert space $H$ and linear maps of the $C^*$-algebra into $B(H)$, we give two characterizations of separability, one relating it to abelianness of the definite set of the map, and one on tensor products of nuclear and UHF $C^*$-algebras.

MATHEMATICA SCANDINAVICA•Dec 1, 2009•15 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

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 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 {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.
We analyse possibility to extend a quantum operation (sub-unital normal completely positive linear map on the algebra B(H)\mathfrak{B}(\mathcal{H})B(H) of bounded operators on a separable Hilbert space H\mathcal{H}H ) to the space of all operators on H\mathcal{H}H relatively bounded w.r.t. a given positive unbounded operator. We show that a quantum operation Φ\PhiΦ can be uniquely extended to a bounded linear operator on the Banach space of all G\sqrt{G}G​ -bounded operators on H\mathcal{H}H provided that the operation Φ\PhiΦ is GGG -limited: the predual operation Φ∗\Phi_{*}Φ∗​ maps the set of positive trace class operators ρ\rhoρ with finite value of TrρG\textrm{Tr}\rho GTrρG into itself. Assuming that GGG has discrete spectrum of finite multiplicity we prove that for a wide class of quantum operations the existence of the above extension implies the GGG -limited property. Applications to the theory of Bosonic Gaussian channels are considered.
Using the natural duality between linear functionals on tensor products of C∗C^*C∗-algebras with the trace class operators on a Hilbert space HHH and linear maps of the C∗C^*C∗-algebra into B(H)B(H)B(H), we give two characterizations of separability, one relating it to abelianness of the definite set of the map, and one on tensor products of nuclear and UHF C∗C^*C∗-algebras.
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.
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.