Choi--Jamio{\l}kowski-type isomorphisms for von Neumann algebras

arXiv:2608.13750v1 Announce Type: cross Abstract: The Choi--Jamio{\l}kowski isomorphism identifies completely positive maps with bipartite states and underlies much of finite-dimensional quantum information theory. For systems with infinitely many degrees of freedom, modelled by von Neumann algebras of type III, neither traces nor density matrices are available, and the isomorphism has to be reformulated. We show that for arbitrary von Neumann algebras $\mathcal{M}$ and $\mathcal{N}$ there is a canonical order isomorphism between the space of normal completely bounded maps from $\mathcal{M}$ into the predual of $\mathcal{N}$ and the predual of the spatial tensor product of $\mathcal{M}$ with the \emph{opposite} algebra of $\mathcal{N}$; under this identification complete positivity corresponds to positivity. Replacing the opposite algebra by $\mathcal{N}$ itself requires an anti-isomorphism of $\mathcal{N}$ with itself, and we prove that this condition is not only sufficient but also necessary, provided the identification is required to be natural in $\mathcal{M}$. Some such requirement is unavoidable, since for every $\mathcal{M}$ anti-isomorphic to itself an isomorphism exists for trivial reasons. Consequently no Choi--Jamio{\l}kowski correspondence exists for the type III factors constructed by Connes. Along the way we show that the space of all normal maps, taken with the operator norm, is strictly too large for this purpose, and that complete positivity does not force complete boundedness in this setting.

Abstract:The Choi--Jamiołkowski isomorphism identifies completely positive maps with bipartite states and underlies much of finite-dimensional quantum information theory. For systems with infinitely many degrees of freedom, modelled by von Neumann algebras of type III, neither traces nor density matrices are available, and the isomorphism has to be reformulated. We show that for arbitrary von Neumann algebras $\mathcal{M}$ and $\mathcal{N}$ there is a canonical order isomorphism between the space of normal completely bounded maps from $\mathcal{M}$ into the predual of $\mathcal{N}$ and the predual of the spatial tensor product of $\mathcal{M}$ with the \emph{opposite} algebra of $\mathcal{N}$; under this identification complete positivity corresponds to positivity. Replacing the opposite algebra by $\mathcal{N}$ itself requires an anti-isomorphism of $\mathcal{N}$ with itself, and we prove that this condition is not only sufficient but also necessary, provided the identification is required to be natural in $\mathcal{M}$. Some such requirement is unavoidable, since for every $\mathcal{M}$ anti-isomorphic to itself an isomorphism exists for trivial reasons. Consequently no Choi--Jamiołkowski correspondence exists for the type III factors constructed by Connes. Along the way we show that the space of all normal maps, taken with the operator norm, is strictly too large for this purpose, and that complete positivity does not force complete boundedness in this setting.

Operator Algebras (math.OA); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

arXiv:2608.13750 [math.OA]

(or arXiv:2608.13750v1 [math.OA] for this version)

https://doi.org/10.48550/arXiv.2608.13750 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

analiza aiqbench

Choi--Jamio{\l}kowski-type isomorphisms for von Neumann algebras

Subiecte conexe