Related papers: Improvement on a Generalized Lieb's Concavity Theo…

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

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

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…

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…

Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions,…

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…

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

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

Let H be a Hilbert $C^*$-module over a matrix algebra A. It is proved that any function $T:H\to H$ which preserves the absolute value of the (generalized) inner product is of the form $Tf=\phi(f)Uf$ $(f\in H)$, where $\phi$ is a…

We establish conditions for the discrete versions of logarithmic concavity and convexity of the higher order regularized basic hypergeometric function with respect simultaneous shift of all its parameters. For a particular case of Heine's…

The purpose of this paper is to present some general inequalities for operator concave functions which include some known inequalities as a particular case. Among other things, we prove that if $A\in \mathcal{B}\left( \mathcal{H} \right)$…

Let $\mathbb{H}$ be a Hilbert space, $E \subset \mathbb{H}$ be an arbitrary subset and $f: E \rightarrow \mathbb{R}, \: G: E \rightarrow \mathbb{H}$ be two functions. We give a necessary and sufficient condition on the pair $(f,G)$ for the…

We prove a Liv\v{s}ic-type theorem for H\"older continuous and matrix-valued cocycles over non-uniformly hyperbolic systems. More precisely, we prove that whenever $(f,\mu)$ is a non-uniformly hyperbolic system and $A:M \to GL(d,\mathbb{R})…

This paper investigates the generalized convexity properties of the Lambert $W$ function, defined as the solution to $W(z)e^{W(z)}=z$. Focusing on $H_{p,q}$-convexity and concavity with respect to H\"older means, we derive necessary and…

L. Capogna and M. Cowling showed that if $\phi$ is 1-quasiconformal on an open subset of a Carnot group G, then composition with $\phi$ preserves Q-harmonic functions, where Q denotes the homogeneous dimension of G. Then they combine this…

Generalization of Lyapunov convexity theorem is proved for vector measure with values in Banach spaces with unconditional bases, which are q-concave for some $q<\infty.$