Absolute continuity of generalized Wasserstein barycenters of finitely many measures
Pith reviewed 2026-05-08 04:45 UTC · model grok-4.3
The pith
Generalized Wasserstein barycenters of finitely many absolutely continuous measures remain absolutely continuous on complete Riemannian manifolds when the cost is a strictly convex function of geodesic distance.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a complete Riemannian manifold equipped with cost c(x, y) = h(d_g(x, y)) where h is strictly convex, the generalized Wasserstein barycenter of any finite collection of measures is absolutely continuous with respect to the Riemannian volume measure as soon as each marginal measure is absolutely continuous.
What carries the argument
The generalized Wasserstein barycenter, obtained by minimizing the weighted sum of optimal transport costs to the given marginal measures, with the distance singularity handled by an approximation that uses only the manifold geometry and strict convexity of h.
Load-bearing premise
Strict convexity of the profile h permits an approximation of the barycenter that removes the singularity at zero distance using only the completeness of the manifold and the distance function.
What would settle it
A concrete pair of absolutely continuous measures on the two-sphere whose p-Wasserstein barycenter for some p between 1 and 2 concentrates positive mass on a lower-dimensional submanifold.
read the original abstract
Consider a complete Riemannian manifold $(M, g)$ and optimal transport problems on it with cost functions of the form $c(x,y) = h(d_{{g}}(x,y))$. We study the absolute continuity of the corresponding generalized Wasserstein barycenters of finitely many marginal measures. For general strictly convex profiles $h$ lacking $\mathcal{C}^2$-smoothness, such as $h(d)= d^p / p$ with $1 < p < 2$ that defines the $p$-Wasserstein space, the singularity at $d=0$ prevents the barycenter from inheriting absolute continuity from a single marginal measure as the quadratic case. To overcome this singularity, recent Euclidean results necessitate the absolute continuity of all marginals. Building upon the approximation framework toward absolute continuity in arXiv:2310.13832, we extend the Euclidean advancements to the manifold setting. Stripping away the implicit reliance on flat translational symmetry and local coordinate calculations of their Euclidean proofs, our work handles the singularity in a geometrically transparent way, revealing the precise analytic condition on the cost profile that governs the necessary assumptions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves absolute continuity of generalized Wasserstein barycenters of finitely many absolutely continuous measures on a complete Riemannian manifold (M,g) for costs of the form c(x,y)=h(d_g(x,y)) with h strictly convex (not necessarily C^2). It adapts the approximation framework of arXiv:2310.13832 by replacing Euclidean translational symmetry with intrinsic properties of the distance function, thereby handling the d=0 singularity in a coordinate-free manner and identifying the precise analytic condition on h that ensures the barycenter inherits absolute continuity from the marginals.
Significance. If the central result holds, the work supplies a geometrically intrinsic extension of barycenter regularity from Euclidean space to complete Riemannian manifolds. This clarifies the minimal assumptions on the cost profile beyond C^2 smoothness and removes reliance on local coordinates, strengthening the foundations of optimal transport on manifolds. The adaptation of the prior approximation scheme without introducing new free parameters or circular definitions is a clear technical strength.
minor comments (3)
- [Abstract] Abstract: the phrase 'revealing the precise analytic condition on the cost profile' is not expanded; the introduction or §2 should state the exact condition on h explicitly (e.g., the modulus of convexity or growth requirement that replaces C^2).
- [Proof section (likely §4 or §5)] The manuscript cites arXiv:2310.13832 for the approximation framework; a short self-contained paragraph in the proof section summarizing the geometric modifications (replacement of flat translations by properties of the exponential map or cut locus) would improve readability.
- [Notation] Notation: ensure consistent use of d_g versus d throughout; a short table of symbols at the end of §1 would help.
Simulated Author's Rebuttal
We thank the referee for their positive summary of our work, the assessment of its significance, and the recommendation for minor revision. No major comments were provided in the report.
Circularity Check
No significant circularity; derivation self-contained via geometric adaptation
full rationale
The paper's derivation chain consists of extending an approximation framework from a cited prior work to complete Riemannian manifolds by replacing Euclidean-specific elements (flat translational symmetry and local coordinates) with intrinsic geometric properties of the distance function d_g and the strictly convex profile h. No load-bearing step reduces by construction to its own inputs: there are no self-definitional relations (e.g., a quantity defined in terms of the result it is used to prove), no fitted parameters renamed as predictions, no ansatz smuggled via citation, and no renaming of known results as new unifications. The central claims about absolute continuity under the stated assumptions on (M,g) and c = h ∘ d_g are supported by the independent adaptation described, which is externally falsifiable via the geometric conditions on h. The citation to arXiv:2310.13832 provides the base framework but does not render the manifold extension tautological or self-referential.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption M is a complete Riemannian manifold (M, g)
- domain assumption Cost functions are of the form c(x,y) = h(d_g(x,y)) with h strictly convex
Reference graph
Works this paper leans on
-
[1]
The geometry of optimal transportation , author=. Acta Mathematica , volume=. 1996 , publisher=
work page 1996
-
[2]
SIAM Journal on Mathematical Analysis , volume=
A general condition for Monge solutions in the multi-marginal optimal transport problem , author=. SIAM Journal on Mathematical Analysis , volume=. 2014 , publisher=
work page 2014
-
[3]
Discrete and Continuous Dynamical Systems , volume=
Multi-marginal optimal transport and multi-agent matching problems: Uniqueness and structure of solutions , author=. Discrete and Continuous Dynamical Systems , volume=. 2013 , publisher=
work page 2013
-
[4]
Comparison Theorems in Riemannian Geometry , author=. 2008 , publisher=
work page 2008
- [5]
-
[6]
Brizzi, Camilla and Friesecke, Gero and Ried, Tobias , keywords =. h -. Journal of Mathematical Analysis and Applications , volume =. 2026 , issn =. doi:https://doi.org/10.1016/j.jmaa.2025.129952 , url =
-
[7]
Brizzi, Camilla and Friesecke, Gero and Ried, Tobias , journal=. p -. 2025 , publisher=
work page 2025
-
[8]
Ma, Jianyu , journal=. Absolute continuity of. 2025 , publisher=
work page 2025
-
[9]
Bertrand, J. A geometric study of. International Conference on Geometric Science of Information , pages=. 2013 , organization=
work page 2013
- [10]
-
[11]
ESAIM: Mathematical Modelling and Numerical Analysis , volume=
Motivations, ideas and applications of ramified optimal transportation , author=. ESAIM: Mathematical Modelling and Numerical Analysis , volume=. 2015 , publisher=
work page 2015
-
[12]
Communications in Contemporary Mathematics , volume=
Optimal paths related to transport problems , author=. Communications in Contemporary Mathematics , volume=. 2003 , publisher=
work page 2003
-
[13]
Computational optimal transport: With applications to data science , author=. Foundations and Trends. 2019 , publisher=
work page 2019
-
[14]
Le, Tam and Yamada, Makoto and Fukumizu, Kenji and Cuturi, Marco , journal=. Tree-sliced variants of
- [15]
-
[16]
arXiv preprint arXiv:2412.20661 , year=
On Discrete Curvatures of Trees , author=. arXiv preprint arXiv:2412.20661 , year=
-
[17]
An Introduction to Measure and Probability , author=. 1998 , publisher=
work page 1998
-
[18]
Measure and Integration , author=
-
[19]
A Basic Course in Measure and Probability: Theory for Applications , author=. 2014 , publisher=
work page 2014
-
[20]
Semimartingale Theory and Stochastic Calculus , author=. 1992 , publisher=
work page 1992
-
[21]
Handbook of stochastic analysis and applications , author=. 2001 , publisher=
work page 2001
-
[22]
Limit theorems for stochastic processes , author=. 2003 , publisher=
work page 2003
- [23]
- [24]
-
[25]
Vector-valued stochastic processes
Dinculeanu, Nicolae , journal=. Vector-valued stochastic processes
- [26]
-
[27]
arXiv preprint arXiv:2502.06793 , year=
Barycenter curvature-dimension condition for extended metric measure spaces , author=. arXiv preprint arXiv:2502.06793 , year=
-
[28]
Han, Bang-Xian and Liu, Dengyu and Zhu, Zhuonan , journal=. On the geometry of
-
[29]
Bertrand, J. A geometric study of. Journal of Topology and Analysis , volume=. 2012 , publisher=
work page 2012
-
[30]
Linear Functional Analysis: An Application-Oriented Introduction , author=. 2016 , doi=
work page 2016
-
[31]
Introduction to Banach Spaces: Analysis and Probability , author=. 2017 , doi=
work page 2017
- [32]
-
[33]
Panaretos, Victor M and Zemel, Yoav , journal=. Statistical aspects of. 2019 , publisher=
work page 2019
-
[34]
Kloeckner, Beno. A geometric study of. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze , volume=
-
[35]
An Introduction to Infinite-Dimensional Differential Geometry , author=. 2022 , publisher=
work page 2022
-
[36]
Riemannian Geometry: A Modern Introduction , author=. 2006 , edition=
work page 2006
- [37]
-
[38]
Convex Functions and Their Applications: A Contemporary Approach , author=. 2018 , edition=. doi:10.1007/978-3-319-78337-6 , publisher=
-
[39]
Foundations of Differential Geometry, Volume 1 , author=. 1996 , publisher=
work page 1996
-
[40]
The Quarterly Journal of Mathematics , number=
Convex regions in the geometry of paths , author=. The Quarterly Journal of Mathematics , number=. 1932 , publisher=
work page 1932
-
[41]
Infinite Dimensional Analysis: A Hitchhiker's Guide , author=. 2007 , publisher=
work page 2007
- [42]
- [43]
-
[44]
Les ensembles projectifs et analytiques , Year =
Sierpi. Les ensembles projectifs et analytiques , Year =
- [45]
-
[46]
Convex Analysis and Measurable Multifunctions , author=. 2006 , publisher=
work page 2006
- [47]
- [48]
-
[49]
doi: https: //doi.org/10.1007/978-1-4419-9982-5
Introduction to Smooth Manifolds , author=. 2013 , edition=. doi:10.1007/978-1-4419-9982-5 , publisher=
-
[50]
Quarterly Journal of Mathematics , volume=
The Morse--Sard Theorem revisited , author=. Quarterly Journal of Mathematics , volume=. 2018 , publisher=
work page 2018
-
[51]
Boletim da Sociedade Brasileira de Matem
An extension of Sard's theorem , author=. Boletim da Sociedade Brasileira de Matem. 1972 , publisher=
work page 1972
-
[52]
Proceedings of the American Mathematical Society , volume=
A simple proof of the Morse-Sard theorem in Sobolev spaces , author=. Proceedings of the American Mathematical Society , volume=
- [53]
-
[54]
An Introduction to Measure and Integration , author=. 2005 , publisher=
work page 2005
-
[55]
Probability measures on metric spaces of nonpositive curvature , author=. 2003 , publisher=
work page 2003
- [56]
- [57]
- [58]
- [59]
-
[60]
Convex Analysis and Monotone Operator Theory in Hilbert Spaces , author=. 2017 , publisher=
work page 2017
-
[61]
The geometry of Jordan and Lie structures , author=. 2000 , publisher=
work page 2000
-
[62]
Monotone (nonlinear) operators in
Minty, George J , journal=. Monotone (nonlinear) operators in. 1962 , publisher=
work page 1962
-
[63]
A geometrical approach to monotone functions in
Alberti, Giovanni and Ambrosio, Luigi , journal=. A geometrical approach to monotone functions in. 1999 , publisher=
work page 1999
- [64]
- [65]
- [66]
- [67]
- [68]
-
[69]
Theory of functions of a real variable , author=. 2016 , publisher=
work page 2016
- [70]
-
[71]
Sticky central limit theorems on open books , author=
- [72]
- [73]
- [74]
-
[75]
Metric spaces of non-positive curvature , author=. 2013 , publisher=
work page 2013
- [76]
- [77]
- [78]
- [79]
-
[80]
Borel selectors for upper semi-continuous set-valued maps , author=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.