Near Isometric Terminal Embeddings for Doubling Metrics

TL;DR

This paper introduces near-isometric terminal embeddings and structures for doubling metrics, enabling low-distortion, small-size metric representations focused on a subset of terminal points.

Contribution

It provides the first terminal structures with distortion close to 1 for doubling metrics, applicable even when only the terminal set is doubling.

Findings

Existence of a $(1+ ext{epsilon})$-stretch spanner with $n+o(n)$ edges.

Development of a labeling scheme with $ ext{log} k$ label size and $(1+ ext{epsilon})$ stretch.

Construction of low-distortion embeddings into $ ext{ell}_ ext{infinity}^d$ with $d=O( ext{log} k)$.

Abstract

Given a metric space $(X,d)$, a set of terminals $K\subseteq X$, and a parameter $t\ge 1$, we consider metric structures (e.g., spanners, distance oracles, embedding into normed spaces) that preserve distances for all pairs in $K\times X$ up to a factor of $t$, and have small size (e.g. number of edges for spanners, dimension for embeddings). While such terminal (aka source-wise) metric structures are known to exist in several settings, no terminal spanner or embedding with distortion close to 1, i.e., $t=1+\epsilon$ for some small $0<\epsilon<1$, is currently known. Here we devise such terminal metric structures for {\em doubling} metrics, and show that essentially any metric structure with distortion $1+\epsilon$ and size $s(|X|)$ has its terminal counterpart, with distortion $1+O(\epsilon)$ and size $s(|K|)+1$. In particular, for any doubling metric on $n$ points, a set of $k=o(n)$ terminals, and constant $0<\epsilon<1$, there exists: (1) A spanner with stretch $1+\epsilon$ for pairs in $K\times X$, with $n+o(n)$ edges. (2) A labeling scheme with stretch $1+\epsilon$ for pairs in $K\times X$, with label size $\approx \log k$. (3) An embedding into $\ell_\infty^d$ with distortion $1+\epsilon$ for pairs in $K\times X$, where $d=O(\log k)$. Moreover, surprisingly, the last two results apply if only $K$ is a doubling metric, while $X$ can be arbitrary.