Paper · Dec 8, 2017
The Sinkhorn algorithm, parabolic optimal transport and geometric Monge-Ampère equations
As on arXiv
Abstract
We show that the discrete Sinkhorn algorithm - as applied in the setting of Optimal Transport on a compact manifold - converges to the solution of a fully non-linear parabolic PDE of Monge-Ampere type, in a large-scale limit. The latter evolution equation has previously appeared in different contexts (e.g. on the torus it can be be identified with the Ricci flow). This leads to algorithmic approximations of the potential of the Optimal Transport map, as well as the Optimal Transport distance, with explicit bounds on the arithmetic complexity of the construction and the approximation errors. As applications we obtain explicit schemes of nearly linear complexity, at each iteration, for optimal transport on the torus and the two-sphere, as well as the far-field antenna problem. Connections to Quasi-Monte Carlo methods are exploited.
- Submitted
- Dec 8, 2017
- Last revised
- Jun 26, 2020 (v4)
- Subjects
- math.AP, math.NA
Comments: v3: Major revision; the general exposition has been improved and the main results have been improved for smooth data (Section 5.4). 52 pages v4: This is essentially the version that will appear in Numerische Mathematik
Its neighbourhood
Connected papers
The 8 papers on this site closest to this one, judged by the topics they share, the words and phrases in their titles and abstracts, and their authors. They are not its citations, but a map of the work around it. Papers here go back to 2016, plus the canon.
-
On a general class of free boundary Monge-Ampère equations
Topics Limit spaces & RCD, Kähler geometry · Shared terms “Monge Ampère”, “Ampère equation”, “optimal transport”
-
Optimal Transport and Generalized Ricci Flow
Topics Limit spaces & RCD · Shared terms “optimal transport”
-
Parabolic Monge-Ampère equations on a family of Calabi-Yau manifolds
Topics Limit spaces & RCD, Kähler geometry · Shared terms “Ampère equation”, “Monge Ampère”
-
Kähler-Ricci Flow preserves negative anti-bisectional curvature
Topics Limit spaces & RCD, Kähler geometry · Shared terms “optimal transport”
-
The estimate for parabolic complex Monge-Ampère equations
Topics Kähler geometry · Shared terms “Monge Ampère”, “Ampère equation”
-
Stability of solutions to complex Monge-Ampere flows
Topics Kähler geometry · Shared terms “Monge Ampère”, “Ampère equation”
-
Complex Monge-Ampère equation for positive -forms on compact Kähler manifolds
Topics Kähler geometry · Shared terms “Monge Ampère”, “Ampère equation”, “PDE”
-
Synthetic approaches to Ricci flows
Topics Limit spaces & RCD · Shared terms “optimal transport”
Read around it
Background reading
The guides for the topics of this paper: what each idea is, why it matters, and the papers to read first.
In the guidebook
- 6C.11Optimal Transport and Ricci Curvature
Kantorovich duality, Wasserstein geometry, the heat equation as a gradient flow of entropy, displacement convexity, and Ricci curvature as convexity, from Lott–Sturm–Villani to McCann–Topping and the reduced volume.
- 9B.4Convergence of Manifolds
Gromov–Hausdorff and Cheeger–Gromov convergence, and the compactness theorem.
- 11B.3Compactness of Ricci Flows
Hamilton’s compactness theorem and the missing injectivity radius bound.