Related papers: Monotonicity for entrywise functions of matrices
We prove that the principal pivot transform (also known as the partial inverse, sweep operator, or exchange operator in various contexts) maps matrices with positive imaginary part to matrices with positive imaginary part. We show that the…
In the article, a notion "logarithmically absolutely monotonic function" is introduced, an inclusion that a logarithmically absolutely monotonic function is also absolutely monotonic is revealed, the logarithmically complete monotonicity…
A class of parametric functions formed by alternating compositions of multivariate polynomials and rectification style monomial maps is studied (the layer-wise exponents are treated as fixed hyperparameters and are not optimized). For this…
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…
Associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(T^*(f(x),f(y)))$ where $T^*:[0,1]^2\rightarrow[0,1]$ is an associative function with neutral element in $[0,1]$, $f: [0,1]\rightarrow [0,1]$ is…
The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that Rockafellar's constraint qualification holds. In this paper, we prove the maximal…
We show that many important convex matrix functions can be represented as the partial infimal projection of the generalized matrix fractional (GMF) and a relatively simple convex function. This representation provides conditions under which…
In this paper, we investigate the monotonicity of the functions $t \mapsto \frac{\sum_{k=0}^\infty a_k w_k(t)}{\sum_{k=0}^\infty b_k w_k(t)}$ and $x \mapsto \frac{\int_\alpha^\beta f(t) w(t,x) \textrm{d} t}{\int_\alpha^\beta g(t) w(t,x)…
In this article we investigate the property of complete monotonicity within a special family $\mathcal{F}_s$ of functions in $s$ variables involving logarithms. The main result of this work provides a linear isomorphism between…
If $\sigma$ is a symmetric mean and $f$ is an operator monotone function on $[0, \infty)$, then $$f(2(A^{-1}+B^{-1})^{-1})\le f(A\sigma B)\le f((A+B)/2).$$ Conversely, Ando and Hiai showed that if $f$ is a function that satisfies either one…
We study the problem of invariance of indices of thematic factorizations. Such factorizations were introduced in [PY1] for studying superoptimal approximation by bounded analytic matrix functions. As shown in [PY1], the indices may depend…
We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…
A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…
Entrywise functions preserving Loewner positivity have been studied by many authors, most notably Schoenberg and Rudin. Following their work, it is known that functions preserving positivity when applied entrywise to positive semidefinite…
We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of…
The paper deals with particular classes of $q\times q$ matrix-valued functions which are holomorphic in $\mathbb{C}\setminus[\alpha,+\infty)$, where $\alpha$ is an arbitrary real number. These classes are generalizations of classes of…
We derive monotone properties of positive harmonic functions on three dimensional manifolds with nonnegative scalar curvature, with an asymptotically flat end. Rigidity characterization of spatial Schwarzschild manifolds with two ends is…
New perspectives, proofs, and some extensions of known results are presented concerning the behavior of the Fitzpatrick function of a monotone type operator in the general context of a locally convex space.
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…
In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…