Maps on positive cones in operator algebras preserving power means (Q785647)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maps on positive cones in operator algebras preserving power means |
scientific article |
Statements
Maps on positive cones in operator algebras preserving power means (English)
0 references
7 August 2020
0 references
Let $\mathscr{A}, \mathscr{B}$ be unital $C^{*}$-algebras. The author treats two types of power means for $A,B\in \mathscr{A}^{++}$, positive definite elements in $\mathscr{A}$. The first power mean is defined by $$A \mathsf{m}_{p}B=\left(\frac{A^{p}+B^{p}}{2}\right)^{\frac{1}{p}}\quad\text{for}p\neq 0, p\in \mathbb{R}.$$ It is called the \textit{conventional $p$th power mean} The second power mean is defined in the sense of Kubo-Ando, i.e., $$ A\mathfrak{m}_{p} B=A^{-\frac{1}{2}}\left(\frac{I+(A^{-\frac{1}{2}}BA^{-\frac{1}{2}})^{p}}{2} \right)^{\frac{1}{p}}A^{-\frac{1}{2}}\quad\text{for }p\in [-1,1],$$ where $I$ means the unit element in $\mathscr{A}$. In this paper, the author gives characterizations of (continuous) bijective map $\phi: \mathscr{A}^{++}\to \mathscr{B}^{++}$ satisfying the each of following condition: (i) $\phi (A\mathsf{m}_{p}B)=\phi(A)\mathsf{m}_{p}\phi(B)$ for a fixed $p\in \mathbb{R}$, $p\neq 0$ and all $A,B\in \mathscr{A}^{++}$, (ii) $\phi (A\mathfrak{m}_{p}B)=\phi(A)\mathfrak{m}_{p}\phi(B)$ for a fixed $p\in (-1,1)$ and all $A,B\in \mathscr{A}^{++}$. Moreover, the author gives a necessary condition of $\mathscr{A}$ and $\mathscr{B}$ such that there exists a continuous bijective map $\phi: \mathscr{A}^{++} \to\mathscr{B}^{++}$ satisfying $$ \phi (A\mathsf{m}_{p}B)=\phi(A) \mathfrak{m}_{p}\phi(B) $$ for a fixed $p\in (-1,1)$ and all $\mathscr{A}^{++}$. The author gives concrete characterizations of $\phi$ in the $B(H)$ setting, i.e., bounded linear operators on a complex Hilbert space $H$.
0 references
power means
0 references
conventional power mean
0 references
Kubo-Ando power mean
0 references
positive cones in \(C^*\)-algebras
0 references
preservers
0 references
0 references