Discrete Riesz transforms and sharp metric $X_p$ inequalities

TL;DR

This paper proves a sharp metric inequality in $L_p$ spaces for $p \,\geq\, 2$, leading to precise results on embeddings of $L_q$ into $L_p$ and their distortion bounds.

Contribution

It establishes the metric $X_p$ inequality with sharp scaling in $L_p$, providing new sharp bounds for embeddings of $L_q$ into $L_p$ spaces.

Findings

Sharp bi-$\theta$-H"older embedding bounds for $L_q$ into $L_p$

Precise distortion bounds for embeddings of grids into $L_p$

New inequalities linking geometric properties of $L_p$ spaces

Abstract

$ \renewcommand{\subset}{\subseteq} \newcommand{\N}{\mathbb N} $For $p\in [2,\infty)$ the metric $X_p$ inequality with sharp scaling parameter is proven here to hold true in $L_p$. The geometric consequences of this result include the following sharp statements about embeddings of $L_q$ into $L_p$ when $2< q<p<\infty$: the maximal $\theta\in (0,1]$ for which $L_q$ admits a bi-$\theta$-H\"older embedding into $L_p$ equals $q/p$, and for $m,n\in \N$ the smallest possible bi-Lipschitz distortion of any embedding into $L_p$ of the grid $\{1,\ldots,m\}^n\subset \ell_q^n$ is bounded above and below by constant multiples (depending only on $p,q$) of the quantity $\min\{n^{(p-q)(q-2)/(q^2(p-2))}, m^{(q-2)/q}\}$.