# What does it mean to take the Choi-Jamiolkowski of a quantum channel?

The Choi-Jamiolkowski of a channel $$\newcommand{\on}{\operatorname{#1}}\Lambda : \on{End}(\mathcal{H_A}) \xrightarrow{} \on{End}(\mathcal{H_B})$$ is obtained through an isomorphism of the form: $$CJ: \on{Hom}(\on{End}(\mathcal{H_A}),\on{End}(\mathcal{H_B)}) \rightarrow \on{End}(\mathcal{H_A^*}\otimes\mathcal{H_B}),$$ Where $$\on{End}(\mathcal{H})$$ is the set of endomorphisms over the Hilbert space $$\mathcal{H}$$.

How does one interpret $$CJ(\Lambda)$$ ?

• physics.stackexchange.com/questions/270032/… Apr 16 '20 at 23:21
• I’m voting to close this question because there is a duplicate on Physics SE Apr 17 '20 at 1:23
• @user1936752 duplicate of a question on another site is not a close reason.
– glS
Apr 17 '20 at 10:47

Let me quote my answer from over at physics.SE:

### The intuition

Let us consider a channel $$\mathcal E$$, which we want to apply to a state $$\rho$$. (This could equally well be part of a larger system.) Now consider the following protocol for applying $$\mathcal E$$ to $$\rho$$:

1. Denote the system of $$\rho$$ by $$A$$. Add a maximally entangled state $$|\omega\rangle=\tfrac{1}{\sqrt{D}}\sum_{i=1}^D|i,i\rangle$$ of the same dimension between systems $$B$$ and $$C$$: 2. Now project systems $$A$$ and $$B$$ on $$|\omega\rangle$$: [This can be understood as a teleportation where we have only consider the "good" outcome, i.e., where we don't have to make a (generalized) Pauli correction on $$C$$, see also the discussion.]
Our intuition on teleportation (or a simple calculation) tells us that we now have the state $$\rho$$ in system $$C$$: 3. Now we can apply the channel $$\mathcal E$$ to $$C$$, yielding the desired state $$\mathcal E(\rho)$$ in system $$C'$$: However, steps 2 and 3 commute (2 acts on $$A$$ and $$B$$, and 3 acts on $$C$$), so we can interchange the ordering and replace 2+3 by 4+5:

1. Apply $$\mathcal E$$ to $$C$$, which is the right part of $$|\omega\rangle$$: This results in a state $$\eta=(\mathbb I\otimes \mathcal E) (|\omega\rangle\langle\omega|)$$, which is nothing but the Choi state of $$\mathcal E$$: (This is the original step 3.)

2. We can now carry out the original step 3: Project $$A$$ and $$B$$ onto $$|\omega\rangle$$: Doing so, we obtain $$\mathcal E(\rho)$$ in $$C'$$: Steps 4 and 5 are exactly the Choi-Jamiolkowski isomorphism:

• Step 4 tells us how to obtain the Choi state $$\eta$$ for a channel $$\mathcal E$$
• Step 5 tells us how we can construct the channel from the state

Going through the math readily yields the expression for obtaining $$\mathcal E$$ from $$\mathcal \eta$$ given in the question: \begin{align*} \mathcal E(\rho) &= \langle \omega|_{AB}\rho_A\otimes \eta_{BC}|\omega\rangle_{AB}\\ & \propto \sum_{i,j} \langle i|\rho_A|j\rangle_{A} \langle i|_B\eta_{BC} |j\rangle_B \\ & = \mathrm{tr}_B[(\rho_B^T\otimes \mathbb I_C) \eta_{BC}]\ . \end{align*}

### Discussion

The intuition above is closely linked to teleportation-based quantum computing and measurement based quantum computing. In teleportation-based computing, we first prepare the Choi state $$\eta$$ of a gate $$\mathcal E$$ beforehand, and subsequently "teleport through $$\eta$$", as in step 5. The difference is that we cannot postselect on the measurement outcome, so that we have to allow for all outcomes. This is, depending on the outcome $$k$$, we have implemented (for qubits) the channel $$\mathcal E(\sigma_k \cdot \sigma_k)$$, where $$\sigma_k$$ is a Pauli matrix, and generally $$\mathcal E$$ is a unitary. If we choose our gates carefully, they have "nice" commutation relations with Pauli matrices, and we can account for that in the course of the computation, just as in measurement based computing. In fact, measurement based computing can be understood as a way of doing teleportation based computation in a way where in each step, only two outcomes in the teleportation are allowed, and thus only one Pauli correction can occur.

### Applications

In short, the Choi-Jamiolkowski isomorphism allows to map many statements about states to statements about channels and vice versa. E.g., a channel is completely positive exactly if the Choi state is positive, a channel is entanglement breaking exactly if the Choi state is separable, and so further. Clearly, the isomorphism is very straightforward, and thus, one could equally well transfer any proof from channels to states and vice versa; however, often it is much more intuitive to work with one or the other, and to transfer the results later on.

For an n-qubit operation it means:

1. Prepare n Bell pairs $$a_k, b_k = |00\rangle + |11\rangle$$.
2. Take one qubit $$a_k$$ from each pair, and apply $$U$$ to those qubits $$a_1, a_2, ..., a_n$$.
3. The state of all of the qubits $$a_1, b_1, ... a_n, b_n$$ now encodes the operation $$U$$.

Quirk makes this particularly blatant, because the way it displays superpositions results in the final state even looking like the matrix of the operation: 