Distribution-Sensitive Bounds on Relative Approximations of Geometric Ranges

Abstract

A family $\mathcal{R}$ of ranges and a set $X$ of points together define a range space $(X, \mathcal{R}|_X)$, where $\mathcal{R}|_X = \{X \cap h \mid h \in \mathcal{R}\}$. We want to find a structure to estimate the quantity $|X \cap h|/|X|$ for any range $h \in \mathcal{R}$ with the $(ρ, ε)$-guarantee: (i) if $|X \cap h|/|X| > ρ$, the estimate must have a relative error $ε$; (ii) otherwise, the estimate must have an absolute error $ρε$. The objective is to minimize the size of the structure. Currently, the dominant solution is to compute a relative $(ρ, ε)$-approximation, which is a subset of $X$ with $\tilde{O}(λ/(ρε^2))$ points, where $λ$ is the VC-dimension of $(X, \mathcal{R}|_X)$, and $\tilde{O}$ hides polylog factors. This paper shows a more general bound sensitive to the content of $X$. We give a structure that stores $O(\log (1/ρ))$ integers plus $\tilde{O}(θ\cdot (λ/ε^2))$ points of $X$, where $θ$ - called the disagreement coefficient - measures how much the ranges differ from each other in their intersections with $X$. The value of $θ$ is between 1 and $1/ρ$, such that our space bound is never worse than that of relative $(ρ, ε)$-approximations, but we improve the latter's $1/ρ$ term whenever $θ= o(\frac{1}{ρ\log (1/ρ)})$. We also prove that, in the worst case, summaries with the $(ρ, 1/2)$-guarantee must consume $Ω(θ)$ words even for $d = 2$ and $λ\le 3$. We then constrain $\mathcal{R}$ to be the set of halfspaces in $\mathbb{R}^d$ for a constant $d$, and prove the existence of structures with $o(1/(ρε^2))$ size offering $(ρ,ε)$-guarantees, when $X$ is generated from various stochastic distributions. This is the first formal justification on why the term $1/ρ$ is not compulsory for "realistic" inputs.