SMF

Universalité des espaces de Wasserstein à floconnage près

Snowflake universality of Wasserstein spaces

Alexandr ANDONI, Assaf NAOR, Ofer NEIMAN
Universalité des espaces de Wasserstein à floconnage près
  • Consulter un extrait
  • Année : 2018
  • Fascicule : 3
  • Tome : 51
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 46B85, 53C23, 46E27.
  • Pages : 657-700
  • DOI : 10.24033/asens.2363

Pour $p\in (1,\infty )$ notons ${\cal P} (\mathbb R ^3)$ l'espace métrique des mesures de probabilité $p$-intégrables sur $\mathbb R ^3$, muni de la $p$-métrique de Wasserstein $\mathsf W _p$. Nous montrons que pour tout $\varepsilon >0$, tout $\theta \in (0,1/p]$ et tout espace métrique fini $(X,d_X)$, l'espace métrique $(X,d_{X}^{\theta })$ se plonge dans ${\cal P} (\mathbb R ^3)$ avec distortion au plus $1+\varepsilon $. Nous montrons que cela est optimal quand $p\in (1,2]$ au sens où l'exposant $1/p$ ne peut pas être augmenté. En fait pour $n\in \mathbb N $ assez grand il existe un espace métrique à $n$ points $(X_n,d_n)$ tel que pour tout $\alpha \in (1/p,1]$ tout plongement de l'espace métrique $(X_n,d_n^\alpha )$ dans ${\cal P} (\mathbb R ^3)$ a une distortion au moins égale à un multiple par une constante de $(\log n)^{\alpha -1/p}$. Ces résultats impliquent qu'il existe un espace d'Alexandrov de courbure positive, à savoir ${\cal P}_{2}(\mathbb R ^3)$, vis- à-vis duquel il n'existe pas de suite de graphes expanseurs de degré borné. Il en résulte aussi que ${\cal P}_{2}(\mathbb R ^3)$ n'admet pas de plongement uniforme, grossier ou quasisymétrique dans un espace de Banach de type non trivial. Nous discutons le lien avec plusieurs questions ouvertes depuis longtemps en géométrie des espaces métriques, dont la caractérisation des sous-ensembles des espaces d'Alexandrov, l'existence d'expandeurs, le problème d'universalité pour ${\cal P}_{\! 2}(\mathbb R ^k)$, et le problème de dichotomie pour le cotype métrique.

For $p\in (1,\infty )$ let ${\cal P} (\mathbb R ^3)$ denote the metric space of all $p$-integrable Borel probability measures on $\mathbb R ^3$, equipped with the Wasserstein $p$ metric $\mathsf W _p$. We prove that for every $\varepsilon >0$, every $\theta \in (0,1/p]$ and every finite metric space $(X,d_X)$, the metric space $(X,d_{X}^{\theta })$ embeds into ${\cal P} (\mathbb R ^3)$ with distortion at most $1+\varepsilon $. We show that this is sharp when $p\in (1,2]$ in the sense that the exponent $1/p$ cannot be replaced by any larger number. In fact, for arbitrarily large $n\in \mathbb N $ there exists an $n$-point metric space $(X_n,d_n)$ such that for every $\alpha \in (1/p,1]$ any embedding of the metric space $(X_n,d_n^\alpha )$ into ${\cal P} (\mathbb R ^3)$ incurs distortion that is at least a constant multiple of $(\log n)^{\alpha -1/p}$. These statements establish that there exists an Alexandrov space of nonnegative curvature, namely ${\cal P}_{2}(\mathbb R ^3)$, with respect to which there does not exist a sequence of bounded degree expander graphs. It also follows that ${\cal P}_{2}(\mathbb R ^3)$ does not admit a uniform, coarse, or quasisymmetric embedding into any Banach space of nontrivial type. Links to several longstanding open questions in metric geometry are discussed, including the characterization of subsets of Alexandrov spaces, existence of expanders, the universality problem for ${\cal P}_{2}(\mathbb R ^k)$, and the metric cotype dichotomy problem.

Plongements d'espaces métriques, espaces de Wasserstein, espaces d'Alexandrov, floconnage d'espaces métriques, trou spectral non linéaire, cotype métrique, type de Markov.
Metric embeddings, Wasserstein spaces, Alexandrov spaces, Snowflakes of metric spaces, nonlinear spectral gaps, metric cotype, Markov type.