For positive semidefinite matrices $A$ and $B$, Ando and Zhan proved the inequalities $||| f(A)+f(B) ||| ge ||| f(A+B) |||$ and $||| g(A)+g(B) ||| le ||| g(A+B) |||$, for any unitarily invariant norm, and for any non-negative operator monotone $f$ on
$[0,infty)$ with inverse function $g$. These inequalities have very recently been generalised to non-negative concave functions $f$ and non-negative convex functions $g$, by Bourin and Uchiyama, and Kosem, respectively. In this paper we consider the related question whether the inequalities $||| f(A)-f(B) ||| le ||| f(|A-B|) |||$, and $||| g(A)-g(B) ||| ge ||| g(|A-B|) |||$, obtained by Ando, for operator monotone $f$ with inverse $g$, also have a similar generalisation to non-negative concave $f$ and convex $g$. We answer exactly this question, in the negative for general matrices, and affirmatively in the special case when $Age ||B||$. In the course of this work, we introduce the novel notion of $Y$-dominated majorisation between the spectra of two Hermitian matrices, where $Y$ is itself a Hermitian matrix, and prove a certain property of this relation that allows to strengthen the results of Bourin-Uchiyama and Kosem, mentioned above.
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 operators which give some refinements of previous results.
In this paper, we introduce the concept of operator arithmetic-geometrically convex functions for positive linear operators and prove some Hermite-Hadamard type inequalities for these functions. As applications, we obtain trace inequalities for operators which give some refinements of previous results. Moreover, some unitarily invariant norm inequalities are established.
We analyse adversarial bandit convex optimisation with an adversary that is restricted to playing functions of the form $f_t(x) = g_t(langle x, thetarangle)$ for convex $g_t : mathbb R to mathbb R$ and unknown $theta in mathbb R^d$ that is homogeneous over time. We provide a short information-theoretic proof that the minimax regret is at most $O(d sqrt{n} log(n operatorname{diam}(mathcal K)))$ where $n$ is the number of interactions, $d$ the dimension and $operatorname{diam}(mathcal K)$ is the diameter of the constraint set.
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 [4], where operator algebraic semicontinuity theory or operator theory were substantially used. In this paper we provide an alternate treatment that uses only operator inequalities (or even just matrix inequalities). We also show that if t_0 is a point in the domain of a continuous function f, then f is operator monotone if and only if (f(t) - f(t_0))/(t - t_0) is strongly operator convex. Using this and previously known results, we provide some methods for constructing new functions in one of the three classes from old ones. We also include some discussion of completely monotone functions in this context and some results on the operator convexity or strong operator convexity of phi circ f when f is operator convex or strongly operator convex.