Revision, technical aspects and reproduction of the Hastings' counterexample of the additivity conjecture of the Holevo capacity

Motohisa Fukuda, Christopher King, David K. Moser

Guillaume Aubrun, Stanisław J. Szarek, Elisabeth Werner

Максим Евгеньевич Широков

Keiji Matsumoto, Toshiyuki Shimono, Andreas Winter

Aditya Nema, Pranab Sen

In a breakthrough, Hastings showed that there exist quantum channels whose classical Holevo capacity is superadditive i.e. more classical information can be transmitted by quantum encoding strategies entangled across multiple channel uses as compared to unentangled quantum encoding strategies. Hastings’ proof used Haar random unitaries to exhibit superadditivity. In this paper we show that a unitary chosen uniformly at random from an approximate$n^{2/3}$-design gives rise to a quantum channel with superadditive classical Holevo capacity, where$n$is the dimension of the unitary exhibiting the Stinespring dilation of the channel superoperator. We follow the geometric functional analytic approach of Aubrun, Szarek and Werner in order to prove our result. More precisely we prove a sharp Dvoretzky-like theorem stating that, with high probability under the choice of a unitary from an approximate$t$-design, random subspaces of large dimension make a Lipschitz function take almost constant value. Such theorems were known earlier only for Haar random unitaries. We obtain our result by appealing to Low’s technique for proving concentration of measure for an approximate$t$-design, combined with a stratified analysis of the variational behaviour of Lipschitz functions on the unit sphere in high dimension. The stratified analysis is the main technical advance of this work. Haar random unitaries require at least$\Omega (n^{2})$random bits in order to describe them with good precision. In contrast, there exist exact$n^{2/3}$-designs using only$O(n^{2/3} \log n)$random bits. Thus, our work can be viewed as a partial derandomisation of Hastings’ result, and a step towards the quest of finding an explicit quantum channel with superadditive classical Holevo capacity. Finally we also show that for any$p > 1$, approximate unitary$n^{1.7}$-designs give rise to channels violating subadditivity of Rényi$p$-entropy. In addition to stratified analysis, the proof of this result uses a new technique of approximating a monotonic differentiable function defined on a closed bounded interval and its derivative by moderate degree polynomials which should be of independent interest.

Motohisa Fukuda, Christopher King

Recently, Hastings [“A counterexample to additivity of minimum output entropy,” Nat. Phys. 5, 255 (2009); e-print arXiv:0809.3972v3] proved the existence of random unitary channels, which violate the additivity conjecture. In this paper, we use Hastings’ method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of nonunital channels, which violate additivity of minimal output entropy.