Related papers: Monotonicity for entrywise functions of matrices
We show that the symmetrized product $AB+BA$ of two positive operators $A$ and $B$ is positive if and only if $f(A+B)\leq f(A)+f(B)$ for all non-negative operator monotone functions $f$ on $[0,\infty)$ and deduce an operator inequality. We…
A real valued function $f$ defined on a real open interval $I$ is called $\Phi$-convex if, for all $x,y\in I$, $t\in[0,1]$ it satisfies $$ f(tx+(1-t)y)\leq tf(x)+(1-t)f(y)+t\Phi\big((1-t)|x-y|\big)+(1-t)\Phi\big(t|x-y|\big), $$ where…
Using the properties of geometric mean, we shall show for any $0\le \alpha ,\beta \le 1$, \[f\left( A{{\nabla }_{\alpha }}B \right)\le f\left( \left( A{{\nabla }_{\alpha }}B \right){{\nabla }_{\beta }}A \right){{\sharp}_{\alpha }}f\left(…
The comonotonic maxitivity property of functionals frequently appears in the characterization of fuzzy integrals based on the maximum operation. In some special cases, comonotonic maxitivity implies monotonicity of functionals. The question…
Given $\alpha_1,...,\alpha_m \in (0,1)$, we characterize all integrable functions $f:[0,1]^m \to \mathbb{C}$ satisfying $\int_{A_1 \times ...\times A_m} f =0$ for any collection of disjoint sets $A_1,...,A_m \subseteq [0,1]$ of respective…
We prove a strengthened form of convexity for operator monotone decreasing positive functions defined on the positive real numbers. This extends Ando and Hiai's work to allow arbitrary positive maps instead of states (or the identity map),…
This article introduces a weak pseudo-inverse of a monotone function, which is applied to characterize the associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=t^{[-1]}(F(t(x),t(y)))$ where…
A cornerstone in convex analysis is the crucial relationship between functions and their convex conjugate via the Fenchel-Young inequality. In this dual variable setting, the maximal monotonicity of the contact set $ \big\{(x,y) \ \big| \…
We derive new characterisations of the matrix $\mathrm{\Phi}$-entropy functionals introduced in [Electron.~J.~Probab., 19(20): 1--30, 2014]. Notably, all known equivalent characterisations of the classical $\Phi$-entropies have their matrix…
This short but self-contained survey presents a number of elegant matrix/operator inequalities for general convex or concave functions, obtained with a unitary orbit technique. Jensen, sub or super-additivity type inequalities are…
The characteristic functions of multivariate Feller processes with generator of affine type, and with smooth symbol functions have an explicit representation in terms of power series with rational number coefficients and with monmoms…
A function $\mathfrak{F}$ with simple and nice algebraic properties is defined on a subset of the space of complex sequences. Some special functions are expressible in terms of $\mathfrak{F}$, first of all the Bessel functions of first…
We study monotonicity and convexity properties of functions arising in the theory of elliptic integrals, and in particular in the case of a Schwarz-Christoffel conformal mapping from a half-plane to a trapezoid. We obtain sharp monotonicity…
We study the functions that count matrices of given rank over a finite field with specified positions equal to zero. We show that these matrices are $q$-analogues of permutations with certain restricted values. We obtain a simple closed…
We consider the following question: if a function of the form $\int_0^{\infty}\varphi(t)\, e^{-xt}dt$ is completely monotonic, is it then $\varphi\ge0$? It turns out that the question is related to a moment problem. In the end we apply…
The covariance matrix is well-known for its following properties: affine equivariance, additivity, independence property and full affine equivariance. Generalizing the first one leads into the study of scatter functionals, commonly used as…
We characterize a holomorphic positive definite function $f$ defined on a horizontal strip of the complex plane as the Fourier-Laplace transform of a unique exponentially finite measure on $\mathbb{R}$. The classical theorems of Bochner on…
Let $n$ and $k$ be nonnegative integers such that $1\le k\le n+1$. The convex cone $\mathcal{F}_+^{k:n}$ of all functions $f$ on an arbitrary interval $I\subseteq\mathbb{R}$ whose derivatives $f^{(j)}$ of orders $j=k-1,\dots,n$ are…
In this article, we prove that convex functions and log-convex functions obey certain general refinements that lead to several refinements and reverses of well known inequalities for matrices, including Young's inequality, Heinz inequality,…
We propose a necessary and sufficient condition for a real-valued function on the real line to be a characteristic function of a probability measures. The statement is given in terms of harmonic functions and completely monotonic functions.