Abstract:The Choi-Jamiolkowski isomorphism is an essential component in every quantum information theorist's toolkit: it allows to identify linear maps between two quantum systems with linear operators on the composite system. Here, we analyse this widely used gadget from a new perspective. Namely, we explicitly distinguish between its kinematical and dynamical properties, that is, we study the isomorphism on two different levels: Jordan algebras and the different C∗-algebras they arise from, which are distinguished by their order of composition. A number of important and novel insights stem from our analysis. We find that Choi's theorem, which asserts that Choi's version of the isomorphism [M.-D. Choi, Lin. Alg. Appl., 10, 285 (1975)] further maps the positive cone of completely positive linear maps (such as quantum channels) to the cone of positive linear operators (such as quantum states) on the composite system, crucially depends on the dynamical (compositional) structure in C∗-algebras. This in turn lies at the heart of the mismatch between the basis-dependence of Choi's version of the isomorphism, and the basis-independent version by Jamiolkowski [A. Jamiolkowski, Rep. Math. Phys., 3, 275 (1972)]. Here, we overcome this subtle but pervasive issue in a number of ways: first, we prove a version of Choi's theorem for Jamiolkowski's isomorphism, second, we define a basis-independent variant of Choi's isomorphism and, third, by making explicit the dynamical distinction between Jordan and C∗-algebras, we combine the different variants of the isomorphism into a unified description, that subsumes their individual features. We also embed and interpret our results in the graphical calculus of categorical quantum mechanics.

Optimality of generalized Choi maps in M 3

Optimality of generalized Choi maps in $M_3$

Generalizing Choi map in M3 beyond circulant scenario

Infinite dimensional analogues of Choi matrices

Optimizing positive maps in the matrix algebra $M_n$

Linear matrix maps for which positivity and complete positivity coincide

Choi representation of completely positive maps: a technical introduction

Positive Maps and Entanglement in Real Hilbert Spaces

A class of Schwarz qubit maps with diagonal unitary and orthogonal symmetries

Exposedness of elementary positive maps between matrix algebras

Choi matrices revisited. III

Choi matrices revisited. II

From the Choi formalism in infinite dimensions to unique decompositions of generators of completely positive dynamical semigroups

Cross-positive linear maps, positive polynomials and sums of squares

A generalization of the Choi isomorphism with application to open quantum systems

Characterizations of homomorphisms among unital completely positive maps

Linear Chern-Hopf-Thurston conjecture

Relativistic equilibrium velocity distribution, nuclear fusion reaction rate and the solar neutrino problem

Variations on the Choi-Jamiolkowski isomorphism

Generalized Choi–Davis–Jensen's Operator Inequalities and Their Applications