Multiplicativity of completely bounded $p$norms implies a strong converse for entanglementassisted capacity
Abstract
The fully quantum reverse Shannon theorem establishes the optimal rate of noiseless classical communication required for simulating the action of many instances of a noisy quantum channel on an arbitrary input state, while also allowing for an arbitrary amount of shared entanglement of an arbitrary form. Turning this theorem around establishes a strong converse for the entanglementassisted classical capacity of any quantum channel. This paper proves the strong converse for entanglementassisted capacity by a completely different approach and identifies a bound on the strong converse exponent for this task. Namely, we exploit the recent entanglementassisted “metaconverse” theorem of Matthews and Wehner, several properties of the recently established sandwiched Rényi relative entropy (also referred to as the quantum Rényi divergence), and the multiplicativity of completely bounded norms due to Devetak et al. The proof here demonstrates the extent to which the Arimoto approach can be helpful in proving strong converse theorems, it provides an operational relevance for the multiplicativity result of Devetak et al., and it adds to the growing body of evidence that the sandwiched Rényi relative entropy is the correct quantum generalization of the classical concept for all .
1 Introduction
An important lesson learned in theoretical quantum information science is that entanglement assistance tends to simplify problems of interest and, perhaps surprisingly, makes such problems more like their classical counterparts. For example, in quantum computational complexity theory, the canonical QIPcomplete problem is distinguishing two quantum channels specified by quantum circuits [41]. In order to solve this problem, two parties, traditionally called a prover and verifier, engage in an entanglementassisted discrimination strategy, and furthermore, it is known that the computational complexity of this task does not increase if these parties engage in a completely classical strategy to solve this problem [25]. In the theory of quantum error correction, the entanglementassisted stabilizer formalism allows for producing a quantum errorcorrecting code from an arbitrary classical errorcorrecting code, while retaining the desirable properties of the imported classical code [11, 12]. However, importing arbitrary classical codes is not possible if entanglement assistance is not available. Furthermore, entanglement assistance helps to resolve technical problems that arise in the construction of quantum LDPC [23, 24] and turbo codes [48]. In quantum rate distortion theory (the theory of lossy quantum data compression), the most well understood setting is again the entanglementassisted setting, with there being a simple formula that characterizes optimal compression rates [15].
Perhaps the earliest observation in this spirit is due to Bennett et al. [7, 8] and Holevo [22], who established that a simple formula characterizes the capacity of a quantum channel for classical communication when unlimited entanglement assistance is available. This result is one of the strongest in quantum Shannon theory and provides a “fully quantum” generalization of Shannon’s well known formula for the classical capacity of a classical channel [43]. Furthermore, this formula is robust under the presence of a noiseless quantum feedback channel from receiver to sender—Bowen established that the entanglementassisted capacity does not increase in the presence of such a quantum feedback channel [10].
In later work, Bennett et al. [6] and Berta et al. [9] strengthened the interpretation of the formula for entanglementassisted capacity, by demonstrating that a socalled strong converse theorem holds in this setting. A strong converse theorem establishes that, if the rate of communication in any given coding scheme exceeds the capacity, then the error probability of this scheme tends to one in the limit of many channel uses. Coupled with the achievability part of a coding theorem (that there always exist a coding scheme with error probability tending to zero in the limit of many channel uses if the rate of communication is less than capacity), a strong converse theorem establishes the capacity as a very sharp line dividing achievable communication rates from unachievable ones. Furthermore, strong converse theorems find applications in establishing security in particular models of cryptography [29].
Bennett et al. and Berta et al. established a strong converse theorem for entanglementassisted capacity by proving what is known as the entanglementassisted quantum reverse Shannon theorem. Such a theorem corresponds to a compressionlike quantum information processing task and characterizes the optimal rates of communication at which it is possible to simulate a quantum channel. In entanglementassisted channel simulation, the goal is for a sender and receiver, who share an unlimited amount of entanglement before the protocol begins, to use as few noiseless classical bit channels as possible to simulate the action of many independent instances of the channel on any quantum input (this input can be entangled with another system not fed into the channel), in such a way that any third party should not be able to distinguish between the original channels and the simulation. Interestingly, the rate of communication required for channel simulation corresponds to a strong converse rate for capacity, because, if it were possible to use the channel to communicate at a rate larger than its channel simulation rate, then a sender and receiver could “get out” more communication than they invested originally (essentially getting “something for nothing, bits for free”). Carrying this reductio ad absurdum argument out in more detail, one can show that the error probability in fact increases exponentially fast to one if the rate of communication exceeds the channel simulation rate. The main result of Bennett et al. and Berta et al. is that the optimal channel simulation rate in the presence of shared entanglement is equal to the entanglementassisted capacity of the channel, and by the above argument, this establishes a strong converse theorem for the entanglementassisted capacity.
2 Summary of results
In this paper, we establish a strong converse theorem for the entanglementassisted capacity by a route completely different from that of Bennett et al. and Berta et al. Furthermore, we identify a bound on the strong converse exponent for this task. Our motivation is twofold: first, for a theorem as important as this one, it is certainly reasonable to have multiple proofs to shed further light on the topic. More importantly, our approach here might illuminate alternate ways for establishing a strong converse theorem for other capacities, the most pressing of which is the quantum capacity of degradable channels [33]. Our approach taken here is in the line of Arimoto [2], a route by which several strong converse theorems have now been established [39, 28, 49] and for which the general framework has been extended significantly [40, 44]. Our proof makes use of the sandwiched Rényi relative entropy [36, 49], known also by the name of “quantum Rényi divergence” [36], and it exploits several properties of this entropy in order to establish the strong converse theorem.
A pleasing aspect of the present paper is that it provides an operational
relevance for the main result of Devetak, Junge, King, and Ruskai
[17] (see related follow up work in [26]). Indeed, in the
present paper, for simplicity, we will define
(2.1) 
where is the Choi matrix of the channel , denotes the Schatten norm for , and the optimization is over density operators (see the next section for formal definitions of these objects). A special case of the main result of [17] is that these norms are multiplicative for all completely positive maps and , in the sense that
(2.2) 
Due to the connection between the sandwiched Rényi relative entropy and
norms, we can apply the above multiplicativity result to our setting
in order to establish a strong converse for entanglementassisted capacity.
Furthermore, it is interesting to observe that the completely bounded norm in (2.1) converges to the socalled “diamond norm” [27] in the limit as . The diamond norm is used all throughout quantum information
theory as a measure of distance between quantum
channels [1, 20, 41, 42, 46] because it is the operationally
relevant distance measure in the setting of entanglementassisted
discrimination of quantum channels (the most general strategy that one could
use to distinguish quantum channels). Of course, this is the setting with
which one would be dealing if trying to determine the value of a single bit
encoded with an entanglementassisted communication strategy, so it appears
that our connection of the main result of [17] to
entanglementassisted capacity is the natural one to make.
We now outline our proof for the strong converse of the entanglementassisted classical capacity, and the following sections give detailed arguments.

We say that a quantity is a generalized divergence [40, 44] (a generalization of von Neumann relative entropy) if it satisfies the following monotonicity inequality for all density operators and and channels :
(2.3) From such a divergence, we can derive a generalized mutual information of a quantum channel according to the following recipe:
(2.4) (2.5) (2.6) (2.7) (2.8) (2.9) (We explain all of these quantities in further detail in the main text.) Our first step then is to recall [32, Propositions 20 and 21], which establish a relationship between Type I and II errors in hypothesis testing and the rate and success probability for any entanglementassisted code (a code that uses instances of a channel at a fixed rate and has an error probability no larger than ). We use this “meta converse” theorem in order to obtain an upper bound on any entanglementassisted code’s success probability in terms of its rate, blocklength, and any generalized mutual information derived from a generalized divergence as above.

Next we recall the definition of the sandwiched Rényi relative entropy [36, 49], also referred to as the quantum Rényi divergence [36], which is a particular divergence between two density operators and . It is defined [36, 49] for as
(2.10) when the support of is contained in the support of and it is equal to otherwise (in this work, we focus exclusively on the regime ). In particular, was shown to obey the monotonicity inequality mentioned above for all [49, 36] and later work proved that this monotonicity holds for all [18, 5]. Furthermore, this quantity converges to the von Neumann relative entropy in the limit as . This is one reason why the sandwiched Rényi relative entropy is relevant for us in establishing a strong converse for entanglementassisted capacity.
Remark: In a few recent works, it has been said, somewhat ambiguously, that this new Rényi relative entropy is useful because it captures the “noncommutativity of quantum states.” However, the previous notion of Rényi relative entropy, Tr is perfectly well defined for noncommutative quantum states and proves to be useful in the regime when [3, 21, 37, 4, 38, 34, 35]. In our opinion, the sandwiched Rényi relative entropy has proved useful when because it can be related to a Schatten norm in the following way:(2.11) and there are many properties of these norms and prior results established for them that come into play when establishing properties of information measures derived from the sandwiched Rényi relative entropy (the present paper being no exception). Thus, there is a growing consensus [49, 36, 35, 16] that the sandwiched Rényi relative entropy is the correct generalization of the classical Rényi relative entropy at least for the regime .

We evaluate the upper bound on success probability mentioned in the first step above, by using the sandwiched Rényi relative entropy as the divergence. This yields the following upper bound on the success probability of any rate entanglementassisted scheme that uses a channel times:
(2.12) where is the sandwiched Rényi mutual information of a quantum channel , derived by the same recipe in (2.4)(2.9), taking . By inspecting the above formula, we can observe that if additivity of holds for , i.e.,
(2.13) then by a standard argument [39, 28], which we elaborate for our case here, the strong converse follows.

As a precursor to proving additivity of , we relate the sandwiched Rényi mutual information of a channel to an norm of the states involved
(2.14) (2.15) Using Hölder duality of norms and the Lieb concavity theorem [30], we then show that
(2.16) is concave in for . Convexity of the norm and operator convexity of for implies that the above function is convex in for . These properties are sufficient for us to apply the Sion minimax theorem [45] in order to exchange the minimum with the maximum for :
(2.17) (2.18) 
From here, we can exploit the multiplicativity of completely bounded norms [17] and [5, Theorem 11] to establish that the sandwiched Rényi mutual information is additive as a function of quantum channels, in the sense that
(2.19) for all quantum channels and and all . This additivity result along with an inductive argument gives us the additivity relation in (2.13).

Combining the above results, we obtain the following bound on the success probability for any entanglementassisted coding scheme for a channel :
(2.20) Finally, by a standard argument [39, 44] (which we elaborate for our case here), we can choose such that for all in some neighborhood of 1, so that the success probability decays exponentially fast to zero with if , where is the entanglementassisted capacity of the channel (in this case, can be constructed according to the recipe in (2.4)(2.9) with the generalized divergence taken as the von Neumann relative entropy). The strong converse theorem for the entanglementassisted capacity then follows.
The next section reviews some notations and definitions, and the rest of the paper proceeds in the order above, giving detailed proofs for each step. We then conclude with a brief summary.
3 Notation and Definitions
Let denote the algebra of bounded linear operators acting on a Hilbert space . We restrict ourselves to finitedimensional Hilbert spaces throughout this paper. The norm of an operator is defined as
(3.1) 
where . Let denote the subset of positive semidefinite operators (we often simply say that an operator is “positive” if it is positive semidefinite). We also write if . An operator is in the set of density operators if and Tr. The tensor product of two Hilbert spaces and is denoted by . Given a multipartite density operator , we unambiguously write Tr for the reduced density operator on system . A linear map is positive if whenever . Let id denote the identity map acting on a system . A linear map is completely positive if the map id is positive for a reference system of arbitrary size. A linear map is tracepreserving if TrTr for all input operators . If a linear map is completely positive and tracepreserving (CPTP), we say that it is a quantum channel or quantum operation. A positive operatorvalued measure (POVM) is a set of positive operators such that .
The sandwiched Rényi relative entropy [36, 49], also referred to as the quantum Rényi divergence [36], between two density operators and is defined for as follows:
(3.2) 
whenever the support of is contained in the support of and it is equal to otherwise. Throughout this work, we will be considering only the range . For such choices, the Hölder conjugate of is such that , so that . We can define a sandwiched Rényi mutual information of a bipartite state as
(3.3) 
Let denote the “maximallyentangledlike” vector:
(3.4) 
We can then define the sandwiched Rényi mutual information of a channel as
(3.5) 
where
(3.6) 
In what follows, we will use the following abbreviation for the Choi matrix:
(3.7) 
so that
(3.8) 
The quantum relative entropy is defined as
(3.9) 
whenever the support of is contained in the support of and it is equal to otherwise.
4 Bounding the success probability of any entanglementassisted code with a generalized divergence
We first review the steps in any general protocol for entanglementassisted classical communication over uses of a quantum channel. Such a protocol begins with a sender Alice and a receiver Bob sharing an arbitrary bipartite entangled state , where Alice possesses the system and Bob the system . Their goal is to use the entangled state and instances of a noisy channel in order for Alice to transmit a message to Bob. The receiver Bob combines his share of the entanglement and the output systems of the noisy channel in order to decode the message. This scheme is an protocol if the error probability is no larger than and the rate , where denotes the size of the message.
For the purposes of proving a strong converse theorem, we can assume that Alice selects the message according to a uniform distribution. (The rate at which they can communicate when Alice uses a particular message distribution can only be larger than that for a scheme that should work for all message distributions.) Thus, the protocol begins with Alice preparing a classicallycorrelated state of the following form:
(4.1) 
and their goal will be for her and Bob to share a state close to this one at the end of the protocol. Alice appends the registers to her share of the entanglement, so that the global state is
(4.2) 
The most general encoding that she can perform is a CPTP map , taking the registers to a register that can be transmitted through instances of the channel:
(4.3)  
(4.4)  
(4.5) 
In the above, we are exploiting the fact that a single CPTP map acting on the registers can be written as CPTP maps acting on the register (since is a classical register) [47]. Following [32], we define the average code density operator as follows:
(4.6) 
Alice then transmits the systems over uses of the noisy channel , with the overall state becoming
(4.7)  
(4.8) 
where . Bob performs a POVM on the registers in order to estimate the message sent by Alice. The overall state after this step is
(4.9) 
Thus, the average success probability for Bob detecting the message correctly is given by
(4.10)  
(4.11) 
For any protocol, the above success probability is bounded from below by .
At this point, we recall the “entanglementassisted metaconverse” [32, Propositions 20 and 21]:
Proposition 1 ([32, Propositions 20 and 21])
For any entanglementassisted code of the above form, with average code density operator , there exists a twooutcome POVM such that
(4.12)  
(4.13) 
where is a purification of the average code density operator and is any density operator.
This proposition allows us to relate the rate and success probability of an entanglementassisted code to any generalized divergence, extending the framework of [40, 44] to the entanglementassisted case. Let denote the generalized mutual information of a quantum channel , constructed from any generalized divergence according to the recipe in (2.4)(2.9). Let be equal to the generalized divergence evaluated for the commuting qubit states
(4.14)  
(4.15) 
(Note that monotonicity of the generalized divergence implies its unitary invariance, which in turn implies that it is independent of the basis when evaluated for classical, commuting states.)
Proposition 2
The following bound holds for any entanglementassisted code:
(4.16) 
Proof. Our starting point for a proof is to exploit the test from Proposition 1 and define the classical states and , which arise from applying the measurement to the following states:
(4.17)  
(4.18) 
respectively. Without loss of generality, we can assume that (otherwise, there would be no need to prove the strong converse since the error probability would obey the bound ). Then we have the following inequalities:
(4.19)  
(4.20) 
The first inequality follows from the monotonicity whenever [40] (recall that we have ). The second inequality follows from monotonicity of the generalized divergence under the test . Since the inequality holds for all states , we can find the tightest upper bound on for a code with average code density operator by taking a minimum
(4.21) 
Finally, we can remove the dependence of the upper bound on any particular code by maximizing over all code density operators :
(4.22) 
This is then equivalent to the inequality in the statement of the proposition.
For our purposes here, we can evaluate the bound from Proposition 2 by setting the divergence to be the sandwiched Rényi relative entropy (however, note that there is no need for the assumption when employing the sandwiched Rényi relative entropy). Following steps identical to those in [49, Section 6], we arrive at the following bound on the success probability of any entanglementassisted code:
(4.23) 
We stress that this bound holds for all and . In order to arrive at the strong converse, we should now prove that the sandwiched Rényi mutual information is additive as a function of quantum channels for .
5 Additivity of the sandwiched Rényi mutual information of a quantum channel
In this section, we show that the sandwiched Rényi mutual information is additive as a function of quantum channels for . Before doing so, we require a few supplementary lemmas.
Lemma 3
The following equality holds for
(5.1) 
Proof. This follows from
(5.2)  
(5.3)  
(5.4)  
(5.5)  
(5.6)  
(5.7) 
Lemma 4
The following function is concave in and convex in for :
(5.8) 
Proof. Convexity in follows immediately from operator convexity of for and convexity of the norm. The other statement follows in a few steps. We first reexpress the norm as the following optimization:
(5.9) 
Due to the operator being positive, it suffices to restrict the optimization to be over positive operators such that . However, this restriction is equivalent to
(5.10) 
Thus, with the substitution , we can rewrite the above as
(5.11) 
To prove concavity in , we require Lieb’s concavity theorem [30], a special case of which is the statement that the following function
(5.12) 
for and , is jointly concave in and . Indeed, for , consider any such that , Tr, density operators , and . We begin with
(5.13)  
(5.14)  
(5.15) 
Since the calculation is independent of which and we started with, concavity of (5.8) in follows.
Lemma 5
The following equality holds for
(5.16) 
Proof. Consider that
(5.17)  
(5.18)  
(5.19)  
(5.20)  
(5.21)  
(5.22) 
where we applied the Sion minimax theorem [45].
Lemma 6
The sandwiched Rényi mutual information is additive as a function of channels for , in the sense that
(5.23) 
Proof. The inequality below is straightforward
(5.24) 
following from [5, Theorem 11] and the fact that we can choose tensorproduct states as a special case of the optimization on the left hand side.
We now prove the other inequality:
(5.25) 
From the above lemmas, we can reexpress as
(5.26) 
Defining the CP map , we can write the above as
(5.27) 
The equality follows from [17, Theorem 10], in which these authors showed that the norm of a CP map is equal to
(5.28)  
(5.29) 
With this result in hand, defining
(5.30) 
we can now prove the other inequality:
(5.31)  
(5.32)  
(5.33)  
(5.34) 
Using [17, Theorem 11] (the main result there), we find that the above is equal to
(5.35)  
(5.36)  
(5.37)  
(5.38) 
6 Final steps for the strong converse
In this section, we outline the remaining steps to prove the strong converse theorem. Returning to (4.23), the additivity relation from Lemma 6 (along with an inductive argument) allows us to conclude the following upper bound on the success probability when using an entanglementassisted code to communicate over a quantum channel :
(6.1) 
The quantity is thus our bound on the strong converse exponent, which holds for all .
Recall the definition of the (traditional) quantum Rényi relative entropy for :
(6.2) 
whenever the support of is in the support of and it is equal to otherwise. We define the Rényi quantum mutual information of a bipartite state as follows:
(6.3) 
By applying the following LiebThirring trace inequality [31, 13], which holds for , any operator , and for :
(6.4) 
we find that the following inequality holds for [49]:
(6.5) 
This in turn implies the following upper bound on the success probability of any entanglementassisted code for all by combining (6.5) with (6.1):
(6.6) 
where we define according to the recipe in (2.4)(2.9) with the divergence set to (6.2).
We next prove the following “quantum Sibson identity,” which will be helpful in obtaining an explicit form for the Rényi quantum mutual information (see [44] for a variant which is relevant for Rényi coherent information):
Lemma 7 (Quantum Sibson identity)
The following quantum Sibson identity holds for
(6.7) 
where is defined as
(6.8) 
Proof. It is clear that is a positive operator because is positive, and the partial trace maintains positivity while being equal to Tr from cyclicity. The above relation then implies that
(6.9) 
We can then expand as follows:
(6.10)  
(6.11)  
(6.12)  
(6.13)  
(6.14) 
Now consider expanding :
(6.15)  
(6.16)  
(6.17)  
(6.18)  
(6.19) 
By exploiting Lemma 7, we obtain an explicit form for it:
Corollary 8
The Rényi quantum mutual information has an explicit form for given by
(6.20) 
Proof. From the identity in Lemma 7, we can conclude that
(6.21)  
(6.22)  
(6.23)  
(6.24) 
The following lemma will be helpful for us in relating Rényi quantum mutual information to the von Neumann quantum mutual information:
Lemma 9
The following identity holds for a bipartite state :
(6.25) 
Proof. A proof follows by exploiting some ideas from [14] and [39]. It suffices to show that
(6.26) 
(In this proof, we will take to denote the natural logarithm, but note that the result follows simply by replacing the natural logarithm in both definitions with the binary logarithm.)
Let us rewrite the expression inside the trace, using where , as
(6.27) 
Furthermore, we can introduce two parameters and , so that the above expression is a special case of
(6.28) 
We then have that
(6.29)  
(6.30) 
where the second equality follows in part because . Now consider the following Taylor expansions around :
(6.31)  
(6.32)  
(6.33) 
From these, we calculate as
(6.34)  
(6.35)  
(6.36) 
It then follows that
(6.37) 
We then calculate as
(6.38)  
(6.39)  
(6.40) 
It then follows that
(6.41) 
Putting these together, we find that
(6.42) 
Let denote the entanglementassisted capacity of a quantum channel , which [8] proved is a function of and constructed according to the recipe in (2.4)(2.9) with the generalized divergence taken as the quantum relative entropy .
Lemma 10
If then
(6.43) 
Proof. The argument here is very similar to the proof of [39, Lemma 3] and that of [44, Lemma 8]. We include it here for completeness. Let
(6.44) 
where . We can expand using Lemma 8 as
(6.45)  
(6.46) 
Suppose now that , as in the statement of the lemma. Then for we have that and by Lemma 9,
(6.47) 
Now, suppose for a contradiction that (6.43) does not hold, or equivalently, that
(6.48) 
Then there exists a real sequence and a sequence of states in such that
(6.49) 
Since is a compact space, there exists a subsequence of that converges to some state as . Relabeling the subsequence to be , without loss of generality we can assume that as . By the mean value theorem, we have that
(6.50) 
Since is a continuous function of , (6.50) yields
(6.51) 
which contradicts (6.47).
Theorem 11 (Strong converse for EA capacity)
For any sequence of entanglementassisted codes for a channel and with rate , the success probability decays exponentially to zero as .
7 Conclusion
This paper provides an alternate path for establishing a strong converse theorem for the entanglementassisted capacity of any quantum channel. The strong converse theorem, along with the coding theorem from [7, 8, 22], refines our understanding of the entanglementassisted capacity as a sharp dividing line between what rates of communication are possible or impossible. The approach taken here is to exploit the entanglementassisted “metaconverse” from [32], several properties of the sandwiched Rényi relative entropy (especially its relation to norms) [49, 36, 5, 18], and the main result from [17]. The appeal of the present paper is that it demonstrates the extent to which the powerful Arimoto approach [2, 40, 44] can be helpful in establishing strong converses, and furthermore, we provide an operational relevance for the main result in [17]. The present paper also adds to the existing body of evidence [49, 36, 35, 16] that the sandwiched Rényi relative entropy is the correct quantum generalization of the classical concept for all . Finally, some of the ideas in this work might be helpful in solving the open question from [33] (i.e., establishing a strong converse theorem for the quantum capacity of degradable quantum channels).
Acknowledgements—We are grateful to Naresh Sharma and Andreas Winter for insightful discussions and to Milán Mosonyi for some helpful comments on our paper. We also thank the Department of Physics and Astronomy and the Center for Computation and Technology at Louisiana State University for providing startup funds to support this research.
Footnotes
 Note that [17] defined the completely bounded norms in a very general way and proved that these norms reduce to the expression in (2.1) when and .
 The authors of [17] connected their main technical result to additivity of a quantity now known as reverse coherent information [19]. However, in spite of the statements made in [19], we are not convinced that the reverse coherent information possesses a compelling operational interpretation.
References
 Dorit Aharonov, Alexei Kitaev, and Noam Nisan. Quantum circuits with mixed states. In Proceedings of the 30th Annual ACM Symposium on Theory of Computing, pages 20–30, 1998. arXiv:quantph/9806029.
 Suguru Arimoto. On the converse to the coding theorem for discrete memoryless channels. IEEE Transactions on Information Theory, 19:357–359, May 1973.
 K. M. R. Audenaert, J. Calsamiglia, R. Muñoz Tapia, E. Bagan, Ll. Masanes, A. Acin, and F. Verstraete. Discriminating states: The quantum Chernoff bound. Physical Review Letters, 98:160501, April 2007. arXiv:quantph/0610027.
 K. M. R. Audenaert, Michael Nussbaum, A. Szkoła, and Frank Verstraete. Asymptotic error rates in quantum hypothesis testing. Communications in Mathematical Physics, 279(1):251–283, 2008. arXiv:0708.4282.
 Salman Beigi. Sandwiched Rényi divergence satisfies data processing inequality. Journal of Mathematical Physics, 54(12):122202, December 2013. arXiv:1306.5920.
 Charles H. Bennett, Igor Devetak, Aram W. Harrow, Peter W. Shor, and Andreas Winter. Quantum reverse Shannon theorem. IEEE Transactions on Information Theory, 60(5):2926–2959, May 2014. arXiv:0912.5537.
 Charles H. Bennett, Peter W. Shor, John A. Smolin, and Ashish V. Thapliyal. Entanglementassisted classical capacity of noisy quantum channels. Physical Review Letters, 83:3081–3084, October 1999. arXiv:quantph/9904023.
 Charles H. Bennett, Peter W. Shor, John A. Smolin, and Ashish V. Thapliyal. Entanglementassisted capacity of a quantum channel and the reverse Shannon theorem. IEEE Transactions on Information Theory, 48(10):2637–2655, 2002. arXiv:quantph/0106052.
 Mario Berta, Matthias Christandl, and Renato Renner. The quantum reverse Shannon theorem based on oneshot information theory. Communications in Mathematical Physics, 306(3):579–615, August 2011. arXiv:0912.3805.
 Garry Bowen. Quantum feedback channels. IEEE Transactions on Information Theory, 50:2429–2433, October 2004. arXiv:quantph/0209076.
 Todd A. Brun, Igor Devetak, and MinHsiu Hsieh. Correcting quantum errors with entanglement. Science, 314(5798):436–439, October 2006. arXiv:quantph/0610092.
 Todd A. Brun, Igor Devetak, and MinHsiu Hsieh. Catalytic quantum error correction. IEEE Transactions on Information Theory, 60(6):3073–3089, June 2014. arXiv:quantph/0608027.
 Eric A. Carlen. Trace inequalities and quantum entropy: An introductory course. Contemporary Mathematics, 529:73–140, 2010.
 Eric A. Carlen and Elliott H. Lieb. A Minkowski type trace inequality and strong subadditivity of the quantum entropy II. Letters in Mathematical Physics, 83(2):107–126, 2008. arXiv:0710.4167.
 Nilanjana Datta, MinHsiu Hsieh, and Mark M. Wilde. Quantum rate distortion, reverse Shannon theorems, and sourcechannel separation. IEEE Transactions on Information Theory, 59:615–630, January 2013. arXiv:1108.4940.
 Nilanjana Datta and Felix Leditzky. A limit of the quantum Rényi divergence. Journal of Physics A: Mathematical and Theoretical, 47(4):045304, January 2014. arXiv:1308.5961.
 Igor Devetak, Marius Junge, Christopher King, and Mary Beth Ruskai. Multiplicativity of completely bounded norms implies a new additivity result. Communications in Mathematical Physics, 266:37–63, August 2006. arXiv:quantph/0506196.
 Rupert L. Frank and Elliott H. Lieb. Monotonicity of a relative Rényi entropy. June 2013. arXiv:1306.5358.
 Raúl GarcíaPatrón, Stefano Pirandola, Seth Lloyd, and Jeffrey H. Shapiro. Reverse coherent information. Physical Review Letters, 102(21):210501, May 2009. arXiv:0808.0210.
 Alexei Gilchrist, Nathan K. Langford, and Michael A. Nielsen. Distance measures to compare real and ideal quantum processes. Physical Review A, 71:062310, June 2005. arXiv:quantph/0408063.
 Masahito Hayashi. Error exponent in asymmetric quantum hypothesis testing and its application to classicalquantum channel coding. Physical Review A, 76:062301, December 2007. arXiv:quantph/0611013.
 Alexander S. Holevo. On entanglement assisted classical capacity. Journal of Mathematical Physics, 43(9):4326–4333, 2002. arXiv:quantph/0106075.
 MinHsiu Hsieh, Todd A. Brun, and Igor Devetak. Entanglementassisted quantum quasicyclic lowdensity paritycheck codes. Physical Review A, 79(3):032340, March 2009. arXiv:0803.0100.
 MinHsiu Hsieh, WenTai Yen, and LiYi Hsu. High performance entanglementassisted quantum LDPC codes need little entanglement. IEEE Transactions on Information Theory, 57(3):1761–1769, March 2011. arXiv:0906.5532.
 Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, and John Watrous. QIP = PSPACE. Communications of the ACM, 53(12):102–109, December 2010. arXiv:0905.1300.
 Anna Jencova. A relation between completely bounded norms and conjugate channels. Communications in Mathematical Physics, 266(1):65–70, August 2006. arXiv:quantph/0601071.
 Alexei Kitaev. Quantum computations: algorithms and error correction. Russian Mathematical Surveys, 52(6):1191–1249, 1997.
 Robert Koenig and Stephanie Wehner. A strong converse for classical channel coding using entangled inputs. Physical Review Letters, 103:070504, August 2009. arXiv:0903.2838.
 Robert Koenig, Stephanie Wehner, and Jürg Wullschleger. Unconditional security from noisy quantum storage. IEEE Transactions on Information Theory, 58(3):1962–1984, March 2012. arXiv:0906.1030.
 Elliot H. Lieb. Convex trace functions and the WignerYanaseDyson conjecture. Advances in Mathematics, 11:267–288, December 1973.
 Elliott H. Lieb and Walter Thirring. Studies in mathematical physics, chapter Inequalities for the moments of the eigenvalues of the Schroedinger Hamiltonian and their relation to Sobolev inequalities, pages 269–297. Princeton University Press, Princeton, 1976.
 William Matthews and Stephanie Wehner. Finite blocklength converse bounds for quantum channels. October 2012. arXiv:1210.4722.
 Ciara Morgan and Andreas Winter. “Pretty strong” converse for the quantum capacity of degradable channels. IEEE Transactions on Information Theory, 60(1):317–333, January 2014. arXiv:1301.4927.
 Milán Mosonyi and Fumio Hiai. On the quantum Rényi relative entropies and related capacity formulas. IEEE Transactions on Information Theory, 57(4):2474–2487, April 2011. arXiv:0912.1286.
 Milán Mosonyi and Tomohiro Ogawa. Quantum hypothesis testing and the operational interpretation of the quantum Rényi relative entropies. September 2013. arXiv:1309.3228.
 Martin MüllerLennert, Frédéric Dupuis, Oleg Szehr, Serge Fehr, and Marco Tomamichel. On quantum Rényi entropies: A new generalization and some properties. Journal of Mathematical Physics, 54(12):122203, December 2013. arXiv:1306.3142.
 Hiroshi Nagaoka. The converse part of the theorem for quantum Hoeffding bound. November 2006. arXiv:quantph/0611289.
 Michael Nussbaum and Arleta Szkoła. The Chernoff lower bound for symmetric quantum hypothesis testing. The Annals of Statistics, 37(2):1040–1057, 2009. arXiv:quantph/0607216.
 Tomohiro Ogawa and Hiroshi Nagaoka. Strong converse to the quantum channel coding theorem. IEEE Transactions on Information Theory, 45(7):2486–2489, November 1999. arXiv:quantph/9808063.
 Yury Polyanskiy and Sergio Verdú. Arimoto channel coding converse and Rényi divergence. In Proceedings of the 48th Annual Allerton Conference on Communication, Control, and Computation, pages 1327–1333, September 2010.
 Bill Rosgen and John Watrous. On the hardness of distinguishing mixedstate quantum computations. Proceedings of the 20th IEEE Conference on Computational Complexity, pages 344–354, June 2005. arXiv:cs/0407056.
 Massimiliano F. Sacchi. Entanglement can enhance the distinguishability of entanglementbreaking channels. Physical Review A, 72:014305, July 2005. arXiv:quantph/0505174.
 Claude E. Shannon. A mathematical theory of communication. Bell System Technical Journal, 27:379–423, 1948.
 Naresh Sharma and Naqueeb Ahmad Warsi. On the strong converses for the quantum channel capacity theorems. June 2012. arXiv:1205.1712.
 Maurice Sion. On general minimax theorems. Pacific Journal of Mathematics, 8(1):171–176, 1958.
 John Watrous. Simpler semidefinite programs for completely bounded norms. Chicago Journal of Theoretical Computer Science, 2013(8):1–19, July 2013. arXiv:1207.5726.
 Mark M. Wilde. From Classical to Quantum Shannon Theory. June 2011. arXiv:1106.1445.
 Mark M. Wilde, MinHsiu Hsieh, and Zunaira Babar. Entanglementassisted quantum turbo codes. IEEE Transactions on Information Theory, 60(2):1203–1222, February 2013. arXiv:1010.1256v3.
 Mark M. Wilde, Andreas Winter, and Dong Yang. Strong converse for the classical capacity of entanglementbreaking and Hadamard channels via a sandwiched Rényi relative entropy. Communications in Mathematical Physics, 331(2):593–622, October 2014. arXiv:1306.1586.