Euclidean Noncrossing Steiner Spanners of Nearly Optimal Sparsity

TL;DR

This paper presents a new construction of Euclidean noncrossing Steiner spanners with nearly optimal sparsity, improving previous bounds and establishing a near-matching lower bound using advanced geometric incidence theorems.

Contribution

The authors develop a nearly optimal Euclidean noncrossing Steiner spanner with improved upper bounds and prove a matching lower bound using advanced incidence geometry techniques.

Findings

Constructed a Euclidean noncrossing Steiner (1+ε)-spanner with O(n/ε^{3/2}) edges.

Improved the upper bound from O(n/ε^{4}) to nearly optimal.

Established a near-matching lower bound using disk-tube incidence theorems.

Abstract

A Euclidean noncrossing Steiner $(1+\epsilon)$-spanner for a point set $P\subset\mathbb{R}^2$ is a planar straight-line graph that, for any two points $a, b \in P$, contains a path whose length is at most $1+\epsilon$ times the Euclidean distance between $a$ and $b$. We construct a Euclidean noncrossing Steiner $(1+\epsilon)$-spanner with $O(n/\epsilon^{3/2})$ edges for any set of $n$ points in the plane. This result improves upon the previous best upper bound of $O(n/\epsilon^{4})$ obtained nearly three decades ago. We also establish an almost matching lower bound: There exist $n$ points in the plane for which any Euclidean noncrossing Steiner $(1+\epsilon)$-spanner has $\Omega_\mu(n/\epsilon^{3/2-\mu})$ edges for any $\mu>0$. Our lower bound uses recent generalizations of the Szemer\'edi-Trotter theorem to disk-tube incidences in geometric measure theory.