English
Related papers

Related papers: Extensions of Lieb's concavity theorem

200 papers

The main result (roughly) is that if (H_i) converges weakly to H and if also f(H_i) converges weakly to f(H), for a single strictly convex continuous function f, then (H_i) must converge strongly to H. One application is that if f(pr(H)) =…

Functional Analysis · Mathematics 2017-06-09 Lawrence G. Brown

The motivation behind this paper is threefold. Firstly, to study, characterize and realize operator concavity along with its applications to operator monotonicity of free functions on operator domains that are not assumed to be matrix…

Functional Analysis · Mathematics 2020-09-29 Miklós Pálfia

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…

Functional Analysis · Mathematics 2023-01-31 Haonan Zhang

For a pair $(A,B)$ of not necessarily bounded and not necessarily commuting self-adjoint operators and for a function $f$ on the Euclidean space ${\Bbb R}^2$ that belongs to the inhomogeneous Besov class $B_{\infty,1}^1({\Bbb R}^2)$, we…

Functional Analysis · Mathematics 2022-07-08 Aleksei Aleksandrov , Vladimir Peller

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…

Operator Algebras · Mathematics 2008-02-25 Eric A. Carlen , Elliott H. Lieb

Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In…

Operator Algebras · Mathematics 2017-06-27 J. E. Pascoe

Let $A$ be a positive definite operator on a Hilbert space $H$, and $|||.|||$ be a unitarily invariant norm on $B(H)$. We show that if $f$ is an operator monotone function on $(0,\infty)$ and $n\in \mathbb{N}$, then $|||D^n…

Functional Analysis · Mathematics 2021-05-13 Amir Ghasem Ghazanfari

Let $f$ be a function on ${\Bbb R}^2$ in the inhomogeneous Besov space $B_{\infty,1}^1({\Bbb R}^2)$. For a pair $(A,B)$ of not necessarily bounded and not necessarily commuting self-adjoint operators, we define the function $f(A,B)$ of $A$…

Functional Analysis · Mathematics 2021-09-07 Aleksei Aleksandrov , Vladimir Peller

It is known that a real function $f$ is convex if and only if the set $$\mathrm{E}(f)=\{(x,y)\in\mathbb{R}\times\mathbb{R};\ f(x)\leq y\},$$ the epigraph of $f$ is a convex set in $\mathbb{R}^2$. We state an extension of this result for…

Functional Analysis · Mathematics 2015-12-18 Mohsen Kian

A function $f:[a,b] \rightarrow \mathbb{R}$ is called $(p,a,b)$-convex if $f$ is $p$ times continuously differentiable, $f^{(p)}$ is convex and increasing, and $f^{(k)}(a)=0$ for all $k=1,\ldots,p$ where $f^{(j)}$ is the $j$th derivative of…

Classical Analysis and ODEs · Mathematics 2021-03-02 Bar Light

The BMV conjecture states that for $n\times n$ Hermitian matrices $A$ and $B$ the function $f_{A,B}(t)=trace{\, } e^{tA+B}$ is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is…

Classical Analysis and ODEs · Mathematics 2016-06-23 Victor Katsnelson

In this paper, we shall consider the notion of bicomplex inner product and define bicomplex Hilbert space. We shall define $L^{2}[a,b]$ where the functions take bicomplex values. We shall prove the Theorem for a bounded self adjoint…

Functional Analysis · Mathematics 2024-02-27 Akshay Sakharam Rane

The purpose of this survey article is a comprehensive study of operator Lipschitz functions. A continuous function $f$ on the real line ${\Bbb R}$ is called operator Lipschitz if $\|f(A)-f(B)\|\le{\rm const}\|A-B\|$ for arbitrary…

Functional Analysis · Mathematics 2016-12-21 Aleksei Aleksandrov , Vladimir Peller

The notion of B-convexity for operator spaces, which a priori depends on a set of parameters indexed by $\Sigma$, is defined. Some of the classical characterizations of this geometric notion for Banach spaces are studied in this new…

Operator Algebras · Mathematics 2007-05-23 Javier Parcet

We discuss the classes $\fC$, $\fM$, and $\fS$ of analytic functions that can be realized as the Liv\v{s}ic characteristic functions of a symmetric densely defined operator $\dot A$ with deficiency indices $(1,1)$, the Weyl-Titchmarsh…

Spectral Theory · Mathematics 2013-11-01 K. A. Makarov , E. Tsekanovskii

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…

Functional Analysis · Mathematics 2013-03-12 Fumio Hiai

In general, it is a non trivial task to determine the adjoint $S^*$ of an unbounded operator $S$ acting between two Hilbert spaces. We provide necessary and sufficient conditions for a given operator $T$ to be identical with $S^*$. In our…

Functional Analysis · Mathematics 2017-11-23 Zoltán Sebestyén , Zsigmond Tarcsay

In this article, we first study, in the framework of operator theory, Pusz and Woronowicz's functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,\infty)^2$.…

Functional Analysis · Mathematics 2021-05-21 Fumio Hiai , Yoshimichi Ueda , Shuhei Wada

We introduce the notion of Krein-operator convexity in the setting of Krein spaces. We present an indefinite version of the Jensen operator inequality on Krein spaces by showing that if $(\mathscr{H},J)$ is a Krein space, $\mathcal{U}$ is…

Functional Analysis · Mathematics 2014-11-04 M. S. Moslehian , M. Dehghani

The purpose of this survey is a comprehensive study of operator Lip\-schitz functions. A continuous function $f$ on the real line ${\Bbb R}$ os called operator Lipschitz if $\|f(A)-f(B)\|\le\operatorname{const}\|A-B\|$ for arbitrary…

Functional Analysis · Mathematics 2016-11-08 Alexei Aleksandrov , Vladimir Peller