Continuity, curvature, and the general covariance of optimal transportation

DOI10.4171/JEMS/221zbMATH Open1191.49046arXiv0712.3077MaRDI QIDQ983897FDOQ983897

Robert J. McCann, Young-Heon Kim

Publication date: 13 July 2010

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: Let M and �ar M be n-dimensional manifolds equipped with suitable Borel probability measures ho and �ar ho. Ma, Trudinger & Wang gave sufficient conditions on a transportation cost c in C^4(M imes �ar M) to guarantee smoothness of the optimal map pushing ho forward to �ar ho; the necessity of these conditions was deduced by Loeper. The present manuscript shows the form of these conditions to be largely dictated by the covariance of the question; it expresses them via non-negativity of the sectional curvature of certain null-planes in a novel but natural pseudo-Riemannian geometry which the cost c induces on the product space M imes �ar M. H"older continuity of optimal maps was established for rougher mass distributions by Loeper, still relying on a key result of Trudinger & Wang which required certain structure on the domains and the cost. We go on to develop this theory for mass distributions on differentiable manifolds -- recovering Loeper's Riemannian examples such as the round sphere as particular cases -- give a direct proof of the key result mentioned above, and revise Loeper's H"older continuity argument to make it logically independent of all earlier works, while extending it to less restricted geometries and cost functions even for subdomains M and �ar M of R^n. We also give new examples of geometries satisfying the hypotheses -- obtained using submersions and tensor products -- and some connections to spacelike Lagrangian submanifolds in symplectic geometry.

Full work available at URL: https://arxiv.org/abs/0712.3077

zbMATH Keywords

covariance[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=H%EF%BF%BD%EF%BF%BDlder+continuity&go=Go H��lder continuity]optimal transportationcurvature[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=para-K%EF%BF%BD%EF%BF%BDhler&go=Go para-K��hler]pseudo-RiemannianMonge-Kantorovichmeasure-preserving homeomorphismsemi-Riemannianlightlike submanifoldregularity of optimal mapssignature \((n,n)\)spacelike Lagrangian

Mathematics Subject Classification ID

Variational problems in a geometric measure-theoretic setting (49Q20) Regularity of solutions in optimal control (49N60) Degenerate elliptic equations (35J70) Transportation, logistics and supply chain management (90B06) Multiobjective variational problems, Pareto optimality, applications to economics, etc. (58E17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The geometry of optimal transportation
• On the regularity of solutions of optimal transportation problems
• Abstract cyclical monotonicity and Monge solutions for the general Monge-Kantorovich problem
• Regularity of potential functions of the optimal transportation problem
• Hedonic price equilibria, stable matching, and optimal transport: Equivalence, topology, and uniqueness
• Sur le transport de mesures périodiques
• Existence and uniqueness of monotone measure-preserving maps
• On the regularity of reflector antennas
• Continuity of optimal transport maps and convexity of injectivity domains on small deformations of 𝕊²
• The Regularity of Mappings with a Convex Potential
• Shape recognition via Wasserstein distance
• Boundary regularity of maps with convex potentials. II
• \(C^{1}\) regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two
• Regularity of optimal transport in curved geometry: the nonfocal case
• Classical solvability in dimension two of the second boundary-value problem associated with the Monge-Ampère operator
• Regularity of optimal transport on compact, locally nearly spherical, manifolds
• Boundary regularity of maps with convex potentials
• Counterexamples to Continuity of Optimal Transport Maps on Positively Curved Riemannian Manifolds
• Gradient rearrangement for diffeomorphisms of a compact manifold.
• Gradient estimates for potentials of invertible gradient-mappings on the sphere

Cited In (64)

• Conformal mirror descent with logarithmic divergences
• Generalized curvature for the optimal transport problem induced by a Tonelli Lagrangian
• First and second derivative Hölder estimates for generated Jacobian equations
• Applications of optimal transportation. Abstracts from the workshop held February 4--9, 2024
• A geometric Laplace method
• Strict g-Convexity for Generated Jacobian Equations with Applications to Global Regularity
• A geometric approach to apriori estimates for optimal transport maps
• On the local geometry of maps with c-convex potentials
• Continuity of optimal transport maps and convexity of injectivity domains on small deformations of 𝕊²
• Convexity and multi-dimensional screening for spaces with different dimensions
• Hölder continuity and injectivity of optimal maps
• Regularity of optimal maps on the sphere: the quadratic cost and the reflector antenna
• When is multidimensional screening a convex program?
• Recent developments on the MTW tensor
• Variational approach to regularity of optimal transport maps: general cost functions
• Necessary and sufficient conditions for continuity of optimal transport maps on Riemannian manifolds
• Strict convexity and \(C^1\) regularity of solutions to generated Jacobian equations in dimension two
• Continuity and injectivity of optimal maps
• On the Convexity of Injectivity Domains on Nonfocal Manifolds
• Optimal Transport and Curvature
• \(C^{1, \alpha}\) estimates for the parallel refractor
• Pointwise Estimates and Regularity in Geometric Optics and Other Generated Jacobian Equations
• Stability results on the smoothness of optimal transport maps with general costs
• On asymptotic behaviour and \(W^{2, p}\) regularity of potentials in optimal transportation
• The Monge–Ampère equation and its link to optimal transportation
• Convergence of a Newton algorithm for semi-discrete optimal transport
• Regularity in Monge's mass transfer problem
• On the Ma-Trudinger-Wang curvature on surfaces
• Towards the smoothness of optimal maps on Riemannian submersions and Riemannian products (of round spheres in particular)
• Polar factorization of conformal and projective maps of the sphere in the sense of optimal mass transport
• An iterative scheme for solving the optimal transportation problem
• Strict convexity and \(C^{1,\alpha}\) regularity of potential functions in optimal transportation under condition A3w
• Pseudo-Riemannian geometry encodes information geometry in optimal transport
• Optimal transportation, topology and uniqueness
• Exponential convergence of parabolic optimal transport on bounded domains
• Regularity of optimal transport in curved geometry: the nonfocal case
• Calibrations associated to Monge-Ampère equations
• Positivity of Ma-Trudinger-Wang curvature on Riemannian surfaces
• \(C^{1,\alpha}\)-estimates for the near field refractor
• A Jacobian Inequality for Gradient Maps on the Sphere and Its Application to Directional Statistics
• Density Functional Theory and Optimal Transportation with Coulomb Cost
• Regularity of optimal transport maps on locally nearly spherical manifolds
• On the Degeneracy of Optimal Transportation
• Hölder regularity of optimal mappings in optimal transportation
• A perturbation argument for a Monge-Ampère type equation arising in optimal transportation
• \(C^{1}\) regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two
• Boundary $C^{1,\alpha}$ regularity of an optimal transport problem with cost close to $-x\cdot y$
• On the regularity of optimal transportation potentials on round spheres
• Partial \(W^{2,p}\) regularity for optimal transport maps
• On the local structure of optimal measures in the multi-marginal optimal transportation problem
• A McLean theorem for the moduli space of Lie solutions to mass transport equations
• Wasserstein barycenters over Riemannian manifolds
• On the regularity of solutions of optimal transportation problems
• Boundary \(\varepsilon\)-regularity in optimal transportation
• On the local theory of prescribed Jacobian equations revisited
• When optimal transport meets information geometry
• A variational formulation of the BDF2 method for metric gradient flows
• Regularity of optimal transport maps on multiple products of spheres
• A glimpse into the differential topology and geometry of optimal transport
• On the local theory of prescribed Jacobian equations
• The Ma-Trudinger-Wang curvature for natural mechanical actions
• The Kähler geometry of certain optimal transport problems
• Split Special Lagrangian Geometry
• A note on global regularity in optimal transportion

This page was built for publication: Continuity, curvature, and the general covariance of optimal transportation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q983897)