A Brenier-Strassen Theorem on CAT(kappa) Spaces
We extend the Brenier-Strassen theorem about projections in convex order to non-flat spaces with curvature bounded from above. Precisely, for probability measures $μ$, $ν$ of finite second moment on a complete separable CAT(0) space, we prove that $μ$ admits a unique W 2 -projection \barμ to the set of probability measures dominated by $ν$ in convex order. Moreover, the unique optimal coupling from $μ$ to \barμ is induced by a 1-Lipschitz map, without any absolute-continuity assumption on $μ$. Our proof identifies the projection problem with a weak optimal transport problem whose cost is the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.26671
curl -X POST /api/v1/records/arxiv/2607.26671/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.26671/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'