How much can we extend the Assouad embedding theorem? (2304.11462v1)

Abstract: The celebrated Assouad embedding theorem has been known for over 40 years. It states that for any doubling metric space (with doubling constant $C_0$) there exists an integer $N$, such that for any $\alpha\in (0.5,1)$ there exists a positive constant $C(\alpha,C_0)$ and an injective function $F:X\to \mathbb{R}^N$ such that [ \forall x,y\in X \quad C^{-1} d(x,y)^{\alpha} \leq |F(x)-F(y) | \leq Cd(x,y)^{\alpha} ] In the paper we use the remetrization techniques to extend the said theorem to a broad subclass of semimetric spaces. We also present the limitations of this extension -- in particular, we prove that in any semimetric space which satisfies the claim of the Assouad theorem, the relaxed triangle condition holds as well, which means that there exists $K\geq 1$ such that [ \forall x,y,z\in X \quad d(x,z)\leq K\left( d(x,y)+d(y,z)\right). ]