Jamiołkowski–Choi Isomorphism in Quantum Information

• The Jamiołkowski–Choi isomorphism is a fundamental structure that maps completely positive linear maps to bipartite operators, revealing key properties of quantum channels.
• It enables the derivation of Kraus representations and extends to infinite dimensions and operator algebras, thereby offering a versatile methodology in quantum analysis.
• The isomorphism underpins operational, symmetry, and network generalizations, forming a basis for resource theories and practical applications in quantum information.

The Jamiołkowski–Choi Isomorphism is a foundational structure in quantum information theory and operator algebras, creating a bridge between linear maps (especially completely positive maps) and operators on tensor product spaces. Its essence is the translation of properties of quantum channels into properties of associated bipartite operators, enabling concrete analysis of positivity, trace preservation, entanglement, and algebraic structure. While its classical formulation is for finite-dimensional matrix algebras, extensive generalizations exist for infinite-dimensional settings, operator systems, and contexts such as quantum networks.

1. Fundamental Construction and Classical Form

Let $H$ be an $n$-dimensional Hilbert space with orthonormal basis $\{ |i\rangle \}_{i=1}^n$. Consider a linear map $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$. The classical Jamiołkowski–Choi isomorphism associates to $\Phi$ its Choi operator $J(\Phi) \in \mathcal{B}(H \otimes H)$ by

$$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$

Equivalently,

$$J(\Phi) = \sum_{i,j=1}^n E_{ij} \otimes \Phi(E_{ij}),$$

with $E_{ij} = |i\rangle\langle j|$ the matrix units. The isomorphism is linear, bijective, and, crucially, allows the translation of complete positivity (CP) and trace preservation (TP) of $\Phi$ into operator-theoretic properties of $n$0:

• $n$1 is CP $n$2 $n$3 (positive semidefinite).
• $n$4 is TP $n$5 $n$6 (partial trace over the output leg yields the maximally mixed state) (Gudder, 2020).

The Choi isomorphism underlies the Kraus representation theorem: positivity of $n$7 ensures a decomposition of $n$8 as $n$9 for operators $\{ |i\rangle \}_{i=1}^n$0 reconstructed from the eigenvectors of $\{ |i\rangle \}_{i=1}^n$1 (Schmidt, 2024).

2. Generalizations: Infinite Dimensions and Operator Algebras

Infinite Dimensional Hilbert Spaces

In infinite dimensions, the main subtlety is the lack of a normalizable maximally entangled vector. The isomorphism remains viable by defining the Choi object as a sesquilinear form

$\{ |i\rangle \}_{i=1}^n$2

on a dense subspace $\{ |i\rangle \}_{i=1}^n$3 of $\{ |i\rangle \}_{i=1}^n$4. This form is closable and extends to a bounded self-adjoint operator (the Choi operator $\{ |i\rangle \}_{i=1}^n$5) precisely when the channel is sufficiently regular (e.g., for entanglement-breaking channels, or, for Gaussian channels, when noise matrices are nondegenerate) (Holevo, 2010).

Hilbert–Schmidt Operator Approach

Consider separable Hilbert spaces $\{ |i\rangle \}_{i=1}^n$6, $\{ |i\rangle \}_{i=1}^n$7. The Hilbert–Schmidt space $\{ |i\rangle \}_{i=1}^n$8 of operators $\{ |i\rangle \}_{i=1}^n$9 admits an isometric isomorphism with $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$0, induced by

$\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$1

where $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$2 is an orthonormal basis of $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$3. The corresponding C$\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$4-algebra isomorphism $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$5 between $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$6 and $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$7 is given by $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$8. This isomorphism, unlike the classical Choi map, holds in infinite dimensions and is multiplicative: $\Phi : \mathcal{B}(H) \to \mathcal{B}(H)$9 while also preserving complete positivity and positivity (Gudder, 2020).

Operator Algebraic (von Neumann) Perspective

For general von Neumann algebras $\Phi$0, $\Phi$1 with a faithful normal state $\Phi$2 on $\Phi$3 (with GNS vector $\Phi$4), every normal unital CP map $\Phi$5 corresponds uniquely to a binormal state $\Phi$6 on $\Phi$7 via

$\Phi$8

for $\Phi$9, $J(\Phi) \in \mathcal{B}(H \otimes H)$0. This construction extends the isomorphism to arbitrary (injective) von Neumann algebras and includes modular data, allowing treatment of covariant and infinite-dimensional scenarios (Haapasalo, 2019).

3. Structural Properties and Variants

Generalized Bilinear Forms and Isomorphic Variants

The Choi matrix depends on the choice of a nondegenerate bilinear form $J(\Phi) \in \mathcal{B}(H \otimes H)$1 on the vector space, with different forms (e.g., $J(\Phi) \in \mathcal{B}(H \otimes H)$2 and $J(\Phi) \in \mathcal{B}(H \otimes H)$3) corresponding to the de Pillis and Choi definitions, respectively. All such variants are related by basis or partial-transpose transformations, and the key correspondences (CP maps to positive operators, $J(\Phi) \in \mathcal{B}(H \otimes H)$4-positivity to $J(\Phi) \in \mathcal{B}(H \otimes H)$5-block-positivity, $J(\Phi) \in \mathcal{B}(H \otimes H)$6-superpositivity to Schmidt rank $J(\Phi) \in \mathcal{B}(H \otimes H)$7) are invariant under these variants (Han et al., 2023, Han et al., 2024).

Channel–State Duality and Separability

The isomorphism establishes a direct link between separability and channel structure:

• A bipartite state $J(\Phi) \in \mathcal{B}(H \otimes H)$8 is separable iff the associated CP map $J(\Phi) \in \mathcal{B}(H \otimes H)$9 (with $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$0) admits a rank-one Kraus decomposition, making $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$1 entanglement-breaking (Antipin, 2019, Holevo, 2010).
• Spectral criteria for separability and Schmidt-number witnesses for high-dimensional channels are naturally formulated in terms of the Choi operator (Li et al., 8 Feb 2026).

Resource Theoretic Applications

The Choi isomorphism is foundational to channel resource theories, such as coherence quantification. The structure of the Choi operator allows the direct adaptation of resource monotones, such as the Baungartz–Cramer–Plenio coherence, and facilitates the definition and operationalization of superoperations and witness protocols for coherence, entanglement, or dimension (Wang et al., 2022, Li et al., 8 Feb 2026).

4. Operational, Symmetry, and Network Generalizations

Operational Theories

The isomorphism is not exclusive to Hilbert space quantum mechanics but appears in the operational structure of generalized probabilistic theories. The correspondence between multipartite quantum states (preparations with spatially separated systems) and temporal process structures (branching dynamical channels) is realized through a scenario-matching operational version of the CJ isomorphism, elucidating the origin of quantum nonlocality, contextuality, and no-broadcasting from primitive constraints on correlations (2011.06126).

Symmetry-Adapted Choi Isomorphism

For covariant channels, the Choi operator inherits invariance under the induced (commutant) group actions, greatly reducing the complexity of classification for phase-covariant and (infinite-dimensional) Euclidean-covariant channels. The isomorphism thus provides a functional analytic and representation-theoretic approach to symmetry in quantum channels (Haapasalo, 2019).

Generalized Choi Isomorphism in Quantum Networks

Beyond single channels, the isomorphism has been extended to capture assemblage maps and network-local steering operations, essential for the characterization of entanglement and resource quantification in complex network topologies. The generalized CJ isomorphism admits arbitrary input marginals and steers between the Schrödinger and Heisenberg pictures through the structure of partial traces and local maps (Egelhaaf et al., 12 Jun 2025).

5. Algebraic and Harmonic Analysis Perspective

The Choi isomorphism is structurally an isomorphism between convolution algebras of maps and tensor product algebras. Via the semigroup algebra of matrix units, the convolution product on $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$2 (for a suitable semigroup $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$3 and algebra $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$4) is identifies with the matrix product on $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$5. The CJ isomorphism is thus realized as the Fourier transform at the identity representation, and Bochner's theorem for matrix-valued positive-definite functions on $$J(\Phi) = (\mathrm{id} \otimes \Phi)\left(\Omega\right),\quad \Omega = \sum_{i,j=1}^n |i\rangle\langle j| \otimes |i\rangle\langle j|.$$6 collapses to Choi's theorem on CP maps for matrix units (Sohail et al., 2 Sep 2025).

6. Infinite-Dimensional and Semiclassical Analysis

In infinite-dimensional settings, the CJ isomorphism requires careful technical handling via GNS constructions and reference states. It remains injective and surjective between the cones of normal CP maps and positive trace-class operators with specified marginals, provided one replaces the notion of a maximally entangled vector with a faithful cyclic-separating vector from a GNS triple (Bolanos-Servin et al., 2013, Holevo, 2010).

Additionally, the isomorphism admits semiclassical and phase-space representations: the Choi matrix of a superoperator becomes the double-Wigner function, illuminating symplectic invariance, quantum–classical correspondence, and applications to the analysis of quantum noise, chaos, and tomography (Saraceno et al., 2015).

---

References

• (Gudder, 2020) Operator Isomorphisms on Hilbert Space Tensor Products
• (Holevo, 2010) On the Choi-Jamiolkowski Correspondence in Infinite Dimensions
• (Bolanos-Servin et al., 2013) Infinite Dimensional Choi-Jamiolkowski States and Time Reversed Quantum Markov Semigroups
• (Han et al., 2023) Choi matrices revisited. II
• (Han et al., 2024) Choi matrices revisited. III
• (Wang et al., 2022) On coherence of quantum operations by using Choi-Jamiołkowski isomorphism
• (Antipin, 2019) Channel-state duality and the separability problem
• (2011.06126) The Operational Choi-Jamiolkowski Isomorphism
• (Haapasalo, 2019) The Choi-Jamiolkowski isomorphism and covariant quantum channels
• (Egelhaaf et al., 12 Jun 2025) Certification of quantum networks using the generalised Choi isomorphism
• (Saraceno et al., 2015) Representation of superoperators in double phase space
• (Sohail et al., 2 Sep 2025) On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity
• (Li et al., 8 Feb 2026) Semi-device-independent certification of high-dimensional quantum channels
• (Schmidt, 2024) A generalization of the Choi isomorphism with application to open quantum systems