MONOTONE TRACE FUNCTIONS OF SEVERAL VARIABLES
MONOTONE TRACE FUNCTIONS OF SEVERAL VARIABLES
We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality τ(x 1 ⋯x n ) ≤ τ(y 1 ⋯y n ) for a trace τ on a C*-algebra and abelian n-tuples (x 1 ,…,x n ) ≤ (y 1 …