Additivity of classical capacity and related problems

From OpenQIProblemsWiki
Jump to: navigation, search

Cite as: http://qig.itp.uni-hannover.de/qiproblems/10

Previous problem: Reduction criterion implies majorization?

Next problem: Continuity of the Quantum channel capacity

Problem

For each quantum channel [math]\!\,T[/math] (in the Schrödinger picture), define

[math]\chi(T) = \sup\limits_{p,\rho}\left( H\left(\sum_i p_i T(\rho_i)\right) -\sum_i p_i H\left(T(\rho_i)\right) \right),[/math]

where the supremum is over all probability vectors [math]\!\,p=(p_1,\ldots,p_n)[/math], and all collections of input states [math]\{\!\,\rho_1,\ldots,\rho_n\}[/math], and [math]\!\,H[/math] denotes the von Neumann entropy.

Show that [math]\!\,\chi (T_1\otimes T_2)=\chi (T_1)+\chi (T_2)[/math], or else give a counterexample. The problem can be traced back to [1], see also [2].

Background

This problem can also be paraphrased as "Can entanglement between signal states help to send classical information on quantum channels?".

Recall that the capacities of a memoryless channel are defined as the maximal transmission rate per use of the channel, with coding and decoding chosen for increasing number [math]\!\,n[/math] of parallel and independent uses of the channel

[math] T^{\otimes n}=\underset{n}{\underbrace{T\otimes \dots \otimes T}} [/math]

such that the error probability goes to zero as [math]\!\,n\rightarrow \infty [/math]. There are many different capacities, because one may consider sending different kinds (classical or quantum) information, restrict the admissible coding and decoding operations, and/or allow the use of additional resources. Here we only look at the transmission of classical information with no additional resources. Then one can distinguish four capacities [3], according to whether for each block length [math]\!\,n[/math] we are allowed to use arbitrary entangled quantum operations on the full block of input (resp. output) systems, or if for each of the parallel channels we have to use a separate quantum coding (resp. decoding), and combine these only by classical pre (resp. post)-processing:

The equality in the lower right was established independently by several authors, see e. g. [4]. That [math]\!\,C_{1\infty }[/math] on the left coincides with the quantity [math]\!\,\chi [/math] given in the statement of the problem was shown in [5]. The inequality in the lower left is known to be strict sometimes [2], which means that entangling decodings indeed can increase the classical capacity. See [6] for investigation of the corresponding information gain. The full capacity and [math]\!\,\chi [/math] are connected by the limit formula

[math] C_{\infty \infty}(T) = \mathrm{lim} _n (1/n) \chi(T^{\otimes n}) [/math]

Since [math]\!\,\chi [/math] is easily seen to be superadditive (i.\, e., [math]\!\,\chi (T_{1}\otimes T_{2})\geq \chi (T_{1})+\chi (T_{2})[/math]), we immediately get [math]\!\ C_{\infty \infty }\geq \chi [/math]. If additivity holds, then we will even have equality, i.\, e., "???" in the table can be replaced by "[math]\!\,=[/math]" . While such a result would be very much welcome from a mathematical (and practical) point of view, giving a "single-letter" expression for the classical capacity, it would call for a physical explanation of strange asymmetry between the roles of entanglement in encoding and decoding procedures.


Partial Results

Validity of the additivity conjecture was established if one of the channels is

  • a unital qubit channel [9]
  • the depolarizing channel [10]
  • an entaglement breaking channel [2], [11] (both for "c-q/q-c" channels), [12] (general entanglement breaking channel).

Some further more recent partial results will be mentioned below. Whether the additivity holds "globally", i.e. for all quantum channels, is still an open problem. No counterexample was found despite extensive numerical search by groups in IBM, IMaPh, see also [13]. If the conjecture is valid, then the additivity of [math]\!\,\chi [/math] tentatively relies upon yet another hypothetical property of multiplicativity of norms of the completely positive mappings

[math] T:\ell _{1}(\mathcal{H})\rightarrow \ell _{p}(\mathcal{H});\quad p\geq 1, [/math]

where

[math] \ell _{p}(\mathcal{H})=\{X:X=X^{\ast },\quad \Vert X\Vert _{p}\equiv \left( \mathrm{Tr}|X|^{p}\right) ^{\frac{1}{p}}\} [/math]

is a noncommutative analog of the space [math]\!\,\ell _{p}[/math] -- the so called Schatten class. Namely, the conjecture [7] is that for [math]\!\,p[/math], sufficiently close to [math]\!\,1[/math]

[math] \Vert T_{1}\otimes T_{2}\Vert _{p}\overset{?}{=}\Vert T_{1}\Vert _{p}\Vert T_{2}\Vert _{p}, [/math] (1)

where [math]\!\,\Vert T\Vert _{p}=\max_{\rho }\Vert T(\rho )\Vert _{p}[/math]. Byletting [math]\!\, p\downarrow 1[/math] this implies additivity of the minimal output entropy

[math] H_{\min }(T)=\min_{\rho }H\left( T\left( \rho \right) \right) , [/math]

one of a whole number of properties equivalent, as it was shown in [14], to the additivity of [math]\!\,\chi [/math]. The relation (1) can be re-expressed as the additivity of the minimal output Renyi entropy of order [math]\!\, p[/math] [15].

  • In all cases listed above where the additivity conjecture is proved, the multiplicativity of [math]\!\,p-[/math]norms (for all [math]\!\,p\geq 1[/math]) also holds, moreover, it underlies the proof of additivity in [9], [10]. The multiplicativity of [math]\!\,p-[/math]norms holds for arbitrary bounded maps of the classical spaces [math]\!\,\ell _{p}[/math], where its proof can be based on a Minkowsky inequality. Therefore quite intriguing is counterexample of the channel
[math] T(\rho )=\frac{1}{d-1}\left[ I-\rho ^{T}\right] , [/math]

for which (1) with [math]\!\,T_{1}=T_{2}=T[/math] fails to hold for sufficiently large [math]\!\,p[/math] ([math]\!\,p\geq 4,7823[/math] if [math]\!\,d=\mathrm{dim}\mathcal{H}=3[/math] [16]). Nevertheless, the additivity of [math]\!\,H_{\min }[/math] and of [math]\!\,\chi [/math] holds for such channels, as shown in [17], [18], [19]. The standing conjecture is that multiplicativity holds globally at least for [math]\!\,1\leq p\leq 2,[/math] but even the case [math]\!\,p=2[/math] is difficult, see [20], [21]. For some results concerning integer [math]\!\,p[/math] see [22].

  • In [23] it was shown that proving the multiplicativity would solve another important open problem -- superadditivity of the entanglement of formation (EoF). Earlier [24] brought attention to a simple correspondence between [math]\!\,\chi [/math] and EoF, and obtained several concrete results on additivity of EoF by using this correspondence. It was also remarked that superadditivity of EoF would imply additivity of [math]\!\,\chi [/math] for channels with linear additive input constraints. By combining the MSW correspondence and the convex duality technique of [23] with an original and powerful channel extension technique, which allows to use effectively arbirariness of channels in question, [14] had shown equivalence of the global properties of additivity of the minimal output entropy, [math]\!\,\chi ,[/math] EoF and of superadditivity of EoF. The last equivalence for two fixed channels was also established in [25].
  • In [26] several equivalent formulations of the additivity conjecture for channels with arbitrarily constrained inputs, which formally is substantially stronger than additivity of the unconstrained [math]\!\,\chi [/math], were given. It was shown that the additivity conjecture for channels with constrained inputs holds true for certain nontrivial classes of channels, e. g. a direct sum mixture of the identity channel and an entaglement breaking channel (such as erasure channel). The channel extension technique was used to show that additivity for two fixed constrained channels can be reduced to the same problem for unconstrained channels, and hence, the global additivity for channels with arbitrary input constraints is equivalent to the global additivity without constraints.
  • The additivity problem is still open for the minimal dimension 2: it is not known if the additivity holds for all nonunital qubit channels, although a strong numerical evidence in favour of this was given in [27]. Nevertheless there are several reasons to consider the problem in infinite dimensions. There is a good chance that both the additivity and the multiplicativity for all [math]\!\,p\geq 1[/math] hold for important and interesting class of Gaussian channels that act in infinite dimensional Hilbert space. However the only instance where the additivity of [math]\!\,\chi [/math] and the multiplicativity for integer [math]\!\,p[/math] was proved is the pure loss channel, having the very special property [math]\!\,H_{\min }(T)=0[/math] [15], [28].
  • It was observed recently that Shor's proof of equivalence of different forms of the global additivity conjecture for finite dimensional channels is related to weird discontinuity of the [math]\!\,\chi -[/math]capacity as a function of channel in infinite dimensions. This also calls for a mathematically rigorous treatment of the entropic quantities related to the classical capacity of infinite dimensional

channels [29]. In particular it is possible to show that additivity for all finite dimensional channels implies additivity of the constrained [math]\!\,\chi -[/math]capacity with constraints fulfilling finiteness of the output entropy [30].


Literature

  1. C. H. Bennett, C. A. Fuchs, J. A. Smolin, Entanglement-enhanced classical communication on a noisy quantum channel, in: Quantum Communication, Computing and Measurement, Proc. QCM96, ed. by O. Hirota, A. S. Holevo and C. M. Caves, New York: Plenum 1997, pp. 79-88 and [1] quant-ph/9611006 (1996)
  2. 2.0 2.1 2.2 A. S. Holevo, Quantum coding theorems, Russ. Math. Surv. 53, 1295 (1998) and [2] quant-ph/9809023 (1998)
  3. C. H. Bennett, P. W. Shor, Quantum information theory, IEEE Trans. Inform. Theory 44, 2724 (1998)
  4. C. King and M. B. Ruskai, Capacity of Quantum Channels Using Product Measurements, J. Math. Phys. 42, 87 (2001) and [3] quant-ph/0004062 (2000)
  5. A. S. Holevo, The Capacity of the Quantum Channel with General Signal States, IEEE Trans. Inform. Theory 44, 269 (1998) and [4] quant-ph/9611023 (1996); B. Schumacher and M. D. Westmoreland, Sending classical information via noisy quantum channels, Phys. Rev. A 56, 131 (1997)
  6. M. Sasaki, K. Kato, M. Izutsu, O. Hirota, Quantum channels showing superadditivity in capacity, [5] quant-ph/9801012 (1998)
  7. 7.0 7.1 G. G. Amosov, A. S. Holevo, and R. F. Werner, On some additivity problems in quantum information theory, Probl. Inform. Transm. 36 (4), 25 (2000) and [6] math-ph/0003002 (2000); G. G. Amosov and A. S. Holevo, On the multiplicativity conjecture for quantum channels, [7] math-ph/0103015 (2001)
  8. B. Schumacher and M. D. Westmoreland, Relative entropy in quantum information theory, [8] quant-ph/0004045 (2000)
  9. 9.0 9.1 C. King, Additivity for a class of unital qubit channels, [9] quant-ph/0103156 (2001)
  10. 10.0 10.1 C. King, The capacity of the quantum depolarizing channel, [10] quant-ph/0204172 (2002)
  11. C. King, Maximization of capacity and [math]\!\,l_p[/math] norms for some product channels, J. Math. Phys. 43, 1247 (2002) and [11] quant-ph/0103086 (2001)
  12. P. W. Shor, Additivity of the classical capacity of entanglement-breaking quantum channels, Commun. Math. Phys. 246, 453 (2004) and [12] quant-ph/0201149 (2002)
  13. S. Osawa, H. Nagaoka, Numerical experiments on the capacity of quantum channel with entangled input states, [13] quant-ph/0007115 (2000)
  14. 14.0 14.1 P. W. Shor, Equivalence of additivity questions in quantum information theory, [14] quant-ph/0305035 (2003) Cite error: Invalid <ref> tag; name "Shb" defined multiple times with different content
  15. 15.0 15.1 V. Giovannetti, S. Lloyd, L. Maccone, J. H. Shapiro, B. J. Yen, Minimum Renyi and Wehrl entropies at the output of bosonic channels, [15] quant-ph/0404037 (2003)
  16. R. F. Werner and A. S. Holevo, Counterexample to an additivity conjecture for output purity of quantum channels, J. Math. Phys., 43, 4353 (2002)
  17. K. Matsumoto, F. Yura, Entanglement cost of antisymmetric states and additivity of capacity of some quantum channel, [16] quant-ph/0306009 (2003)
  18. N. Datta, A. S. Holevo, Y. M. Suhov. A quantum channel with additive minimum output entropy, [17] quant-ph/0408176 (2004)
  19. R. Alicki, M. Fannes, Note on multiple additivity of Renyi entropy output for Werner-Holevo channel, [18] quant-ph/0407033 (2004)
  20. C. King, M. Nathanson, M. B. Ruskai, Multiplicativity properties of entrywise positive maps on matrix algebras, [19] quant-ph/0409181 (2004)
  21. C. King, M. B. Ruskai, Comments on multiplicativity of maximal p-norms when p = 2, [20] quant-ph/0401026 (2004)
  22. V. Giovannetti, S. Lloyd, M. B. Ruskai, Conditions for the multiplicativity of maximal [math]\!\,l_{p}[/math]-norms of channels for fixed integer [math]\!\,p[/math], [21] quant-ph/0408103 (2004)
  23. 23.0 23.1 K. M. R. Audenaert, S. L. Braunstein, On strong superadditivity of the entanglement of formation, [22] quant-ph/0303045 (2003)
  24. K. Matsumoto, T. Shimono, A. Winter, Remarks on additivity of the Holevo channel capacity and of the entanglement of formation, [23] quant-ph/0206148 (2002)
  25. A. A. Pomeransky, Strong superadditivity of the entanglement of formation follows from its additivity, [24] quant-ph/0305056 (2003)
  26. A. S. Holevo, M. E. Shirokov, On Shor's channel extension and constrained channels, Commun. Math. Phys. 249, 417 (2004) and [25] quant-ph/0306196 (2003); M. E. Shirokov, On the additivity conjecture for channels with arbitrary constrains, [26] quant-ph/0308168 (2003)
  27. M. Hayashi, H. Imai, K. Matsumoto, M. B. Ruskai, T. Shimono, Qubit channels which require four inputs to achieve capacity: implications for additivity conjectures, [27] quant-ph/0403176 (2004)
  28. V. Giovannetti, S. Lloyd, Additivity properties of a Gaussian channel, [28] quant-ph/0403075 (2004)
  29. A. S. Holevo, M. E. Shirokov, Continuous ensembles and the [math]\chi[/math]�-capacity of infinite-dimensional channels,, [29] quant-ph/0403072 (2004)
  30. M. E. Shirokov, The Holevo capacity of infinite dimensional channels, [30] quant-ph/0408009 (2004)