Isometric study of Wasserstein spaces – the real line
HTML articles powered by AMS MathViewer
- by György Pál Gehér, Tamás Titkos and Dániel Virosztek PDF
- Trans. Amer. Math. Soc. 373 (2020), 5855-5883 Request permission
Abstract:
Recently Kloeckner described the structure of the isometry group of the quadratic Wasserstein space $\mathcal {W}_2(\mathbb {R}^n)$. It turned out that the case of the real line is exceptional in the sense that there exists an exotic isometry flow. Following this line of investigation, we compute $\mathrm {Isom}(\mathcal {W}_p(\mathbb {R}))$, the isometry group of the Wasserstein space $\mathcal {W}_p(\mathbb {R})$ for all $p \in [1, \infty )\setminus \{2\}$. We show that $\mathcal {W}_2(\mathbb {R})$ is also exceptional regarding the parameter $p$: $\mathcal {W}_p(\mathbb {R})$ is isometrically rigid if and only if $p\neq 2$. Regarding the underlying space, we prove that the exceptionality of $p=2$ disappears if we replace $\mathbb {R}$ by the compact interval $[0,1]$. Surprisingly, in that case, $\mathcal {W}_p([0,1])$ is isometrically rigid if and only if $p\neq 1$. Moreover, $\mathcal {W}_1([0,1])$ admits isometries that split mass, and $\mathrm {Isom}(\mathcal {W}_1([0,1]))$ cannot be embedded into $\mathrm {Isom}(\mathcal {W}_1(\mathbb {R}))$.References
- Luigi Ambrosio, Nicola Gigli, and Giuseppe Savaré, Gradient flows in metric spaces and in the space of probability measures, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 2005. MR 2129498
- M. Arjovsky, S. Chintala, and L. Bottou, Wasserstein generative adversarial networks, Proceedings of Machine Learning Research (2017), 214–223.
- Jérôme Bertrand and Benoît Kloeckner, A geometric study of Wasserstein spaces: Hadamard spaces, J. Topol. Anal. 4 (2012), no. 4, 515–542. MR 3021775, DOI 10.1142/S1793525312500227
- Jérôme Bertrand and Benoît R. Kloeckner, A geometric study of Wasserstein spaces: isometric rigidity in negative curvature, Int. Math. Res. Not. IMRN 5 (2016), 1368–1386. MR 3509929, DOI 10.1093/imrn/rnv177
- Emmanuel Boissard, Thibaut Le Gouic, and Jean-Michel Loubes, Distribution’s template estimate with Wasserstein metrics, Bernoulli 21 (2015), no. 2, 740–759. MR 3338645, DOI 10.3150/13-BEJ585
- Oleg Butkovsky, Subgeometric rates of convergence of Markov processes in the Wasserstein metric, Ann. Appl. Probab. 24 (2014), no. 2, 526–552. MR 3178490, DOI 10.1214/13-AAP922
- Gregor Dolinar and Lajos Molnár, Isometries of the space of distribution functions with respect to the Kolmogorov-Smirnov metric, J. Math. Anal. Appl. 348 (2008), no. 1, 494–498. MR 2449368, DOI 10.1016/j.jmaa.2008.07.054
- György Pál Gehér, Surjective Kuiper isometries, Houston J. Math. 44 (2018), no. 1, 263–281. MR 3796448
- György Pál Gehér and Tamás Titkos, A characterisation of isometries with respect to the Lévy-Prokhorov metric, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19 (2019), no. 2, 655–677. MR 3964409
- György Pál Gehér, Tamás Titkos, and Dániel Virosztek, On isometric embeddings of Wasserstein spaces—the discrete case, J. Math. Anal. Appl. 480 (2019), no. 2, 123435, 11. MR 4000104, DOI 10.1016/j.jmaa.2019.123435
- M. Hairer, J. C. Mattingly, and M. Scheutzow, Asymptotic coupling and a general form of Harris’ theorem with applications to stochastic delay equations, Probab. Theory Related Fields 149 (2011), no. 1-2, 223–259. MR 2773030, DOI 10.1007/s00440-009-0250-6
- Martin Hairer and Jonathan C. Mattingly, Spectral gaps in Wasserstein distances and the 2D stochastic Navier-Stokes equations, Ann. Probab. 36 (2008), no. 6, 2050–2091. MR 2478676, DOI 10.1214/08-AOP392
- Benoît Kloeckner, A geometric study of Wasserstein spaces: Euclidean spaces, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 9 (2010), no. 2, 297–323. MR 2731158
- Benoît Kloeckner, A generalization of Hausdorff dimension applied to Hilbert cubes and Wasserstein spaces, J. Topol. Anal. 4 (2012), no. 2, 203–235. MR 2949240, DOI 10.1142/S1793525312500094
- Benoît R. Kloeckner, A geometric study of Wasserstein spaces: ultrametrics, Mathematika 61 (2015), no. 1, 162–178. MR 3333967, DOI 10.1112/S0025579314000059
- John Lamperti, On the isometries of certain function-spaces, Pacific J. Math. 8 (1958), 459–466. MR 105017, DOI 10.2140/pjm.1958.8.459
- John Lott and Cédric Villani, Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), no. 3, 903–991. MR 2480619, DOI 10.4007/annals.2009.169.903
- Piotr Mankiewicz, On extension of isometries in normed linear spaces, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 20 (1972), 367–371 (English, with Russian summary). MR 312214
- Lajos Molnár, Lévy isometries of the space of probability distribution functions, J. Math. Anal. Appl. 380 (2011), no. 2, 847–852. MR 2794437, DOI 10.1016/j.jmaa.2011.02.014
- Max-K. von Renesse and Karl-Theodor Sturm, Transport inequalities, gradient estimates, entropy, and Ricci curvature, Comm. Pure Appl. Math. 58 (2005), no. 7, 923–940. MR 2142879, DOI 10.1002/cpa.20060
- Sanvesh Srivastava, Cheng Li, and David B. Dunson, Scalable Bayes via barycenter in Wasserstein space, J. Mach. Learn. Res. 19 (2018), Paper No. 8, 35. MR 3862415
- Karl-Theodor Sturm, On the geometry of metric measure spaces. I, Acta Math. 196 (2006), no. 1, 65–131. MR 2237206, DOI 10.1007/s11511-006-0002-8
- S. S. Vallander, Calculations of the Vasseršteĭn distance between probability distributions on the line, Teor. Verojatnost. i Primenen. 18 (1973), 824–827 (Russian, with English summary). MR 0328982
- Cédric Villani, Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009. Old and new. MR 2459454, DOI 10.1007/978-3-540-71050-9
- Cédric Villani, Topics in optimal transportation, Graduate Studies in Mathematics, vol. 58, American Mathematical Society, Providence, RI, 2003. MR 1964483, DOI 10.1090/gsm/058
- Dániel Virosztek, Maps on probability measures preserving certain distances—a survey and some new results, Acta Sci. Math. (Szeged) 84 (2018), no. 1-2, 65–80. MR 3792766, DOI 10.14232/actasm-018-753-y
- J. H. Wells and L. R. Williams, Embeddings and extensions in analysis, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 84, Springer-Verlag, New York-Heidelberg, 1975. MR 0461107, DOI 10.1007/978-3-642-66037-5
Additional Information
- György Pál Gehér
- Affiliation: Department of Mathematics and Statistics, University of Reading, Whiteknights, P.O. Box 220, Reading RG6 6AX, United Kingdom
- Email: g.p.geher@reading.ac.uk, gehergyuri@gmail.com
- Tamás Titkos
- Affiliation: Alfréd Rényi Institute of Mathematics, Reáltanoda u. 13-15 Budapest H-1053, Hungary; and BBS University of Applied Sciences, Alkotmány u. 9 Budapest H-1054, Hungary
- Email: titkos@renyi.hu
- Dániel Virosztek
- Affiliation: Institute of Science and Technology Austria, Am Campus 1, 3400 Klosterneuburg, Austria
- Email: daniel.virosztek@ist.ac.at
- Received by editor(s): August 19, 2019
- Received by editor(s) in revised form: January 20, 2020
- Published electronically: May 26, 2020
- Additional Notes: The first author was supported by the Leverhulme Trust Early Career Fellowship (ECF-2018-125) and also by the Hungarian National Research, Development and Innovation Office - NKFIH (grant no. K115383).
The second author was supported by the Hungarian National Research, Development and Innovation Office - NKFIH (grant no. PD128374 and grant no. K115383), by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences, and by the ÚNKP-18-4-BGE-3 New National Excellence Program of the Ministry of Human Capacities.
The third author was supported by the ISTFELLOW program of the Institute of Science and Technology Austria (project code IC1027FELL01), by the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 846294, and partially supported by the Hungarian National Research, Development and Innovation Office - NKFIH (grants no. K124152 and KH129601). - © Copyright 2020 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 373 (2020), 5855-5883
- MSC (2010): Primary 54E40, 46E27; Secondary 60A10, 60B05
- DOI: https://doi.org/10.1090/tran/8113
- MathSciNet review: 4127894