Choi–Jamiołkowski Isomorphism in Quantum Information

• The Choi–Jamiołkowski isomorphism is a fundamental bijection that represents quantum operations as bipartite operators, encapsulating channel-state duality.
• It characterizes complete positivity and trace preservation by mapping linear maps to Choi matrices, ensuring accurate Kraus decompositions and operational criteria.
• Recent advancements extend the isomorphism to generalized networks and resource theories, enhancing applications in entanglement breaking, quantum certification, and Hamiltonian learning.

The Choi–Jamiołkowski isomorphism is a fundamental linear bijection between quantum operations (completely positive maps) and bipartite operators on tensor-product Hilbert spaces. It lies at the core of quantum information theory, underpinning channel-state duality, characterizations of entanglement-breaking channels, resource theories, and certification protocols for quantum devices. The isomorphism encodes linear maps as matrices in a way that mirrors the structure of operator multiplication, positivity, and trace preservation, affording a powerful toolkit for both the mathematical analysis and physical implementation of quantum processes.

1. Formal Definition and Mathematical Structure

Given finite-dimensional Hilbert spaces $H_\text{in} \simeq \mathbb{C}^d$ and $H_\text{out} \simeq \mathbb{C}^d$, let $\{ |i\rangle \}_{i=0}^{d-1}$ denote an orthonormal basis of $H_\text{in}$. For a linear map (quantum channel) $$\Phi: \mathcal{L}(H_\text{in}) \to \mathcal{L}(H_\text{out})$$, the Choi matrix is defined as

$$J(\Phi) = (I_\text{in} \otimes \Phi)\big(|\Omega\rangle\langle\Omega|\big)$$

where $$|\Omega\rangle = \frac{1}{\sqrt{d}} \sum_{i=0}^{d-1} |i\rangle \otimes |i\rangle$$ is the normalized maximally entangled vector in $H_\text{in}\otimes H_\text{in}$. In components,

$$J(\Phi) = \sum_{i,j=0}^{d-1} |i\rangle\langle j| \otimes \Phi(|i\rangle\langle j|).$$

This map is linear and invertible, establishing a bijection between the space of linear maps $$\mathcal{L}(\mathcal{L}(H_\text{in}), \mathcal{L}(H_\text{out}))$$ and operators $H_\text{out} \simeq \mathbb{C}^d$0 (Wang et al., 2022, Schmidt, 2024). The inverse is given by

$H_\text{out} \simeq \mathbb{C}^d$1

where $H_\text{out} \simeq \mathbb{C}^d$2 denotes transposition in the reference basis and $H_\text{out} \simeq \mathbb{C}^d$3 is the partial trace over $H_\text{out} \simeq \mathbb{C}^d$4 (Wang et al., 2022).

2. Characterization of Complete Positivity and Trace Preservation

A central result is Choi's theorem: $H_\text{out} \simeq \mathbb{C}^d$5 is completely positive if and only if $H_\text{out} \simeq \mathbb{C}^d$6. Complete positivity follows from the Kraus representation, as any completely positive map $H_\text{out} \simeq \mathbb{C}^d$7 yields $H_\text{out} \simeq \mathbb{C}^d$8. Conversely, $H_\text{out} \simeq \mathbb{C}^d$9 implies a Kraus decomposition via spectral vectorization (Schmidt, 2024).

Trace preservation is encoded as $\{ |i\rangle \}_{i=0}^{d-1}$0. Conversely, if this partial trace identity holds, then $\{ |i\rangle \}_{i=0}^{d-1}$1 is trace preserving. Hermiticity preservation of $\{ |i\rangle \}_{i=0}^{d-1}$2 corresponds to $\{ |i\rangle \}_{i=0}^{d-1}$3. The set of CPTP maps (channels) is thus characterized by Choi matrices $\{ |i\rangle \}_{i=0}^{d-1}$4 that are positive semidefinite and satisfy the partial trace normalization (Wang et al., 2022, Li et al., 8 Feb 2026).

3. Basis Dependence, Variations, and Generalizations

The isomorphism properties depend crucially on the choice of basis. If one employs the canonical matrix-unit basis $\{ |i\rangle \}_{i=0}^{d-1}$5, the standard Choi–Jamiołkowski correspondence holds: positivity of the Choi matrix is equivalent to complete positivity of $\{ |i\rangle \}_{i=0}^{d-1}$6. Alternative bases (such as the Pauli basis in $\{ |i\rangle \}_{i=0}^{d-1}$7) yield instead a criterion for complete co-positivity, not CP-ness (Paulsen et al., 2012, Sohail et al., 2023). The Paulsen–Shultz and Kye conditions (see (Paulsen et al., 2012, Sohail et al., 2023)) establish that only bases unitarily equivalent to matrix units preserve the full CP $\{ |i\rangle \}_{i=0}^{d-1}$8 positivity correspondence.

Several generalizations of the isomorphism have been developed:

• The GKS isomorphism encodes channels via expansion in arbitrary operator bases, with the GKS matrix structure paralleling the standard Choi matrix when the basis is canonical (Schmidt, 2024).
• In the context of operator algebras and infinite dimensions, extensions are rigorously formulated in terms of sesquilinear forms and GNS constructions, establishing the isomorphism for normal CP maps between von Neumann algebras, and identifying when the CJ form is a closable/bounded operator (notably for entanglement-breaking channels) (Holevo, 2010, Gudder, 2020, Haapasalo, 2019).
• The generalized Choi isomorphism allows the reference vector $\{ |i\rangle \}_{i=0}^{d-1}$9 to be replaced by arbitrary full-rank bipartite states, enabling applications to arbitrary network topologies and to certification scenarios beyond dimension constraints (Egelhaaf et al., 12 Jun 2025).

4. Resource Theories, Cone Dualities, and Structural Applications

The isomorphism translates structural properties of maps into operator-theoretic conditions on their Choi matrices, enabling a broad range of applications:

• Resource theories: In operational resource theories (e.g., coherence), "free" (incoherent) operations correspond precisely to diagonal Choi matrices in the product basis. Resource-non-generating superoperations are mapped to channels preserving the set of diagonal Choi matrices. Monotonicity and convexity of coherence measures for operations reduce to corresponding properties of coherence measures evaluated on Choi states (Wang et al., 2022).
• Cone correspondences: The Choi isomorphism realizes order dualities between $H_\text{in}$0-positive maps and $H_\text{in}$1-block-positive operators, and between $H_\text{in}$2-superpositive maps and states of Schmidt number $H_\text{in}$3. All linear bijections $H_\text{in}$4 that preserve this full hierarchy are of the form $H_\text{in}$5 for $H_\text{in}$6 a *-automorphism or anti-automorphism (or flip when $H_\text{in}$7) (Han et al., 2024). The associated bilinear pairings realize standard convex dualities among map and operator cones.
• Separability and entanglement-breaking: The isomorphism underlies the classification of separable states and entanglement-breaking channels. A bipartite density $H_\text{in}$8 is separable if and only if the associated map admits a Kraus decomposition with rank-one Kraus operators (Antipin, 2019). In infinite dimensions, boundedness and separability of the CJ operator characterize entanglement-breaking maps (Holevo, 2010).
• Certification and channel characterization: In device-independent or semi-device-independent protocols, observed probabilities are linear functionals of the Choi state, subject to semidefinite and marginal constraints. Certification of entanglement, channel capacity, or fidelity thus becomes a semidefinite programming problem over Choi matrices (Li et al., 8 Feb 2026, Egelhaaf et al., 12 Jun 2025).

5. Operational, Physical, and Resource Applications

The Choi–Jamiołkowski isomorphism is central in a variety of operational and physical settings:

• Hamiltonian learning: Pseudo-Choi states enable efficient shadow tomography and learning of Hamiltonians from quantum evolution, replacing the need for full channel tomography with tractable measurements on resource states constructed via time evolution (Castaneda et al., 2023).
• Emergent phases and measurement-induced dynamics: In open-system evolution, the isomorphism allows mapping of Lindbladian dynamics and measurement-induced trajectories into doubled Hilbert spaces, yielding steady states corresponding to projected spin-liquids, gauge constraints, and emergent superconductivity (Su et al., 2024).
• Generalized probabilistic theories (GPTs): An operational version of the isomorphism unifies multipartite statistical correlations and temporal evolution, establishing that key quantum features such as no-broadcasting, monogamy, contextuality, and fine-grained uncertainty derive from the channel–state correspondence, even beyond the standard state-centric formulation (2011.06126).
• Covariant channels: The isomorphism lifts naturally to group-covariant contexts, where the symmetry-invariance of the Choi state provides a characterization of all covariant maps, with applications to continuous-variable and group-representation settings (Haapasalo, 2019).

6. Phase-Space, Infinite-Dimensional, and Algebraic Perspectives

The CJ isomorphism has meaningful generalizations:

• Phase-space representations: The isomorphism corresponds to a double Wigner–Weyl transform, mapping superoperators to their dynamical matrices under a rotation in double phase space. This yields integral kernel representations, generalized Fourier identities, and novel relationships among Wigner and chord functions, particularly for pure states (Saraceno et al., 2015).
• Infinite dimensions and operator algebras: In the infinite-dimensional regime, rigorous definitions use forms and operator closures on dense domains. Extensions such as Gudder's isomorphism and the construction via C*-algebra tensor products ensure existence, properties, and dualities for normal CP maps (Gudder, 2020, Holevo, 2010, Haapasalo, 2019).
• Convolution and Fourier-theoretic approaches: The isomorphism is one instantiation of a general convolution–Fourier transform framework on contracted semigroup algebras. In this setting, the Choi matrix emerges as the Fourier transform at the identity representation, and Bochner's theorem for positive definite maps generalizes Choi's CP criterion (Sohail et al., 2 Sep 2025).

7. Recent Developments, Generalizations, and Structural Insights

Recent research provides both constructive generalizations and structural classification:

• Generalized Choi isomorphisms for networks: Formalisms based on a generalized isomorphism from arbitrary full-rank bipartite states yield powerful algebraic and geometric tools for certifying entanglement, constructing steering quantifiers (e.g., Schmidt number for measurements), and providing noise-robustness criteria in multipartite and multi-source networks (Egelhaaf et al., 12 Jun 2025).
• Structural classification of isomorphisms: Complete characterizations have been established for all isomorphisms and bilinear pairings that preserve dualities among quantum maps and operator cones, identifying their uniqueness apart from obvious local automorphism or flip ambiguities (Han et al., 2024).
• Basis-covariant and order-structure perspectives: Variations of the isomorphism encode choices of local time orientation or algebraic ordering in subsystems, linking the formalism to the classification of positive maps, separable/entangled states, and the geometric structure of non-signalling correlations (Frembs et al., 2022).

The Choi–Jamiołkowski isomorphism thus equips researchers with a versatile and mathematically robust framework for representing, analyzing, and certifying quantum operations and their corresponding physical resources, while also serving as a bridge to operator algebra, convex geometry, and generalized probabilistic frameworks. Its foundational role continues to drive advances across quantum information, dynamics, resource theory, and device-independent certification.