arxiv: 2605.06518 · v1 · submitted 2026-05-07 · 🧮 math.DG · math.PR

Recognition: unknown

Absolute continuity of generalized Wasserstein barycenters of finitely many measures

Jianyu Ma

Authors on Pith no claims yet

Pith reviewed 2026-05-08 04:45 UTC · model grok-4.3

classification 🧮 math.DG math.PR

keywords absolute continuityWasserstein barycenterRiemannian manifoldoptimal transportgeodesic distancestrictly convex cost

0 comments

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.

The paper proves that the generalized Wasserstein barycenter inherits absolute continuity from its input measures on curved spaces. In the Euclidean setting this already requires every marginal to be absolutely continuous whenever the cost profile h lacks twice differentiability and creates a singularity at zero distance. The argument extends the same conclusion to manifolds by replacing coordinate calculations with intrinsic geometric control of the distance function. A reader would care because this lets one average distributions on spheres or other curved domains while keeping the result fully spread out rather than collapsed onto lower-dimensional sets. If the claim holds, barycenters become a reliable tool for geometric statistics without extra smoothness assumptions on the cost.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a coordinate-free extension of absolute continuity for generalized Wasserstein barycenters to complete Riemannian manifolds under strictly convex radial costs.

read the letter

The core result is that the barycenter of finitely many absolutely continuous measures stays absolutely continuous on a complete Riemannian manifold when the cost is h composed with geodesic distance and h is strictly convex. This covers cases like p-Wasserstein for 1 < p < 2 where the zero-distance singularity blocks inheritance from a single marginal, so all marginals must be absolutely continuous instead. The authors adapt an approximation framework from the cited Euclidean arXiv paper and replace its reliance on flat translations and local coordinates with intrinsic properties of the distance function. That step makes the needed condition on h transparent and avoids extra smoothness assumptions. The adaptation looks direct and the setup uses only manifold completeness plus the cost form, with no evident internal contradictions. A minor soft spot is the heavy dependence on the prior approximation result; any subtle Euclidean bias that survived the rewrite could affect the estimates, though the abstract claims the geometry is handled cleanly. Curvature or cut-locus issues might require extra care in the full proofs, but nothing in the stated assumptions flags an immediate problem. This is useful for people working on regularity in geometric optimal transport who want to move beyond quadratic costs or Euclidean space. A reader already familiar with the Euclidean barycenter literature will see the precise gain in the manifold setting. I would send it to peer review because the claim is focused, the method is an honest adaptation, and the result fills a clear gap.

Referee Report

0 major / 3 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Paper rests on standard Riemannian geometry and optimal transport assumptions plus the approximation technique from the cited prior paper; no free parameters or invented entities introduced.

axioms (2)

domain assumption M is a complete Riemannian manifold (M, g)
Stated as the ambient space for the optimal transport problems.
domain assumption Cost functions are of the form c(x,y) = h(d_g(x,y)) with h strictly convex
Core setup for the generalized Wasserstein problems studied.

pith-pipeline@v0.9.0 · 5487 in / 1201 out tokens · 32889 ms · 2026-05-08T04:45:48.000956+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

190 extracted references · 41 canonical work pages

[1]

Acta Mathematica , volume=

The geometry of optimal transportation , author=. Acta Mathematica , volume=. 1996 , publisher=

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=

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=

2013
[4]

2008 , publisher=

Comparison Theorems in Riemannian Geometry , author=. 2008 , publisher=

2008
[5]

2025 , MONTH = Oct, KEYWORDS =

Ma, Jianyu , URL =. 2025 , MONTH = Oct, KEYWORDS =

2025
[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 =

work page doi:10.1016/j.jmaa.2025.129952 2026
[7]

Brizzi, Camilla and Friesecke, Gero and Ried, Tobias , journal=. p -. 2025 , publisher=

2025
[8]

Absolute continuity of

Ma, Jianyu , journal=. Absolute continuity of. 2025 , publisher=

2025
[9]

A geometric study of

Bertrand, J. A geometric study of. International Conference on Geometric Science of Information , pages=. 2013 , organization=

2013
[10]

, author=

Ramified optimal transportation in geodesic metric spaces. , author=. Advances in Calculus of Variations , volume=
[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=

2015
[12]

Communications in Contemporary Mathematics , volume=

Optimal paths related to transport problems , author=. Communications in Contemporary Mathematics , volume=. 2003 , publisher=

2003
[13]

Foundations and Trends

Computational optimal transport: With applications to data science , author=. Foundations and Trends. 2019 , publisher=

2019
[14]

Tree-sliced variants of

Le, Tam and Yamada, Makoto and Fukumizu, Kenji and Cuturi, Marco , journal=. Tree-sliced variants of
[15]

L’Enseignement Math

Wasserstein distance and metric trees , author=. L’Enseignement Math
[16]

arXiv preprint arXiv:2412.20661 , year=

On Discrete Curvatures of Trees , author=. arXiv preprint arXiv:2412.20661 , year=

work page arXiv
[17]

1998 , publisher=

An Introduction to Measure and Probability , author=. 1998 , publisher=

1998
[18]

Measure and Integration , author=
[19]

2014 , publisher=

A Basic Course in Measure and Probability: Theory for Applications , author=. 2014 , publisher=

2014
[20]

1992 , publisher=

Semimartingale Theory and Stochastic Calculus , author=. 1992 , publisher=

1992
[21]

2001 , publisher=

Handbook of stochastic analysis and applications , author=. 2001 , publisher=

2001
[22]

2003 , publisher=

Limit theorems for stochastic processes , author=. 2003 , publisher=

2003
[23]

2005 , edition=

Stochastic differential equations , author=. 2005 , edition=

2005
[24]

2015 , publisher=

Stochastic calculus and applications , author=. 2015 , publisher=

2015
[25]

Vector-valued stochastic processes

Dinculeanu, Nicolae , journal=. Vector-valued stochastic processes
[26]

2017 , edition=

A First Course in Sobolev Spaces , author=. 2017 , edition=

2017
[27]

arXiv preprint arXiv:2502.06793 , year=

Barycenter curvature-dimension condition for extended metric measure spaces , author=. arXiv preprint arXiv:2502.06793 , year=

work page arXiv
[28]

On the geometry of

Han, Bang-Xian and Liu, Dengyu and Zhu, Zhuonan , journal=. On the geometry of
[29]

A geometric study of

Bertrand, J. A geometric study of. Journal of Topology and Analysis , volume=. 2012 , publisher=

2012
[30]

2016 , doi=

Linear Functional Analysis: An Application-Oriented Introduction , author=. 2016 , doi=

2016
[31]

2017 , doi=

Introduction to Banach Spaces: Analysis and Probability , author=. 2017 , doi=

2017
[32]

2006 , isbn=

Topics in Banach space theory , author=. 2006 , isbn=

2006
[33]

Statistical aspects of

Panaretos, Victor M and Zemel, Yoav , journal=. Statistical aspects of. 2019 , publisher=

2019
[34]

A geometric study of

Kloeckner, Beno. A geometric study of. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze , volume=
[35]

2022 , publisher=

An Introduction to Infinite-Dimensional Differential Geometry , author=. 2022 , publisher=

2022
[36]

2006 , edition=

Riemannian Geometry: A Modern Introduction , author=. 2006 , edition=

2006
[37]

1996 , publisher=

Riemannian Geometry , author=. 1996 , publisher=

1996
[38]

2018 , edition=

Convex Functions and Their Applications: A Contemporary Approach , author=. 2018 , edition=. doi:10.1007/978-3-319-78337-6 , publisher=

work page doi:10.1007/978-3-319-78337-6 2018
[39]

1996 , publisher=

Foundations of Differential Geometry, Volume 1 , author=. 1996 , publisher=

1996
[40]

The Quarterly Journal of Mathematics , number=

Convex regions in the geometry of paths , author=. The Quarterly Journal of Mathematics , number=. 1932 , publisher=

1932
[41]

2007 , publisher=

Infinite Dimensional Analysis: A Hitchhiker's Guide , author=. 2007 , publisher=

2007
[42]

2012 , publisher=

Classical Descriptive Set Theory , author=. 2012 , publisher=

2012
[43]

1982 , publisher=

A Second Course on Real Functions , author=. 1982 , publisher=

1982
[44]

Les ensembles projectifs et analytiques , Year =

Sierpi. Les ensembles projectifs et analytiques , Year =
[45]

, Title =

Moschovakis, Yiannis N. , Title =. 2009 , Publisher =

2009
[46]

2006 , publisher=

Convex Analysis and Measurable Multifunctions , author=. 2006 , publisher=

2006
[47]

2008 , publisher=

A course on Borel sets , author=. 2008 , publisher=

2008
[48]

2012 , publisher=

Differential topology , author=. 2012 , publisher=

2012
[49]

Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics

Introduction to Smooth Manifolds , author=. 2013 , edition=. doi:10.1007/978-1-4419-9982-5 , publisher=

work page doi:10.1007/978-1-4419-9982-5 2013
[50]

Quarterly Journal of Mathematics , volume=

The Morse--Sard Theorem revisited , author=. Quarterly Journal of Mathematics , volume=. 2018 , publisher=

2018
[51]

Boletim da Sociedade Brasileira de Matem

An extension of Sard's theorem , author=. Boletim da Sociedade Brasileira de Matem. 1972 , publisher=

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]

2019 , publisher=

Introduction to real analysis , author=. 2019 , publisher=

2019
[54]

2005 , publisher=

An Introduction to Measure and Integration , author=. 2005 , publisher=

2005
[55]

2003 , publisher=

Probability measures on metric spaces of nonpositive curvature , author=. 2003 , publisher=

2003
[56]

2012 , publisher=

Integration and Probability , author=. 2012 , publisher=

2012
[57]

Analysis of Monge--Amp

L. Analysis of Monge--Amp. 2024 , publisher=

2024
[58]

The Monge-Amp

Guti. The Monge-Amp. 2001 , publisher=

2001
[59]

The Monge-Amp

Figalli, Alessio , year=. The Monge-Amp
[60]

2017 , publisher=

Convex Analysis and Monotone Operator Theory in Hilbert Spaces , author=. 2017 , publisher=

2017
[61]

2000 , publisher=

The geometry of Jordan and Lie structures , author=. 2000 , publisher=

2000
[62]

Monotone (nonlinear) operators in

Minty, George J , journal=. Monotone (nonlinear) operators in. 1962 , publisher=

1962
[63]

A geometrical approach to monotone functions in

Alberti, Giovanni and Ambrosio, Luigi , journal=. A geometrical approach to monotone functions in. 1999 , publisher=

1999
[64]

2017 , publisher=

Modern real analysis , author=. 2017 , publisher=

2017
[65]

2011 , publisher=

An introduction to measure theory , author=. 2011 , publisher=

2011
[66]

I , author=

Functional Analysis: Vol. I , author=. 2012 , publisher=

2012
[67]

2012 , publisher=

Advanced analysis: on the real line , author=. 2012 , publisher=

2012
[68]

2012 , publisher=

Functional analysis , author=. 2012 , publisher=

2012
[69]

2016 , publisher=

Theory of functions of a real variable , author=. 2016 , publisher=

2016
[70]

2008 , publisher=

Distributions and operators , author=. 2008 , publisher=

2008
[71]

Sticky central limit theorems on open books , author=
[72]

2000 , publisher=

Asymptotic Statistics , author=. 2000 , publisher=

2000
[73]

2011 , publisher=

Probability and Stochastics , author=. 2011 , publisher=

2011
[74]

1977 , publisher=

Vector Measures , author=. 1977 , publisher=

1977
[75]

2013 , publisher=

Metric spaces of non-positive curvature , author=. 2013 , publisher=

2013
[76]

2018 , publisher=

Graph Theory , author=. 2018 , publisher=

2018
[77]

2010 , publisher=

Introduction to Graph Theory , author=. 2010 , publisher=

2010
[78]

2010 , publisher=

Introduction to topological manifolds , author=. 2010 , publisher=

2010
[79]

2008 , publisher=

Graph theory , author=. 2008 , publisher=

2008
[80]

Borel selectors for upper semi-continuous set-valued maps , author=

Showing first 80 references.