Related papers: A generalized Lieb's theorem and its applications …

We introduce the notion of $k$-trace and use interpolation of operators to prove the joint concavity of the function $(A,B)\mapsto\text{Tr}_k\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big]^\frac{1}{k}$, which generalizes…

We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function $\phi:\mathbf{H}^n_+\rightarrow \mathbb{R}$ that is monotone and concave. Concretely, we prove the joint concavity of the function $(A,B)…

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of Lieb type $\mathrm{Tr}\,f(\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2})$ and symmetric (anti-) norm functions of the form…

It is well known that the sum of negative (positive) eigenvalues of some finite Hermitian matrix $V$ is concave (convex) with respect to $V$. Using the theory of the spectral shift function we generalize this property to self-adjoint…

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2}}^s$, where $\Phi$ and $\Psi$ are positive linear maps. By the same method combined…

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,…

We show that Lieb's concavity theorem holds more generally for any unitary invariant matrix function $\phi:\mathbf{H}_+^n\rightarrow \mathbb{R}_+^n$ that is concave and satisfies H\"older's inequality. Concretely, we prove the joint…

A famous result of Lieb establishes that the map $(A,B) \mapsto \text{tr}\left[K^* A^{1-t} K B^t\right]$ is jointly concave in the pair $(A,B)$ of positive definite matrices, where $K$ is a fixed matrix and $t \in [0,1]$. In this paper we…

The operator function (A,B)\to\tr f(A,B)(K^*)K, defined on pairs of bounded self-adjoint operators in the domain of a function f of two real variables, is convex for every Hilbert Schmidt operator K, if and only if f is operator convex. As…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

Let $G$ be a simple graph with the Laplacian matrix $L(G)$ and let $e(G)$ be the number of edges of $G$. A conjecture by Brouwer and a conjecture by Grone and Merris state that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at…

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…

We prove Lieb type convexity and concavity results for trace functionals associated with positive operator monotone (decreasing) functions and certain monotone concave functions. This gives a partial generalization of Hiai's recent work on…

In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad…

This work introduces the minimax Laplace transform method, a modification of the cumulant-based matrix Laplace transform method developed in "User-friendly tail bounds for sums of random matrices" (arXiv:1004.4389v6) that yields both upper…

We establish new tail estimates for order statistics and for the Euclidean norms of projections of an isotropic log-concave random vector. More generally, we prove tail estimates for the norms of projections of sums of independent…

Certain trace inequalities related to matrix logarithm are shown. These results enable us to give a partial answer of the open problem conjectured by A.S.Holevo. That is, concavity of the auxiliary function which appears in the random…

We prove a unified trace-average formula for the $k$-th higher trace $\lambda_k(A)=\operatorname{tr}(\Lambda^k A)$ of a linear operator $A$ on a finite-dimensional normed space. The formula averages the matrix coefficient…

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…

We use a relative trace formula on GL(2) to compute a sum of twisted modular L-functions anywhere in the critical strip, weighted by a Fourier coefficient and a Hecke eigenvalue. When the weight k or level N is sufficiently large, the sum…