Related papers: Strongly subadditive functions

Let $J$ denote the interval either $(0,1]$ or $ [1, \infty)$. A positive function $f$ on $J$ with $f(1) =1$ is reffered to as a Weierstrass function if it fulfils the double inequality for $x,y \in J$: $$f(x) + f(y) -1 \leq f(xy) \leq…

For a real-valued non-negative and log-concave function we introduce a notion of difference function; the difference function represents a functional analog on the difference body of a convex body. We prove a sharp inequality which bounds…

This paper formulates Young-type inequalities for singular values (or $s$-numbers) and traces in the context of von Neumann algebras. In particular, it shown that if $\t(\cdot)$ is a faithful semifinite normal trace on a semifinite von…

In this short note, we give a simple derivation of the strong subadditivity inequalities: S(13) + S(23) \ge S(1) + S(2) and S(12) + S(23) \ge S(2) + S(123). The simplicity is due to the way we represent the quantum systems. We make a few…

Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1}…

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…

In this note we prove that Tr (MN+ PQ)>= 0 when the following two conditions are met: (i) the matrices M, N, P, Q are structured as follows: M = A -B, N = inv(B)-inv(A), P = C-D, Q =inv (B+D)-inv(A+C), where inv(X) denotes the inverse…

Some subadditivity results involving symmetric (unitarily invariant) norms are obtained. For instance, if $g(t)=\sum_{k=0}^m a_kt^k$ is a polynomial of degree $m$ with non-negative coefficients, then, for all positive operators $A,\,B$ and…

Matrix inequalities that extend certain scalar ones have been at the center of numerous researchers' attention. In this article, we explore the celebrated subadditive inequality for matrices via concave functions and present a reversed…

This note discovers not only an affine non-sharp-Poisson trace inequality but also its sharp-non-Poisson version for a Sobolev function with the fractional antiderivative.

Under a certain condition, we find the explicit formulas for the trace functions of certain intertwining operators among gl(n)-modules, introduced by Etingof in connection with the solutions of the Calogero-Sutherland model. If n=2, the…

In this note we generalize the trace inequality derived by [1] to the case where the number of terms of the sum (denoted by K) is arbitrary.

This paper concerns three classes of real-valued functions on intervals, operator monotone functions, operator convex functions, and strongly operator convex functions. Strongly operator convex functions were previously treated in [3] and…

In this note we prove a trace theorem in fractional spaces with variable exponents. To be more precise, we show that if $p\colon\overline{\Omega}\times \overline{\Omega}\to (1,\infty)$ and $q:\partial \Omega \rightarrow (1,\infty)$ are…

Given $d_1,\ldots,d_k$ in the field $F$, there is a weighted trace function $F^k\rightarrow F$ given by $tr(x_1,\ldots,x_k)=\sum d_ix_i$. We prove that $F^k$ satisfies trace identities of the forms $\alpha(d_1,\ldots,d_k) x^N=$ a linear…

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

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…

We prove a matrix trace inequality for completely monotone functions and for Bernstein functions. As special cases we obtain non-trivial trace inequalities for the power function x->x^q, which for certain values of q complement McCarthy's…

A weak and a strong concept of plurifinely plurisubharmonic and plurifinely holomorphic functions are introduced. Strong will imply weak. The weak concept is studied further. A function f is weakly plurifinely plurisubharmonic if and only…

Let $A,B\in \mathbb{B}(\mathscr{H})$ be such that $0<b_{1}I \leq A \leq a_{1}I$ and $0<b_{2}I \leq B \leq a_{2}I$ for some scalars $0<b_{i}< a_{i},\;\; i=1,2$ and $\Phi:\mathbb{B}(\mathscr{H})\rightarrow\mathbb{B}(\mathscr{K})$ be a…