Contractive barycentric maps
We first develop in the context of complete metric spaces a oneto- one correspondence between the class of means G = (Gn)n≥2 that are symmetric, multiplicative, and contractive and the class of contractive (with respect to the Wasserstein metric) barycentric maps on the space of L1-probability measures. We apply this equivalence to the recently introduced and studied Karcher mean on the open cone P of positive invertible operators on a Hilbert space equipped with the Thompson metric to obtain a corresponding contractive barycentric map. In this context we derive a version of earlier results of Sturm and Lim and Palfia about approximating the Karcher mean with the more constructive inductive mean. This leads to the conclusion that the Karcher barycenter lies in the strong closure of the convex hull of the support of a probability measure. This fact is a crucial ingredient in deriving a version of Jensen's inequality, with which we close.
Publication Source (Journal or Book title)
Journal of Operator Theory
Lawson, J., & Lim, Y. (2017). Contractive barycentric maps. Journal of Operator Theory, 77 (1), 87-107. https://doi.org/10.7900/jot.2015dec24.2111