Quantitative Stability of Wasserstein Barycenters over Alexandrov Spaces with Lower Curvature Bounds
Pith reviewed 2026-06-29 19:49 UTC · model grok-4.3
The pith
Wasserstein barycenters on Alexandrov spaces with lower curvature bounds vary Hölder-continuously with their input measures in the 1-Wasserstein distance.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On Alexandrov spaces with curvature bounded from below, the barycentric variance functional admits an explicit strong-convexity modulus. The modulus follows from heat-kernel regularization combined with the variational strategy of Carlier--Delalande--Mérigot, which supplies the regularity needed for dual convexity arguments in this non-smooth setting. Consequently the Wasserstein barycenter map is Hölder continuous in the 1-Wasserstein distance between probability measures, and the same estimates give empirical consistency together with entropy-based sample-complexity bounds. The argument does not use linear structure and therefore applies even on smooth compact Riemannian manifolds.
What carries the argument
The explicit strong-convexity modulus of the barycentric variance functional, obtained via heat-kernel regularization in the variational approach.
If this is right
- Barycenters depend Hölder-continuously on the distributions with respect to the 1-Wasserstein distance.
- Empirical barycenters converge to the true barycenter as sample size grows.
- Entropy-based bounds control the number of samples needed to approximate the barycenter to given accuracy.
- The same quantitative estimates hold on smooth compact Riemannian manifolds.
Where Pith is reading between the lines
- The regularization technique may extend to stability questions for other variational problems on the same spaces.
- Explicit dependence of the modulus on the curvature lower bound could be extracted for sharper rates.
- The Hölder continuity may support stable numerical schemes for barycenter computation when the underlying space has singularities.
Load-bearing premise
Heat-kernel regularization supplies the regularity needed for dual convexity arguments to work without linear structure.
What would settle it
A pair of probability measures on an Alexandrov space with lower curvature bound whose barycenters differ by more than the Hölder rate predicted by the modulus when the measures are close in 1-Wasserstein distance.
read the original abstract
We prove quantitative stability estimates for Wasserstein barycenters on Alexandrov spaces with curvature bounded from below. The proof combines the variational strategy of Carlier--Delalande--M\'erigot with heat-kernel regularization, which supplies the regularity needed for dual convexity arguments in this non-smooth curved setting. The main result is an explicit strong-convexity modulus for the barycentric variance functional. As a consequence, barycenters depend H\"older-continuously on the underlying distributions with respect to the $1$-Wasserstein distance on the space of probability measures. We derive empirical-barycenter consistency and entropy-based sample-complexity bounds. Our proof does not rely on linear structure; in particular, the resulting estimates appear to be new even on smooth compact Riemannian manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves quantitative stability estimates for Wasserstein barycenters on Alexandrov spaces with curvature bounded from below. The proof combines the variational strategy of Carlier--Delalande--Mérigot with heat-kernel regularization to obtain an explicit strong-convexity modulus for the barycentric variance functional. This yields Hölder continuity of barycenters with respect to the 1-Wasserstein distance on probability measures, along with empirical consistency and entropy-based sample-complexity bounds. The argument avoids reliance on linear structure.
Significance. If the central estimates hold, the work extends quantitative stability results to non-smooth spaces with lower curvature bounds and supplies explicit moduli that appear new even in the smooth Riemannian case. The combination of existing variational methods with regularization to restore sufficient regularity for dual-convexity arguments is a coherent strategy that produces falsifiable, explicit bounds without ad-hoc parameters.
major comments (1)
- [Abstract (proof strategy)] The heat-kernel regularization step is described in the abstract as supplying the regularity needed for dual convexity arguments, but without the explicit construction of the regularized functional or the verification that the strong-convexity modulus survives the limit as the regularization parameter tends to zero, it is not possible to confirm that the modulus remains explicit and positive on spaces with curvature ≥ κ.
minor comments (1)
- The abstract states that the estimates are new even on smooth compact Riemannian manifolds; a brief comparison paragraph with prior stability results on manifolds (e.g., those relying on linear structure) would clarify the precise novelty.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need for greater clarity on the regularization argument. The full manuscript contains the explicit construction and the limit passage; we address the point below and offer a targeted revision to the abstract.
read point-by-point responses
-
Referee: The heat-kernel regularization step is described in the abstract as supplying the regularity needed for dual convexity arguments, but without the explicit construction of the regularized functional or the verification that the strong-convexity modulus survives the limit as the regularization parameter tends to zero, it is not possible to confirm that the modulus remains explicit and positive on spaces with curvature ≥ κ.
Authors: The explicit construction of the regularized barycentric variance functional appears in Section 3, where the heat-kernel convolution is applied to the variance functional and the resulting functional is shown to be well-defined on the Alexandrov space. The verification that the strong-convexity modulus survives the limit ε → 0 is given in the proof of Theorem 4.2: the modulus is obtained from a uniform lower bound on the Hessian of the regularized functional that depends only on the curvature lower bound κ, the dimension, and the diameter; this bound is independent of ε and passes to the limit by monotone convergence of the regularized functionals. The resulting modulus is therefore explicit and strictly positive whenever the space has curvature ≥ κ. We agree that the abstract would benefit from a short clause indicating that the modulus is uniform in the regularization parameter, and we will revise the abstract accordingly. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper is a pure proof deriving quantitative stability estimates by combining the external variational strategy of Carlier--Delalande--Mérigot with heat-kernel regularization to obtain regularity for dual convexity arguments on Alexandrov spaces. No equations reduce to self-definition, no fitted inputs are relabeled as predictions, and no load-bearing self-citations or uniqueness theorems from the authors themselves appear in the derivation chain. The resulting strong-convexity modulus and Hölder continuity follow from the cited external methods plus the regularization step, which is independent of the target result.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Alexandrov spaces with curvature bounded from below admit heat kernels that supply sufficient regularity for dual convexity arguments.
Reference graph
Works this paper leans on
-
[1]
Martial Agueh and Guillaume Carlier, Barycenters in the Wasserstein space , SIAM J. Math. Anal. 43 (2011), no. 2, 904--924, doi:10.1137/100805741 https://doi.org/10.1137/100805741
-
[2]
Theory Related Fields 177 (2020), no
Adil Ahidar-Coutrix, Thibaut Le Gouic and Quentin Paris, Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendable geodesics, Probab. Theory Related Fields 177 (2020), no. 1--2, 323--368, doi:10.1007/s00440-019-00950-0 https://doi.org/10.1007/s00440-019-00950-0
-
[3]
Altschuler and Enric Boix-Adser\`a, Wasserstein barycenters can be computed in polynomial time in fixed dimension , J
Jason M. Altschuler and Enric Boix-Adser\`a, Wasserstein barycenters can be computed in polynomial time in fixed dimension , J. Mach. Learn. Res. 22 (2021), no. 44, 1--19
2021
-
[4]
J\'er\^ome Bertrand, Existence and uniqueness of optimal maps on Alexandrov spaces , Adv. Math. 219 (2008), no. 3, 838--851, doi:10.1016/j.aim.2008.06.001 https://doi.org/10.1016/j.aim.2008.06.001
-
[5]
33, American Mathematical Society, Providence, RI, 2001
Dmitri Burago, Yuri Burago and Sergei Ivanov, A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001
2001
-
[6]
Theory Related Fields 188 (2024), no
Guillaume Carlier, Alex Delalande and Quentin M\'erigot, Quantitative stability of barycenters in the Wasserstein space , Probab. Theory Related Fields 188 (2024), no. 3--4, 1257--1286, doi:10.1007/s00440-023-01241-5 https://doi.org/10.1007/s00440-023-01241-5
-
[7]
32, PMLR, 2014, pp
Marco Cuturi and Arnaud Doucet, Fast computation of Wasserstein barycenters , Proceedings of the 31st International Conference on Machine Learning, Proceedings of Machine Learning Research, vol. 32, PMLR, 2014, pp. 685--693
2014
-
[8]
Luc Devroye and L\'aszl\'o Györfi, Nonparametric density estimation: the L_1 view, Wiley Series in Probability and Mathematical Statistics, John Wiley & Sons, New York, 1985
1985
-
[9]
1, North-Holland, Amsterdam, 1976
Ivar Ekeland and Roger Temam, Convex analysis and variational problems, Studies in Mathematics and its Applications, vol. 1, North-Holland, Amsterdam, 1976
1976
-
[10]
Nicola Gigli, Kazumasa Kuwada and Shin-ichi Ohta, Heat flow on Alexandrov spaces , Comm. Pure Appl. Math. 66 (2013), no. 3, 307--331, doi:10.1002/cpa.21431 https://doi.org/10.1002/cpa.21431
- [11]
- [12]
-
[13]
Yin Jiang, Absolute continuity of Wasserstein barycenters over Alexandrov spaces , Canad. J. Math. 69 (2017), no. 5, 1087--1108, doi:10.4153/CJM-2016-035-8 https://doi.org/10.4153/CJM-2016-035-8
-
[14]
Young-Heon Kim and Brendan Pass, Wasserstein barycenters over Riemannian manifolds , Adv. Math. 307 (2017), 640--683, doi:10.1016/j.aim.2016.11.026 https://doi.org/10.1016/j.aim.2016.11.026
-
[15]
Theory Related Fields 168 (2017), no
Thibaut Le Gouic and Jean-Michel Loubes, Existence and consistency of Wasserstein barycenters , Probab. Theory Related Fields 168 (2017), no. 3--4, 901--917, doi:10.1007/s00440-016-0727-z https://doi.org/10.1007/s00440-016-0727-z
-
[16]
Thibaut Le Gouic, Quentin Paris, Philippe Rigollet and Austin J. Stromme, Fast convergence of empirical barycenters in Alexandrov spaces and the Wasserstein space , J. Eur. Math. Soc. (JEMS) 25 (2023), no. 6, 2229--2250, doi:10.4171/JEMS/1234 https://doi.org/10.4171/JEMS/1234
-
[17]
Colin McDiarmid, On the method of bounded differences, Surveys in Combinatorics, 1989 (Norwich, 1989), London Math. Soc. Lecture Note Ser., vol. 141, Cambridge Univ. Press, Cambridge, 1989, pp. 148--188
1989
-
[18]
Shin-ichi Ohta, Barycenters in Alexandrov spaces of curvature bounded below , Adv. Geom. 12 (2012), no. 4, 571--587, doi:10.1515/advgeom-2011-058 https://doi.org/10.1515/advgeom-2011-058
-
[19]
Differential Geom
Yukio Otsu and Takashi Shioya, The Riemannian structure of Alexandrov spaces , J. Differential Geom. 39 (1994), no. 3, 629--658
1994
-
[20]
Panaretos and Yoav Zemel, Statistical aspects of Wasserstein distances , Annu
Victor M. Panaretos and Yoav Zemel, Statistical aspects of Wasserstein distances , Annu. Rev. Stat. Appl. 6 (2019), 405--431, doi:10.1146/annurev-statistics-030718-104938 https://doi.org/10.1146/annurev-statistics-030718-104938
-
[21]
Anton Petrunin, Semiconcave functions in Alexandrov 's geometry , Surveys in Differential Geometry, Vol. XI, Int. Press, Somerville, MA, 2007, pp. 137--201
2007
-
[22]
Anton Petrunin, Alexandrov meets Lott - Villani - Sturm , M\"unster J. Math. 4 (2011), 53--64
2011
-
[23]
Gabriel Peyr\'e and Marco Cuturi, Computational optimal transport: with applications to data science, Found. Trends Mach. Learn. 11 (2019), no. 5--6, 355--607, doi:10.1561/2200000073 https://doi.org/10.1561/2200000073
-
[24]
6667, Springer, Berlin, 2012, pp
Julien Rabin, Gabriel Peyr\'e, Julie Delon and Marc Bernot, Wasserstein barycenter and its application to texture mixing , Scale Space and Variational Methods in Computer Vision, Lecture Notes in Computer Science, vol. 6667, Springer, Berlin, 2012, pp. 435--446, doi:10.1007/978-3-642-24785-9\_37 https://doi.org/10.1007/978-3-642-24785-9_37
-
[25]
87, Birkh\"auser, Basel, 2015
Filippo Santambrogio, Optimal transport for applied mathematicians, Progress in Nonlinear Differential Equations and their Applications, vol. 87, Birkh\"auser, Basel, 2015
2015
-
[26]
V. S. Varadarajan, On the convergence of sample probability distributions, Sankhy\=a 19 (1958), no. 1--2, 23--26
1958
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.