Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

Let $\mathcal{E} : \mathcal{L}(A) \to \mathcal{L}(B)$ be a completely positive trace preserving map. By the Choi–Jamiołkowski isomorphism there is an isometry $J : A \to B \otimes C$ such that $\mathcal{E}(\rho) = \textrm{Tr}_C\{J \rho J^\dagger\}$. There is also a complementary channel $\mathcal{F} : \mathcal{L}(A) \to \mathcal{L}(C)$ with action $\mathcal{F}(\rho) = \textrm{Tr}_B\{J \rho J^\dagger\}$.

I am interested in a rank four tensor $Q : \mathcal{L}(A)^{\otimes 2}$ defined as $$ \left<ij\middle|Q\middle|kl\right> = \mathrm{Tr}_B\{ \mathcal{E}(\left|k\right>\left<i\right|) \mathcal{E}(\left|l\right>\left<j\right|)\}. $$ In terms of the complementary channel, this can be written $$ \left<ij\middle|Q\middle|kl\right> = \mathrm{Tr}_C\{ \mathcal{F}(\left|k\right>\left<j\right|) \mathcal{F}(\left|l\right>\left<i\right|)\}. $$ As a trace diagram (lines represent contraction of tensor indices), $Q$ is equal to

trace diagram corresponding to above equations

I think this object should somehow encode information about the channel such as channel capacity. Has this been studied? What is known about it?

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.