pith. machine review for the scientific record. sign in

arxiv: 2604.17924 · v1 · submitted 2026-04-20 · 🧮 math.MG · math.OC

Recognition: unknown

Wasserstein barycenters on metric graphs

J\'er\^ome Bertrand (IMT), Jianyu Ma (IMT)

Pith reviewed 2026-05-10 03:46 UTC · model grok-4.3

classification 🧮 math.MG math.OC
keywords Wasserstein barycentermetric graphabsolute continuityHausdorff measureoptimal transportbarycenters
0
0 comments X

The pith

Wasserstein barycenters on metric graphs are absolutely continuous away from vertices under appropriate conditions.

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

This paper establishes conditions under which the Wasserstein barycenter of measures supported on a metric graph is absolutely continuous with respect to the Hausdorff measure away from the graph's vertices. This property implies that the barycenter measure can be expressed via a density function along the edges of the graph. A reader might care because it describes how averaged optimal transport behaves on one-dimensional network spaces, avoiding unexpected concentrations of mass on edge interiors. If these conditions are satisfied, the barycenter behaves regularly on each connected component between vertices.

Core claim

The authors provide conditions for a Wasserstein barycenter to be absolutely continuous with respect to its Hausdorff measure away from the vertices of the graph.

What carries the argument

The Wasserstein barycenter of probability measures on the metric graph, defined as the minimizer of the weighted sum of squared Wasserstein distances, carrying the absolute continuity property on edge interiors.

Load-bearing premise

The abstract does not specify the precise assumptions on the metric graph, the input measures, or the barycenter weights.

What would settle it

Constructing a metric graph and input measures that satisfy the paper's conditions but yield a barycenter with an atom strictly in the interior of an edge would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.17924 by J\'er\^ome Bertrand (IMT), Jianyu Ma (IMT).

Figure 1
Figure 1. Figure 1: P = P3 i=1 1 3 δνi on the tripod be a probability measure on the Wasserstein space over the tripod, where each νi is an absolutely continuous measure supported on the outer half [ 1 2 , 1] of a distinct branch. The unique Wasserstein barycenter of P is the Dirac measure µP = δ0 at the central vertex. More in general, the absence of synthetic lower curvature bounds on metric (measure) graphs forces to tackl… view at source ↗
read the original abstract

In this paper we provide conditions for a Wasserstein barycenter to be absolutely continuous with respect to its Hausdorff measure away from the vertices of the graph.

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.

Referee Report

0 major / 2 minor

Summary. The paper provides conditions under which the Wasserstein barycenter of probability measures on a finite connected compact metric graph (with finitely many edges) is absolutely continuous with respect to 1-Hausdorff measure on the interiors of the edges, away from vertices. Input measures are assumed to be probabilities with finite second moments. The central argument proceeds by disintegrating optimal transport plans along edges and invoking convexity of the Wasserstein functional to obtain the absolute continuity result.

Significance. If the stated conditions hold, the result supplies a useful regularity statement for Wasserstein barycenters on graphs, extending known absolute-continuity properties from Euclidean or Riemannian settings to a discrete network geometry. The derivation via disintegration and convexity is a standard, direct approach that appears internally consistent for the regime considered and could support further work on optimal transport on length spaces.

minor comments (2)
  1. [Abstract and §1] The abstract states that conditions are provided but does not list them; the introduction and main theorem statements should explicitly restate the graph and measure assumptions (finite connected compact length space, finitely many edges, finite second moments) so that the precise regime is visible without reading the full proofs.
  2. [Main theorem proof (likely §3 or §4)] In the disintegration step along edges, the notation for the conditional measures and the reference to convexity of the Wasserstein functional could be expanded with a short inline reminder of the relevant convexity inequality to aid readers who are not specialists in optimal transport on graphs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and the recommendation of minor revision. The referee's summary correctly identifies the main result: conditions ensuring that Wasserstein barycenters of probability measures with finite second moments on a finite connected compact metric graph are absolutely continuous with respect to 1-Hausdorff measure on the interiors of the edges, away from vertices. The derivation via disintegration of optimal plans and convexity of the Wasserstein functional is indeed the approach taken.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central claim is established by disintegrating optimal transport plans along the edges of the finite metric graph and invoking convexity of the Wasserstein functional, under explicitly stated assumptions on the graph (finite, connected, compact length space) and measures (probability measures with finite second moments). No step reduces by definition to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing premise rests on self-citation chains or imported uniqueness theorems. The argument uses standard optimal-transport tools without internal circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; therefore no free parameters, axioms, or invented entities can be extracted from the full derivation.

pith-pipeline@v0.9.0 · 5305 in / 896 out tokens · 40319 ms · 2026-05-10T03:46:07.611677+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references

  1. [1]

    Agueh and G

    M. Agueh and G. Carlier, Barycenters in the Wasserstein space , SIAM Journal on Math- ematical Analysis, 43 (2011), pp. 904–924. 26

    2011

  2. [2]

    Ambrosio, E

    L. Ambrosio, E. Bru ´e, and D. Semola , Lectures on Optimal Transport, vol. 130 of UNI- TEXT, 2021

    2021

  3. [3]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savar´e, Gradient flows: in metric spaces and in the space of probability measures, Lectures in Mathematics. ETH Z¨ urich, Birkh¨ auser, Basel, 2005

    2005

  4. [4]

    , Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Inventiones mathematicae, 195 (2014), pp. 289–391

    2014

  5. [5]

    Benamou and Y

    J.-D. Benamou and Y. Brenier , A computational fluid mechanics solution to the Monge- Kantorovich mass transfer problem , Numer. Math., 84 (2000), pp. 375–393

    2000

  6. [6]

    Bertrand, Existence and uniqueness of optimal maps on Alexandrov spaces , Advances in Mathematics, 219 (2008), pp

    J. Bertrand, Existence and uniqueness of optimal maps on Alexandrov spaces , Advances in Mathematics, 219 (2008), pp. 838–851

    2008

  7. [7]

    Bertrand and B

    J. Bertrand and B. R. Kloeckner , A geometric study of Wasserstein spaces: Hadamard spaces, Journal of Topology and Analysis, 4 (2012), pp. 515–542

    2012

  8. [8]

    Bigot and T

    J. Bigot and T. Klein, Characterization of barycenters in the Wasserstein space by averaging optimal transport maps, ESAIM: Probability and Statistics, 22 (2018), pp. 35–57

    2018

  9. [9]

    Bobkov and M

    S. Bobkov and M. Ledoux, One-dimensional empirical measures, order statistics, and Kan- torovich transport distances , vol. 1259 of Mem. Am. Math. Soc., Providence, RI: American Mathematical Society (AMS), 2019

    2019

  10. [10]

    V. I. Bogachev, Measure theory, Springer, Berlin, 2007

    2007

  11. [11]

    Burago, I

    D. Burago, I. D. Burago, Y. Burago, S. Ivanov, S. V. Ivanov, and S. A. Ivanov , A course in metric geometry , vol. 33, American Mathematical Soc., 2001

    2001

  12. [12]

    C ¸ınlar, Probability and Stochastics, Graduate Texts in Mathematics, Springer New York, 2011

    E. C ¸ınlar, Probability and Stochastics, Graduate Texts in Mathematics, Springer New York, 2011

    2011

  13. [13]

    Erbar, D

    M. Erbar, D. L. Forkert, J. Maas, and D. Mugnolo , Gradient flow formulation of diffusion equations in the Wasserstein space over a metric graph , Networks and Heterogeneous Media, 17 (2022)

    2022

  14. [14]

    Erbar, K

    M. Erbar, K. Kuwada, and K.-T. Sturm , On the equivalence of the entropic curvature- dimension condition and Bochner’s inequality on metric measure spaces , Invent. Math., 201 (2015), pp. 993–1071

    2015

  15. [15]

    L. C. Evans and R. F. Garzepy, Measure theory and fine properties of functions, Routledge, Oxfordshire, 2018

    2018

  16. [16]

    Gigli, T

    N. Gigli, T. Rajala, and K.-T. Sturm , Optimal maps and exponentiation on finite- dimensional spaces with Ricci curvature bounded from below, The Journal of geometric analysis, 26 (2016), pp. 2914–2929

    2016

  17. [17]

    T. Hotz, S. Skwerer, S. Huckemann, H. Le, J. Marron, J. C. Mattingly, E. Miller, J. Nolen, M. Owen, and V. Patrangenaru , Sticky central limit theorems on open books , (2013). 27

    2013

  18. [18]

    Jiang, Absolute continuity of Wasserstein barycenters over Alesxandrov spaces , Canadian Journal of Mathematics, 69 (2017), pp

    Y. Jiang, Absolute continuity of Wasserstein barycenters over Alesxandrov spaces , Canadian Journal of Mathematics, 69 (2017), pp. 1087–1108

    2017

  19. [19]

    Kim and B

    Y.-H. Kim and B. Pass , Wasserstein barycenters over Riemannian manifolds , Advances in Mathematics, 307 (2017), pp. 640–683

    2017

  20. [20]

    Le Gouic and J.-M

    T. Le Gouic and J.-M. Loubes , Existence and consistency of Wasserstein barycenters , Probability Theory and Related Fields, 168 (2017), pp. 901–917

    2017

  21. [21]

    Lisini, Characterization of absolutely continuous curves in Wasserstein spaces , Calc

    S. Lisini, Characterization of absolutely continuous curves in Wasserstein spaces , Calc. Var. Partial Differ. Equ., 28 (2007), pp. 85–120

    2007

  22. [22]

    Ma, R´ egularit´ e des barycentres de Wasserstein, phd, universit´ e de Toulouse, 2025

    J. Ma, R´ egularit´ e des barycentres de Wasserstein, phd, universit´ e de Toulouse, 2025

    2025

  23. [23]

    , Absolute continuity of Wasserstein barycenters on manifolds with a lower Ricci curvature bound, Calc. Var. Partial Differ. Equ., 65 (2026), p. 36. Id/No 9

    2026

  24. [24]

    Manella Pereira and M

    L. Manella Pereira and M. Hadi Amini , A survey on optimal transport for machine learning: Theory and applications , IEEE Access, 13 (2025), pp. 26506–26526

    2025

  25. [25]

    J. M. Maz ´on, J. D. Rossi, and J. Toledo , Optimal mass transport on metric graphs , SIAM Journal on Optimization, 25 (2015), pp. 1609–1632

    2015

  26. [26]

    R. J. McCann , Polar factorization of maps on Riemannian manifolds , Geometric & Func- tional Analysis GAFA, 11 (2001), pp. 589–608

    2001

  27. [27]

    Ohta, Barycenters in Alesxandrov spaces of curvature bounded below , Advances in ge- ometry, 12 (2012), pp

    S.-I. Ohta, Barycenters in Alesxandrov spaces of curvature bounded below , Advances in ge- ometry, 12 (2012), pp. 571–587

    2012

  28. [28]

    V. M. Panaretos and Y. Zemel, An invitation to statistics in Wasserstein space , Springer- Briefs in Probability and Mathematical Statistics, Springer, Cham, Switzerland, 2020

    2020

  29. [29]

    Revuz and M

    D. Revuz and M. Yor , Continuous martingales and Brownian motion , vol. 293, Springer Science & Business Media, 2013

    2013

  30. [30]

    Santambrogio, Optimal Transport for Applied Mathematicians: Calculus of Variations, PDEs, and Modeling, vol

    F. Santambrogio, Optimal Transport for Applied Mathematicians: Calculus of Variations, PDEs, and Modeling, vol. 87 of Progress in Nonlinear Differential Equations and Their Appli- cations, 2015

    2015

  31. [31]

    Sturm, Probability measures on metric spaces of nonpositive curvature, SFB 611, 2003

    K.-T. Sturm, Probability measures on metric spaces of nonpositive curvature, SFB 611, 2003

    2003

  32. [32]

    , Convex functionals of probability measures and nonlinear diffusions on manifolds , Jour- nal de Math´ ematiques Pures et Appliqu´ ees, 84 (2005), pp. 149–168

    2005

  33. [33]

    Villani , Topics in optimal transportation , vol

    C. Villani , Topics in optimal transportation , vol. 58 of Graduate Studies in Mathematics, American Mathematical Society, Providence, Rhode Island, 2003

    2003

  34. [34]

    338 of Grundlehren der mathematischen Wis- senschaften, 2009

    , Optimal transport: old and new , vol. 338 of Grundlehren der mathematischen Wis- senschaften, 2009. 28

    2009