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

In a recent work, Klartag gave an improved version of Lichnerowicz' spectral gap bound for uniformly log-concave measures, which improves on the classical estimate by taking into account the covariance matrix. We analyze the equality cases…

Given a continuous function $\phi$ defined on a domain $\Omega\subset\mathbb{R}^m\times\mathbb{R}^n$, we show that if a Pr\'ekopa-type result holds for $\phi+\psi$ for any non-negative convex function $\psi$ on $\Omega$, then $\phi$ must be…

In this article, we present a new subadditivity behavior of convex and concave functions, when applied to Hilbert space operators. For example, under suitable assumptions on the spectrum of the positive operators $A$ and $B$, we prove that…

We establish some operator versions of Bellman's inequality. In particular, we prove that if $\Phi: \mathbb{B}(\mathscr{H}) \to \mathbb{B}(\mathscr{K})$ is a unital positive linear map, $A,B \in \mathbb{B}(\mathscr{H})$ are contractions,…

In this paper, first we give a new generalization of the Bohr's inequality for the class of bounded analytic functions $\mathcal{B'}$ and for the class of sense-preserving $K$-quasiconformal harmonic mappings of the form $f=h+\overline{g},$…

Let $\phi$ be analytic and univalent ({\it i.e.,} one-to-one) in $\mathbb{D}:=\{z\in\mathbb{C}: |z|<1\}$ such that $\phi(\mathbb{D})$ has positive real part, is symmetric with respect to the real axis, starlike with respect to $\phi(0)=1,$…

A conjecture posed by S. Hayajneh and F. Kittaneh claims that given $A,B$ positive matrices, $0\le t\le 1$, and any unitarily invariant norm it holds $|||A^tB^{1-t}+B^tA^{1-t}|||\le|||A^tB^{1-t}+A^{1-t}B^t|||$. Recently, R. Bhatia proved…

In this article, we prove several multi-term refinements of Young type inequalities for both real numbers and operators improving several known results. Among other results, we prove \begin{eqnarray*}…

The classical Minkowski problem in Minkowski space asks, for a positive function $\phi$ on $\mathbb{H}^d$, for a convex set $K$ in Minkowski space with $C^2$ space-like boundary $S$, such that $\phi(\eta)^{-1}$ is the Gauss--Kronecker…

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…

If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…

Let $Q$ be a Lipschitz domain in $\mathbb{R}^n$ and let $f \in L^{\infty}(Q)$. We investigate conditions under which the functional $$I_n(\varphi)=\int_Q |\nabla \varphi|^n+ f(x)\,\mathrm{det} \nabla \varphi\, \mathrm{d}x $$ obeys $I_n \geq…

In 2016 and 2017, Haihui Fan, Don Hadwin and Wenjing Liu proved a commutative and noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $\alpha $ on $L^{\infty}(\mathbb{T},\mu)$ and tracial finite von…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We prove Rellich-Kondrachov type theorems on the half-space $\mathbb{H}^{N+1}=\{(y, x) \in \left.\mathbb{R} \times \mathbb{R}^N: y>0\right\}$ endowed with the general weighted measure $\mu_w:=y^c \phi(|z|) d z$, where $c \in \mathbb{R}$ and…

In this paper we investigate continuity properties of functions $f:\mathbb{R}_+\to\mathbb{R}_+$ that satisfy the $(p,q)$-Jensen convexity inequality $$ f\big(H_p(x,y)\big)\leq H_q(f(x),f(y)) \qquad(x,y>0), $$ where $H_p$ stands for the…

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following:…

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.

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

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