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

DOI10.1016/J.JMAA.2019.123625zbMATH Open1477.47093arXiv1901.09776OpenAlexW2981751745MaRDI QIDQ2287221FDOQ2287221

Authors: Jimmie D. Lawson 

Publication date: 20 January 2020

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

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.

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

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

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)

Cites Work

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

Cited In (9)

• Barycentric maps for compactly supported measures
• Title not available (Why is that?)
• 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)