Quantum depolarizing channel

Summary

A quantum depolarizing channel is a model for quantum noise in quantum systems. The -dimensional depolarizing channel can be viewed as a completely positive trace-preserving map , depending on one parameter , which maps a state onto a linear combination of itself and the maximally mixed state,

The condition of complete positivity requires to satisfy the bounds

Qubit channel

edit

The single qubit depolarizing channel has operator-sum representation[1] on a density matrix   given by

 

where   are the Kraus operators given by

 

and   are the Pauli matrices. The trace preserving condition is satisfied by the fact that  

Geometrically the depolarizing channel   can be interpreted as a uniform contraction of the Bloch sphere, parameterized by  . In the case where   the channel returns the maximally-mixed state for any input state  , which corresponds of the complete contraction of the Bloch-sphere down to the single-point   given by the origin.

Classical capacity

edit

The HSW theorem states that the classical capacity of a quantum channel   can be characterized as its regularized Holevo information:

 

This quantity is difficult to compute and this reflects our ignorance on quantum channels. However, if the Holevo information is additive for a channel  , i.e.,

 

Then we can get its classical capacity by computing the Holevo information of the channel.

The additivity of Holevo information for all channels was a famous open conjecture in quantum information theory, but it is now known that this conjecture doesn't hold in general. This was proved by showing that the additivity of minimum output entropy for all channels doesn't hold,[2] which is an equivalent conjecture.

Nonetheless, the additivity of the Holevo information is shown to hold for the quantum depolarizing channel,[3] and an outline of the proof is given below. As a consequence, entanglement across multiple uses of the channel cannot increase the classical capacity. In this sense, the channel behaves like a classical channel. To achieve the optimal rate of communication, it suffices to choose an orthonormal basis to encode the message, and perform measurements that project onto to the same basis at the receiving end.

Outline of the proof of the additivity of Holevo information

edit

The additivity of Holevo information for the depolarizing channel was proved by Christopher King.[3] He showed that the maximum output ''p''-norm of the depolarizing channel is multiplicative, which implied the additivity of the minimum output entropy, which is equivalent to the additivity of the Holevo information.

A stronger version of the additivity of the Holevo information is shown for the depolarizing channel  . For any channel  

 

This is implied by the following multiplicativity of maximum output p-norm (denoted as  ):

 

The greater than or equal to direction of the above is trivial, it suffices to take the tensor product the states that achieve the maximum p-norm for   and   respectively, and input the product state into the product channel to get the output p-norm  . The proof for the other direction is more involved

The main idea of the proof is to rewrite the depolarizing channel as a convex combination of simpler channels, and use properties of those simpler channels to get the multiplicativity of the maximum output p-norm for the depolarizing channel.

It turns out that we can write the depolarizing channel as follows:

 

where  's are positive numbers,  's are unitary matrices,  's are some dephasing channels and   is an arbitrary input state.

Therefore, the product channel can be written as

 

By the convexity and the unitary invariance of the p-norm, it suffices to show the simpler bound

 

One important mathematical tool used in the proof of this bound is the Lieb–Thirring inequality, which provides a bound for p-norm of a product of positive matrices. The details and the calculations of the proof are skipped, interested readers are referred to the paper of C. King mentioned above.

Discussion

edit

The main technique used in this proof, namely rewriting the channel of interest as a convex combination of other simpler channels, is a generalization of the method used earlier to prove similar results for unital qubit channels.[4]

The fact that the classical capacity of the depolarizing channel is equal to the Holevo information of the channel means that we can't really use quantum effects such as entanglement to improve the transmission rate of classical information. In this sense, the depolarizing channel can be treated as a classical channel.

However the fact that the additivity of Holevo information doesn't hold in general proposes some areas of future work, namely finding channels that violates the additivity, in other words, channels that can exploit quantum effects to improve the classical capacity beyond its Holevo information.

Notes

edit
  1. ^ Michael A. Nielsen and Isaac L. Chuang (2000). Quantum Computation and Quantum Information. Cambridge University Press.
  2. ^ Hastings 2009.
  3. ^ a b King 2003.
  4. ^ C. King, Additivity for unital qubit channels

References

edit
  • King, C. (14 January 2003), "The capacity of the quantum depolarizing channel", IEEE Transactions on Information Theory, 49 (1): 221–229, arXiv:quant-ph/0204172v2, doi:10.1109/TIT.2002.806153
  • Hastings, M. B. (15 March 2009), "Superadditivity of communication capacity using entangled inputs", Nature Physics, 5 (4): 255–257, arXiv:0809.3972v4, Bibcode:2009NatPh...5..255H, doi:10.1038/nphys1224
  • Wilde, Mark M. (2017), Quantum Information Theory, Cambridge University Press, arXiv:1106.1445, Bibcode:2011arXiv1106.1445W, doi:10.1017/9781316809976.001