On Semialgebraic Range Reporting

by   Peyman Afshani, et al.
Aarhus Universitet

In the problem of semialgebraic range searching, we are to preprocess a set of points in ℝ^D such that the subset of points inside a semialgebraic region described by O(1) polynomial inequalities of degree Δ can be found efficiently. Relatively recently, several major advances were made on this problem. Using algebraic techniques, "near-linear space" structures [AMS13,MP15] with almost optimal query time of Q(n)=O(n^1-1/D+o(1)) were obtained. For "fast query" structures (i.e., when Q(n)=n^o(1)), it was conjectured that a structure with space S(n) = O(n^D+o(1)) is possible. The conjecture was refuted recently by Afshani and Cheng [AC21]. In the plane, they proved that S(n) = Ω(n^Δ+1 - o(1)/Q(n)^(Δ+3)Δ/2) which shows Ω(n^Δ+1-o(1)) space is needed for Q(n) = n^o(1). While this refutes the conjecture, it still leaves a number of unresolved issues: the lower bound only works in 2D and for fast queries, and neither the exponent of n or Q(n) seem to be tight even for D=2, as the current upper bound is S(n) = O(n^m+o(1)/Q(n)^(m-1)D/(D-1)) where m=D+ΔD-1 = Ω(Δ^D) is the maximum number of parameters to define a monic degree-Δ D-variate polynomial, for any D,Δ=O(1). In this paper, we resolve two of the issues: we prove a lower bound in D-dimensions and show that when Q(n)=n^o(1)+O(k), S(n)=Ω(n^m-o(1)), which is almost tight as far as the exponent of n is considered in the pointer machine model. When considering the exponent of Q(n), we show that the analysis in [AC21] is tight for D=2, by presenting matching upper bounds for uniform random point sets. This shows either the existing upper bounds can be improved or a new fundamentally different input set is needed to get a better lower bound.


page 1

page 3

page 5

page 11

page 13

page 17


Lower Bounds for Semialgebraic Range Searching and Stabbing Problems

In the semialgebraic range searching problem, we are to preprocess n poi...

An Optimal Lower Bound for Simplex Range Reporting

We give a simplified and improved lower bound for the simplex range repo...

A New Lower Bound for Semigroup Orthogonal Range Searching

We report the first improvement in the space-time trade-off of lower bou...

Succinct Navigational Oracles for Families of Intersection Graphs on a Circle

We consider the problem of designing succinct navigational oracles, i.e....

A new lower bound on Hadwiger-Debrunner numbers in the plane

A set family F is said to satisfy the (p,q) property if among any p sets...

Towards a Lower Bound for the Average Case Runtime of Simulated Annealing on TSP

We analyze simulated annealing (SA) for simple randomized instances of t...

Join Size Bounds using Lp-Norms on Degree Sequences

Estimating the output size of a join query is a fundamental yet longstan...

Please sign up or login with your details

Forgot password? Click here to reset