Abstract:The greedy spanner in a low dimensional Euclidean space is a fundamental geometric construction that has been extensively studied over three decades as it possesses the two most basic properties of a good spanner: constant maximum degree and constant lightness. Recently, Eppstein and Khodabandeh showed that the greedy spanner in $\mathbb{R}^2$ admits a sublinear separator in a strong sense: any subgraph of $k$ vertices of the greedy spanner in $\mathbb{R}^2$ has a separator of size $O(\sqrt{k})$. Their technique is inherently planar and is not extensible to higher dimensions. They left showing the existence of a small separator for the greedy spanner in $\mathbb{R}^d$ for any constant $d\geq 3$ as an open problem. In this paper, we resolve the problem of Eppstein and Khodabandeh by showing that any subgraph of $k$ vertices of the greedy spanner in $\mathbb{R}^d$ has a separator of size $O(k^{1-1/d})$. We introduce a new technique that gives a simple characterization for any geometric graph to have a sublinear separator that we dub $\tau$-lanky: a geometric graph is $\tau$-lanky if any ball of radius $r$ cuts at most $\tau$ edges of length at least $r$ in the graph. We show that any $\tau$-lanky geometric graph of $n$ vertices in $\mathbb{R}^d$ has a separator of size $O(\tau n^{1-1/d})$. We then derive our main result by showing that the greedy spanner is $O(1)$-lanky. We indeed obtain a more general result that applies to unit ball graphs and point sets of low fractal dimensions in $\mathbb{R}^d$. Our technique naturally extends to doubling metrics. We use the $\tau$-lanky characterization to show that there exists a $(1+\epsilon)$-spanner for doubling metrics of dimension $d$ with a constant maximum degree and a separator of size $O(n^{1-\frac{1}{d}})$; this result resolves an open problem posed by Abam and Har-Peled a decade ago.

Trimming of Finite Subsets of the Manhattan Plane

Trimming of finite metric spaces

Gromov Pre-Compactness Theorems for Nonreversible Finsler Manifolds

Covering Metric Spaces by Few Trees

On the Teichm{ü}ller space of acute triangles

Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups

Removable Sets for Intrinsic Metric and for Holomorphic Functions

Topological minimal sets and their applications

Coarsely separation of groups and spaces

On rectifiable spaces and paratopological groups

Online Spanners in Metric Spaces

Simple pairs of points in digital spaces. Topology-preserving transformations of digital spaces by contracting simple pairs of points

Truncations and Compositions in Function Spaces

Trimming the Johnson bonsai

Classification of Finite Subspaces of Metric Space Instead of Constraints on Metrics

Retractions on closed sets

No-dimensional Tverberg Partitions Revisited

Greedy Spanners in Euclidean Spaces Admit Sublinear Separators

Metric thickenings of Euclidean submanifolds

Ideal triangles, hyperbolic surfaces and the Thurston metric on Teichm{ü}ller space