Existence and uniqueness of the Karcher mean on unital C^-algebras

DOI10.1016/J.JMAA.2019.123625MaRDI QIDQ2287221zbMATH OpenOpenAlexFDO

Authors Jimmie D. Lawson

Publication date 20 January 2020

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.09776

zbMATH Keywords

Karcher mean\(C^{\ast}\)-algebrabarycenterKarcher equation

Mathematics Subject Classification ID

Probability measures on topological spaces (60B05) Operator means involving linear operators, shorted linear operators, etc. (47A64) Convex sets and cones of operators (47L07)

Abstract: The Karcher mean on the cone $Omega$ of invertible positive elements of the $C^{\ast }$-algebra $mathcalB(E)$ of bounded operators on a Hilbert space $E$ has recently been extended to a contractive barycentric map on the space of $L^1$- probability measures on $Omega$. In this paper we first show that the barycenter satisfies the Karcher equation and then establish the uniqueness of the solution. Next we establish that the Karcher mean is real analytic in each of its coordinates, and use this fact to show that boththe Karcher mean and Karcher barycenter map exist and are unique on any unital $C^{\ast }$-algebra. The proof depends crucially on a recent result of the author giving a converse of the inverse function theorem.

Recommendations

• scientific article; zbMATH DE number 1829560
• Uniformity in \(C^*\)-algebras
• A Cuntz-Krieger uniqueness theorem for semigraph \(C^\ast\)-algebras
• The uniqueness of Cuntz-Krieger type algebras
• Unitary equivalences for essential extensions of $C^*$-algebras
• On the uniqueness of uniform norms and C^*-norms
• On the unitary equivalence of close \(C^ *\)-algebras
• scientific article; zbMATH DE number 706756
• The essential uniqueness property for operators on Kreĭn spaces
• Homomorphisms and derivations on unital \(C^*\)-algebras related to Cauchy-Jensen functional inequality

Cites work

• scientific article; zbMATH DE number 2051142 (Why is no real title available?)
• scientific article; zbMATH DE number 3893797 (Why is no real title available?)
• A Cartan-Hadamard theorem for Banach-Finsler manifolds
• Contractive barycentric maps
• Karcher means and Karcher equations of positive definite operators
• On Certain Contraction Mappings in a Partially Ordered Vector Space
• Operator means of probability measures and generalized Karcher equations
• Ordered probability spaces
• Riemannian center of mass and mollifier smoothing
• Separability and completeness for the Wasserstein distance
• Symmetric spaces with convex metrics
• The stochastic order of probability measures on ordered metric spaces

Cited in

(9)

• Barycentric maps for compactly supported measures
• scientific article; zbMATH DE number 7700653 (Why is no real title available?)
• Geometric means of quasi-Toeplitz matrices
• Existence, uniqueness and an ODE approach to the \(L^1\)-Karcher mean
• Weighted Karcher means on unipotent Lie groups
• Analyticity of the Karcher mean coefficient maps
• Following the Trail of the Operator Geometric Mean
• Approximations to the Karcher mean on Hadamard spaces via geometric power means
• Ergodic theorems for the \(L^1\)-Karcher mean

This page was built for publication: Existence and uniqueness of the Karcher mean on unital \(C^\ast\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287221)