Choi--Jamiołkowski-type isomorphisms for von Neumann algebras

• URL: http://arxiv.org/abs/2608.13750v1
• Date: Thu, 13 Aug 2026 20:20:02 GMT
• Title: Choi--Jamiołkowski-type isomorphisms for von Neumann algebras
• Abstract summary: Choi--Jamiokowski isomorphism identifies completely positive maps with bipartite states.<n>We show that for arbitrary von Neumann algebras $mathcalM$ and $mathcalN$ there is a canonical order isomorphism between the space of normal completely bounded maps.
• Score: 0.5729426778193399
• License: http://creativecommons.org/licenses/by/4.0/
• 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.

Related papers

• The $\mathbb{Z}_2$-Index of a Pair of Pure States and the Topology of Interacting 1D Superconductors [0.5013248430919224]
  We prove that the index is well-defined, multiplicative, invariant under parity-preserving automorphisms.<n>We then introduce symmetric local automorphism paths and prove that $mathcalN_$ completely classifies the resulting automorphic-path-components.
  arXiv  Detail & Related papers  (2026-08-28T19:03:39Z)
• Self-testing of exact entanglement embezzlement [0.0]
  We consider exact entanglement embezzlement with a catalyst state vector $$ in a Hilbert space $mathcalH$ using unitaries.<n>We show that any such protocol must arise from a unique state on the tensor product $mathcalO_d otimes mathcalO_d$ of the Cuntz algebra with itself.
  arXiv  Detail & Related papers  (2026-05-21T16:50:39Z)
• Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals [41.99844472131922]
  It includes the Smorodinsky-Winternitz potentials I-II (the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (equivalently, $G$ rational, or $I_6$) models.<n>It is shown that all of them are exactly-solvable, thus, confirming the Montreal conjecture.<n>Each model is characterized by infinitely-many finite-dimensional invariant subspaces, which form the infinite flag.
  arXiv  Detail & Related papers  (2025-12-30T07:39:35Z)
• Computations and ML for surjective rational maps [0.0]
  We study emphsurjective rational endomorphisms $f: mathbbP2 dashrightarrow mathbbP2$ with emphcubic terms and the indeterminacy locus $I_f ne emptyset$.
  arXiv  Detail & Related papers  (2025-10-09T11:27:10Z)
• Unitary orthonormal bases of finite dimensional inclusions [0.0]
  We study unitary orthonormal bases in the sense of Pimsner and Popa for inclusions $(mathcalBsubseteq mathcalA, E),$ where $mathcalA, mathcalB$ are finite dimensional von Neumann algebras.<n>We prove the existence of unitary orthonormal bases for a large class of depth 2 subfactors with abelian relative commutant.
  arXiv  Detail & Related papers  (2025-02-17T14:14:55Z)
• A Classifying Space for Phases of Matrix Product States [0.0]
  A topological space $mathcalB$ is defined as the quotient of a contractible space $mathcalE$ of MPS tensors.<n>We prove that the projection map $p:mathcalE rightarrow mathcalB$ is a quasifibration.
  arXiv  Detail & Related papers  (2025-01-24T04:58:32Z)
• Scaling of symmetry-restricted quantum circuits [42.803917477133346]
  In this work, we investigate the properties of $mathcalMSU(2N)$, $mathcalM$-invariant subspaces of the special unitary Lie group $SU(2N)$.
  arXiv  Detail & Related papers  (2024-06-14T12:12:15Z)
• Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
  We show how to reduce the geometry of degenerate states to the non-abelian connection $A$. We find independent invariants associated with each triple of subspaces. Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
  arXiv  Detail & Related papers  (2024-04-04T06:39:28Z)
• Monogamy of entanglement between cones [43.57338639836868]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones.<n>Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
  We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann. We show how our results have immediate applications to the modern theory of polarization.
  arXiv  Detail & Related papers  (2022-05-30T18:01:34Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)
• Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors [0.0]
  We prove that in order that the description of the spin will be relativistic, it is not enough to preserve the projection lattice equipped with its natural partial order and denoteity. This, in particular, extends a result of Moln'ar to the wider setting of atomic JBW$*$-triples not containing rank-one Cartan factors.
  arXiv  Detail & Related papers  (2021-01-03T17:21:02Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.