Quantum depolarizing channel

A quantum depolarizing channel is a model for quantum noise in quantum systems. The formula_1-dimensional depolarizing channel can be viewed as a completely positive trace-preserving map formula_2, depending on one parameter formula_3, which maps a state formula_4 onto a linear combination of itself and the maximally mixed state,
The condition of complete positivity requires formula_3 to satisfy the bounds
Qubit Channel.
The single qubit depolarizing channel has operator-sum representation on a density matrix formula_4 given by 
where formula_10 are the Kraus operators given by 
and formula_12 are the Pauli matrices. The trace preserving condition is satisfied by the fact that formula_13
Geometrically the depolarizing channel formula_2 can be interpreted as a uniform contraction of the Bloch sphere, parameterized by formula_15. In the case where formula_16 the channel returns the maximally-mixed state for any input state formula_4, which corresponds of the complete contraction of the Bloch-sphere down to the single-point formula_18 given by the origin.
Classical capacity.
The HSW theorem states that the classical capacity of a quantum channel formula_19 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 formula_19, 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, which is an equivalent conjecture.
Nonetheless, the additivity of the Holevo information is shown to hold for the quantum depolarizing channel, 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.
The additivity of Holevo information for the depolarizing channel was proved by Christopher King. 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 formula_2. For any channel formula_19:
This is implied by the following multiplicativity of maximum output p-norm (denoted as formula_26):
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 formula_2 and formula_19 respectively, and input the product state into the product channel to get the output p-norm formula_30. 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 formula_32's are positive numbers, formula_33's are unitary matrices, formula_34's are some dephasing channels and formula_4 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.
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.
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.