On norm sub-additivity and super-additivity inequalities for concave and convex functions

Abstract

Sub-additive and super-additive inequalities for concave and convex functions have been generalized to the case of matrices by several authors over a period of time. These lead to some interesting inequalities for matrices, which in some cases coincide with, and in other cases are at variance with the corresponding inequalities for real numbers. We survey some of these matrix inequalities and do further investigations into these.We introduce the novel notion of dominated majorization between the spectra of two Hermitian matrices B and C, dominated by a third Hermitian matrix A. Based on an explicit formula for the gradient of the sum of the k largest eigenvalues of a Hermitian matrix, we show that under certain conditions dominated majorization reduces to a linear majorization-like relation between the diagonal elements of B and C in a certain basis. We use this notion as a tool to give new, elementary proofs for the sub-additivity inequality for non-negative concave functions first proved by Bourin and Uchiyama and the corresponding super-additivity inequality for nonnegative convex functions first proven by Kosem.Finally, we present counterexamples to some conjectures that Ando's inequality for operator convex functions could more generally hold, e.g. for ordinary convex, non-negative functions.Dedicated to the memory of Ky Fan

Unitary orbits of Hermitian operators with convex or concave functions

“…This is a famous result of Ando [1]. Here the operator monotoniciy assumption is essential; see [3] for some counterexamples. A very interesting paper by Mathias [24] gives a direct proof, without using the integral representation of operator monotone functions.…”

Operator inequalities of Jensen type

“…The authors of [9] used inequality (1.3) to obtain some operator inequalities. In particular, they gave a generalization of the Petrović operator inequality as follows: Some other operator extensions of (1.4) can be found in [1,2,11]. In this paper, as a continuation of [9], we extend inequality (1.3), refine (1.3) and improve some of our results in [9].…”

Identifying the Topology of Undirected Networks From Diffused Non-Stationary Graph Signals

“…where the first inequality follows from the definition of C xyx in (12) and the submultiplicative property of the matrix norm, while the second inequality follows from [60]. A new application of the submultiplicative property readily yields…”