Pith. sign in

REVIEW 2 major objections 4 minor 38 references

A Brenier-Strassen Theorem on CAT(kappa) Spaces

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On complete separable CAT(0) spaces, every probability measure has a unique Wasserstein projection onto the set of convex-order-dominated measures, and the optimal transport from μ to its projection is always given by a 1-Lipschitz map.

desk verdict A genuine CAT(0)/CAT(κ) extension of the Brenier–Strassen projection theorem, with a plausible proof chain; worth refereeing carefully. read the letter →

arxiv 2607.26671 v1 pith:DE6C3REM submitted 2026-07-29 math.FA math.MGmath.PR

Nathael Gozlan (MAP5 - UMR 8145) , Hugo Malamut (MAP5 - UMR 8145) , Shin-Ichi Ohta (UOsaka) This is my paper · ORCID
classification math.FAmath.MGmath.PR MSC 49Q2260E1553C2360G48
keywords CAT(κ)spacesconvexorderWassersteinprojectionoptimaltransportbarycentermeansweakbarycentricmartingales
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper extends the classical Brenier–Strassen theorem—about projecting a probability measure onto the set of measures dominated by another in convex order—from flat Euclidean space to spaces with curvature bounded above. On any complete separable CAT(0) space, the authors prove that the projection exists, is unique, and is realized by an optimal transport plan that is always deterministic: a single 1-Lipschitz transport map, with no absolute-continuity assumption on the source measure. The proof proceeds by identifying the projection problem with a weak optimal transport problem whose cost is the squared distance from a point to the set of convex means of a measure, and by establishing a strong duality with convex potentials. A localized version holds on CAT(κ) spaces with positive curvature, where the optimal map is 1/2-Hölder continuous. As a by-product, the paper gives a Strassen-type characterization of one-step barycentric martingales on proper CAT(0) spaces.

What carries the argument

The key object is the set C(p) of convex means of a probability measure p—the points x such that δ_x ≤_cvx p. The central mechanism is the weak optimal transport cost c(x,p)=d²(x,C(p)), which is continuous and convex in p on CAT(κ) spaces (locally for κ>0), and the identification min_{η≤_cvx ν} W2²(μ,η) = min_{p: μp=ν} ∫ d²(x,C(p_x)) μ(dx) = max_f ∫ Qf dμ − ∫ f dν, where Qf(x)=inf_y {f(y)+d²(x,y)} is the infimal convolution with squared distance. This equivalence turns the projection problem into a dual convex optimization problem, and the k-convexity of the squared distance (k=2 for κ=0; k=2√κ ε/tan(√κ ε) locally for κ>0) yields the regularity of the optimal map.

What would settle it

Take the round sphere of radius 1/√κ as a CAT(κ) space, let ν be uniform on the equator and μ a Dirac mass at the north pole, so the diameter bound in (2.1) is exactly at the boundary ε = π/(2√κ); compute the projection of μ onto {η ≤_cvx ν}. If the projection is not unique or the optimal map is not 1/2-Hölder, the localization condition is shown to be sharp.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for any μ,ν in P2(E) on a complete separable CAT(0) space, there exists a unique ar μ ≤_cvx ν with W2²(μ,ar μ)=inf_{η≤_cvx ν} W2²(μ,η), and there is a unique W2-optimal transport plan from μ to ar μ, induced by a 1-Lipschitz transport map T defined on the support of μ. The structural Theorem 2 recasts the projection problem as a weak optimal transport problem with cost c(x,p)=d²(x,C(p)), where C(p) is the closed convex set of convex means of p, and shows that the optimal map is simultaneously the metric projection of x onto C(p_x), the proximal operator of an optimal convex potential f, and the unique optimal transport map from μ to ar μ. The same duality hold

Load-bearing premise

For positive curvature, the whole argument rests on the condition that the support of ν lies in a closed convex set D with all pairwise distances between supp μ and D strictly less than π/(2√κ); if that fails, the key k-convexity of the squared distance and the compactness arguments break down.

Editorial extensions

If this is right

  • The set of measures dominated by ν in convex order is a Chebyshev set in the Wasserstein space P2(E): every μ has a unique nearest point in it.
  • The nearest-point map is deterministic and 1-Lipschitz even when μ is singular, extending Brenier's theorem beyond absolute continuity.
  • The strong duality gives a computable dual formulation: the squared projection distance equals sup over convex potentials f of ∫ Qf dμ − ∫ f dν.
  • A Pythagorean inequality W2²(μ,ν) ≥ W2²(μ,ar μ) + W2²(ar μ,ν) and non-expansiveness W2(ar μ1,ar μ2) ≤ W2(μ1,μ2) hold for the convex-order projection.
  • On proper CAT(0) spaces, existence of a barycentric martingale (in the Sturm sense) between μ and ν is characterized by the barycentric envelope inequality ∫ bar(f) dμ ≤ ∫ f dν for all admissible l.s.c. functions f.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof suggests that the convex-order projection can be computed by solving a weak optimal transport problem, which may lead to practical algorithms for sampling and dimension reduction in Hadamard spaces.
  • The sharpness of the localization condition (2.1) is worth testing: if supports are allowed to approach distance Dκ/2 on a sphere, the Hölder exponent may degrade or the optimal map may fail to exist, delineating the true boundary of the theorem.
  • The 1-Lipschitz regularity of the projection map on CAT(0) spaces gives a curved analogue of Caffarelli's contraction theorem, potentially transferring concentration inequalities from ν to μ.
  • The barycentric martingale characterization may open the way to martingale optimal transport on CAT(0) spaces, with applications in robust finance in non-Euclidean state spaces.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper establishes a non-Euclidean analogue of the Brenier–Strassen theorem. For a complete separable CAT(0) space E and μ,ν∈P2(E), it proves existence and uniqueness of the W2-projection μbar of μ onto {η≤cvxν}, and shows that the unique optimal plan from μ to μbar is induced by a 1-Lipschitz map, with no absolute-continuity assumption. The proof recasts the projection as a weak optimal transport problem with cost c(x,p)=d²(x,C(p)), establishes weak-OT duality, and then uses CAT(κ) comparison geometry to prove uniqueness and regularity. For κ>0, a localized version under condition (2.1) yields a 1/2-Hölder optimal map. A Strassen-type characterization of one-step barycentric martingales on proper CAT(0) spaces is also given.

Significance. If correct, this is a substantial advance: it transfers the Gozlan–Juillet Euclidean theory to spaces with curvature bounded above, with clean statements and explicit constants. The central CAT(0) theorem is internally consistent and the proof is mostly self-contained, relying on recent weak-OT duality [8] and on known comparison tools (Reshetnyak quadruple comparison, Kuwae/Yokota barycenter results). The paper is honest about its scope: the κ>0 results require the support restriction (2.1). It also includes a useful Strassen-type result for barycentric martingales. The main technical gaps are local and fixable: a terse verification of the hypotheses of [8] and an omitted measurability proof for the transport map T.

major comments (2)
  1. [§2.4, proof of Theorem 2.1] The argument invokes [8, Theorem 1.2] and states that conditions (B)/(C) are satisfied, but the conditions are not stated. Please state the hypotheses of [8] and verify them explicitly. In particular, explain why continuity and convexity of c from Proposition 2.2 imply condition (C), and confirm that the displayed growth bound on p. 13 is exactly condition (B). Since this is the foundation for existence of the optimal kernel and the duality formula, the verification should not be left to the reader.
  2. [§2.4, definition of T after (2.7)] Measurability of the map T is asserted with 'details are left to the reader.' This is load-bearing because \bar μ=T#μ and the optimal plan are defined through T. Please add a short proof: by measurability of the kernel x↦p_x and Proposition 2.4, the map x↦C(p_x) is measurable into closed convex sets with the Hausdorff topology; by Lemma A.1 the metric projection (K,x)↦P_Kx is jointly continuous, so T is measurable. Alternatively, use the Lusin–Novikov theorem on the graph of C(p_x).
minor comments (4)
  1. [Theorem 2 (Introduction)] The symbol D appears in the definition of Qf(x):=inf_{y∈D}... but D has not been defined. For κ=0 it should be D=E; please correct.
  2. [§3.2, proof of Theorem 1] 'A is dense inside the support of μ' deserves a one-sentence justification (any open set meeting supp μ has positive μ-measure, so a full-measure subset must intersect it).
  3. [§2.4, uniqueness of the optimal plan] The gluing argument used to construct (Z,X0,X1) is omitted; please include a sentence explaining the standard construction.
  4. [Lemma 1.3(2)] The use of [38, Theorem A] on the product space requires a brief justification that the product B×B falls under the hypotheses of [38].

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the CAT(0) projection theorem is derived from external weak-OT duality and geometric comparison, not from its own conclusion; self-citations are contextual.

full rationale

The central derivation is self-contained: Theorem 2.1 is proved by checking conditions (B) and (C) of the external weak-optimal-transport duality theorem [8, Theorem 1.2], then algebraically reducing Q_c f to the convex-envelope expression Q f (Section 2.4). The inequality T_c(μ,ν) ≤ inf_{η≤cvxν} W2²(μ,η) is obtained by testing with convex l.s.c. f and using the definition of convex order; the reverse inequality is obtained by pushing μ forward by the metric projection onto C(p_x), whose defining property is δ_{T(x)} ≤cvx p_x. Neither direction assumes the theorem being proved. Uniqueness of μbar and T uses k-convexity of d² (Lemma 1.2 / (1.1)) and a midpoint argument, not the Euclidean ancestor [24]. The 1-Lipschitz property follows from Proposition 3.1 plus Reshetnyak's quadruple comparison. Theorem 4.4 is likewise derived from external duality [4] with a nonnegative cost whose zero set is exactly 'x is the barycenter'. The self-citations to [24], [26], and [32] are contextual or standard geometric facts: [24] is the result being generalized, [26] supplies the weak-transport framework also covered by external references, and [32] is a standard CAT(κ) convexity estimate that does not assume the target theorem. No fitted parameter is renamed as a prediction; the κ>0 restriction (2.1) is an explicit scope condition, not a hidden input. Omitted details (measurability of T, 'details are left to the reader') and reliance on the external preprint [8] are correctness/rigor soft spots, not circularity.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No fitted constants: constants k=2√κ ε/tan(√κ ε), C=(C0/c0)^{1/m} diam(D)^{(m-1)/m}, α=1/m in Proposition 2.4 are explicit in κ, ε and known constants from [38]. The quantity ε_{μ,ν} is defined from the measures, not fitted. No new entities are postulated; the convex-mean set C(p) and barycentric envelope bar(f) are definitions or extensions of existing notions.

assumptions (8)
  • standard math CAT(κ) comparison geometry: geodesic triangles are no thicker than model triangles, with unique geodesics for distances < Dκ
    Used throughout; for unique continuous geodesics in Lemma 2.6 and Appendix A, and for comparison estimates in Proposition 3.1 (see [11]).
  • standard math Barycenter existence/uniqueness and Jensen's inequality for l.s.c. convex functions (global for CAT(0), local for CAT(κ))
    Ensures C(p) is nonempty and closed, and gives the contraction estimate (1.6); invoked in Theorem 1.4 and Section 1.3.3 via [36], [30], [38].
  • standard math Fundamental Theorem of Weak Optimal Transport: existence of optimizers and Kantorovich duality for continuous costs that are convex in the second variable
    The backbone of Theorem 2.1 (Eq. (2.4)) and Section 4 duality; cited from [8, Theorem 1.2] and [4, Theorems 1.2, 1.3].
  • standard math Local k-convexity of squared distance: for CAT(κ), κ>0, d²(z,·) is k-convex on balls of radius < Dκ/2
    Lemma 1.2; supplies the strict convexity k used in uniqueness and in Hölder regularity estimates.
  • standard math Existence of a jointly convex function Φ with c0 d^m ≤ Φ ≤ C0 d^m on balls of radius < Dκ/2
    Used in Lemma 1.3(2) and Proposition 2.4 to get Hölder stability of convex means; from Yokota [38, Theorem A] and Jäger–Kaul/Kendall.
  • standard math Reshetnyak quadruple comparison / convexity of squared distance in CAT(0) spaces
    Used in the proof of Theorem 1 to pass from the monotonicity inequality to the 1-Lipschitz bound; see [36, Prop. 2.4].
  • domain assumption Locality condition (2.1) for κ>0: supp ν ⊂ D and sup_{x∈supp μ, y∈D} d(x,y) < π/(2√κ)
    Required for local convexity tools; absent in κ=0. It confines Theorems 2.1, 3.4, and 2.9 to measures whose supports are close.
  • domain assumption Properness of E (closed balls compact) in Section 4
    Used in Lemma 4.3 to apply Prokhorov compactness; Section 4 results are stated on proper CAT(0) spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Brenier-Strassen Theorem on CAT(kappa) Spaces." pith.science (2026). https://pith.science/paper/DE6C3REM

@misc{pith2026260726671,
  author       = {Pith},
  title        = {Pith review of: A Brenier-Strassen Theorem on CAT(kappa) Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DE6C3REM}},
  note         = {Machine review of arXiv:2607.26671}
}
abstract

We extend the Brenier-Strassen theorem about projections in convex order to non-flat spaces with curvature bounded from above. Precisely, for probability measures $\mu$, $\nu$ of finite second moment on a complete separable CAT(0) space, we prove that $\mu$ admits a unique W 2 -projection \bar{\mu} to the set of probability measures dominated by $\nu$ in convex order. Moreover, the unique optimal coupling from $\mu$ to \bar{\mu} is induced by a 1-Lipschitz map, without any absolute-continuity assumption on $\mu$. Our proof identifies the projection problem with a weak optimal transport problem whose cost is the squared distance to the set of convex means. We also establish a localized version on CAT(kappa) spaces with kappa \geq 0, where the optimal map is 1/2-H{\"o}lder continuous. Finally, we give a Strassen-type characterization of one-step barycentric martingales on proper CAT(0) spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 4 linked inside Pith

  1. [8]

    Beiglb¨ ock, G

    M. Beiglb¨ ock, G. Pammer, L. Riess, and S. Schrott. The Fundamental Theorem of Weak Optimal Transport. Preprint, arXiv:2501.16316 [math.PR] (2025), 2025

    arXiv 2025

  2. [1]

    Alfonsi, J

    A. Alfonsi, J. Corbetta, and B. Jourdain. Sampling of probability measures in the convex order by Wasserstein projection.Ann. Inst. Henri Poincar´ e, Probab. Stat., 56(3):1706–1729, 2020

    2020

  3. [2]

    Alfonsi and B

    A. Alfonsi and B. Jourdain. Wasserstein projections in the convex order: regularity and characterization in the quadratic Gaussian case. Preprint, arXiv:2506.23981 [math.PR] (2025), 2025

    arXiv 2025

  4. [3]

    Alibert, G

    J.-J. Alibert, G. Bouchitt´ e, and T. Champion. A new class of costs for optimal transport planning.Eur. J. Appl. Math., 30(6):1229–1263, 2019

    2019

  5. [4]

    Backhoff-Veraguas, M

    J. Backhoff-Veraguas, M. Beiglb¨ ock, and G. Pammer. Existence, duality, and cyclical monotonicity for weak trans- port costs.Calc. Var. Partial Differ. Equ., 58(6):28, 2019. Id/No 203

    2019

  6. [5]

    Backhoff-Veraguas, M

    J. Backhoff-Veraguas, M. Beiglb¨ ock, and G. Pammer. Weak monotone rearrangement on the line.Electron. Com- mun. Probab., 25:Paper No. 18, 16, 2020

    2020

  7. [6]

    Backhoff-Veraguas and G

    J. Backhoff-Veraguas and G. Pammer. Applications of weak transport theory.Bernoulli, 28(1):370–394, 2022

    2022

  8. [7]

    Baˇ c´ ak.Convex analysis and optimization in Hadamard spaces, volume 22 ofDe Gruyter Series in Nonlinear Analysis and Applications

    M. Baˇ c´ ak.Convex analysis and optimization in Hadamard spaces, volume 22 ofDe Gruyter Series in Nonlinear Analysis and Applications. De Gruyter, Berlin, 2014

    2014

Show all 38 references
  1. [9]

    Y. Brenier. D´ ecomposition polaire et r´ earrangement monotone des champs de vecteurs. (Polar decomposition and increasing rearrangement of vector fields).C. R. Acad. Sci., Paris, S´ er. I, 305:805–808, 1987

    1987

  2. [10]

    Y. Brenier. Polar factorization and monotone rearrangement of vector-valued functions.Commun. Pure Appl. Math., 44(4):375–417, 1991

    1991

  3. [11]

    M. R. Bridson and A. Haefliger.Metric Spaces of Non-Positive Curvature, volume 319 ofGrundlehren der math- ematischen Wissenschaften. Springer, Berlin, 1999

    1999

  4. [12]

    L. A. Caffarelli. The regularity of mappings with a convex potential.J. Am. Math. Soc., 5(1):99–104, 1992

    1992

  5. [13]

    L. A. Caffarelli. Monotonicity properties of optimal transportation and the FKG and related inequalities.Com- munications in Mathematical Physics, 214(3):547–563, Nov. 2000

    2000

  6. [14]

    Caprace and A

    P.-E. Caprace and A. Lytchak. At infinity of finite-dimensional CATp0qspaces.Math. Ann., 346(1):1–21, 2010

    2010

  7. [15]

    Christiansen and K

    T. Christiansen and K. T. Sturm. Expectations and martingales in metric spaces.Stochastics, 80(1):1–17, 2008

    2008

  8. [16]

    K. J. Ciosmak. Applications of Strassen’s theorem and Choquet theory to optimal transport problems, to uniformly convex functions and to uniformly smooth functions.Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 232:32, 2023. Id/No 113267

    2023

  9. [17]

    K. J. Ciosmak. Localisation for constrained transports I: theory.arXiv preprint arXiv:2312.12281, 2023

    2023 arXiv

  10. [18]

    Applications of Strassen’s theorem and Choquet theory to optimal transport problems, to uniformly convex functions and to uniformly smooth functions

    K. J. Ciosmak. Corrigendum to: “Applications of Strassen’s theorem and Choquet theory to optimal transport problems, to uniformly convex functions and to uniformly smooth functions”.Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 244:5, 2024. Id/No 113542

    2024

  11. [19]

    ´Emery and G

    M. ´Emery and G. Mokobodzki. Sur le barycentre d’une probabilit´ e dans une vari´ et´ e.S´ eminaire de probabilit´ es de Strasbourg, 25:220–233, 1991

    1991

  12. [20]

    Fathi, N

    M. Fathi, N. Gozlan, and M. Prod’homme. A proof of the Caffarelli contraction theorem via entropic regularization. Calc. Var. Partial Differ. Equ., 59(3):18, 2020. Id/No 96

    2020

  13. [21]

    T. O. Gallou¨ et, A. Natale, and G. Todeschi. Metric extrapolation in the Wasserstein space.Calc. Var. Partial Differ. Equ., 64(5):35, 2025. Id/No 147

    2025

  14. [22]

    Gangbo and R

    W. Gangbo and R. J. McCann. The geometry of optimal transportation.Acta Math., 177(2):113–161, 1996

    1996

  15. [23]

    N. Gigli. On the inverse implication of Brenier-McCann theorems and the structure ofpP 2pMq, W2q.Methods Appl. Anal., 18(2):127–158, 2011

    2011

  16. [24]

    Gozlan and N

    N. Gozlan and N. Juillet. On a mixture of Brenier and Strassen theorems.Proceedings of the London Mathematical Society, 120(3):434–463, 2020

    2020

  17. [25]

    Gozlan, C

    N. Gozlan, C. Roberto, P.-M. Samson, Y. Shu, and P. Tetali. Characterization of a class of weak transport-entropy inequalities on the line.Ann. Inst. Henri Poincar´ e, Probab. Stat., 54(3):1667–1693, 2018

    2018

  18. [26]

    Gozlan, C

    N. Gozlan, C. Roberto, P.-M. Samson, and P. Tetali. Kantorovich duality for general transport costs and applica- tions.J. Funct. Anal., 273(11):3327–3405, 2017

    2017

  19. [27]

    J¨ ager and H

    W. J¨ ager and H. Kaul. Uniqueness and stability of harmonic maps and their Jacobi fields.Manuscripta Math., 28(1-3):269–291, 1979

    1979

  20. [28]

    W. S. Kendall. Convexity and the hemisphere.J. London Math. Soc. (2), 43(3):567–576, 1991

    1991

  21. [29]

    Kim and Y

    Y.-H. Kim and Y. Ruan. Backward and forward Wasserstein projections in stochastic order.J. Funct. Anal., 286(2):63, 2024. Id/No 110201

    2024

  22. [30]

    K. Kuwae. Jensen’s inequality on convex spaces.Calculus of Variations and Partial Differential Equations, 49(3– 4):1359–1378, 2014

    2014

  23. [31]

    R. J. McCann. Existence and uniqueness of monotone measure-preserving maps.Duke Math. J., 80(2):309–323, 1995

    1995

  24. [32]

    S.-I. Ohta. Convexities of metric spaces.Geometriae Dedicata, 125(1):225–250, 2007. A BRENIER–STRASSEN THEOREM ON CATpκqSPACES 23

    2007

  25. [33]

    Pramenkovi´ c

    F. Pramenkovi´ c. Weak optimal transport: When is the dual potential convex?arXiv preprint arXiv:2507.07200, 2025

    2025 arXiv

  26. [34]

    Strassen

    V. Strassen. The existence of probability measures with given marginals.Ann. Math. Stat., 36:423–439, 1965

    1965

  27. [35]

    K.-T. Sturm. Nonlinear martingale theory for processes with values in metric spaces of nonpositive curvature.The Annals of Probability, 30(3):1195–1222, 2002

    2002

  28. [36]

    K.-T. Sturm. Probability measures on metric spaces of nonpositive curvature. InHeat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces, volume 338 ofContemporary Mathematics, pages 357–390. American Mathematical Society, Providence, RI, 2003

    2003

  29. [37]

    Villani.Topics in optimal transportation, volume 58 ofGrad

    C. Villani.Topics in optimal transportation, volume 58 ofGrad. Stud. Math.Providence, RI: American Mathe- matical Society (AMS), 2003

    2003

  30. [38]

    T. Yokota. Convex functions and barycenter on CAT(1)-spaces of small radii.Journal of the Mathematical Society of Japan, 68(3):1297–1323, 2016. Universit´e Paris Cit´e, CNRS, MAP5, F-75006 Paris, France Email address:nathael.gozlan@u-pariscite.fr Universit´e Paris Cit´e, CNRS,...

    2016

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.