Mathematics – Operator Algebras
Scientific paper
2007-10-23
Lett. Math. Phys., Vol. 83, No. 2, pp. 107-126 (2008)
Mathematics
Operator Algebras
Proof of a conjecture in math/0701352. Revised version replaces earlier draft. 18 pages, latex
Scientific paper
10.1007/s11005-008-0223-1
We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite operators A_j. In part I we only considered the case q=1 and proved the concavity of \Phi_{p,1} for 0 < p \leq 1 and the convexity for p=2. We conjectured the convexity of \Phi_{p,1} for 1< p < 2. Here we not only settle the unresolved case of joint convexity for 1 \leq p \leq 2, we are also able to include the parameter q\geq 1 and still retain the convexity. Among other things this leads to a definition of an L^q(L^p) norm for operators when 1 \leq p \leq 2 and a Minkowski inequality for operators on a tensor product of three Hilbert spaces -- which leads to another proof of strong subadditivity of entropy. We also prove convexity/concavity properties of some other, related functionals.
Carlen Eric A.
Lieb Elliott H.
No associations
LandOfFree
A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-455639