You need to know: Metric space.
Background: We say that a metric space admit a bi-Lipschitz embedding (or just “embeds” for short) into metric space
if there exist constants
and a function
such that
. For
, a
-snowflake of metric space
is the metric space on the same set X with distance
. By
space we mean, for concreteness, space of functions
with norm
.
The Theorem: On 13th January 2016, Assaf Naor submitted to arxiv a paper in which he proved that, for every , the maximal
for which the
-snowflake of
admits a bi-Lipschitz embedding into
is equal to
.
Short context: It is known that, if , then
does not embed into
. Hence, if
denotes the maximal
for which the
-snowflake of
embeds into
, then
. Quantifying by “how much”
is bounded away from 1 gives an important quantitative refinement of non-embeddability
into
. In 2004, Mendel and Naor proved that
. In a paper submitted in 2014, Naor and Schechtman proved that
and conjectured that
. The Theorem confirms this conjecture.
Links: Free arxiv version of the original paper is here, journal version is here.
One thought on “If p>q>2, the maximal t for which the t-snowflake of L_q admits a bi-Lipschitz embedding into L_p is t=q/p”