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:2207.01957 · Proceedings of the Edinburgh Mathematical Society

Which states can be reached from a given state by unital completely positive maps?

Bojan Magajna

Published Jul 5, 2022• 0 citations
arXivHTMLPDF

Abstract

Abstract For a state $\omega$ on a C $^{*}$ -algebra $A$ , we characterize all states $\rho$ in the weak* closure of the set of all states of the form $\omega \circ \varphi$ , where $\varphi$ is a map on $A$ of the form $\varphi (x)=\sum \nolimits _{i=1}^{n}a_i^{*}xa_i,$ $\sum \nolimits _{i=1}^{n}a_i^{*}a_i=1$ ( $a_i\in A$ , $n\in \mathbb {N}$ ). These are precisely the states $\rho$ that satisfy $\|\rho |J\|\leq \|\omega |J\|$ for each ideal $J$ of $A$ . The corresponding question for normal states on a von Neumann algebra $\mathcal {R}$ (with the weak* closure replaced by the norm closure) is also considered. All normal states of the form $\omega \circ \psi$ , where $\psi$ is a quantum channel on $\mathcal {R}$ (that is, a map of the form $\psi (x)=\sum \nolimits _ja_j^{*}xa_j$ , where $a_j\in \mathcal {R}$ are such that the sum $\sum \nolimits _ja_j^{*}a_j$ converge to $1$ in the weak operator topology) are characterized. A variant of this topic for hermitian functionals instead of states is investigated. Maximally mixed states are shown to vanish on the strong radical of a C $^{*}$ -algebra and for properly infinite von Neumann algebras the converse also holds.

DOI
10.1017/s0013091522000256

Related papers

Recoverable states on von-Neumann algebras

Saptak Bhattacharya

Let $(\mathcal{M},τ)$ and $(\mathcal{N},τ^{\prime})$ be tracial von-Neumann algebras and let $φ:\mathcal{M}\to\mathcal{N}$ be a strictly completely positive, trace preserving map. Given a positive, invertible $B\in\mathcal{M}$ with $τ(B)=1$, a state on $\mathcal{M}$ given by a positive $A\in L^1(\mathcal{M}, τ)$ is said to be recoverable if $\mathcal{R}(φ(A))=A$ where $\mathcal{R}$ is the Petz recovery map corresponding to $B$ and $φ$. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of $\mathcal{R}\circφ$. We show that there exists a completely positive, trace preserving map $ψ:\mathcal{M}\to\mathcal{M}$ such that $ψ(A)$ is recoverable for all $A$ and $(\mathcal{R}\circφ)^n\toψ$ in norm as operators on $L^p(\mathcal{M},τ)$ for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in $L^1$. Finally, we prove an interesting decomposition theorem for normal states on $\mathcal{M}$.

quant-pharXiv:2605.08829•May 12, 2026•0 citations

Quantum channels on duals of von Neumann algebras in the Schrödinger picture

Sviatoslav V. Dzhenzher

The theory of quantum channels is traditionally studied either on finite-dimensional state spaces or within the Heisenberg picture as completely positive maps on C^*-algebras. In this paper, we consider quantum channels as completely positive maps on the duals of general von Neumann algebras in the Schrodinger picture. We investigate the construction of such channels through Pettis integrals using representations of topological groups.

math.OACross-listedarXiv:2608.15116•Aug 18, 2026•0 citations

CP$^{\infty}$ and beyond: 2-categorical dilation theory

Robert F. Allen, Dominic Verdon

The problem of extending the insights and techniques of categorical quantum mechanics to infinite-dimensional systems was considered in (Coecke and Heunen, 2016). In that work the $\mathrm{CP}^{\infty}$-construction, which recovers the category of Hilbert spaces and quantum operations from the category of Hilbert spaces and bounded linear maps, was defined. Here we show that by a `horizontal categorification' of the $\mathrm{CP}^{\infty}$-construction, one can recover the category of all von Neumann algebras and channels (normal unital completely positive maps) from the 2-category $[W^*]$ of von Neumann algebras, bimodules and intertwiners. As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.

arXiv:2310.15776•Oct 24, 2023•0 citations

Anti-isomorphisms and the naturality of channel--state duality

Marcin Marciniak, Michał Cholewiak

Channel--state duality identifies completely positive maps with bipartite states. Its generalisation to von Neumann algebras is known to produce states not on $\mathcal{M}\bar{\otimes}\mathcal{N}$ but on the tensor product of $\mathcal{M}$ with the \emph{opposite} algebra of $\mathcal{N}$, or equivalently with a commutant; returning to $\mathcal{N}$ itself requires a transposition, and it has been observed that this step typically fails. We determine exactly when it does not fail. Our main result is that a Choi--Jamiołkowski type isomorphism which is natural in the first algebra exists if and only if the second algebra is $*$-anti-isomorphic to itself. Naturality cannot be dropped: whenever $\mathcal{M}$ is anti-isomorphic to itself such an isomorphism exists for trivial reasons, since the order structure of a predual is a Jordan invariant and cannot distinguish an algebra from its opposite. Consequently no such correspondence exists for the type III factors constructed by Connes. We show in addition that the domain admits no description in terms of properties of individual maps: the space of all normal maps with the operator norm is too large, and neither complete boundedness nor complete positivity cuts it down to the right size.

math.OACross-listedarXiv:2608.13750•Entropy•Aug 17, 2026•0 citations

Characterizations of homomorphisms among unital completely positive maps

Andre Kornell

We prove that a unital completely positive map between finite-dimensional C ⁎ -algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This adjusted von Neumann entropy is the negative of the relative entropy with respect to the uniform state on the C ⁎ -algebra, up to an additive constant. As an intermediate step, we prove that a unital completely positive map between finite-dimensional C ⁎ -algebras is a homomorphism if and only if its adjusted Choi operator is a projection. Both equivalences generalize familiar facts about stochastic maps between finite sets.

arXiv:2403.07229•Linear Algebra and its Applications•Jan 15, 2025•0 citations

Sufficient positive maps between von Neumann algebras: Rényi divergences

Anna Jenčová, Lauritz van Luijk

We prove recovery theorems for $α$-$z$ Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and $L^p$-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.

quant-pharXiv:2608.28510•Aug 31, 2026
Abstract For a state ω\omegaω on a C ∗^{*}∗ -algebra AAA , we characterize all states ρ\rhoρ in the weak* closure of the set of all states of the form ω∘φ\omega \circ \varphiω∘φ , where φ\varphiφ is a map on AAA of the form φ(x)=∑i=1nai∗xai,\varphi (x)=\sum \nolimits _{i=1}^{n}a_i^{*}xa_i,φ(x)=∑i=1n​ai∗​xai​, ∑i=1nai∗ai=1\sum \nolimits _{i=1}^{n}a_i^{*}a_i=1∑i=1n​ai∗​ai​=1 ( ai∈Aa_i\in Aai​∈A , n∈Nn\in \mathbb {N}n∈N ). These are precisely the states ρ\rhoρ that satisfy ∥ρ∣J∥≤∥ω∣J∥\|\rho |J\|\leq \|\omega |J\|∥ρ∣J∥≤∥ω∣J∥ for each ideal JJJ of AAA . The corresponding question for normal states on a von Neumann algebra R\mathcal {R}R (with the weak* closure replaced by the norm closure) is also considered. All normal states of the form ω∘ψ\omega \circ \psiω∘ψ , where ψ\psiψ is a quantum channel on R\mathcal {R}R (that is, a map of the form ψ(x)=∑jaj∗xaj\psi (x)=\sum \nolimits _ja_j^{*}xa_jψ(x)=∑j​aj∗​xaj​ , where aj∈Ra_j\in \mathcal {R}aj​∈R are such that the sum ∑jaj∗aj\sum \nolimits _ja_j^{*}a_j∑j​aj∗​aj​ converge to 111 in the weak operator topology) are characterized. A variant of this topic for hermitian functionals instead of states is investigated. Maximally mixed states are shown to vanish on the strong radical of a C ∗^{*}∗ -algebra and for properly infinite von Neumann algebras the converse also holds.
Let (M,τ)(\mathcal{M},τ)(M,τ) and (N,τ′)(\mathcal{N},τ^{\prime})(N,τ′) be tracial von-Neumann algebras and let φ:M→Nφ:\mathcal{M}\to\mathcal{N}φ:M→N be a strictly completely positive, trace preserving map. Given a positive, invertible B∈MB\in\mathcal{M}B∈M with τ(B)=1τ(B)=1τ(B)=1, a state on M\mathcal{M}M given by a positive A∈L1(M,τ)A\in L^1(\mathcal{M}, τ)A∈L1(M,τ) is said to be recoverable if R(φ(A))=A\mathcal{R}(φ(A))=AR(φ(A))=A where R\mathcal{R}R is the Petz recovery map corresponding to BBB and φφφ. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of R∘φ\mathcal{R}\circφR∘φ. We show that there exists a completely positive, trace preserving map ψ:M→Mψ:\mathcal{M}\to\mathcal{M}ψ:M→M such that ψ(A)ψ(A)ψ(A) is recoverable for all AAA and (R∘φ)n→ψ(\mathcal{R}\circφ)^n\toψ(R∘φ)n→ψ in norm as operators on Lp(M,τ)L^p(\mathcal{M},τ)Lp(M,τ) for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in L1L^1L1. Finally, we prove an interesting decomposition theorem for normal states on M\mathcal{M}M.
CP∞^{\infty}∞ and beyond: 2-categorical dilation theory
The problem of extending the insights and techniques of categorical quantum mechanics to infinite-dimensional systems was considered in (Coecke and Heunen, 2016). In that work the CP∞\mathrm{CP}^{\infty}CP∞-construction, which recovers the category of Hilbert spaces and quantum operations from the category of Hilbert spaces and bounded linear maps, was defined. Here we show that by a `horizontal categorification' of the CP∞\mathrm{CP}^{\infty}CP∞-construction, one can recover the category of all von Neumann algebras and channels (normal unital completely positive maps) from the 2-category [W∗][W^*][W∗] of von Neumann algebras, bimodules and intertwiners. As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.
Channel--state duality identifies completely positive maps with bipartite states. Its generalisation to von Neumann algebras is known to produce states not on M⊗ˉN\mathcal{M}\bar{\otimes}\mathcal{N}M⊗ˉ​N but on the tensor product of M\mathcal{M}M with the \emph{opposite} algebra of N\mathcal{N}N, or equivalently with a commutant; returning to N\mathcal{N}N itself requires a transposition, and it has been observed that this step typically fails. We determine exactly when it does not fail. Our main result is that a Choi--Jamiołkowski type isomorphism which is natural in the first algebra exists if and only if the second algebra is ∗*∗-anti-isomorphic to itself. Naturality cannot be dropped: whenever M\mathcal{M}M is anti-isomorphic to itself such an isomorphism exists for trivial reasons, since the order structure of a predual is a Jordan invariant and cannot distinguish an algebra from its opposite. Consequently no such correspondence exists for the type III factors constructed by Connes. We show in addition that the domain admits no description in terms of properties of individual maps: the space of all normal maps with the operator norm is too large, and neither complete boundedness nor complete positivity cuts it down to the right size.
We prove that a unital completely positive map between finite-dimensional C ⁎ -algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This adjusted von Neumann entropy is the negative of the relative entropy with respect to the uniform state on the C ⁎ -algebra, up to an additive constant. As an intermediate step, we prove that a unital completely positive map between finite-dimensional C ⁎ -algebras is a homomorphism if and only if its adjusted Choi operator is a projection. Both equivalences generalize familiar facts about stochastic maps between finite sets.
We prove recovery theorems for ααα-zzz Rényi divergences under normal unital positive maps between von Neumann algebras. Previous results in this setting required 2-positivity, while recent finite dimensional work showed that this assumption can be relaxed to mere positivity. Our proof uses sufficiency for JW*-subalgebras and LpL^pLp-spaces over them to characterize equality in the data processing inequality. As a further application of our methods, we solve a problem discussed by Haagerup and Stormer: Every conditional expectation of a von Neumann algebra onto a JW*-subalgebra factors through a conditional expectation onto the generated von Neumann subalgebra.