skip to main content


This content will become publicly available on August 23, 2024

Title: 𝐿₁-distortion of Wasserstein metrics: A tale of two dimensions

By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid{0,1,…<#comment/>,n}2\{0,1,\dots , n\}^2hasL1L_1-distortion bounded below by a constant multiple oflog⁡<#comment/>n\sqrt {\log n}. We provide a new “dimensionality” interpretation of Kislyakov’s argument, showing that if{Gn}n=1∞<#comment/>\{G_n\}_{n=1}^\inftyis a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common numberδ<#comment/>∈<#comment/>[2,∞<#comment/>)\delta \in [2,\infty ), then the 1-Wasserstein metric overGnG_nhasL1L_1-distortion bounded below by a constant multiple of(log⁡<#comment/>|Gn|)1δ<#comment/>(\log |G_n|)^{\frac {1}{\delta }}. We proceed to compute these dimensions for⊘<#comment/>\oslash-powers of certain graphs. In particular, we get that the sequence of diamond graphs{Dn}n=1∞<#comment/>\{\mathsf {D}_n\}_{n=1}^\inftyhas isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric overDn\mathsf {D}_nhasL1L_1-distortion bounded below by a constant multiple oflog⁡<#comment/>|Dn|\sqrt {\log | \mathsf {D}_n|}. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence ofL1L_1-embeddable graphs whose sequence of 1-Wasserstein metrics is notL1L_1-embeddable.

 
more » « less
Award ID(s):
2055604 1800322
NSF-PAR ID:
10445185
Author(s) / Creator(s):
; ;
Publisher / Repository:
American Mathematical Society (AMS)
Date Published:
Journal Name:
Transactions of the American Mathematical Society, Series B
Volume:
10
Issue:
30
ISSN:
2330-0000
Page Range / eLocation ID:
p. 1077-1118
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. For each odd integern≥<#comment/>3n \geq 3, we construct a rank-3 graphΛ<#comment/>n\Lambda _nwith involutionγ<#comment/>n\gamma _nwhose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>n,γ<#comment/>n)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n)is stably isomorphic to the exotic Cuntz algebraEn\mathcal E_n. This construction is optimal, as we prove that a rank-2 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda ,\gamma )can never satisfyCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)∼<#comment/>MEEnC^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )\sim _{ME} \mathcal E_n, and Boersema reached the same conclusion for rank-1 graphs (directed graphs) in [Münster J. Math.10(2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda , \gamma )whose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )is stably isomorphic to the suspensionSRS \mathbb {R}. In the Appendix, we show that theii-fold suspensionSiRS^i \mathbb {R}is stably isomorphic to a graph algebra iff−<#comment/>2≤<#comment/>i≤<#comment/>1-2 \leq i \leq 1.

     
    more » « less
  2. We show that for any even log-concave probability measureμ<#comment/>\muonRn\mathbb {R}^n, any pair of symmetric convex setsKKandLL, and anyλ<#comment/>∈<#comment/>[0,1]\lambda \in [0,1],μ<#comment/>((1−<#comment/>λ<#comment/>)K+λ<#comment/>L)cn≥<#comment/>(1−<#comment/>λ<#comment/>)μ<#comment/>(K)cn+λ<#comment/>μ<#comment/>(L)cn,\begin{equation*} \mu ((1-\lambda ) K+\lambda L)^{c_n}\geq (1-\lambda ) \mu (K)^{c_n}+\lambda \mu (L)^{c_n}, \end{equation*}wherecn≥<#comment/>n−<#comment/>4−<#comment/>o(1)c_n\geq n^{-4-o(1)}. This constitutes progress towards the dimensional Brunn-Minkowski conjecture (see Richard J. Gardner and Artem Zvavitch [Tran. Amer. Math. Soc. 362 (2010), pp. 5333–5353]; Andrea Colesanti, Galyna V. Livshyts, Arnaud Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139]). Moreover, our bound improves for various special classes of log-concave measures.

     
    more » « less
  3. IfIIis an ideal in a Gorenstein ringSS, andS/IS/Iis Cohen-Macaulay, then the same is true for any linked idealII’; but such statements hold for residual intersections of higher codimension only under restrictive hypotheses, not satisfied even by ideals as simple as the idealLnL_{n}of minors of a generic2×<#comment/>n2 \times nmatrix whenn>3n>3.

    In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread ofII. For example, suppose thatKKis the residual intersection ofLnL_{n}by2n−<#comment/>42n-4general quadratic forms inLnL_{n}. In this situation we analyzeS/KS/Kand show thatIn−<#comment/>3(S/K)I^{n-3}(S/K)is a self-dual maximal Cohen-MacaulayS/KS/K-module with linear free resolution overSS.

    The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented.

     
    more » « less
  4. Let(R,m)(R,\mathfrak {m})be a Noetherian local ring of dimensiond≥<#comment/>2d\geq 2. We prove that ife(R^<#comment/>red)>1e(\widehat {R}_{red})>1, then the classical Lech’s inequality can be improved uniformly for allm\mathfrak {m}-primary ideals, that is, there existsε<#comment/>>0\varepsilon >0such thate(I)≤<#comment/>d!(e(R)−<#comment/>ε<#comment/>)ℓ<#comment/>(R/I)e(I)\leq d!(e(R)-\varepsilon )\ell (R/I)for allm\mathfrak {m}-primary idealsI⊆<#comment/>RI\subseteq R. This answers a question raised by Huneke, Ma, Quy, and Smirnov [Adv. Math. 372 (2020), pp. 107296, 33]. We also obtain partial results towards improvements of Lech’s inequality when we fix the number of generators ofII.

     
    more » « less
  5. This is the first of our papers on quasi-split affine quantum symmetric pairs(U~<#comment/>(g^<#comment/>),U~<#comment/>ı<#comment/>)\big (\widetilde {\mathbf U}(\widehat {\mathfrak g}), \widetilde {{\mathbf U}}^\imath \big ), focusing on the real rank one case, i.e.,g=sl3\mathfrak g = \mathfrak {sl}_3equipped with a diagram involution. We construct explicitly a relative braid group action of typeA2(2)A_2^{(2)}on the affineı<#comment/>\imathquantum groupU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imath. Real and imaginary root vectors forU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathare constructed, and a Drinfeld type presentation ofU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathis then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affineı<#comment/>\imathquantum groups in the sequels.

     
    more » « less