Operator maps of Jensen-type

TL;DR

This paper characterizes Jensen-type maps on self-adjoint operators in infinite-dimensional Hilbert spaces, showing they are precisely operator functions derived from operator convex functions.

Contribution

It provides a complete characterization of Jensen-type maps as operator functions from operator convex functions on the spectrum interval.

Findings

Jensen-type maps are of the form (A) for some operator convex function f.

The characterization holds in infinite-dimensional Hilbert spaces.

The result extends the understanding of operator inequalities and functional calculus.

Abstract

Let $\mathbb{B}_J(\mathcal H)$ denote the set of self-adjoint operators acting on a Hilbert space $\mathcal{H}$ with spectra contained in an open interval $J$. A map $\Phi\colon\mathbb{B}_J(\mathcal H)\to {\mathbb B}(\mathcal H)_\text{sa} $ is said to be of Jensen-type if \[ \Phi(C^*AC+D^*BD)\le C^*\Phi(A)C+D^*\Phi(B)D \] for all $ A, B \in B_J(\mathcal H)$ and bounded linear operators $ C,D $ acting on $ \mathcal H $ with $ C^*C+D^*D=I$, where $I$ denotes the identity operator. We show that a Jensen-type map on a infinite dimensional Hilbert space is of the form $\Phi(A)=f(A)$ for some operator convex function $ f $ defined in $ J $.