Monotone trace functions of several variables
Abstract
We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality τ(x1... xn)τ(y1... yn) for a trace τ on a C*-algebra and abelian n-tuples (x1,...,xn) (y1,...,yn) of positive elements. We formulate and prove Jensen's inequality for expectation values, and we study matrix functions of several variables which are convex or monotone with respect to the weak majorization for matrices.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.