Related papers: Yet Another Proof of the Joint Convexity of Relati…
This note provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative…
A simple, self-contained proof is presented for the concavity of the map (A,B) --> Tr(A^p K^* B^(1-p) K). The author makes no claim to originality; this note gives Lieb's original argument in its simplest, rather than its most general,…
A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz…
We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map…
We derive the monotonicity of the quantum relative entropy by an elementary operational argument based on Stein's lemma in quantum hypothesis testing. For the latter we present an elementary and short proof that requires the law of large…
We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.
The familiar second derivative test for convexity, combined with resolvent calculus, is shown to yield a useful tool for the study of convex matrix-valued functions. We demonstrate the applicability of this approach on a number of theorems…
Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…
This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps.…
We introduce the notion of reduced relative quantum entropy and prove that it is convex. This result is then used to give a simplified proof of a theorem of Lieb and Seiringer.
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…
Given a positive function $f$ on $(0,\infty)$ and a non-zero real parameter $\theta$, we consider a function $I_f^\theta(A,B,X)=Tr X^*(f(L_AR_B^{-1})R_B)^\theta(X)$ in three matrices $A,B>0$ and $X$. In the literature $\theta=\pm1$ has been…
Employing the notion of operator log-convexity, we study joint concavity$/$ convexity of multivariable operator functions: $(A,B)\mapsto F(A,B)=h\left[ \Phi(f(A))\ \sigma\ \Psi(g(B))\right]$, where $\Phi$ and $\Psi$ are positive linear maps…
Incremental information, as measured by the quantum entropy, is increasing when two ensembles are united. This result was proved by Lieb and Ruskai, and it is the foundation for the proof of strong subadditivity of quantum entropy. We…
The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[\rho]= - Tr (\rho \ln \rho) of a density matrix \rho_{123} on the product of three Hilbert spaces satisfies…
We study geometric properties of trace functionals that generalize those in [Zhang, Adv. Math. 365:107053 (2020)], arising from a novel family of conditional entropies with applications in quantum information. Building on new convexity…
In this paper we study the joint convexity/concavity of the trace functions \[ \Psi_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \] where $A$ and $B$ are positive definite matrices and $K$ is any…
Some of the important inequalities associated with quantum entropy are immediate algebraic consequences of the Hansen-Pedersen-Jensen inequality. A general argument is given using matrix perspectives of operator convex functions. A matrix…
We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…
Fundamental properties for the Tsallis relative entropy in both classical and quantum systems are studied. As one of our main results, we give the parametric extension of the trace inequality between the quantum relative entropy and the…