REVIEW 3 minor 57 references
The Wasserstein--Ebin Metric: A Geometric Lift of Unbalanced Optimal Transport to the space of Riemannian metrics
T0 review · 0 major / 3 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read The volume map defines a Riemannian submersion from the Wasserstein-Ebin metric on Riemannian metrics to the Wasserstein-Fisher-Rao metric on densities.
desk verdict The paper defines a Wasserstein-Ebin metric on Riemannian metrics via dynamic unbalanced transport and proves the volume map is a Riemannian submersion to the Wasserstein-Fisher-Rao metric. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The Wasserstein-Ebin metric, obtained from the dynamic formulation that penalizes transport by the L2 metric and source by the Ebin metric on the evolution of Riemannian metrics.
What would settle it
An explicit computation of the differential of the volume map that checks whether it satisfies the Riemannian submersion condition with respect to the Wasserstein-Ebin inner product, or a pair of nearby metrics whose Wasserstein-Ebin distance fails to equal the Wasserstein-Fisher-Rao distance of their volumes.
Extended reading notes
Core claim
The authors construct the Wasserstein-Ebin metric on the manifold of Riemannian metrics via a dynamic variational problem in which the evolution is driven by transport and source, with the L2 metric penalizing the vector field and the Ebin metric penalizing the source. They prove that the volume map is a Riemannian submersion from this metric to the Wasserstein-Fisher-Rao metric on smooth densities and construct a Riemannian submersion from the automorphism group of the tangent bundle onto the space of Riemannian metrics.
Load-bearing premise
The chosen L2 and Ebin penalizations produce a well-defined Riemannian metric on the manifold of Riemannian metrics when formally extending unbalanced optimal transport.
Editorial extensions
If this is right
- Horizontal geodesics in the Wasserstein-Ebin metric project to geodesics in the Wasserstein-Fisher-Rao space of densities.
- The automorphism group of the tangent bundle supplies a geometric description of the Wasserstein-Ebin metric that generalizes Otto's construction for the Wasserstein metric.
- Two new Kullback-Leibler-type divergences on the space of Riemannian metrics furnish a static formulation of unbalanced metric transport.
- Distances and optimal paths between metrics can be studied by lifting problems already solved on their volume densities.
Reading between the lines
- The submersions suggest that horizontal lifts could be used to solve metric-valued optimization problems by reducing them to density-valued ones.
- The static divergences may connect the construction to matrix information geometry and allow direct comparison of metrics without solving a dynamic problem.
- If the open link between static and dynamic formulations is closed, the resulting theory would parallel the equivalence of static and dynamic unbalanced optimal transport on densities.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces dynamic and static formulations that extend unbalanced optimal transport from positive densities to the space of Riemannian metrics. It defines the Wasserstein-Ebin metric via a dynamic variational problem in which metric evolution is driven by a transport vector field (penalized by the L² metric) together with a source term (penalized by the Ebin metric). The central result asserts that the volume map is a Riemannian submersion from this new metric to the Wasserstein-Fisher-Rao metric on densities. An additional submersion is constructed from the automorphism group of the tangent bundle onto the space of metrics, generalizing Otto's geometric picture. Two Kullback-Leibler-type divergences on metrics are proposed for a static formulation, though the link between static and dynamic versions is left open.
Significance. If the constructions and submersion property are rigorously established, the work supplies a parameter-free geometric lift of unbalanced optimal transport to the manifold of Riemannian metrics, directly generalizing Otto's description of the Wasserstein metric. The explicit use of the L² metric on the transport component and the Ebin metric on the source component, together with the submersion result, provides a clean geometric relationship between metrics and their volume densities that may prove useful in shape analysis and geometric evolution equations.
minor comments (3)
- [§3] §3 (dynamic formulation): the precise domain and regularity assumptions on the source term in the tangent space to the space of metrics should be stated explicitly so that the inner-product definition is manifestly well-defined on the correct bundle.
- [§6] The two proposed Kullback-Leibler-type divergences on metrics are introduced without explicit formulas; adding the expressions (even if only for the matrix-information-geometry version) would make the static formulation easier to compare with the dynamic one.
- [§3.2] The proof that the chosen penalization yields a positive-definite inner product (hence a genuine Riemannian metric) is asserted but would benefit from a short self-contained verification that the resulting bilinear form is non-degenerate on the tangent space.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment of the significance of the Wasserstein-Ebin metric construction, and recommendation for minor revision. The referee's summary correctly captures the dynamic and static formulations, the Riemannian submersion property of the volume map, and the open question regarding the link between static and dynamic versions.
Circularity Check
No significant circularity identified
full rationale
The paper defines the Wasserstein-Ebin metric explicitly via a dynamic variational problem that augments transport with a source term, penalizing the vector field by the L2 metric and the source by the Ebin metric; it then proves the volume map is a Riemannian submersion onto the Wasserstein-Fisher-Rao metric. All steps are direct constructions and verifications from the chosen inner product and the differential geometry of the volume map, with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations whose content reduces to the present claims. The derivation is therefore self-contained against external benchmarks in Riemannian geometry and optimal transport.
Assumptions & free parameters
assumptions (1)
- domain assumption The manifold of Riemannian metrics carries the Ebin metric as a background structure used to penalize the source term.
invented entities (1)
-
Wasserstein-Ebin metric
Cite this review
Pith. "Pith review of The Wasserstein--Ebin Metric: A Geometric Lift of Unbalanced Optimal Transport to the space of Riemannian metrics." pith.science (2026). https://pith.science/paper/UTEOHWLL
@misc{pith2026260527086,
author = {Pith},
title = {Pith review of: The Wasserstein--Ebin Metric: A Geometric Lift of Unbalanced Optimal Transport to the space of Riemannian metrics},
year = {2026},
howpublished = {\url{https://pith.science/paper/UTEOHWLL}},
note = {Machine review of arXiv:2605.27086}
}
abstract
We introduce dynamic and static formulations that formally extend unbalanced optimal transport from the space of positive densities to the space of Riemannian metrics. The first construction is based on a dynamic variational formulation in which the evolution of a Riemannian metric is driven by transport together with a source term. Choosing the $L^2$-metric to penalize the transport vector field and the Ebin metric to penalize the source component yields a new Riemannian metric on the manifold of Riemannian metrics, which we call the Wasserstein--Ebin metric. Our main result shows that the volume map defines a Riemannian submersion from the Wasserstein--Ebin metric to the Wasserstein--Fisher--Rao metric on the space of smooth densities. In addition, we construct a Riemannian submersion from the automorphism group of the tangent bundle onto the space of Riemannian metrics, providing a generalization of Otto's geometric description for the Wasserstein metric to the setting of the Wasserstein--Ebin metric. To propose a static formulation of unbalanced optimal Riemannian metric transport, we introduce two Kullback--Leibler-type divergences on the space of Riemannian metrics: one inspired by matrix information geometry, and another related, through the volume map, to the classical Kullback--Leibler divergence on densities. Establishing a link between the static and dynamic formulations remains an open direction for future work.
Reference graph
Works this paper leans on
-
[1]
American Mathematical Society and Oxford University Press, 2000
Shunichi Amari and Hiroshi Nagaoka.Methods of Information Geometry, volume 191 ofTranslations of Mathematical Monographs. American Mathematical Society and Oxford University Press, 2000
2000
-
[2]
Martin Bauer, Alice Le Brigant, and Cy Maor. A Riemannian viewpoint on the Amari-Cencov alpha-connections and Proudman-Johnson equations.arXiv preprint arXiv:2508.00371, 2025
-
[3]
Smooth perturbations of the functional calculus and applications to Riemannian geometry on spaces of metrics.Communications in Mathematical Physics, 389(2):899–931, 2022
Martin Bauer, Martins Bruveris, Philipp Harms, and Peter W Michor. Smooth perturbations of the functional calculus and applications to Riemannian geometry on spaces of metrics.Communications in Mathematical Physics, 389(2):899–931, 2022
2022
-
[4]
Martin Bauer, Martins Bruveris, and Peter W. Michor. Homogeneous Sobolev metric of order one on diffeomorphism groups on real line.J. Nonlinear Sci., 24(5):769–808, 2014
2014
-
[5]
Martin Bauer, Philipp Harms, and Peter W. Michor. Sobolev metrics on the manifold of all Riemannian metrics.Journal of Differential Geometry, 94(2):187–208, 2013
2013
-
[6]
Martin Bauer, Philipp Harms, and Stephen C. Preston. Vanishing distance phenomena and the geometric approach to SQG.Arch. Ration. Mech. Anal., 235(3):1445–1466, 2020
2020
-
[7]
A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem.Numerische Mathematik, 84(3):375–393, 2000
Jean-David Benamou and Yann Brenier. A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem.Numerische Mathematik, 84(3):375–393, 2000
2000
-
[8]
Iterative bregman projections for regularized transportation problems.SIAM Journal on Scientific Computing, 37(2):A1111–A1138, 2015
Jean-David Benamou, Guillaume Carlier, Marco Cuturi, Luca Nenna, and Gabriel Peyr´ e. Iterative bregman projections for regularized transportation problems.SIAM Journal on Scientific Computing, 37(2):A1111–A1138, 2015
2015
Show all 57 references
-
[9]
Entropic semi-martingale optimal transport.arXiv preprint arXiv:2408.09361, 2024
Jean-David Benamou, Guillaume Chazareix, Marc Hoffmann, Gregoire Loeper, and Fran¸ cois-Xavier Vialard. Entropic semi-martingale optimal transport.arXiv preprint arXiv:2408.09361, 2024
2024
-
[10]
Princeton Series in Applied Mathematics
Rajendra Bhatia.Positive Definite Matrices. Princeton Series in Applied Mathematics. Princeton University Press, 2007
2007
-
[11]
On the Bures–Wasserstein distance between positive definite matrices
Rajendra Bhatia, Tanvi Jain, and Yongdo Lim. On the Bures–Wasserstein distance between positive definite matrices. Expositiones Mathematicae, 37(2):165–191, 2019
2019
-
[12]
The least action principle and the related concept of generalized flows for incompressible perfect fluids
Yann Brenier. The least action principle and the related concept of generalized flows for incompressible perfect fluids. Journal of the American Mathematical Society, 2(2):225–255, 1989. 30 MARTIN BAUER, PETER W. MICHOR, FRANC ¸ OIS-XAVIER VIALARD
1989
-
[13]
Examples of hidden convexity in nonlinear PDEs
Yann Brenier. Examples of hidden convexity in nonlinear PDEs. 2020
2020
-
[14]
On optimal transport of matrix-valued measures.SIAM Journal on Mathematical Analysis, 52(3):2849–2873, 2020
Yann Brenier and Dmitry Vorotnikov. On optimal transport of matrix-valued measures.SIAM Journal on Mathematical Analysis, 52(3):2849–2873, 2020
2020
-
[15]
On the matrix Monge–Kantorovich problem
Yongxin Chen, Wilfrid Gangbo, Tryphon T Georgiou, and Allen Tannenbaum. On the matrix Monge–Kantorovich problem. European Journal of Applied Mathematics, 31(4):574–600, 2020
2020
-
[16]
Georgiou, and Allen Tannenbaum
Yongxin Chen, Tryphon T. Georgiou, and Allen Tannenbaum. Matrix optimal mass transport: A quantum mechanical approach.IEEE Transactions on Automatic Control, 63(8):2612–2619, 2018
2018
-
[17]
Georgiou, and Allen Tannenbaum
Yongxin Chen, Tryphon T. Georgiou, and Allen Tannenbaum. Vector-valued optimal mass transport.SIAM Journal on Applied Mathematics, 78(3):1682–1696, 2018
2018
-
[18]
An interpolating distance between optimal transport and Fisher–Rao metrics.Foundations of Computational Mathematics, 18(1):1–44, 2018
Lenaic Chizat, Gabriel Peyr´ e, Bernhard Schmitzer, and Fran¸ cois-Xavier Vialard. An interpolating distance between optimal transport and Fisher–Rao metrics.Foundations of Computational Mathematics, 18(1):1–44, 2018
2018
-
[19]
Unbalanced optimal transport: Dynamic and Kantorovich formulations.Journal of Functional Analysis, 274(11):3090–3123, 2018
Lenaic Chizat, Gabriel Peyr´ e, Bernhard Schmitzer, and Fran¸ cois-Xavier Vialard. Unbalanced optimal transport: Dynamic and Kantorovich formulations.Journal of Functional Analysis, 274(11):3090–3123, 2018
2018
-
[20]
The metric geometry of the manifold of Riemannian metrics over a closed manifold.Calc
Brian Clarke. The metric geometry of the manifold of Riemannian metrics over a closed manifold.Calc. Var. Partial Differential Equations, 39(3-4):533–545, 2010
2010
-
[21]
The completion of the manifold of Riemannian metrics.J
Brian Clarke. The completion of the manifold of Riemannian metrics.J. Differential Geom., 93(2):203–268, 2013
2013
-
[22]
Geodesics, distance, and the CAT(0) property for the manifold of Riemannian metrics.Math
Brian Clarke. Geodesics, distance, and the CAT(0) property for the manifold of Riemannian metrics.Math. Z., 273(1- 2):55–93, 2013
2013
-
[23]
Rubinstein
Brian Clarke and Yanir A. Rubinstein. Conformal deformations of the Ebin metric and a generalized Calabi metric on the space of Riemannian metrics.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 30(2):251–274, 2013
2013
-
[24]
The infimal convolution structure of the Hellinger- Kantorovich distance.arXiv preprint arXiv:2503.12939, 2025
Nicol` o De Ponti, Giacomo Enrico Sodini, and Luca Tamanini. The infimal convolution structure of the Hellinger- Kantorovich distance.arXiv preprint arXiv:2503.12939, 2025
2025
-
[25]
Bryce S. DeWitt. Quantum theory of gravity. i. the canonical theory.Physical Review, 160(5):1113–1148, 1967
1967
-
[26]
The manifold of Riemannian metrics
David G Ebin. The manifold of Riemannian metrics. InProc. Sympos. Pure Math, volume 15, pages 11–40, 1970
1970
-
[27]
Ebin and Jerrold Marsden
David G. Ebin and Jerrold Marsden. Groups of diffeomorphisms and the motion of an incompressible fluid.Ann. of Math. (2), 92:102–163, 1970
1970
-
[28]
PhD thesis, Massachusetts Institute of Technology, 1967
David Gregory Ebin.On the space of Riemannian metrics. PhD thesis, Massachusetts Institute of Technology, 1967
1967
-
[29]
Eliashberg and L
Y. Eliashberg and L. Polterovich. Bi-invariant metrics on the group of Hamiltonian diffeomorphisms.International Journal of Mathematics, 04(05):727–738, 1993
1993
-
[30]
The basic geometry of the manifold of Riemannian metrics and of its quotient by the diffeomorphism group.The Michigan Mathematical Journal, 36(3):323–344, 1989
Daniel S Freed, David Groisser, et al. The basic geometry of the manifold of Riemannian metrics and of its quotient by the diffeomorphism group.The Michigan Mathematical Journal, 36(3):323–344, 1989
1989
-
[31]
Generalized compressible flows and solutions of the H(div) geodesic problem.Archive for Rational Mechanics and Analysis, 235(3):1707–1762, 2020
Thomas O Gallou¨ et, Andrea Natale, and Fran¸ cois-Xavier Vialard. Generalized compressible flows and solutions of the H(div) geodesic problem.Archive for Rational Mechanics and Analysis, 235(3):1707–1762, 2020
2020
-
[32]
The Camassa–Holm Equation as an Incompressible Euler Equation: A Geometric Point of View.Journal of Differential Equations, 264(7):4199–4234, 2018
Thomas Gallou¨ et and Fran¸ cois-Xavier Vialard. The Camassa–Holm Equation as an Incompressible Euler Equation: A Geometric Point of View.Journal of Differential Equations, 264(7):4199–4234, 2018
2018
-
[33]
The Riemannian manifold of all Riemannian metrics.Quarterly Journal of Math- ematics (Oxford), 42:183–202, 1991
Olga Gil-Medrano and Peter W Michor. The Riemannian manifold of all Riemannian metrics.Quarterly Journal of Math- ematics (Oxford), 42:183–202, 1991
1991
-
[34]
Jerrard and C
Robert L. Jerrard and C. Maor. Geodesic distance for right-invariant metrics on diffeomorphism groups: critical Sobolev exponents.Ann. Glob. Anal. Geom., 56(2):351–360, 2019
2019
-
[35]
Jerrard and C
Robert L. Jerrard and C. Maor. Vanishing geodesic distance for right-invariant Sobolev metrics on diffeomorphism groups. Ann. Glob. Anal. Geom., 55(4):631–656, 2019
2019
-
[36]
Universal vector and matrix optimal transport.arXiv preprint arXiv:2510.02039, 2025
Boris Khesin and Klas Modin. Universal vector and matrix optimal transport.arXiv preprint arXiv:2510.02039, 2025
2025
-
[37]
Objective rates as covariant derivatives on the manifold of Riemannian metrics
Boris Kolev and Rodrigue Desmorat. Objective rates as covariant derivatives on the manifold of Riemannian metrics. Archive for Rational Mechanics and Analysis, 248(4):66, 2024
2024
-
[38]
Amari-Chentsov connections and their geodesics on homogeneous spaces of diffeomorphism groups.J
Jonatan Lenells and G Misio lek. Amari-Chentsov connections and their geodesics on homogeneous spaces of diffeomorphism groups.J. Math. Sci, 196(2):144–151, 2014
2014
-
[39]
Optimal transport in competition with reaction: The Hellinger– Kantorovich distance and geodesic curves.SIAM Journal on Mathematical Analysis, 48(4):2869–2911, 2016
Matthias Liero, Alexander Mielke, and Giuseppe Savar´ e. Optimal transport in competition with reaction: The Hellinger– Kantorovich distance and geodesic curves.SIAM Journal on Mathematical Analysis, 48(4):2869–2911, 2016
2016
-
[40]
Optimal entropy-transport problems and a new Hellinger– Kantorovich distance between positive measures.Inventiones Mathematicae, 211(3):969–1117, 2018
Matthias Liero, Alexander Mielke, and Giuseppe Savar´ e. Optimal entropy-transport problems and a new Hellinger– Kantorovich distance between positive measures.Inventiones Mathematicae, 211(3):969–1117, 2018
2018
-
[41]
A remark on vanishing geodesic distances in infinite dimensions.Proceedings of the American Mathematical Society, 148(8):3653–3656, 2020
Valentino Magnani and Daniele Tiberio. A remark on vanishing geodesic distances in infinite dimensions.Proceedings of the American Mathematical Society, 148(8):3653–3656, 2020
2020
-
[42]
Marsden and Thomas J
Jerrold E. Marsden and Thomas J. R. Hughes.Mathematical Foundations of Elasticity. Dover Publications, New York, 1994
1994
-
[43]
Gromov–Wasserstein distances and the metric approach to object matching.Foundations of Computa- tional Mathematics, 11(4):417–487, 2011
Facundo M´ emoli. Gromov–Wasserstein distances and the metric approach to object matching.Foundations of Computa- tional Mathematics, 11(4):417–487, 2011
2011
-
[44]
Michor.Manifolds of differentiable mappings, volume 3 ofShiva Mathematics Series
Peter W. Michor.Manifolds of differentiable mappings, volume 3 ofShiva Mathematics Series. Shiva Publishing Ltd., Nantwich, 1980
1980
-
[45]
Michor.Topics in differential geometry, volume 93 ofGraduate Studies in Mathematics
Peter W. Michor.Topics in differential geometry, volume 93 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008
2008
-
[46]
Peter W. Michor. Manifolds of mappings for continuum mechanics. InGeometric Continuum Mechanics, volume 42 of Advances in Continuum Mechanics, pages 3–75. Birkh¨ auser Basel, 2020
2020
-
[47]
Peter W. Michor. Lie derivatives of sections of natural vector bundles.J. Lie Theory, page 6, 2025
2025
-
[48]
Michor and David Mumford
Peter W. Michor and David Mumford. Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms.Doc. Math., 10:217–245, 2005. UNBALANCED METRIC TRANSPORT 31
2005
-
[49]
Signals and Communication Technology
Frank Nielsen and Rajendra Bhatia, editors.Matrix Information Geometry. Signals and Communication Technology. Springer, 2013
2013
-
[50]
The Geometry of Dissipative Evolution Equations: The Porous Medium Equation.Communications in Partial Differential Equations, 26(1-2):101–174, 2001
Felix Otto. The Geometry of Dissipative Evolution Equations: The Porous Medium Equation.Communications in Partial Differential Equations, 26(1-2):101–174, 2001
2001
-
[51]
A Riemannian framework for tensor computing.International Journal of Computer Vision, 66(1):41–66, 2006
Xavier Pennec, Pierre Fillard, and Nicholas Ayache. A Riemannian framework for tensor computing.International Journal of Computer Vision, 66(1):41–66, 2006
2006
-
[52]
Now Publishers, 2019
Gabriel Peyr´ e and Marco Cuturi.Computational Optimal Transport, volume 11 ofFoundations and Trends in Machine Learning. Now Publishers, 2019
2019
-
[53]
Generalized Wasserstein distance and its application to transport equations with source.Archive for Rational Mechanics and Analysis, 211(1):335–358, 2014
Benedetto Piccoli and Francesco Rossi. Generalized Wasserstein distance and its application to transport equations with source.Archive for Rational Mechanics and Analysis, 211(1):335–358, 2014
2014
-
[54]
The Unbalanced Gromov–Wasserstein distance: Conic formulation and relaxation
Thibault S´ ejourn´ e, Fran¸ cois-Xavier Vialard, and Gabriel Peyr´ e. The Unbalanced Gromov–Wasserstein distance: Conic formulation and relaxation. InAdvances in Neural Information Processing Systems, volume 34, pages 8766–8779. Curran Associates, Inc., 2021
2021
-
[55]
American Mathematical Society, Providence, RI, 2003
C´ edric Villani.Topics in Optimal Transportation, volume 58 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2003
2003
-
[56]
Springer, Berlin, 2009
C´ edric Villani.Optimal Transport: Old and New, volume 338 ofGrundlehren der mathematischen Wissenschaften. Springer, Berlin, 2009
2009
-
[57]
Elastic shape analysis of planar objects using tensor field representations.Journal of Mathematical Imaging and Vision, 63(9):1204–1221, 2021
Ruiyi Zhang and Anuj Srivastava. Elastic shape analysis of planar objects using tensor field representations.Journal of Mathematical Imaging and Vision, 63(9):1204–1221, 2021. Martin Bauer: Department of Mathematics, Florida State University, USA, Peter W. Michor: Fakult ¨at f...
2021
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.