arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1010.0590

A geometric study of Wasserstein spaces: Hadamard spaces

Jérôme Bertrand·Benoît Kloeckner
View original source ↗Read source document ↗Export metadata ↓

Abstract

Optimal transport enables one to construct a metric on the set of (sufficiently small at infinity) probability measures on any (not too wild) metric space X, called its Wasserstein space W(X). In this paper we investigate the geometry of W(X) when X is a Hadamard space, by which we mean that $X$ has globally non-positive sectional curvature and is locally compact. Although it is known that -except in the case of the line- W(X) is not non-positively curved, our results show that W(X) have large-scale properties reminiscent of that of X. In particular we define a geodesic boundary for W(X) that enables us to prove a non-embeddablity result: if X has the visibility property, then the Euclidean plane does not admit any isometric embedding in W(X).

Explore related subjects

math.MGmath.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jérôme Bertrand, Benoît Kloeckner. 2013-02-06. A geometric study of Wasserstein spaces: Hadamard spaces. https://doi.org/10.1142/s1793525312500227

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Few-Distance Sets in the Plane

Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.

math.MG↗
arXiv2026

Extensions of the Busemann-Petty Problem for Arbitrary Measures

The classical Busemann--Petty problem asks whether smaller central hyperplane sections of origin-symmetric convex bodies imply smaller total volume. Zvavitch studied the analogous question when sections and bodies are measured by two arbitrary densities. We refine this result in three directions: we allow central sections of arbitrary codimension; we relax the monotonicity requirement on the radial density ratio to a decomposition into a non-decreasing and a non-increasing part; and we permit a distinct pair of densities for each body, one for the sections and another for the full volume. We also obtain an isomorphic version, in which the comparison constant is governed by the distance from an auxiliary star body to the class of generalized $k$-intersection bodies, and we present some examples illustrating cases not covered by previous results.

math.MG↗
arXiv2026

The truncated octahedron minimizes surface area among parallelohedra of equal volume

We prove that the regular truncated octahedron uniquely minimizes surface area among all parallelohedra of fixed volume. Equivalently, every three-dimensional parallelohedron $P$ satisfies \[ \frac{\mathcal H^2(\partial P)}{|P|^{2/3}} \ge \frac{3(1+2\sqrt3)}{4^{2/3}}, \] with equality if and only if $P$ is similar to the regular truncated octahedron. Among the non-truncated Fedorov types we prove a stronger sharp bound, attained uniquely by the regular rhombic dodecahedron.

math.MG↗