Related papers: Lieb's concavity theorem, matrix geometric means, …
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 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…
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…
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…
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,…
In this paper we prove the concavity of the $k$-trace functions, $A\mapsto (\text{Tr}_k[\exp(H+\ln A)])^{1/k}$, on the convex cone of all positive definite matrices. $\text{Tr}_k[A]$ denotes the $k_{\mathrm{th}}$ elementary symmetric…
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…
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…
The matrix logarithm, when applied to Hermitian positive definite matrices, is concave with respect to the positive semidefinite order. This operator concavity property leads to numerous concavity and convexity results for other matrix…
We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic…
We prove that for any two centrally-symmetric convex shapes $K,L \subset \mathbb{R}^2$, the function $t \mapsto |e^t K \cap L|$ is log-concave. This extends a result of Cordero-Erausquin, Fradelizi and Maurey in the two dimensional case.…
Lazarev and Lieb showed that finitely many integrable functions from the unit interval to $\mathbb{C}$ can be simultaneously annihilated in the $L^2$ inner product by a smooth function to the unit circle. Here we answer a question of…
We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…
Consider the matrix power function X^p defined over the cone of positive definite matrices S^{n}_{++}. It is known that X^p is convex over S^{n}_{++} if p is in [-1,0] or [1,2] and X^p is concave over S^{n}_{++} if p is in [0,1]. We show…
In a previous paper [M.~Hanada, H.~Kawai and Y.~Kimura, Prog. Theor. Phys. 114 (2005), 1295] it is shown that a covariant derivative on any n-dimensional Riemannian manifold can be expressed in terms of a set of n matrices, and a new…
Probability maps are additive and normalised maps taking values in the unit interval of a lattice ordered Abelian group. They appear in theory of affine representations and they are also a semantic counterpart of Hajek's probability logic.…
Consider a convex set S defined by a matrix inequality of polynomials or rational functions over a domain. The set S is called semidefinite programming (SDP) representable or just semidefinite representable if it equals the projection of a…
We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of…
We use the theory of quantization to introduce non-commutative versions of metric on state space and Lipschitz seminorm. We show that a lower semicontinuous matrix Lipschitz seminorm is determined by their matrix metrics on the matrix state…