Related papers: Strongly subadditive functions

An ultrametric preserving function $f$ is said to be strongly ultrametric preserving if ultrametrics $d$ and $f \circ d$ define the same topology on $X$ for each ultrametric space $(X,d)$. The set of all strongly ultrametric preserving…

We obtain new bounds for short sums of isotypic trace functions associated to some sheaf modulo prime $p$ of bounded conductor, twisted by the Mobius function and also by the generalised divisor function. These trace functions include…

In this note we study the problem of evaluating the trace of $f(T)-f(R)$, where $T$ and $R$ are contractions on Hilbert space with trace class difference, i.e., $T-R\in\boldsymbol{S}_1$ and $f$ is a function analytic in the unit disk ${\Bbb…

If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable functions, then the Pr\'ekopa-Leindler inequality asserts that the integral of the Asplund sum (provided that it is measurable) is greater or equal than the…

Metric-preserving functions (here, metric aggregation functions) offer a natural method for constructing metrics on Cartesian products of metric spaces or for aggregating multiple metrics defined on a common set. Strongly metric-preserving…

In this paper, we introduce the concept of operator geometrically convex functions for positive linear operators and prove some Hermite-Hadamard type inequalities for these functions. As applications, we obtain trace inequalities for…

We find necessary and sufficient conditions on weights $u_1, u_2, v_1, v_2$, i.e. measurable, positive, and finite, a.e. on $(a,b)$, for which there exists a positive constant $C$ such that for given $0 < p_1,q_1,p_2,q_2 <\infty$ the…

We prove a sharp integral inequality valid for non-negative functions defined on $[0,1]$, with given $L^1$ norm. This is in fact a generalization of the well known integral Hardy inequality. We prove it as a consequence of the respective…

In this paper, new upper and lower bounds for the Trapezoid inequality of absolutely continuous functions are obtained. Applications to some special means are provided as well.

We discuss the following question: For a function f of two or more variables which is convex in the directions of coordinate axes, how can its trace g(x) = f(x, x, ..., x) look like? In the two-dimensional case, we provide some necessary…

We provide a list of equivalent conditions under which an additive operator acting on a space of smooth functions on a compact real interval is a multiple of the derivation.

Let $f:{\mathbb R}_+\mapsto {\mathbb R}$ be a smooth function with $f(0)=0.$ A problem of estimation of a functional $\tau_f(\Sigma):= {\rm tr}(f(\Sigma))$ of unknown covariance operator $\Sigma$ in a separable Hilbert space ${\mathbb H}$…

In this paper, we study the relations between trace inequalities(Sobolev and Moser-Trudinger type), isocapacitary inequalities and the regularity of the complex Hessian and Monge-Amp\`ere equations with respect to a general positive Borel…

We study the behaviour of functions of self-adjoint operators under relatively bounded and relatively trace class perturbation We introduce and study the class of relatively operator Lipschitz functions. An essential role is played by…

We prove a contractive Hardy-Littlewood type inequality for functions from $H^p(\mathbb{T})$, $0 < p \le 2$ which is sharp in the first two Taylor coefficients and asymptotically at infinity.

We aim to contribute to the folklore of function spaces on Lipschitz domains. We prove the boundedness of the trace operator for homogeneous Sobolev and Besov spaces on a special Lipschitz domain with sharp regularity. To achieve this, we…

We prove a logarithmic Sobolev trace inequality in a gaussian space and we study the trace operator in the weighted Sobolev space W^{1,p}(\Omega,\gamma) for sufficiently regular domain. We exhibit examples to show the sharpness of the…

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

In this article the operator trace function $ \Lambda_{r,s}(A)[K, M] := {\operatorname{tr}}(K^*A^r M A^r K)^s$ is introduced and its convexity and concavity properties are investigated. This function has a direct connection to several…

A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses…