Greedy Spanners in Euclidean Spaces Admit Sublinear Separators

07/14/2021
by   Hung Le, et al.
0

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 ℝ^2 admits a sublinear separator in a strong sense: any subgraph of k vertices of the greedy spanner in ℝ^2 has a separator of size O(√(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 ℝ^d for any constant d≥ 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 ℝ^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 τ-lanky: a geometric graph is τ-lanky if any ball of radius r cuts at most τ edges of length at least r in the graph. We show that any τ-lanky geometric graph of n vertices in ℝ^d has a separator of size O(τ 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 ℝ^d. Our technique naturally extends to doubling metrics. We use the τ-lanky characterization to show that there exists a (1+ϵ)-spanner for doubling metrics of dimension d with a constant maximum degree and a separator of size O(n^1-1/d); this result resolves an open problem posed by Abam and Har-Peled a decade ago.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/27/2022

Beating Greedy Matching in Sublinear Time

We study sublinear time algorithms for estimating the size of maximum ma...
research
04/26/2019

Truly Optimal Euclidean Spanners

Euclidean spanners are important geometric structures, having found nume...
research
12/13/2017

Greedy spanners are optimal in doubling metrics

We show that the greedy spanner algorithm constructs a (1+ϵ)-spanner of ...
research
03/09/2022

Complete combinatorial characterization of greedy-drawable trees

A (Euclidean) greedy drawing of a graph is a drawing in which, for any t...
research
06/22/2021

Near-Delaunay Metrics

We study metrics that assess how close a triangulation is to being a Del...
research
03/14/2018

Max-Min Greedy Matching

A bipartite graph G(U,V;E) that admits a perfect matching is given. One ...
research
10/10/2018

The Andoni--Krauthgamer--Razenshteyn characterization of sketchable norms fails for sketchable metrics

Andoni, Krauthgamer and Razenshteyn (AKR) proved (STOC 2015) that a fini...

Please sign up or login with your details

Forgot password? Click here to reset