Let $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ be a CPTP map, and let $J(\Phi)$ be its Choi representation. As is well known, any such map can be written in a Kraus representation of the form $$\Phi(X)=\sum_a p_a A_a X A_a^\dagger,\tag A$$ where $p_a\ge0$ and $\operatorname{Tr}(A_a^\dagger A_b)=\delta_{ab}$ (as mentioned for example in this other question of mine). The positive numbers $p_a$ appearing here can be seen to be the eigenvalues of $J(\Phi)$.

Is there a way to directly relate the eigenvalues $p_a$ to some properties of the channel, or to how the channel acts on states?


1 Answer 1


When I was doing some work on quantum cloning (so, slightly different applications to the channels you were asking about), I basically ended up setting up the Choi matrix as a description of the action that I'd like to achieve (perfect cloning), averaged over all possible inputs. In that case, the maximum eigenvalue tells you quite a lot - up to a scale factor of the size of the Hilbert space dimension of the input state, it gives you an upper bound on the fidelity that you can achieve that operation with. Moreover, if the maximal eigenvector is maximally entangled, that upper bound in the fidelity can be achieved (you can extend that condition to deal with degeneracy in the maximum eigenvalue).

  • 1
    $\begingroup$ what do you mean with "setting up the Choi matrix as a description of the action that I'd like to achieve, averaged over all possible inputs"? Isn't the Choi matrix just another way to express the channel? So isn't this the same as saying "set up a channel as description of the action I want to achieve", which would be sort of a tautology given that a channel is generally a description of some operation? $\endgroup$
    – glS
    Aug 12, 2019 at 13:36
  • $\begingroup$ @glS but the issue is that the channel I want is an unphysical channel. The Choi matrix gives me a way to access the closest physical channel (corresponding to the projector onto the maximum eigenvector of the matrix, if the required conditions are satisfied) $\endgroup$
    – DaftWullie
    Aug 12, 2019 at 13:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.