On the Geometry of Wasserstein Barycenter II: Riemannian Rigidity, Essential Non-Branching, and Finsler Models
Wasserstein barycenters provide a notion of weighted mean for probability measures on a metric space. We prove that the barycenter curvature-dimension condition ${\rm BCD}(K,N)$ is equivalent to ${\rm RCD}(K,N)$ for $K\in \mathbb R$ and $1<N<\infty$. This gives a new characterization of Riemannian curvature-dimension spaces by entropy inequalities at barycenters of finite families of measures. As a byproduct, we introduce an almost ${\rm BCD}$ condition that allows an additive error in the entropy inequality. It is stable under measured Gromov-Hausdorff convergence and implies essential…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.19564
curl -X POST /api/v1/records/arxiv/2609.19564/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19564/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'