## Lipschitz extensions from spaces of nonnegative curvature into CAT(1) spaces

## Sebastian Gietl

## Abstract

We prove that complete CAT ( κ ) spaces of sufficiently small radii possess metric Markov cotype 2. This generalizes the previously known result for complete CAT (0) spaces. The generalization involves extending the variance inequality known for barycenters in CAT (0) spaces to an inequality analogous to one for 2 -uniformly convex Banach spaces, and demonstrating that the barycenter map on such spaces is Lipschitz continuous on the corresponding Wasserstein 2 space. By utilizing the generalized Ball extension theorem by Mendel and Naor, we obtain an extension result for Lipschitz maps from Alexandrov spaces of nonnegative curvature into CAT ( κ ) spaces whose image is contained in a subspace of sufficiently small radius, thereby weakening the curvature assumption in the well-known Lipschitz extension theorem for Alexandrov spaces by Lang and Schröder.

## 1 Introduction

Given two metric spaces ( X,d X ) and ( Y, d Y ) , the Lipschitz extension problem asks whether there exists a K ∈ (0 , ∞ ) such that for any subset Z ⊂ X and any Lipschitz map f : Z → Y with Lipschitz constant ‖ f ‖ Lip , there is a Lipschitz extension ¯ : f X → Y with Lipschitz constant ‖ ¯ f ‖ Lip satisfying ‖ ¯ f ‖ Lip ≤ K f ‖ ‖ Lip .

The classical Kirszbraun theorem states that if X and Y are Hilbert spaces, then the Lipschitz extension problem has a positive solution with ‖ ¯ f ‖ Lip = ‖ f ‖ Lip . It also has positive solutions in more general settings; for instance, this is shown in [21] by using a general extension result of Ball [3] when X is a 2-uniformly smooth Banach space and Y a 2-uniformly convex Banach space. In particular, one can take X = L p with p ∈ [2 , ∞ ) and Y = L q with q ∈ (1 , 2] , but now we only have ‖ ¯ f ‖ Lip /lessorsimilar X,Y ‖ f ‖ Lip . 1 However, the Lipschitz extension problem is not limited to linear spaces. For example, in [12] or [13], results were achieved for metric spaces that are not necessarily linear, yet assume some kind of finite dimensionality for either X or Y . In [14], Lang and Schröder generalized Kirszbraun's theorem as follows. Let X and Y be geodesic spaces, and for κ ∈ R , assume that X is an Alexandrov space of (global) curvature ≥ κ , and Y is a complete CAT ( κ ) space. Denote by D κ the diameter of the spaceform of constant curvature κ (see in Section 2 for definitions). Then, any 1 -Lipschitz map f : Z → Y with diam( f ( Z )) ≤ D / κ 2 has a 1 -Lipschitz extension ¯ : f X → Y . We will weaken the curvature assumption of their result in the case κ ≥ 0 , namely by utilizing a Lipschitz extension theorem by Mendel and Naor [19], which is a generalised version of an extension result by Keith Ball [3], we will prove Theorem 1. For the ensuing discussion, we establish the following notation. For κ ∈ R , we denote by D κ,ε the quantity (1 -ε D ) κ , for fixed ε ∈ (0 , 1) . Additionally, in a metric space ( X,d X ) , we use B r ( o ) and B r ( o ) to represent the open and closed metric balls, respectively, of radius r &gt; 0 centered at o ∈ X .

1 Given two quantities O,O ′ &gt; 0 , the notation Q /lessorsimilar Q ′ and Q ′ /greaterorsimilar Q means that there exists a constant C &gt; 0 such that Q /lessorequalslant CQ ′ . If the constant depends on some object φ , such as a number or a space, this is indicated by Q /lessorsimilar φ Q ′ or Q ′ /greaterorsimilar φ Q .

Theorem 1. For ε ∈ (0 , 1) , there exists a constant C ε ≥ 1 such that, for ( X,d X ) an Alexandrov space of nonnegative curvature and ( Y, d Y ) a complete CAT ( κ ) space with κ ∈ R , the following holds. Given a subset Z ⊂ X and a Lipschitz function f : Z → Y with Lipschitz constant ‖ f ‖ Lip , assume there is a point o ∈ X such that f ( Z ) ⊂ B r ( o ) with r ≤ D κ,ε / 4 . Then, there exists a Lipschitz extension ¯ : f X → Y of f with Lipschitz constant ‖ ¯ f ‖ Lip ≤ C ε ‖ f ‖ Lip .

Besides weakening the curvature assumption, Theorem 1 facilitates Lipschitz extensions for all Lipschitz functions, not just those that are 1 -Lipschitz. While this can be deduced from the results by Lang and Schröder in cases where κ = 0 by rescaling the metric, our results extend beyond this limitation. However, the weakening of the assumptions comes with a trade-off regarding the Lipschitz constant of the extension, which can be large. Specifically, as ε becomes smaller, the bound on the Lipschitz constant correspondingly increases. The reason why we assume that f ( Z ) lies within a closed ball of radius bounded by D κ,ε / 4 , rather than bounding the diameter of f ( Z ) by D / κ 2 as in the results of Lang and Schröder, will become evident below. While Lang and Schröder have shown that the diameter bound in their result is optimal, it has been demonstrated in [1] that this assumption can be generalized. Specifically, it is sufficient to assume that there exists a point o ∈ Y such that f ( Z ) lies within a ball B r ( o ) with 0 &lt; r ≤ D / κ 2 .

The extension result in [19], on which Theorem 1 is based, is inspired by a classical result in Banach space theory by Maurey [17] for bounded linear operators between Banach spaces of Rademacher type 2 and cotype 2 . As a product of the Ribe program (see [24] for an introductory survey), metric variants of these definitions exist. In [3], Keith Ball introduced such metric variants of Rademacher type and cotype, called Markov type (Definition 2) and metric Markov cotype (Definition 3). The term 'metric' is used because Ball also introduced a notion of Markov cotype specific to normed spaces, which is not known to be equivalent to the metric version. In [19], it was demonstrated that any complete CAT (0) space possesses metric Markov cotype 2. Building upon this results, we establish that a closed ball of radius less or equal than D κ,ε / 4 in a complete CAT ( κ ) space has metric Markov cotype 2.

To convey the main idea behind this result, we review the concept of a uniformly convex Banach space. The modulus of convexity of a Banach space ( X, ‖ · ‖ ) is defined as:

for ε ∈ (0 , 2] . The Banach space ( X, ‖ · ‖ ) is said to be uniformly convex if δ X ( ε ) &gt; 0 for all ε ∈ (0 , 2] . Furthermore, if p ≥ 2 , the space ( X, ‖ · ‖ ) is said to be p -uniformly convex if there exists a constant c &gt; 0 such that δ X ( ε ) ≥ cε p for all ε ∈ (0 , 2] . According to [2], this condition is equivalent to the existence of a constant K /greaterorequalslant 1 such that for all x, y in X we have

$$\text{space. } 1 \, \text{$me$ mouulus or convexity or a panic} \, \text{case} \, ( \mathcal { A }, \| \cdot \| ) \, \text{is mem} \, as \colon \\ \delta _ { X } ( \varepsilon ) \coloneqq \inf \left \{ 1 - \left \| \frac { x + y } { 2 } \right \| \colon x, y \in X, \| x \| = \| y \| = 1 \, \text{and} \, \| x - y \| = \varepsilon \right \}, \\ \text{for } \varepsilon \, \in \, ( 0, 2 ]. \, \text{ The Banach space } ( X, \| \cdot \| ) \, \text{ is said to be uniformly convex if } \delta _ { X } ( \varepsilon ) \, > \, 0 \, \text{ for all} \\ \varepsilon \, \in \, ( 0, 2 ]. \, \text{ Furthermore, if } p \geq 2, \, \text{ the space } ( X, \| \cdot \| ) \, \text{ is said to be } p \text{-uniformly convex if there}$$

$$\text{execute on a consumer } \L \leqslant \text{sum max for an } \lambda, y \, m \, \L \, \text{we move} \\ \left \| \frac { x + y } { 2 } \right \| ^ { p } \leq \frac { \| x \| ^ { p } } { 2 } + \frac { \| y \| ^ { p } } { 2 } - \left \| \frac { x - y } { 2 K } \right \| ^ { p }. \\ \text{onvex Banach spaces are known to possess metric Markov cotype 2 [20].  The } \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

∥ ∥ ∥ ∥ 2-uniformly convex Banach spaces are known to possess metric Markov cotype 2 [20]. The rationale that complete CAT (0) spaces also share this property can be understood by the fact that their metric satisfies a similar convexity property as inequality (1) with constant equal to one, corresponding to the Hilbert space case. More precisely, for any CAT (0) space ( X,d X ) , given any points x, y, z ∈ X and a geodesic γ : [0 , 1] → X connecting x and y , the following inequality holds:

$$d _ { X } \left ( z, \gamma ( t ) \right ) ^ { 2 } \leq \left ( 1 - t \right ) d _ { X } \left ( z, x \right ) ^ { 2 } + t d _ { X } \left ( z, y \right ) ^ { 2 } - t \left ( 1 - t \right ) d _ { X } \left ( x, y \right ) ^ { 2 } \quad \forall t \in [ 0, 1 ]. \quad \ \ ( 2 )$$

For Hilbert spaces, choosing z = 0 and t = 1 2 / in inequality (2) yields inequality (1). In fact, the opposite implication is also true; see Prop. 2.3 in [28].

Now, for κ &gt; 0 , Ohta showed in [25], Proposition 3.1, that in a CAT ( κ ) -space ( X,d X ) with diam( X ) ≤ D κ,ε / 2 , the metric satisfies a property similar to that of (1), but with a general

constant. Specifically, for any points x, y, z ∈ X and the geodesic γ : [0 , 1] → X connecting x and y , the following inequality holds:

$$d _ { X } \left ( z, \gamma ( t ) \right ) ^ { 2 } \leq ( 1 - t ) d _ { X } \left ( z, x \right ) ^ { 2 } + t d _ { X } \left ( z, y \right ) ^ { 2 } - \frac { k _ { \varepsilon } } { 2 } t ( 1 - t ) d _ { X } \left ( x, y \right ) ^ { 2 } \quad \forall t \in [ 0, 1 ], \quad \left ( 3 \right )$$

where k ε = ( π -επ ) tan( ε π 2 ) . When κ ≤ 0 , we have D κ,/epsilon1 / 2 = ∞ for any ε ∈ (0 , 1) , and in the limit lim ε → 1 k ε = 2 we can recover (2) from (3). By considering the three unit vectors on a 2 -dimensional sphere, it becomes evident that inequality (3) in general cannot be satisfied with a positive constant when the diameter is increased to D / κ 2 . Note that z in inequality (3) is an arbitrary point in the space. By examining the proof, one can see that inequality (3) is also valid within a ball of radius D κ,ε / 2 in a CAT ( κ ) space, at the expense of replacing the arbitrary point z with the midpoint of the ball. However, the arbitrariness of z is crucial in the proof presented in [19], which underpins our argument that, more generally, closed balls of radius less than or equal to D κ,ε / 4 in a complete CAT ( κ ) space possess this property.

To prove this result, we utilize condition (3) to establish a generalized version of the wellknown variance inequality for barycenters in CAT (0) spaces, analogous to an inequality known for 2 -uniformly convex Banach spaces. However, achieving metric Markov cotype requires an additional step. We further demonstrate that the barycenter map, i.e., the map which assigns a probability measure on a complete CAT ( κ ) space to its barycenter, is Lipschitz continuous on the corresponding Wasserstein 2 space, provided that the measure is supported on a closed ball of radius D κ,ε / 4 . This continuity, combined with the generalized variance inequality as detailed in [19], establishes metric Markov cotype 2 for the considered ball.

The organization of the paper is as follows. In Section 2, we define Alexandrov spaces and provide their basic properties. In Section 3, we demonstrate the convexity of a particular function, crucial for establishing the Lipschitz continuity of the barycenter map. In Section 4, we discuss barycenters in CAT ( κ ) spaces, proving the generalized variance inequality and the Lipschitz continuity of the barycenter map. In Section 5, we define the concepts of Markov type and metric Markov cotype, explain how metric Markov cotype for closed balls of radius less than or equal to D κ,ε / 4 in a complete CAT ( κ ) space is derived from our results, and prove Theorem 1.

## 2 Alexandrov Spaces

The purpose of this section is to establish the basic notions and standard results for Alexandrov spaces, that we will need in the subsequent sections. All the content in this section can be found, for example, in [4] or [5].

Let ( X,d X ) be a metric space and κ ∈ R , we define M 2 ( κ ) as the 2-dimensional space form with constant curvature κ . Then the diameter of M 2 ( κ ) , denoted by D κ , is given by:

$$D _ { \kappa } = \begin{cases} \infty & \text{if $\kappa \leq 0$,} \\ \frac { \pi } { \sqrt { \kappa } } & \text{if $\kappa > 0$.} \end{cases}$$

Let I ⊂ R be an interval. A curve γ : I → X is called a geodesic if there exists a constant | γ ′ | ≥ 0 such that d X ( γ s , γ ( ) ( )) = t | γ ′ || s - | t for all s, t ∈ I . For x, y ∈ X , a curve γ : [0 , 1] → X is said to be a geodesic connecting x and y when it is a geodesic and γ (0) = x and γ (1) = y . The image of a geodesic connecting x and y is called a geodesic segment and denoted by [ x, y ] .We say ( X,d X ) is geodesic if, for every pair of points x, y ∈ X , there exists a geodesic connecting x and y . We further define it as D κ -geodesic if, for any pair of points x, y ∈ X whose distance is less than D κ , there exists a geodesic connecting x and y .

A geodesic triangle ∆ in X consists of three points x, y, z ∈ X , its vertices, and a choice of three geodesic segments [ x, y , ] [ y, z , ] [ z, x ] joining them, its sides. A triangle ¯ ∆ in M 2 ( κ ) with vertices ¯ x, y, z ¯ ¯ ∈ M 2 ( κ ) is called a comparison triangle for ∆ if d M 2 ( κ ) (¯ x, y ¯) = d X ( x, y ) , d M 2 ( κ ) (¯ ¯) y, z =

d X ( y, z ) and d M 2 ( κ ) (¯ ¯) = z, x d X ( z, x ) . Such a triangle ¯ ∆ ⊆ M 2 ( κ ) always exists if the perimeter d X ( x, y ) + d X ( y, z ) + d X ( z, x ) of ∆ is less than 2 D κ , and it is unique up to isometry.

Definition 1 (Alexandrov space) . Fix κ ∈ R and let ( X,d X ) be a D κ -geodesic space. The space ( X,d X ) is said to be an Alexandrov space of curvature ≤ κ (resp. ≥ κ ) if for all geodesic triangles in X with a perimeter strictly less than 2 D κ it holds that for all x, y ∈ ∆ and their corresponding points ¯ x, y ¯ ∈ ¯ ∆ , the distance satisfies

$$d _ { X } ( x, y ) \leq d _ { \mathbb { M } ^ { 2 } ( \kappa ) } ( \bar { x }, \bar { y } ) \ ( r e s p. \ d _ { X } ( x, y ) \geq d _ { \mathbb { M } ^ { 2 } ( \kappa ) } ( \bar { x }, \bar { y } ) ).$$

Alexandrov spaces of curvature ≤ κ are also called CAT ( κ ) -spaces. When κ = 0 , we also say that X is an Alexandrov space of nonpositive curvature (resp. nonnegative curvature)

The definition above is a global version of what Alexandrov used to define spaces of bounded curvature. He defined a metric space to be a space of curvature ≤ κ (resp. ≥ κ ) if each point has a neighborhood such that all geodesic triangles in this neighborhood satisfy the above assumption. He also showed that if the metric space is a Riemannian manifold, this is the case if and only if the sectional curvature satisfies ≤ κ (resp. ≥ κ ). There are many other examples of Alexandrov spaces; in particular, any Hilbert space is both an Alexandrov space of curvature ≤ 0 as well as ≥ 0 .

One can define Alexandrov spaces not only by comparing distances but also by comparing angles. The angle between two geodesics γ 1 , γ 2 : [0 , 1] → X , both starting at the same point x ∈ X , is defined as

$$\Big { N } _ { x } ( \gamma _ { 1 }, \gamma _ { 2 } ) \coloneqq \lim _ { s, t \rightarrow 0 } \arccos \frac { d _ { X } ( x, \gamma _ { 1 } ( s ) ) ^ { 2 } + d _ { X } ( x, \gamma _ { 2 } ( t ) ) ^ { 2 } - d _ { X } ( \gamma _ { 1 } ( s ), \gamma _ { 2 } ( t ) ) ^ { 2 } } { 2 d _ { X } ( x, \gamma _ { 1 } ( s ) ) d _ { X } ( x, \gamma _ { 2 } ( t ) ) },$$

when the limit exists. Given three points x, y, z ∈ X , when the geodesics that connect z and x respectively z and y are clear from context, we denote the corresponding angle by ∠ z ( x, y ) . This notation is specifically used when X is a CAT ( κ ) space and d X ( z, x ) , d X ( z, y ) &lt; D κ , as in this case geodesic segments are unique. The metric space ( X,d X ) is an Alexandrov space of curvature ≤ κ (resp. ≥ κ ) if and only if ( X,d X ) is geodesic and for each triangle ∆ ⊂ X with vertices x, y, z ∈ X , corresponding angle ∠ x ( y, z ) and comparison triangle ¯ ∆ with vertices ¯ x, y, z ¯ ¯ , when we denote by ¯ ∠ x ( y, z ) = ∠ ¯ x (¯ ¯) y, z the corresponding angle in M 2 ( κ ) , we have

$$\zeta _ { x } ( y, z ) \leq \zeta _ { \bar { x } } ( \bar { y }, \bar { z } ) \ \ ( \text{resp.} \ \zeta _ { x } ( y, z ) \geq \zeta _ { \bar { x } } ( \bar { y }, \bar { z } ) ).$$

A function f : X → R is said to be convex if for each geodesic γ : [0 , 1] → X the composition f ◦ γ : [0 , 1] → R is convex. A subset C of the metric space ( X,d X ) is said to be convex if every pair of points x, y ∈ C can be joined by a geodesic in X and the image of every such geodesic is contained in C .

## 3 The Convex Geometry of CAT ( κ ) -Spaces

It is a well-known fact (see e.g., Cor. 2.5 in [28]) that in a CAT (0) space ( X,d X ) , the distance function d X : X × X → R is convex on the product space. However, this is not the case for CAT ( κ ) spaces with positive κ , where even the squared distance function fails to be convex. The objective of this section is to find a convex 'replacement' for the squared distance function in such spaces.

Besides being convex, the distance function on a CAT (0) space is, of course, also continuous, nonnegative, and equals zero only on the diagonal. Spaces that admit a function possessing these properties were termed 'spaces of convex geometry' by Kendall in [10]. He also demonstrated that small hemispheres satisfy these criteria. To be more precise, for n ∈ N , when we denote by S n -1 the ( n -1) -dimensional sphere, we define, for h &gt; 0 ,

$$\iota, \, \text{we came, to $n<\nu$,} \\ S _ { h } ^ { n - 1 } \, \coloneqq \left \{ x \in S ^ { n - 1 } \, \colon x _ { 1 } > h \right \},$$

↦

then for ˜ h ∈ (0 , h ) , we have that the function given by S n -1 h × S n -1 h /owner ( x, y ) → ( | x - | y 2 2 ( x y 1 1 -˜ h 2 ) ) ν +1

possesses the desired properties, provided that 2 νh ˜ 2 ( h 2 -˜ h 2 ) ≥ 1 . This holds true not only on a small hemisphere but also for small balls in CAT ( κ ) spaces with positive κ , as shown in [29], by generalizing Kendall's function. However, this function does not act as a 'replacement' for the squared distance function but rather for the distance function to some power greater than two.

In order to find a function that serves our purpose, we restrict ourselves to a ball B r of radius r &lt; D / κ 4 in a CAT ( κ ) space. We adapt Kendall's function to suit our needs and employ the argument from [29] to generalize this to the broader case. We define cos κ := cos( √ κ · ) .

Theorem 2. Fix κ &gt; 0 , let ( X,d X ) be a complete CAT ( κ ) -space, and let B = B r ( o ) be a ball in X with radius r &lt; D / κ 4 , centered at o ∈ X . The function Φ : B × B → [0 , ∞ ) given by is convex.

$$\Phi ( x, y ) \coloneqq \frac { 1 - \cos _ { \kappa } d _ { X } ( x, y ) } { \sqrt { \cos _ { \kappa } d _ { X } ( x, o ) \cos _ { \kappa } d _ { X } ( y, o ) - \frac { 1 } { 2 } } },$$

Note that due to the bound on the diameter of ( X,d X ) , for any x ∈ X , we have cos κ ( d X ( x, o )) &gt; cos ( π 4 ) = 1 √ 2 . To prove Theorem 2, we demonstrate that Φ is convex in the case of a sphere by calculating its second derivative. More precisely, we establish the following slightly more general result.

Lemma 1. Fix h &gt; 0 and x, y ∈ S 2 h . Let λ, λ : ( -ε, ε ) → S 2 h be geodesics with λ (0) = λ (0) s.t. ∣ ∣ ¯ λ ′ ∣ ∣ = ∣ ∣ λ ′ ∣ ∣ and let µ, µ : ( -ε, ε ) → S 2 h be geodesics with µ (0) = µ (0) s.t | ¯ µ ′ | = ∣ ∣ µ ′ ∣ ∣ . Consider ˜ h ∈ (0 , h ) and set p := 1 / (1 -˜ h 2 ) , then we have that the function

$$\Psi ( t ) \coloneqq \frac { | \overline { \lambda } ($$

has nonnegative second derivative at t = 0 .

Proof. We define x := λ (0) = λ (0) , y := ¯(0) = µ µ (0) and u := λ ′ (0) , v := µ ′ (0) , u := λ ′ (0) , v := µ ′ (0) ∈ R n , then λ ′′ (0) = -| u | 2 x , µ ′′ (0) = -| | v 2 y , λ ′′ (0) = -| u | 2 x and µ ′′ (0) = -| | v 2 y . We set

$$\begin{array} {$$

Suppose that ψ &gt; 0 . We have the following first and second derivative.

$$. \ v e \, \text{have in moving} \, \text{and}$$

and

Where

$$\psi ^ { \prime \prime } & \coloneqq \left [ \frac { d$$

$$p ^ { \prime } & = \langle \bar { u } - \bar { v }$$

with by using the Cauchy-Schwarz inequality, and

$$p ^ { \prime \prime } & \geqslant \frac { ( p ^ { \prime } ) ^ { 2 } } { 2 p } - \left ( | \bar { u } | ^ { 2 } + | \bar { v } | ^ { 2 } \right ) p \\ & = \frac { ( \psi q ^ { \prime } + \psi ^ { \prime } q ) ^ { 2 } } { 2 \psi q } - \left ( | \bar { u } | ^ { 2 } + | \bar { v } | ^ { 2 } \right ) \psi q, \\ \text{hy-Schwarz inequality, and}$$

$$\mu & \quad \cdot \quad \cdot \\ q ^ { \prime } & = \frac { c ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } ) } { p ( c ( x _ { 1 } y _ { 1 } - \tilde { h } ^ { 2 } ) ) ^ { 1 - \frac { 1 } { p } } } \\ q ^ { \prime \prime } & = \frac { 2 c u _ { 1 } \underline { v } _ { 1 } - c \left ( | \underline { u } | ^ { 2 } + | \underline { v } | ^ { 2 } \right ) x _ { 1 } y _ { 1 } } { p ( c ( x _ { 1 } y _ { 1 } - \tilde { h } ^ { 2 } ) ) ^ { 1 - \frac { 1 } { p } } } + \frac { ( 1 - p ) c ^ { 2 } ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } ) ^ { 2 } } { p ^ { 2 } ( c ( x _ { 1 } y _ { 1 } - \tilde { h } ^ { 2 } ) ) ^ { 2 - \frac { 1 } { p } } }. \\ \intertext { \ast by combining } ( 5 ), \, ( 6 ) \text{ and } ( 7 ) \text{ we have }$$

Now by combining (5), (6) and (7) we have

$$\text{Now by combining $(5), (6)$ and $(7)$ we have} \\ \psi ^ { \prime \prime } & \geq \frac { ( \psi q ^ { \prime } + \psi ^ { \prime } q ) ^ { 2 } } { 2 \psi q ^ { 2 } } - ( \lfloor \bar { \sum } \rfloor ^ { 2 } + \lfloor \bar { \sum } \rfloor ^ { 2 } ) \, \psi \\ & - \frac { 2 c \psi \underline { u } _ { 1 } \underline { v } _ { 1 } - c \psi ( \lfloor \underline { u } \rfloor ^ { 2 } + \lfloor \bar { \sum } \rfloor ^ { 2 } ) x _ { 1 } y _ { 1 } } { p ( c ( x _ { 1 } y _ { 1 } - \bar { h } ^ { 2 } ) ) ^ { 1 - \frac { 1 } { 2 } } q } + \frac { ( p - 1 ) c ^ { 2 } \psi ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } ) ^ { 2 } } { p ^ { 2 } ( c ( x _ { 1 } y _ { 1 } - \bar { h } ^ { 2 } ) ) ^ { 2 - \frac { 1 } { 2 } } q } \\ & = \frac { \psi ( q ^ { \prime } ) ^ { 2 } } { 2 q ^ { 2 } } - \frac { \psi ^ { \prime } q ^ { \prime } } { q } + \frac { ( \psi ^ { \prime } ) ^ { 2 } } { 2 \psi } - \left ( \lfloor \bar { \sum } \rfloor ^ { 2 } + \lfloor \bar { \sum } \rfloor ^ { 2 } ) \, \psi \\ & \quad - \frac { 2 \psi \underline { u } _ { 1 } \underline { v } _ { 1 } - \psi \left ( \lfloor \underline { u } \rfloor ^ { 2 } + \lfloor \underline { v } \rfloor ^ { 2 } \right ) x _ { 1 } y _ { 1 } } { p ( x _ { 1 } y _ { 1 } - \bar { h } ^ { 2 } ) } + \frac { ( p - 1 ) c ^ { 2 } \psi ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } ) ^ { 2 } } { p ^ { 2 } ( c ( x _ { 1 } y _ { 1 } - \bar { h } ^ { 2 } ) ) ^ { 2 } } \\ \text{We bound $(8)$ from below by $0$. First of all,} \\ & \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

We bound (8) from below by 0. First of all, by the choice of p . Secondly,

$$\sigma _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w & \varrho _ { \ } v o w \\ \frac { \psi \left ( | \underline { u } | ^ { 2 } + | \underline { v } | ^ { 2 } \right ) x _ { 1 } y _ { 1 } } { p ( x _ { 1 } y _ { 1 } - \tilde { h } ^ { 2 } ) } - \left ( | \bar { u } | ^ { 2 } + | \bar { v } | ^ { 2 } \right ) \psi \geq 0, \\ p. & \text{ Secondly},$$

$$\frac { ( p - 1 ) c ^ { 2 } \psi \left ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } \right ) ^ { 2 } } { p ^ { 2 } ( c ( x _ { 1 } y _ { 1 } - \tilde { h } ^ { 2 } ) ) ^ { 2 } } - \frac { \psi ^ { \prime } q ^ { \prime } } { q } + \frac { ( \psi ^ { \prime } ) ^ { 2 } } { 2 \psi } = \frac { \psi } { q ^ { 2 } } ( q ^ { \prime } ) ^ { 2 } - \frac { 1 } { q } \psi ^ { \prime } q ^ { \prime } + \frac { 1 } { 2 \psi } \left ( \psi ^ { \prime } \right ) ^ { 2 } \geq 0, \quad \ \ ( 1 0 ) \\ \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{cases}$$

as (10) is a quadratic form with ψ q 2 , 1 2 ψ ≥ 0 and discriminant 1 q 2 -4 ψ q 2 1 2 ψ ≤ 0 . And thirdly,

$$& \frac { \psi \left ( q ^ { \prime } \right ) ^ { 2 } } { 2 q ^ { 2 } } - \frac { 2 \psi \underline { u } _ { 1 } \underline { v } _ { 1 } } { 2 \sqrt { x _ { 1 } y _ { 1 } - \frac { 1 } { 2 } } q } = \frac { \psi } { 2 q ^ { 2 } } \frac { \left ( \underline { u } _ { 1 } y _ { 1 } + x _ { 1 } \underline { v } _ { 1 } \right ) ^ { 2 } } { 4 q ^ { 2 } } - \frac { 2 \psi \underline { u } _ { 1 } \underline { v } _ { 1 } } { 2 q ^ { 2 } } \\ & = \frac { \psi } { 2 q ^ { 2 } } \left ( \frac { y _ { 1 } ^ { 2 } } { 4 q ^ { 2 } } \underline { u } _ { 1 } ^ { 2 } + \frac { \underline { u } _ { 1 } y _ { 1 } x _ { 1 } \underline { v } _ { 1 } } { 2 q ^ { 2 } } - 2 \underline { u } _ { 1 } \underline { v } _ { 1 } + \frac { x _ { 1 } ^ { 2 } } { 4 q ^ { 2 } } \underline { v } _ { 1 } ^ { 2 } \right ) \geq 0, \\. \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdclots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \end{array}$$

because the quadratic form appearing in (11) satisfys y 2 1 4 q 2 , x 2 1 4 q 2 ≥ 0 hand has discriminant ( y x 1 1 2 q 2 -2 ) 2 -4 y 2 1 4 q 2 x 2 1 4 q 2 = -2 y x 1 1 q 2 + 4 ( x y 1 1 -1 2 ) q 2 = 2 y x 1 1 -2 q 2 ≤ 0 . Combining (8), (9), (10) and (11) yields ψ ′′ ≥ 0 . For the above argument we assumed ψ &gt; 0 , but when ψ = 0 then ψ ′′ = | ¯ u - | ¯ v 2 q ≥ 0 .

Now we can proceed with the proof of Theorem 2.

↦

Proof of Theorem 2. By rescaling the metric, we can assume κ = 1 . We fix two geodesics λ, µ : [0 , 1] → X . We can assume that not both of them are constant. We have to show that t → Φ( λ t , µ t ( ) ( )) is convex. For that, it is enough to show that for every t 0 ∈ (0 , 1) , there exists

a C 2 -function ¯ Φ defined on a neighborhood of t 0 such that Φ( ) · ≥ ¯ ( ) Φ · , ¯ ( Φ t 0 ) = Φ( t 0 ) , and ¯ Φ ( ′′ t 0 ) ≥ 0 .

¯ ( λ t 0 ) = λ t ( 0 ) = ˜; x ¯( µ t 0 ) = µ t ( 0 ) = ˜; y ∣ ∣ ¯ λ ′ ∣ ∣ = ∣ ∣ λ ′ ∣ ∣ = | λ ′ | ; | ¯ µ ′ | = ∣ ∣ µ ′ ∣ ∣ = | µ ′ | , and additionally assume that for t &gt; t 0 , λ t ( ) and µ t ( ) lie in the same hemisphere with respect to the great circle running through ˜ x and ˜ y . We introduce some notation. By λ t 0 + , we mean the restriction of λ to the interval [ t 0 , t + ) ε , and λ t 0 -is defined analogously. By ∠ x ( λ t 0 + , y ) , we mean the angle between λ t 0 + and the unique geodesic connecting x and y . This is defined analogously for all the above-mentioned geodesics and points. With this notation, we additionally require,

Let t 0 ∈ (0 , 1) be fixed. We set x := λ t ( 0 ) and y := µ t ( 0 ) , we can assume that they are not equal. We choose ˜ x, y ˜ ∈ S 2 1 / √ 2 such that ˜ x, y, ˜ and ˜ := (1 o , 0 0) , are the vertices of a comparison triangle corresponding to the points x, y, and o . We then choose geodesics ¯ λ, λ, µ, µ ¯ : ( t 0 -ε, t 0 + ) ε → S 2 1 √ 2 such that

$$\zeta _ { \tilde { x } } ( \bar { \lambda } _ { t _ { 0 } + }, \tilde { y } ) & = \zeta _ { x } ( \lambda _ { t _ { 0 } + }, y ) ; \quad \zeta _ { \tilde { y } } ( \bar { \mu } _ { t _ { 0 } + }, \tilde { x } ) = \zeta _ { y } ( \mu _ { t _ { 0 } + }, x ) ; \\ \zeta _ { \tilde { x } } ( \underline { \lambda } _ { t _ { 0 } + }, \tilde { o } ) & = \zeta _ { x } ( \lambda _ { t _ { 0 } + }, o ) ; \quad \zeta _ { \tilde { y } } ( \underline { \mu } _ { t _ { 0 } + }, \tilde { o } ) = \zeta _ { y } ( \mu _ { t _ { 0 } + }, o ),$$

if λ or µ respectively are non-constant, if they are constant, by the requirement on the speed, the same is true for the corresponding geodesics on the sphere.

Now for t ∈ ( t 0 -ε, t 0 + ) ε we define,

$$\Psi ( t ) & \coloneqq 1 - \cos d _ { X } ( \lambda ( t ), \mu ( t ) ), \, Q ( t ) \coloneqq \sqrt { \cos d _ { X } ( \lambda ( t ), o ) \cos d _ { X } ( \mu ( t ), o ) - \frac { 1 } { 2 } } \\ \Phi ( t ) & \coloneqq 1 - \cos d _ { X } ( \lambda ( t ), \mu ( t ) ), \, Q ( t ) \coloneqq \sqrt { \cos d _ { X } ( \lambda ( t ), o ) \cos d _ { X } ( \mu ( t ), o ) - \frac { 1 } { 2 } }$$

and

$$\underline { Q } ( t ) \coloneqq \sqrt { \cos d _ { S ^ { 2 } } ( \underline { \lambda } ( t ), \tilde { o } ) \cos d _ { S ^ { 2 } } ( \underline { \mu } ( t ), \tilde { o } ) - \frac { 1 } { 2 } }. \\ \text{is given the following way if } t > t _ { \sim } \text{ and } \lambda \text{ as well as } e \text{ are}$$

The function P t ( ) is given the following way, if t ≥ t 0 and λ as well as µ are nontrivial and we have that ∠ x ( λ t 0 + , y ) or ∠ y ( µ t 0 + , x ) is zero, we set

$$\overline { P } ( t ) \coloneqq 1 - \cos [ d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \tilde { y } ) + d _ { S ^ { 2 } } ( \tilde { x }, \bar { \mu } ( t ) ) - d _ { S ^ { 2 } } ( \tilde { x }, \tilde { y } ) ].$$

The same defintion is used in the case when t ≤ t 0 , λ and µ are nontrivial and ∠ x ( λ t 0 -, y ) or ∠ y ( µ t 0 -, x ) are zero. In all other cases we set

$$\overline { P } ( t ) \coloneqq 1 - \cos d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \bar { \mu } ( t ) ).$$

Now it is apparent that P t ( 0 ) = P t ( 0 ) and Q t ( 0 ) = Q t ( 0 ) . Furthermore, we have that P and Q are C 2 functions. In the case of P , this can be seen, for example, when ∠ x ( λ t 0 + , y ) &gt; 0 and ∠ y ( µ t 0 + , x ) = 0 , by using that,

$$& 1 - \cos d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \bar { \mu } ( t ) ) \\ & = 1 - \cos d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \tilde { y } ) \cos ( | \mu ^ { \prime } | t ) - \sin d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \tilde { y } ) \sin ( | \mu ^ { \prime } | t ) \,, \\ & 1 - \cos [ d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \tilde { y } ) + d _ { S ^ { 2 } } ( \bar { \mu } ( t ), \tilde { x } ) - d _ { S ^ { 2 } } ( \tilde { x }, \tilde { y } ) ], \\ & = 1 - \cos ( | \lambda ^ { \prime } | t ) \cos [ d _ { X } ( x, y ) - | \mu ^ { \prime } | t ] - \sin ( | \lambda ^ { \prime } | t ) \sin [ d _ { X } ( x, y ) - | \mu ^ { \prime } | t ] \cos \zeta _ { x } \, ( \lambda _ { t _ { 0 } + }, y ) \,.$$

$$= 1 - \cos \left ( | \lambda ^ { \prime } | \, t \right ) \cos \left [ d _ { X } ( x, y ) - | \mu ^ { \prime } | \, t \right ] - \sin \left ( | \lambda ^ { \prime } | \, t \right ) \sin \left [ d _ { X } ( x, y ) - | \mu ^ { \prime } | \, t \right ] \cos \zeta _ { x } \left ( \lambda _ { t _ { 0 } + }, y \right ).$$

and d / dt 2 2 ∣ ∣ t =0 cos d S 2 ( ¯ ( λ t , y ) ¯) = -| λ ′ | 2 cos d X ( x, y ) . Thus, by Lemma 1, we have that [ d 2 dt 2 P t ( ) Q t ( ) ] t = t 0 ≥ 0 . It remains to show that P ≥ P and Q ≤ Q on ( t 0 -ε, t 0 + ) ε .

$$d / \ d t | _ { t = 0 } \cos \dots _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \bar { y } ) = - \left | \lambda ^ { \prime } \right | \sin d _ { X } ( x, y ) \cos \zeta _ { x } \left ( \lambda _ { t _ { 0 } + }, y \right ) \\ \partial _ { T _ { 0 } + }, 2 1 \quad, \quad / \Delta _ { T _ { 0 } + }, \quad / \Delta _ { T _ { 0 } + }, \quad / \Delta _ { T _ { 0 } + }, \quad / \Delta _ { T _ { 0 } + }$$

We now establish that Q ≤ Q . By angle comparison and the construction of λ . Assuming that λ is non-constant, for t &gt; t 0 , we have,

$$\tilde { \zeta } _ { x } ( \lambda ( t ), o ) \geq \zeta _ { x } \left ( \lambda _ { t _ { 0 } + }, o \right ) = \tilde { \zeta } _ { \tilde { x } } ( \Delta ( t ), \tilde { o } ).$$

For t &lt; t 0 , by using the triangle inequality for angles, we have

$$\tilde { \zeta } _ { x } ( \lambda ( t ), o ) & \geq \zeta _ { x } \left ( \lambda _ { t _ { 0 } - }, o \right ) \\ & \geq \pi - \zeta _ { x } \left ( \lambda _ { t _ { 0 } + }, o \right ) = \tilde { \zeta } _ { \tilde { x } } ( \underline { \lambda } ( t ), \tilde { o } ) \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

Then, by (12) and (13), and using the spherical law of cosines, for all t ∈ ( t 0 -ε, t 0 + ) ε , we find that d X ( λ t , o ( ) ) ≥ d S 2 ( λ t , o ( ) ˜) and similarly, d X ( µ t , o ( ) ) ≥ d S 2 ( µ t , o ( ) ˜) , so together, we conclude that Q ≤ Q . Now, we show P ≥ P , we only consider the case for t &gt; t 0 , the case for t &lt; t 0 works analogously (similar as in 13). We consider three different cases.

If either λ or µ is constant, or if ∠ x ( λ t 0 + , y ) or ∠ y ( µ t 0 + , x ) equals π , then ∠ x ( λ t 0 + , µ ( )) t = ∠ x ( λ t 0 + , y ) or ∠ y ( λ t , µ ( ) t 0 + ) = ∠ y ( µ t 0 + , x ) . Consequently, by angle comparison and the construction of λ and µ , we have

$$d _ { X } ( \lambda ( t ), \mu ( t ) ) \geq d _ { S ^ { 2 } } ( \overline { \lambda } ( t ), \overline { \mu } ( t ) )$$

If ∠ x ( λ t 0 + , y ) , ∠ y ( µ t 0 + , x ) ∈ (0 , π ) , then, because λ t ( ) and µ t ( ) lie in the same hemisphere with respect to the great circle running through ˜ x and ˜ y , we have ˜ ∠ ˜ y ( µ t , x ( ) ˜) = ˜ ∠ ˜ y ( λ t , µ ( ) ( )) + t ˜ ∠ ˜ y ( λ t , x ( ) ˜) or ˜ ∠ ˜ x ( λ t , y ( ) ˜) = ˜ ∠ ˜ x ( λ t , µ ( ) ( )) + t ˜ ∠ ˜ x ( µ t , y ( ) ˜) , assuming the first one, then we have

$$\tilde { Z } _ { y } ( \lambda ( t ), \mu ( t ) ) \geq & \zeta _ { y } ( \lambda ( t ), \mu _ { t _ { 0 } + } ) \geq \zeta _ { y } ( \mu _ { t _ { 0 } + }, x ) - \zeta _ { y } ( \lambda ( t ), x ) \\ & = \zeta _ { y } ( \overline { \mu } ( t ), x ) - \zeta _ { y } ( \lambda ( t ), x ) = \zeta _ { \tilde { y } } ( \overline { \lambda } ( t ), \overline { \mu } ( t ) ) + \zeta _ { \tilde { y } } ( \overline { \lambda } ( t ), \tilde { x } ) - \zeta _ { y } ( \lambda ( t ), x ) \quad ( 1 4 ) \\.$$

If ∠ y ( µ t 0 + , x ) or ∠ x ( λ t 0 + , y ) is zero, assume this for the first one, then

Now, because ∠ ˜ x ( λ t 0 + , y ˜ ) = ∠ x ( λ t 0 + , y ) and | λ ′ | = | λ ′ | , we have that ˜ x , λ t ( ) , and ˜ y are the vertices of a comparison triangle of x , λ t ( ) , and y . Therefore, ∠ ˜ y ( λ t , x ( ) ˜) ≥ ∠ y ( λ t , x ( ) ) , so by (14) we have d X ( λ t , µ t ( ) ( )) ≥ d S 2 ( λ t , µ ( ) ( )) t .

$$d ( \lambda ( t ), \mu ( t ) ) & \geq d ( \lambda ( t ), y ) - d ( \mu ( t ), y ) \\ & \geq d _ { S ^ { 2 } } ( \bar { \lambda } ( t ), \tilde { y } ) + d _ { S ^ { 2 } } ( \bar { \mu } ( t ), \tilde { x } ) - d _ { S ^ { 2 } } ( \tilde { x }, \tilde { y } ) \\ & \quad \, _ { - }$$

So all three cases together imply P ≥ ¯ P , which also concludes the proof.

## 4 Barycenters in CAT ( κ ) -spaces

Let ( X,d X ) be a metric space. In the following, for p ∈ [1 , ∞ ) , we will denote by P p ( X ) the set of all Borel probability measures on X with finite p -th moment, i.e., for all µ ∈ P p ( X ) , we have ´ d z, x ( ) p dµ x ( ) &lt; ∞ for some z ∈ X , and therefore for any z ∈ X and by P &lt; ∞ ( X ) we denote the set of all probability measures of finite support. For µ , µ 1 2 ∈ P p ( X ) , we denote by Π( µ , µ 1 2 ) the set of all measures µ ∈ P p ( X × X ) with marginals µ 1 and µ 2 . The set P p ( X ) is equipped with the Wasserstein p metric, defined by W µ ,µ p ( 1 2 ) = inf µ ∈ Π( µ ,µ 1 2 ) ( ´ d X ( x, y ) p dµ x, y ( ) ) 1 /p .

## 4.1 Barycenters and Jensen's inequality

The goal of this subsection is to define barycenters and prove basic properties, which will lead to Jensen's inequality for barycenters. Barycenters have been discussed, for example, in the context of CAT (0) spaces in [28], and for uniformly convex metric spaces (i.e., spaces satisfying inequality

3) in [11]. The results and proofs presented in this subsection are versions of the results and proofs from those sources, unless stated otherwise.

We focus on barycenters in CAT ( κ ) spaces with diameter smaller than D / κ 2 . Although barycenters can be defined in open balls of radius D κ (see [29]), we limit our discussion to the former case because the uniform convexity inequality 3 imposes this restriction.

Proposition 1 (Barycenter) . Fix n ∈ N . For i ∈ { 1 , . . . , n } with κ i ≥ 0 , let ( X , d i X i ) be a complete CAT ( κ i ) space with diam( X i ) ≤ D κ ,/epsilon1 i / 2 .Set κ = max i κ i and denote by ( X,d X ) the complete CAT ( κ ) space defined by X = ∏ n i =1 X i and d X = √ ∑ n i =1 d 2 X i . Consider µ ∈ P 2 ( X ) , the function

↦

$$z \mapsto \int d ( z, x ) ^ { 2 } d \mu ( x )$$

admits a unique minimizer B ( µ ) ∈ X , called the barycenter of µ . Furthermore, we have B ( µ ) = ( B ( µ 1 ) , . . . , B ( µ n )) , where µ i ∈ P 2 ( X i ) is the i -th marginal of µ .

Proof. Let ( z n ) be a sequence in X such that

$$\lim _ { n \to \infty } \int d _ { X } ( z _ { n }, x ) ^ { 2 } d \mu ( x ) = \inf _ { z \in X } \int d _ { X } ( z, x ) ^ { 2 } d \mu ( x ). \\. \pi \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

For each n, m ∈ N , denote by z n,m the geodesic midpoint between z n and z m . Because each of the factors satisfies the convexity condition 3, there exists k &gt; 0 s.t.

$$\intertext { a v o i o s o u n c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e c o n v e } } d _ { X } \left ( x, z _ { n, m } \right ) ^ { 2 } & \leq \frac { 1 } { 2 } \left ( d _ { X } \left ( x, z _ { n } \right ) ^ { 2 } + d _ { X } \left ( x, z _ { m } \right ) ^ { 2 } \right ) - \frac { k } { 8 } d _ { X } \left ( z _ { n }, z _ { m } \right ) ^ { 2 }, \quad \forall x \in X. \quad \quad \ \ ( 1 5 ) \\ \text{From} \left ( 1 5 \right ) & \text{we have},$$

From (15) we have,

$$\inf _ { z \in X } \int d _ { X } ( z, x ) ^ { 2 } d \mu ( x ) \leq \int d _ { X } \left ( x, z _ { n, m } \right ) ^ { 2 } d \mu ( x ) \\ \leq \frac { 1 } { 2 } \int \left ( d _ { X } \left ( x, z _ { n } \right ) ^ { 2 } + d _ { X } \left ( x, z _ { m } \right ) ^ { 2 } \right ) d \mu ( x ) - \frac { k } { 8 } d _ { X } \left ( z _ { n }, z _ { m } \right ) ^ { 2 }, \\ \text{and therefore}$$

and therefore

$$& \text{and therefore} \\ & \frac { k } { 8 } d _ { X } \left ( z _ { n }, z _ { m } \right ) ^ { 2 } \leq \frac { 1 } { 2 } \left ( \int d _ { X } \left ( x, z _ { n } \right ) ^ { 2 } + \int d _ { X } \left ( x, z _ { m } \right ) ^ { 2 } d \mu ( x ) \right ) \\ & \quad - \inf _ { z \in X } \int d _ { X } ( z, x ) ^ { 2 } d \mu ( x ) \to 0 \text{ as } n, m \to \infty, \\ & \text{because } ( X. d _ { X } ) \text{ is complete. the existence of } \mathcal { B } ( \mu ) \in X \text{ follows. For the uniqueness. consider}$$

↦

because ( X,d X ) is complete, the existence of B ( µ ) ∈ X follows. For the uniqueness, consider z , z 1 2 ∈ X , two different minimizers of z → ´ d z, x ( ) 2 dµ x ( ) , and denote by z 1 2 , a geodesic midpoint between z 1 and z 2 . Then

$$\text{succeeds $v_{1}$} \, \max _ { \sim } \, \max _ { \sim } \\ \int d _ { X } ( z _ { 1 }, x ) ^ { 2 } d \mu ( x ) \leq & \int d _ { X } \, ( x, z _ { 1, 2 } ) ^ { 2 } \, d \mu ( x ) \\ < & \frac { 1 } { 2 } \int \left ( d _ { X } \, ( x, z _ { 1 } ) ^ { 2 } + d _ { X } \, ( x, z _ { 2 } ) ^ { 2 } \right ) d \mu ( x ) - \frac { k } { 8 } d _ { X } \, ( z _ { 1 }, z _ { 2 } ) ^ { 2 } \,, \\ \text{which implies the uniqueness. Finally, for any $z \in X$ we have}$$

which implies the uniqueness. Finally, for any z ∈ X we have

$$\text{$mqmappingmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapping} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \, \text{$mqmapped} \\ \text{$\int} _ { X } d _ { X } ( z, x ) ^ { 2 } d \mu ( x ) = \sum _ { i = 1 } ^ { n } \int _ { X _ { i } } d _ { X _ { i } } \left ( \mathfrak { B } \left ( \mu _ { i } \right ), x \right ) ^ { 2 } d \mu _ { i } ( x ) = \int _ { X } d _ { X } \left ( \left ( \mathfrak { B } \left ( \mu _ { i } \right ), \dots, \mathfrak { B } \left ( \mu _ { i n } \right ) \right ), x \right ) ^ { 2 } d \mu ( x ), \\ \text{by uniqueness of barycenters, it follows $\mathfrak { B } ( \mu ) = \left ( \mathfrak { B } ( \mu _ { 1 } ), \dots, \mathfrak { B } ( \mu _ { n } ) \right ). } \text{$\square$}$$

by uniqueness of barycenters, it follows B ( µ ) = ( B ( µ 1 ) , . . . , B ( µ n )) .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00564v2-figure-7df022c4-8b19-4ca9-932a-0c42266a3c86.jpg)

We now introduce orthogonal projections. The second part of the following proposition is adapted from [4] (II.2.4).

Proposition 2 (orthogonal projection) . Fix n ∈ N . For each i ∈ { 1 , . . . , n } and κ i ≥ 0 , let ( X , d i X i ) be a complete CAT ( κ i ) space with diam( X i ) ≤ D κ ,/epsilon1 i / 2 . Set κ = max i κ i and denote by ( X,d X ) the complete CAT ( κ ) space given by X = ∏ n i =1 X i and d X = √ ∑ n i =1 d 2 X i . Consider a closed convex subset C ⊂ X :

- 1. For each x ∈ X , there exists a unique point π x ( ) ∈ C such that d X ( x, π ( x )) = d x, C ( ) := inf y ∈ C d X ( x, y ) .
- 2. When x / C ∈ and y ∈ C , if y = π x ( ) then ∠ π x ( ) ( x, y ) ≥ π/ 2 .

/negationslash

The mapping π : X → C is called the orthogonal projection.

Proof. For the first point, fix x ∈ X and let ( z n ) be a sequence in C such that

$$\lim _ { n \to \infty } d _ { X } ( z _ { n }, x ) = \inf _ { y \in C } d _ { X } ( y, x ).$$

For each n, m ∈ N , denote by z n,m the geodesic midpoint between z n and z m . As C is convex, we have z n,m ∈ C . Because each of the factors satisfies the convexity condition 3, there exists k &gt; 0 such that

$$d ( x, C ) ^ { 2 } \leq d _ { X } \left ( x, z _ { n, m } \right ) ^ { 2 } \leq \frac { 1 } { 2 } \left ( d _ { X } \left ( x, z _ { n } \right ) ^ { 2 } + d _ { X } \left ( x, z _ { m } \right ) ^ { 2 } \right ) - \frac { k } { 8 } d _ { X } \left ( z _ { n }, z _ { m } \right ) ^ { 2 }, \quad \ \ ( 1 6 ) \\ \text{This implies that } ( z _ {. } ) \text{ is a Canchv sequence and } b v \text{ completeness. we have the existence of } \pi ( x ) \in C.$$

This implies that ( z n ) is a Cauchy sequence and by completeness, we have the existence of π x ( ) ∈ C . For the uniqueness, consider y , y 1 2 ∈ C such that d X ( z , x 1 ) = d X ( z , x 2 ) = inf y ∈ X d X ( y, x ) . Denote by z 1 2 , the geodesic midpoint between z 1 and z 2 , then

$$d ( x, y _ { 1 } ) ^ { 2 } \leq d _ { X } \left ( x, z _ { n, m } \right ) ^ { 2 } \leq \frac { 1 } { 2 } \left ( d _ { X } \left ( x, y _ { 1 } \right ) ^ { 2 } + d _ { X } \left ( x, y _ { 2 } \right ) ^ { 2 } \right ) - \frac { k } { 8 } d _ { X } \left ( y _ { 1 }, y _ { 2 } \right ) ^ { 2 }, \\ \text{which implies the uniqueness of $\pi(x)$}.$$

which implies the uniqueness of π x ( ) .

For the second point, if ∠ π x ( ) ( x, y ) were less than π/ 2 , then there would be x ′ ∈ [ π x , x ( ) ] and y ′ ∈ [ π x , y ( ) ] such that the comparison angle ¯ ∠ π x ( ) ( x , y ′ ′ ) would be smaller than π/ 2 . But then there is p ∈ [ π x , x ( ) ′ ] such that d X ( x , p ′ ) ≤ d M 2 ( κ ) ( ¯ x , p ′ ¯) &lt; d M 2 ( κ ) ( ¯ x , π ′ ¯ ) ( x ) = d X ( x , π ′ ( x )) = d X ( x , π ′ ( x ′ )) , which contradicts d X ( x , π ′ ( x ′ )) = inf y ∈ C d X ( y, x ′ ) .

Barycenters always lie within the closed convex hull of the support of the corresponding measure.

Proposition 3. Fix n ∈ N . For i ∈ { 1 , . . . , n } with κ i ≥ 0 , let ( X , d i X i ) be a complete CAT ( κ i ) space with diam( X i ) ≤ D κ ,/epsilon1 i / 2 . Set κ = max i κ i and denote by ( X,d X ) the complete CAT ( κ ) space defined by X = ∏ n i =1 X i and d X = √ ∑ n i =1 d 2 X i . For any µ ∈ P 2 ( X ) , we have

$$\mathfrak { B } ( \mu ) \in \overline { \text{conv} } ( \text{supp} ( \mu ) ),$$

where conv(supp( µ )) denotes the smallest closed convex subset of X which contains supp( µ ) .

/negationslash

Proof. Assume B ( µ ) / ∈ conv(supp( µ )) . Then, when π is the orthogonal projection onto conv(supp( µ )) , as in Proposition 2, we have B ( µ ) = π ( B ( µ )) and ∠ π ( B ( µ )) ( B ( µ , x ) ) ≥ π/ 2 , for any x ∈ supp( µ ) . Therefore, by angle comparison, also the corresponding angle in M 2 ( κ ) satisfies ¯ ∠ π ( B ( µ )) ( B ( µ , x ) ) ≥ π/ 2 .

- 1. Now, for κ ≤ 0 , by the Euclidean law of cosines, we have

$$d _ { X } ( \mathfrak { B } ( \mu ), x ) ^ { 2 } \geq d _ { X } ( x, \pi ( \mathfrak { B } ( \mu ) ) ) ^ { 2 } + d _ { X } ( \pi ( \mathfrak { B } ( \mu ) ), \mathfrak { B } ( \mu ) ) ^ { 2 },$$

2. and for κ &gt; 0 (assume w.l.o.g. κ = 1 ), by the spherical law of cosines,

$$\cos ( d _ { X } ( \mathfrak { B } ( \mu ), x ) ) \leq \cos ( d _ { X } ( x, \pi ( \mathfrak { B } ( \mu ) ) ) ) \cos ( d _ { X } ( \pi ( \mathfrak { B } ( \mu ) ), \mathfrak { B } ( \mu ) ) ).$$

So, in both cases, we have d X ( B ( µ , x ) ) ≥ d X ( x, π ( B ( µ ))) , which implies

$$\int d _ { X } ( z, x ) ^ { 2 } d \mu ( x ) \geq \int d _ { X } ( \mathfrak { B } ( \mu ), x ) ^ { 2 } d \mu ( x ) \geq \int d _ { X } ( x, \pi ( \mathfrak { B } ( \mu ) ) ) ^ { 2 } d \mu ( x ) \quad \forall z \in X,$$

/negationslash so π ( B ( µ )) is a barycenter of µ and B ( µ ) = π ( B ( µ )) , but this is a contradiction to the fact that barycenters are unique.

We conclude this subsection by presenting the proof of Jensen's inequality for barycenters.

Theorem 3 (Jensen's inequality) . Fix n ∈ N . For i ∈ { 1 , . . . , n } with κ i ≥ 0 , let ( X , d i X i ) be a complete CAT ( κ i ) space with diam( X i ) ≤ D κ ,/epsilon1 i / 2 . Set κ = max i κ i and denote by ( X,d X ) the complete CAT ( κ ) space defined by X = ∏ n i =1 X i and d X = √ ∑ n i =1 d 2 X i . Consider µ ∈ P 2 ( X ) and let ϕ ∈ L 1 ( µ ) be a lower semi-continuous convex function. Then

$$\varphi \left ( \mathfrak { B } ( \mu ) \right ) \leq \int \varphi ( x ) d \mu ( x ).$$

Proof. Consider ̂ ϕ : X → X × R defined by ̂ ϕ x ( ) := ( x, ϕ x ( )) and ˆ := µ ̂ ϕ µ ∗ ∈ P 2 ( X × R ) , then we have

$$\mathfrak { B } ( \hat { \mu } ) = ( \mathfrak { B } ( \mu ), \mathfrak { B } ( \varphi _ { * } \mu ) ) = ( \mathfrak { B } ( \mu ), \int \varphi ( x ) d \mu ( x ) )$$

We now show that B (ˆ) µ lies in the epigraph X ϕ := { ( x, t ) ∈ X × R | ϕ x ( ) ≤ } t . The epigraph X ϕ is a closed convex subset of X × R . For the convexity, consider a geodesic ˆ : [0 γ , 1] → X × R connecting ( x , s 0 0 ) and ( x , s 1 1 ) , then ˆ( ) = ( γ t γ t , ( ) (1 -t ) s 0 + ts 1 ) for some geodesic γ : [0 , 1] → X between x 0 and x 1 , then because ϕ is convex

$$\varphi ( \gamma ( t ) ) \leq ( 1 - t ) \varphi ( \gamma ( 0 ) ) + t \varphi ( \gamma ( 1 ) ) \leq ( 1 - t ) s _ { 0 } + t s _ { 1 } \ \forall t \in [ 0, 1 ].$$

For the closedness, consider a sequence (( x , s n n )) in X ϕ which converges to ( x, s ) ∈ X × R , then because ϕ is lower semi-continuous ϕ x ( ) ≤ lim inf n →∞ ϕ x ( n ) ≤ s . We also have that supp(ˆ) µ ⊂ X ϕ ⊂ X × R =: ˆ X , because

$$\hat { \mu } \left ( \hat { X } \nwarrow X _ { \varphi } \right ) = \int 1 _ { \hat { X } \nwarrow X _ { \varphi } } ( x, \varphi ( x ) ) d \mu ( x ) = \int 1 _ { \{ \varphi ( x ) > \varphi ( x ) \} } d \mu ( x ) = 0, \\ \intertext { c o n e $ X $ is closed and convev $ t o n a t h o r $ with $P r o n o c i t $ 3 $ it fAllow that $ \mathfrak R ( \hat { \lambda } \nwarrow \in \overline { \overline { c o n e } } ) $ } \,.$$

so because X ϕ is closed and convex, together with Proposition 3, it follows that B (ˆ) µ ∈ conv(supp(ˆ)) µ ⊂ X ϕ , together with (17) this implies the claim.

## 4.2 The generalized variance inequality and Lipschitz continuity of the barycenter map

We begin by presenting a preliminary lemma which will be needed for proving the generalized variance inequality.

Lemma 2. Fix κ ∈ R and let ( X,d X ) be a complete CAT ( κ ) space with diam( X ) ≤ D κ,/epsilon1 / 2 . Consider µ ∈ P 2 ( X ) and for any x ∈ X a geodesic γ x : [0 , 1] -→ X connecting x and B ( µ ) , then we have

Proof. Fix z ∈ X and denote by γ µ ∗ the measure ( γ ( ) · ( 1 2 )) ∗ µ . Then, we have

$$\cdots _ { \sigma } \wedge \cdots \wedge \cdots _ { \sigma } \wedge \cdots \wedge \cdots \wedge \cdots _ { \sigma } \wedge \cdots _ { \sigma } \cdots \\ \mathfrak { B } ( \mu ) = \mathfrak { B } \left ( \left ( \gamma _ { ( \cdot ) } \left ( \frac { 1 } { 2 } \right ) \right ) _ { * } \mu \right ). \\ \intertext { h w } \wedge \cdots \cdots \text{tho mocoomma } \left ( \wedge \cdots \left ( \underline { 1 } \wedge \cdots \right ) \cdots \text{thom }$$

$$\text{Proof. Fix } z \in X \text{ and denote by } \gamma _ { * } \mu \text{ the measure } \left ( \gamma _ { ( \cdot ) } \left ( \frac { 1 } { 2 } \right ) \right ) _ { * } \mu. \text{ Then, we have} \\ \int d _ { X } ( z, x ) ^ { 2 } d \mu ( x ) \geq \int d _ { X } ( \mathfrak { B } ( \mu ), x ) ^ { 2 } d \mu ( x ) = \int 4 d _ { X } \left ( \mathfrak { B } ( \mu ), \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } d \mu ( x ) \\ = 2 \int d _ { X } \left ( \mathfrak { B } ( \mu ), \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } d \mu ( x ) + 2 \int d _ { X } \left ( \gamma _ { x } \left ( \frac { 1 } { 2 } \right ), x \right ) ^ { 2 } d \mu ( x ) \\ \geq 2 \int d _ { X } \left ( \mathfrak { B } \left ( \gamma _ { * } \mu \right ), \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } d \mu ( x ) + 2 \int d _ { X } \left ( \gamma _ { x } \left ( \frac { 1 } { 2 } \right ), x \right ) ^ { 2 } d \mu ( x ) \\ = 4 \int \frac { 1 } { 2 } d _ { X } \left ( \mathfrak { B } \left ( \gamma _ { * } \mu \right ), \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } + \frac { 1 } { 2 } d _ { X } \left ( \gamma _ { x } \left ( \frac { 1 } { 2 } \right ), x \right ) ^ { 2 } d \mu ( x ) \\ \geq 4 \int \frac { 1 } { 4 } d _ { X } \left ( \mathfrak { B } \left ( \gamma _ { * } \mu \right ), x \right ) ^ { 2 } d \mu ( x ) = \int d _ { X } \left ( \mathfrak { B } \left ( \gamma _ { * } \mu \right ), x \right ) ^ { 2 } d \mu ( x ), \\ \text{where the last inequality is a consequence of the triangle inequality.  By the uniqueness of barycen-} ters.  the claim follows. } \quad \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{  \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{} \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{$$

where the last inequality is a consequence of the triangle inequality. By the uniqueness of barycenters, the claim follows.

↦

We now turn our attention to the generalized variance inequality. The term 'generalized' is used because the variance inequality is already well-established in the context of CAT (0) spaces (see, for example, Proposition 4.4 in [28]). Our proof is inspired by the proof of Lemma 3.1 in [3]. These sources have demonstrated this fact for 2 -uniformly convex Banach spaces, where the barycenter map is defined as µ → ´ xdµ x ( ) . Before proceeding with the proof of the generalized variance inequality, we want to mention that, just as the uniform convexity condition (3), Theorem (4) can also be adapted to a ball of radius D κ,ε / 2 in a CAT ( κ ) space, at the expense that the arbitrary point z must be replaced by the midpoint of the ball.

Theorem 4 (generalized variance inequality) . Fix κ ∈ R and let ( X,d X ) be a complete CAT ( κ ) space with diam( X ) ≤ D κ,/epsilon1 / 2 . Consider µ ∈ P 2 ( X ) , then

$$\int d ( z, x ) ^ { 2 } d \mu ( x ) \geq d ( z, \mathfrak { B } ( \mu ) ) ^ { 2 } + \frac { k } { 2 } \int d ( \mathfrak { B } ( \mu ), x ) ^ { 2 } d \mu ( x ) \quad \forall z \in X,$$

where k = k ε = ( π -επ ) tan ( ε π 2 ) if κ &gt; 0 , and k = 2 if κ ≤ 0

Proof. Fix z ∈ X . Because of 2 resp. 3, we have that d z, ( · ) 2 is a convex lower semi-continuous function. Therefore, by Jensen's inequality 3, the following infimum exists,

/negationslash

So, for any φ &gt; θ , there exists µ 0 ∈ P 2 ( X ) such that

$$\text{unm. inereive, you even is amazing,} \\ \theta & = \inf \left \{ \frac { \int d ( z, x ) ^ { 2 } d \mu ( x ) - d ( z, \mathfrak { B } ( \mu ) ) ^ { 2 } } { \int d ( x, \mathfrak { B } ( \mu ) ) ^ { 2 } d \mu ( x ) } \, \colon \mu \in \mathcal { P } _ { 2 } ( X ) \, \text{s.t. } \mu \neq \delta _ { x } \quad \forall x \in X \right \}. \\ \text{So, for any} \, \phi & > \theta, \, \text{there exists} \, \mu _ { 0 } \in \mathcal { P } _ { 2 } ( X ) \, \text{such that}$$

$$\phi \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } d \mu _ { 0 } ( x ) > \int d \left ( z, x \right ) ^ { 2 } d \mu _ { 0 } ( x ) - d ( z, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 }.$$

Also, for any x ∈ X , consider a geodesic γ x : [0 , 1] → X connecting γ x (0) = x and γ x (1) = B ( µ 0 ) . Then, we have

$$\Phi, \, \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Psi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phis \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \ Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi
\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Psilon \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phie \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \psilon \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\Psi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phis\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \phie \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phis
\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi\Phis\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phis\Phis\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Psi \Phis\Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Phi \Ph$$

Now, we denote by γ µ ∗ 0 the measure ( γ ( ) · ( 1 2 )) ∗ µ 0 . Combining (18) and (19) together with Lemma 2 yields

$$\psi \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ) \\ > & \, 2 \left ( \int d \left ( z, \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } d \mu _ { 0 } ( x ) - d ( z, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \right ) + \frac { k } { 4 } \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ) \\ = & \, 2 \left ( \int d \left ( z, \gamma _ { x } \left ( \frac { 1 } { 2 } \right ) \right ) ^ { 2 } d \mu _ { 0 } ( x ) - d ( z, \mathfrak { B } ( \gamma _ { * } \mu _ { 0 } ) ) ^ { 2 } \right ) + \frac { k } { 4 } \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ) \\ \geq & \, 2 \theta \int d \left ( \gamma _ { x } \left ( \frac { 1 } { 2 } \right ), \mathfrak { B } ( \mu _ { 0 } ) \right ) ^ { 2 } d \mu _ { 0 } ( x ) + \frac { k } { 4 } \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ) \\ = & \, \frac { \theta } { 2 } \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ) + \frac { k } { 4 } \int d ( x, \mathfrak { B } ( \mu _ { 0 } ) ) ^ { 2 } \, d \mu _ { 0 } ( x ). \\ \text{Therefore, for any } \phi > \theta, \, \text{it holds that } \phi > \left ( \frac { \theta } { 2 } + \frac { k } { 4 } \right ), \, \text{which implies } \theta \geq \frac { k } { 2 }.$$

Therefore, for any φ &gt; θ , it holds that φ &gt; ( θ 2 + k 4 ) , which implies θ ≥ k 2 .

The barycenter map on CAT (0) spaces is 1 -Lipschitz on the corresponding Wasserstein 2 space. Even more we have the following fact. We repeat the argument from [28] (Thm. 6.3).

Proposition 4. Let ( X,d X ) be a complete CAT (0) space and µ , µ 1 2 ∈ P 2 ( X ) , then

$$d _ { X } ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) \leq W _ { 1 } ( \mu _ { 1 }, \mu _ { 2 } ) \leq W _ { 2 } ( \mu _ { 1 }, \mu _ { 2 } ).$$

Proof. Fix µ ∈ P 2 ( X × X ) with marginals µ 1 and µ 2 . Now because d X : X × X → R is convex (see e.g. Cor. 2.5 in [28]) by Jensen's inequality 3 we have

$$d _ { X } ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) = d _ { X } ( \mathfrak { B } ( \mu ) ) \leq \int d _ { X } ( x, y ) d \mu ( x, y ),$$

which implies the claim.

We emphasize the Lipschitz continuity on the Wasserstein 2 space because this is what we need for our goal of proving Theorem 6. Now we observe that this property is also true in the case of positive upper curvature bounds, by employing our convex 'replacement' of the squared distance function from section 3.

Theorem 5. Fix κ &gt; 0 , and let ( X,d X ) be a complete CAT ( κ ) -space. Suppose B = B r ( o ) is a closed ball in X with radius r ≤ D κ,ε / 4 , centered at o ∈ X . There exists Γ ε &gt; 0 such that, for any µ , µ 1 2 ∈ P 2 ( B ) we have that

$$d _ { X } ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) \leq \Gamma _ { \varepsilon } W _ { 2 } ( \mu _ { 1 }, \mu _ { 2 } ),$$

where Γ ε = π 2 √ 2 cos ( ( (1 -ε ) π 2 )) 1 / 4 .

Proof. Fix µ ∈ P 2 ( B × B ) with marginals µ 1 and µ 2 . By Theorem 2, the function Φ : B × B → [0 , ∞ ) given by is convex. Therefore, by Jensen's inequality 3, we have

$$\Phi ( x, y ) = \frac { 1 - \cos _ { \kappa } d _ { X } ( x, y ) } { \sqrt { \cos _ { \kappa } d _ { X } ( x, o ) \cos _ { \kappa } d _ { X } ( y, o ) - \frac { 1 } { 2 } } } \\ \intertext {, by Jensen's inequality 3, we have }$$

$$\Phi ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) = \Phi ( \mathfrak { B } ( \mu ) ) \leq \int \Phi ( x, y ) \, d \mu ( x, y ).$$

Now, inequality (20) implies

$$\sqrt { 2 } [ 1 - \cos _ { \kappa } d _ { X } ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) ] \leq \frac { 1 } { \sqrt { \cos ^ { 2 } ( ( 1 - \varepsilon ) \frac { \pi } { 4 } ) - \frac { 1 } { 2 } } } \int 1 - \cos _ { \kappa } d _ { X } ( x, y ) \, d \mu ( x, y ) \quad \ ( 2 1 ) \\ \text{Bv using 2} \, \cos ^ { 2 } ( x ) - 1 = \cos ( 2 x ) \text{ and } \stackrel { 4 } { \to } < \frac { 1 - \cos ( x ) } { \to } < \frac { 1 } { \to } \text{ for all } x \in ( 0. \, \frac { \pi } { \omega }!. \, \text{ we have that}$$

By using 2 cos 2 ( x ) -1 = cos(2 x ) and 4 π 2 ≤ 1 -cos( x ) x 2 ≤ 1 2 for all x ∈ (0 , π 2 ] , we have that

$$\frac { 4 } { \pi ^ { 2 } } d _ { X } ( \mathfrak { B } ( \mu _ { 1 } ), \mathfrak { B } ( \mu _ { 2 } ) ) ^ { 2 } & \leq \frac { 1 } { 2 \sqrt { \cos ( ( 1 - \varepsilon ) \frac { \pi } { 2 } ) } } \int d _ { X } ( x, y ) ^ { 2 } \, d \mu ( x, y ), \\ \text{ich implies the claim.}$$

which implies the claim.

## 5 Metric Markov Cotype and Lipschitz extensions

We fix the following nomenclature for n ∈ N and π ∈ ∆ n -1 , where ∆ n -1 is the n -1 -dimensional simplex { x ∈ [0 , 1] n : ∑ n i =1 x i = 1 } . A stochastic matrix A = ( a ij ) ∈ M n ( R ) is reversible relative to the probability vector π if π a i ij = π a j ji for all i, j ∈ 1 , . . . , n .

Definition 2 (Markov Type) . A metric space ( X,d X ) is said to have Markov type p ∈ (0 , ∞ ) with constant M ∈ (0 , ∞ ) if for every n, t ∈ N and every π ∈ ∆ n -1 if A = ( a ij ) ∈ M n ( R ) is a stochastic matrix that is reversible relative to π , then for any x , . . . , x 1 n ∈ X , the following inequality holds,

$$\sum _ { i = 1 } ^ { n } \sum _ { j = 1 } ^ { n } \pi _ { i } \left ( A ^ { t } \right ) _ { i j } d _ { X } \left ( x _ { i }, x _ { j } \right ) ^ { p } \leqslant M ^ { p } t \sum _ { i = 1 } ^ { n } \sum _ { j = 1 } ^ { n } \pi _ { i } a _ { i j } d _ { X } \left ( x _ { i }, x _ { j } \right ) ^ { p }. \\ \intertext { i n u m a m o n t h o c o n } \, t h o c o n \, M \sim \partial \sim \partial _ { i n o d t o d h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m t h o m m m t h o m m t h o m m t h o m m t h o m m m t h o m m t h o m m t h o m m t h o m m t h o m m m t h o m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m m t h o m m m t h o m m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m n m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m n t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t h o m m m t i n u m m \,.$$

The infimum over those M ∈ (0 , ∞ ) is denoted by M X p ( ) .

By the triangle inequality, every metric space has Markov type 1. For p ∈ [1 , 2] , it was shown in [3] (Prop. 1.4) that L p spaces have Markov type p . Additionally, [22] demonstrated that 2 -uniformly smooth Banach spaces have Markov type 2, particularly L p spaces with p ∈ [2 , ∞ ) . By [26], Alexandrov spaces of nonnegative curvature have Markov type 2. In [6], it was shown that spaces admitting a padded random partition have Markov type 2 (see section 3.3 of [6] for a definition), which includes planar graphs, as shown in [23], and spaces of finite Nagata dimension (see e.g. in the introduction of [12] for a definition). This dimensionality condition is satisfied, for example, by certain Gromov hyperbolic spaces (see e.g. [12] Prop. 3.5) and doubling metric spaces (see e.g. [12] Lemma 2.3), and thus particularly n -point spaces.

In [3], Ball introduced the notion of Markov cotype for metric spaces. Later, Mendel and Naor provided a seemingly different definition in [20], but they showed in [19] that these two notions, in fact, coincide. The following is the latter version of Markov cotype.

Definition 3 (Metric Markov Cotype) . A metric space ( X,d X ) is said to have metric Markov cotype p ∈ (0 , ∞ ) with constant N ∈ (0 , ∞ ) if for every n, t ∈ N , every π ∈ ∆ n -1 and every stochastic matrix A = ( a ij ) ∈ M n ( R ) that is reversible relative to π then for every x , . . . , x 1 n ∈ X there exist y , . . . , y 1 n ∈ X satisfying,

$$\ n e t { \ e a v o n y } _ { 1 }, \dots, y _ { n } \in \Lambda _ { \ } s u u o _ { J } y n y, \\ \sum _ { i = 1 } ^ { n } \pi _ { i } d _ { X } \left ( x _ { i }, y _ { i } \right ) ^ { p } + t \sum _ { i = 1 } ^ { n } \sum _ { j = 1 } ^ { n } \pi _ { i } a _ { i j } d _ { X } \left ( y _ { i }, y _ { j } \right ) ^ { p } \\ \leqslant N ^ { p } \sum _ { i = 1 } ^ { n } \sum _ { j = 1 } ^ { n } \pi _ { i } \left ( \frac { 1 } { t } \sum _ { s = 1 } ^ { t } A ^ { s } \right ) _ { i j } d _ { X } \left ( x _ { i }, x _ { j } \right ) ^ { p }. \\ \intertext { The infimum over those } N \in ( 0, \infty ) \text{ is denoted } N _ { p } ( X ).$$

The infimum over those N ∈ (0 , ∞ ) is denoted N p ( X ) .

## 5.1 Metric Markov Cotype for CAT ( κ ) -spaces

In Theorem 1.5 of [19], it was shown that any metric space admitting a barycenter map that satisfies the generalized variance inequality with a general exponent q ∈ [1 , ∞ ) (there such spaces are referred to as q -barycentric) and that is Lipschitz continuous on the Wasserstein p space, possesses metric Markov Cotype p . Thus, by Theorem 4 and Theorem 5 resp. 4 we have the following.

Theorem 6. Fix κ ∈ R . Then, any closed ball of radius less than or equal to D κ,ε / 4 in a complete CAT ( κ ) space has metric Markov cotype 2.

More specifically, the proof of Theorem 1.5 in [19] demonstrates that for κ ∈ R , a closed ball B r of radius r ≤ D κ,ε / 4 in a complete CAT ( κ ) space has Markov cotype 2 constant N 2 ( B r ) ≤ ( 16Γ 2 2 k +1 ) , where

$$\Gamma & = \begin{cases} 1 & \quad \cdot \cdot \cdot & \quad \cdot \\ \frac { \pi } { 2 \sqrt { 2 } ( \cos ( ( 1 - \varepsilon ) \frac { \pi } { 2 } ) ) ^ { 1 / 4 } } & \text{if $\kappa>0$}, \end{cases}$$

Note that the bound on N 2 ( ¯ B r ) can be chosen independently of κ , however it can be improved if one restricts to the case κ ≤ 0 . It is worth mentioning that, in addition to metric Markov cotype, there is another metric version of Rademacher cotype, known as metric cotype, which was introduced in [18]. In [8], it was shown that the generalized variance inequality implies metric cotype 2, thereby demonstrating that CAT (0) spaces possess metric cotype. This result can be easily generalized using the fact that the Euclidean cone over a CAT (1) space is a CAT (0) space (see, for example, Chapter II.3.14 in [4]) and the observation that a bounded CAT (1) space can be bi-Lipschitz embedded into its Euclidean cone.

$$\Gamma & = \begin{cases} 1 & \text{if $\kappa \leq 0$} \\ \frac { \pi } { 2 \sqrt { 2 } \left ( \cos \left ( ( 1 - \varepsilon ) \frac { \pi } { 2 } \right ) \right ) ^ { 1 / 4 } } & \text{if $\kappa > 0$}, \end{cases} \\ k & = \begin{cases} 2 & \text{if $\kappa \leq 0$} \\ \left ( \pi - \varepsilon \pi \right ) \tan \left ( \varepsilon \frac { \pi } { 2 } \right ) & \text{if $\kappa > 0$}. \end{cases} \\ N _ { 2 } \left ( \bar { B } _ { r } \right ) \, \text{can be chosen independently of $\kappa$, how} \\ \text{se $\kappa \leq 0$.\ \, } \, \text{$t$ is worth mentioning that, in ad} \end{cases}$$

Barycenters enable us to define martingales valued in nonlinear target spaces. To demonstrate how the generalized variance inequality leads to Theorem 6, we provide a definition and statement of a nonlinear martingale inequality. This inequality is the main tool used to establish Thm. 1.5 in [19]. The definition presented below is adapted from [19].

Definition 4 (Martingale) . Fix κ ∈ R and let ( X,d X ) be a complete CAT ( κ ) space of diam( X ) ≤ D κ,/epsilon1 / 2 , let Ω be a finite set and µ : 2 Ω → [0 , 1] a probability measure of full support, i.e., µ ( { ω } ) &gt; 0 for every ω ∈ Ω .

- 1. Let F ⊆ 2 Ω be a σ -algebra. For each ω ∈ Ω , define F ( ω ) ⊆ Ω to be the unique atom in F that contains ω . Given a function Z : Ω → X , its µ -conditional barycenter is denoted by B µ ( Z | F ) : Ω → X and is defined by

$$\mathfrak { s t } \to \Lambda \ a n a \text{ is a jej n e a } \mathfrak { v } \\ \mathfrak { B } _ { \mu } ( Z \ | \ \mathcal { F } ) ( \omega ) & = \mathfrak { B } \left ( \frac { 1 } { \mu ( \mathcal { F } ( \omega ) ) } \sum _ { a \in \mathcal { F } ( \omega ) } \mu ( a ) \delta _ { Z ( a ) } \right ). \\ \intertext { n d } \sigma \text{-alabebras } \mathcal { F } _ { n } \subset \mathcal { F } _ { 1 } \subset \dots \subset \mathcal { F } _ { n } \subset 2 ^ { \Omega }. \ \ W e s a u \ \text{that a sequence}.$$

2. Fix n ∈ N and σ -algebras F 0 ⊆ F 1 ⊆ . . . ⊆ F n ⊆ 2 Ω . We say that a sequence of mappings { Z i : Ω → X } n i =0 is a µ -martingale with respect to the filtration {F } i n i =0 if

$$\mathfrak { B } _ { \mu } \left ( Z _ { i } \, \right | \, \mathcal { F } _ { i - 1 } \right ) = Z _ { i - 1 }, \quad \forall i \in \{ 1, \dots, n \}.$$

The following inequality is a nonlinear version of a martingale inequality originally proven by Pisier in [27] for martingales taking values in uniformly convex Banach spaces. It was extended in Lemma 2.1 of [19] to martingales as previously described, which take values in q -barycentric metric spaces. Therefore, this inequality is a consequence of the generalized variance inequality.

Theorem 7 (Pisier's inequality) . Fix κ ∈ R and let ( X,d X ) be a complete CAT ( κ ) space of diam( X ) ≤ D κ,/epsilon1 / 2 . Suppose that µ is a probability measure of full support on a finite set Ω and that { Z i : Ω → X } n i =0 is a µ -martingale with respect to a filtration F 0 ⊆ F 1 ⊆ . . . ⊆ F n ⊆ 2 Ω . Then,

$$\frac { k } { 2 } \sum _ { i = 1 } ^ { n } \int _ { \Omega } d _ { X } \left ( Z _ { i }, Z _ { i - 1 } \right ) ^ { 2 } \, \mathrm d \mu \leq \int _ { \Omega } d _ { X } \left ( Z _ { n }, z \right ) ^ { 2 } \, \mathrm d \mu - \int _ { \Omega } d _ { X } \left ( Z _ { 0 }, z \right ) ^ { 2 } \, \mathrm d \mu \quad \forall z \in X, \\.. \colon \dots \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{matrix}$$

## 5.2 Lipschitz extensions

where k = k ε = ( π -επ ) tan ( ε π 2 ) if κ &gt; 0 , and k = 2 if κ ≤ 0

Now we turn our attention to proving Theorem 1. This is a consequence of the following theorem because Alexandrov spaces of nonnegative curvature ( X,d X ) exhibit Markov type 2 with M X 2 ( ) /lessorsimilar 1 , as demonstrated in [26].

Theorem 8. For ε ∈ (0 , 1) and κ ∈ R , there exists a constant C κ,ε ≥ 1 such that, for a metric space ( X,d X ) of Markov type 2 and a complete CAT ( κ ) space ( Y, d Y ) , the following holds. Given a subset Z ⊂ X and a Lipschitz function f : Z → Y with Lipschitz constant ‖ f ‖ Lip , assume there is a point o ∈ X such that f ( Z ) ⊂ B r ( o ) with r ≤ D κ,ε / 4 . Then, there exists a Lipschitz extension ¯ : f X → Y of f with Lipschitz constant ‖ ¯ f ‖ Lip ≤ C κ,ε ‖ f ‖ Lip .

In addition to Theorem 1, Theorem 8 also facilitates the extension of Lipschitz maps defined on domains that admit a padded random partition (see section 3.3 of [6] for a definition). However, the radius of the ball in 8 can be increased for such spaces. According to [15] (see section 1.3), when the domain admits a padded random partition, Lipschitz extensions can be found when the target space is a metric space that admits a barycenter map i.e. it sends each probability measure to a point in the space and maps Dirac deltas to the corresponding points, that is Lipschitz continuous with respect to the total variation norm. This property holds in an open ball in a CAT ( κ ) space of radius smaller than D / κ 2 because there exists a Lipschitz continuous barycenter map with respect to the Wassersteinp distance for some p &gt; 2 , as shown by Proposition 24 in [29] and the Wassersteinp distance on a bounded set can be controlled by the total variation norm (see, e.g., [9]). When the domain in Theorem 8 is a 2 -uniformly smooth Banach space, this yields a Lipschitz extension result that, to the best of our knowledge, has not been previously addressed in the literature.

The proof of Theorem 8 is based on a generalized version of Ball's extension theorem by Mendel and Naor, as detailed in [19] (Thm. 1.11). This theorem facilitates Lipschitz extensions to finitely many points, with a bound on the Lipschitz constant that is independent of the chosen points.

Theorem 9 (generalized Ball extension theorem)) . Fix p ∈ [1 , ∞ ) . Let ( X,d X ) be a metric space of Markov type p and let ( Y, d Y ) be a metric space of metric Markov cotype p which admits a barycenter map B : ( P &lt; ∞ ( Y ) , W p ) → Y (i.e B ( δ x ) = x , for every x ∈ Y ) that is Lipschitz continuous with constant Γ ≥ 1 . Suppose that Z ⊆ X and f : Z → Y is Lipschitz. Then for every finite subset S ⊆ X there exists ¯ : f S → Y with ¯ f ∣ ∣ S ∩ Z = f | S ∩ Z and

$$\| \bar { f } \| _ { \text{Lip} } \lesssim \Gamma M _ { p } ( X ) N _ { p } ( Y ) \| f \| _ { L i p } \,.$$

In order to progress from Theorem 9 to 8 we need to repeat a few facts about ultralimits. Those facts can be found, for example, in Chapter 10 of [7]. Let I be as e a set and ω a non-principal ultrafilter on I i.e a finitely additive measure ω : 2 I → { 0 1 , } such that ω I ( ) = 1 and ω F ( ) = 0 for every finite subset F of I . For a topological space Y and a function f : I → Y the ω -limit denoted by ω -lim i f ( ) i is defined to be a point y ∈ Y such that for every neighborhood U of y , we have ω f ( -1 U ) = 1 . The point y is called the ultralimit of the function f . If Y is compact then the ω -limit exists and if Y is also Hausdorff then it is unique.

↦

Given a collection of metric spaces ( X , d i X i ) i ∈ I , the ultralimit is defined in the following manner. Let ∏ i X i be the product of the sets X i . We define the distance between two points ( x i ) , ( y i ) ∈ ∏ i X i by d ω (( x i ) , ( y i )) := ω -lim ( i i → d X i ( x , y i i )) ,

The function d ω is a pseudo-distance taking values within the compact space [0 , ∞ ] . The ultralimit ( X ,d ω ω ) is formed by identifying all points within ∏ i X i that have zero d ω distance. For an indexed family of points ( x i ) i I we denote the equivalence class of these points as x ω .

∈ If the spaces X i do not have uniformly bounded diameters, the ultralimit X ω divides into several components, each containing points at finite distances from one another. To isolate one of these components, we introduce specific base-points e i within each X i . This based or pointed metric space, will be denoted by ( X , d i X i , e i ) . The collection ( e i ) gives a base-point e = e ω within X ω , we define

$$X _ { \omega, e } \coloneqq \left \{ x _ { \omega } \in X _ { \omega } \ | \ d _ { \omega } \left ( x _ { \omega }, e _ { \omega } \right ) < \infty \right \}, \\.. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.. \.. \........................................................................................................................................................................................................$$

and denote the based ultralimit by ( X ω, e , d ω , e ω ) . In the following we will omit the e from the notation.

When each X i is identical to some Y , for all indices i , the resulting ultralimit ( X ,d ω ω ) is referred to as a constant ultralimit. We have the following examples of constant ultralimits. If Y is compact then the ultralimit of X i = Y is isometric to Y . The same is true when we set X i = R n when considering a sequence of base-points e i in R n , the ultralimit ( X ,d ,e ω ω ω ) is isometric to ( R n , | · | , 0) .

Given geodesics in X i , the corresponding ultralimit yields geodesics in X ω . Those geodesics are called limit geodesics. Generally, these need not be the only geodesics in X ω . However, when X i is a small enough CAT ( κ ) space they are. The following lemma is a version of Lemma 10.53 in [7], where this was proven in the case κ ≤ 0 . This assumption ensures that geodesics in the corresponding spaceform are unique. However, since we restrict the diameter of our spaces of interest, the same argument is applicable in the more general setting.

Lemma 3. Fix κ ∈ R , and let ( X,d X ) be a CAT ( κ ) space. For o ∈ X , let B r ( o ) be a closed ball of radius r ≤ D κ,ε / 2 , and consider the pointed metric space ( B r ( o , d ) X , o ) . Then, the corresponding constant ultralimit ( X ,d ,o ω ω ω ) is a pointed CAT ( κ ) space with d ω ( o ω , x ω ) ≤ r for all x ω ∈ X ω .

Proof. It is evident that d ω ( o ω , x ω ) ≤ r for all x ω ∈ X ω , and that comparison inequalities applicable to geodesic triangles in ¯ B r ( o ) also apply to corresponding limit triangles in X ω . The task now is to demonstrate that X ω constitutes a uniquely geodesic metric space, where each geodesic segment in X ω represents a limit geodesic.

Fix x ω , y ω ∈ X ω . Suppose that z ω is a point on a geodesic connecting x ω and y ω , or equivalently

$$d _ { \omega } ( x _ { \omega }, z _ { \omega } ) + d _ { \omega } ( z _ { \omega }, y _ { \omega } ) = d _ { \omega } ( x _ { \omega }, y _ { \omega } ),$$

Then, we have that ω -almost surely d X i ( x , z i i ) + d X i ( z , y i i ) = d X i ( x , y i i ) . Consider the point q i ∈ [ x , y i i ] such that

$$d _ { X _ { i } } ( x _ { i }, z _ { i } ) = d _ { X _ { i } } ( x _ { i }, q _ { i } ) \text{ and } d _ { X _ { i } } ( z _ { i }, y _ { i } ) = d _ { X _ { i } } ( q _ { i }, y _ { i } ).$$

Take a triangle ∆( x , q , y i i i ) and the corresponding comparison triangle ˜ ∆( ˜ x , q , y i ˜ i ˜ i ) in M 2 ( κ ) . Since geodesics are unique in a ball of radius r in M 2 ( κ ) , we have

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00564v2-figure-18147f28-e584-4eb1-8c4e-dde482dc549c.jpg)

ω -lim d X i ( z , q i i ) ≤ ω -lim d M 2 ( κ ) ( ˜ z , q i ˜ i ) = 0 , and therefore z ω = q ω , which implies that the only geodesics in X ω are limit geodesics.

We are now able to prove Theorem 8.

Proof of Theorem 8. Consider ε ∈ (0 , 1) and set C ε := Γ(16Γ 2 2 k +1) with Γ = π 2 √ 2 cos ( ( (1 -ε ) π 2 )) 1 / 4 and k = ( π -επ ) tan ( ε π 2 ) . Let ( X,d X ) be a metric space of Markov type 2 and ( Y, d Y ) a complete CAT ( κ ) space with κ ∈ R . Consider any subset Z ⊂ X and a Lipschitz map f : Z → Y such that there exists a point o ∈ Y with f ( Z ) ⊂ B r ( o ) where r ≤ D κ,ε / 4 .

Let ω be a non-principal ultrafilter on I , and let ( Y , d ω ω , e ω ) be the constant ultralimit corresponding to ¯ B r ( o ) with e i = f ( z ) for a fixed z ∈ Z . We choose a function ¯ : f X → Y ω s.t ¯ ( f x ) i = ¯ f i ∪ z ( x ) when x ∈ i and ¯ ( f x ) i = f ( x ) when x ∈ Z . Because for each x, y ∈ X and any neighborhood of d ω ( ¯ ( f x , f ) ¯ ( y )) , there exists some i ∈ I containing x and y , such that the distance d f ( ¯ ( i x , f ) ¯ ( i y )) lies in the neighborhood, ¯ f is Lipschitz with ‖ ¯ f ‖ Lip /lessorsimilar C M ε 2 ( X ) ‖ f ‖ Lip .

Let I be the set of finite subsets of X . Now because by Theorem 6 B r ( o ) has Markov cotype 2 together with Theorem 5 by Theorem 9 we have that for each i ∈ I there exists a function ¯ : f i i → B r ( o ) which extends f and ‖ ¯ f i ‖ Lip /lessorsimilar C M ε 2 ( X ) ‖ f ‖ Lip .

↦

Now Y ω is a CAT ( κ ) space with d ω ( e ω , y ω ) ≤ r for all y ω ∈ Y ω , by Lemma 3 and because ¯ B r ( o ) is a convex subset of Y ω via the embedding y → ( y ) i ∈ I , there is 1 -Lipschitz retraction π : Y ω → ¯ B r ( o ) . For κ ≤ 0 , π is given by the orthogonal projection (see e.g. [4] II. 2.4 for the fact that it is 1-Lipschitz) and when κ &gt; 0 then it was shown in [16] that such a map also exists. Now π ◦ ¯ f extends f and ‖ π ◦ ¯ f ‖ Lip /lessorsimilar C M ε 2 ( X ) ‖ f ‖ Lip .

Acknowledgments. This work is based on the author's master's thesis conducted at the University of Bonn under the supervision of Karl-Theodor Sturm. The author wishes to express gratitude for his valuable discussions and continuous support. The author also extends thanks to Manor Mendel for his insightful discussions.

## References

- [1] Stephanie Alexander, Vitali Kapovitch, and Anton Petrunin. Alexandrov meets kirszbraun. arXiv preprint arXiv:1012.5636 , 2010.
- [2] K. Ball, E. A. Carlen, and E. H. Lieb. Sharp uniform convexity and smoothness inequalities for trace norms. Inventiones Mathematicae , 115:463-482, 1994.
- [3] Keith Ball. Markov chains, riesz transforms and lipschitz maps. Geometric &amp; Functional Analysis GAFA , 2(2):137-172, 1992.
- [4] Martin R Bridson and André Haefliger. Metric spaces of non-positive curvature , volume 319. Springer Science &amp; Business Media, 2013.
- [5] Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry , volume 33. American Mathematical Society, 2022.
- [6] Jian Ding, James R Lee, and Yuval Peres. Markov type and threshold embeddings. Geometric and Functional Analysis , 23(4):1207-1229, 2013.
- [7] Cornelia Druţu and Michael Kapovich. Geometric group theory , volume 63. American Mathematical Soc., 2018.
- [8] Alexandros Eskenazis, Manor Mendel, and Assaf Naor. Nonpositive curvature is not coarsely universal. Inventiones mathematicae , 217:833-886, 2019.
- [9] Alison L Gibbs and Francis Edward Su. On choosing and bounding probability metrics. International statistical review , 70(3):419-435, 2002.
- [10] Wilfrid S Kendall. Convexity and the hemisphere. Journal of the London Mathematical Society , 2(3):567-576, 1991.

- [11] Kazuhiro Kuwae. Jensen's inequality on convex spaces. Calculus of Variations and Partial Differential Equations , 49(3-4):1359-1378, 2014.
- [12] U. Lang and T. Schlichenmaier. Nagata dimension, quasisymmetric embeddings, and lipschitz extensions. International Mathematics Research Notices , (58):3625-3655, 2005.
- [13] Urs Lang and Conrad Plaut. Bilipschitz embeddings of metric spaces into space forms. Geometriae Dedicata , 87:285-307, 2001.
- [14] Urs Lang and Viktor Schroeder. Kirszbraun's theorem and metric spaces of bounded curvature. Geometric &amp; Functional Analysis GAFA , 7(3):535-560, 1997.
- [15] James R Lee and Assaf Naor. Extending lipschitz functions via random metric partitions. Inventiones mathematicae , 160(1):59-95, 2005.
- [16] Alexander Lytchak and Anton Petrunin. Short retractions of cat (1) spaces. arXiv preprint arXiv:2002.09762 , 2020.
- [17] Bernard Maurey. Un théoreme de prolongement. CR Acad. Sci. Paris Sér. A , 279:329-332, 1974.
- [18] Manor Mendel and Assaf Naor. Metric cotype. Annals of Mathematics , pages 247-298, 2008.
- [19] Manor Mendel and Assaf Naor. Spectral calculus and lipschitz extension for barycentric metric spaces. Analysis and Geometry in Metric Spaces , 1:163-199, 2013.
- [20] Manor Mendel and Assaf Naor. Nonlinear spectral calculus and super-expanders. Publications mathématiques de l'IHÉS , 119:1-95, 2014.
- [21] A. Naor, Y. Peres, O. Schramm, and S. Sheffield. Markov chains in smooth banach spaces and gromov-hyperbolic metric spaces. Duke Mathematical Journal , 134(1):165-197, 2006.
- [22] A. Naor, Y. Peres, O. Schramm, and S. Sheffield. Markov chains in smooth banach spaces and gromov-hyperbolic metric spaces. Duke Mathematical Journal , 134(1):165-197, 2006.
- [23] A. Naor and L. Silberman. Poincaré inequalities, embeddings, and wild groups. Compositio Mathematica , 147(5):1546-1572, 2011.
- [24] Assaf Naor. An introduction to the ribe program. Japanese Journal of Mathematics , 7:167233, 2012.
- [25] Shin-ichi Ohta. Convexities of metric spaces. Geometriae Dedicata , 125:225-250, 2007.
- [26] Shin-Ichi Ohta. Markov type of alexandrov spaces of non-negative curvature. Mathematika , 55(1-2):177-189, 2009.
- [27] Gilles Pisier. Martingales with values in uniformly convex spaces. Israel Journal of Mathematics , 20:326-350, 1975.
- [28] Karl-Theodor Sturm. Probability measures on metric spaces of nonpositive curvature. In Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 2002) , 338:357-390, 2003.
- [29] Takumi Yokota. Convex functions and barycenter on cat (1)-spaces of small radii. Journal of the Mathematical Society of Japan , 68(3):1297-1323, 2016.
Sebastian Gietl
Lipschitz extensions from spaces of nonnegative curvature into CAT(1) spaces
We prove that complete $\text{CAT}(\kappa)$ spaces of sufficiently small
radii possess metric Markov cotype 2. This generalizes the previously known
result for complete $\text{CAT}(0)$ spaces. The generalization involves
extending the variance inequality known for barycenters in $\text{CAT}(0)$
spaces to an inequality analogous to one for $2$-uniformly convex Banach
spaces, and demonstrating that the barycenter map on such spaces is Lipschitz
continuous on the corresponding Wasserstein 2 space. By utilizing the
generalized Ball extension theorem by Mendel and Naor, we obtain an extension
result for Lipschitz maps from Alexandrov spaces of nonnegative curvature into
$\text{CAT}(\kappa)$ spaces whose image is contained in a subspace of
sufficiently small radius, thereby weakening the curvature assumption in the
well-known Lipschitz extension theorem for Alexandrov spaces by Lang and
Schr\"oder.