Quantum information theory has generated several interesting conjectures involving products of completely positive maps on matrix algebras, also known as quantum channels. In particular it is conjectured that the output state with maximal p-norm from a product channel is always a product state. It is shown here that the Lieb-Thirring inequality can be used to prove this conjecture for one special case, namely when one of the components of the product channel is of the type known as a diagonal channel, which acts on a state by taking the Hadamard product with a positive matrix.
Multiplicativity of certain maximal p -> q norms of a tensor product of linear maps on matrix algebras is proved in situations in which the condition of complete positivity (CP) is either augmented by, or replaced by, the requirement that the entries of a matrix representative of the map are non-negative (EP). In particular, for integer t, multiplicativity holds for the maximal 2 -> 2t norm of a product of two maps, whenever one of the pair is EP; for the maximal 1 -> t norm for pairs of CP maps when one of them is also EP; and for the maximal 1 -> 2t norm for the product of an EP and a 2-positive map. Similar results are shown in the infinite-dimensional setting of convolution operators on L^2(R), with the pointwise positivity of an integral kernel replacing entrywise positivity of a matrix. These results apply in particular to Gaussian bosonic channels.
This paper mainly focuses on the class of
2×2 block PPT matrices. The relationship between PPT matrices and the norm inequalities is further explored. Some properties of a non-PPT matrix in terms of its eigenvalues are investigated. Moreover, a number of useful sufficient conditions for a matrix to be PPT are provided.
We define 2-indexed
(q,p)-Schatten quasi-norms for any
q,p>0 on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that
∣q1−p1∣≤1. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the
q→p completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for
q≥p>0, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for
α≥21 or the Sandwiched Rényi Umlaut information for
α<1. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-
α-entropy for
α≥21 extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-
α entropy for
α≥21.