eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2024-06-06
68:1
68:15
10.4230/LIPIcs.SoCG.2024.68
article
A Quadtree, a Steiner Spanner, and Approximate Nearest Neighbours in Hyperbolic Space
Kisfaludi-Bak, Sándor
1
https://orcid.org/0000-0002-6856-2902
van Wordragen, Geert
1
https://orcid.org/0000-0002-2650-638X
Department of Computer Science, Aalto University, Finland
We propose a data structure in d-dimensional hyperbolic space that can be considered a natural counterpart to quadtrees in Euclidean spaces. Based on this data structure we propose a so-called L-order for hyperbolic point sets, which is an extension of the Z-order defined in Euclidean spaces.
Using these quadtrees and the L-order we build geometric spanners. Near-linear size (1+ε)-spanners do not exist in hyperbolic spaces, but we create a Steiner spanner that achieves a spanning ratio of 1+ε with O_{d,ε}(n) edges, using a simple construction that can be maintained dynamically. As a corollary we also get a (2+ε)-spanner (in the classical sense) of the same size, where the spanning ratio 2+ε is almost optimal among spanners of subquadratic size.
Finally, we show that our Steiner spanner directly provides an elegant solution to the approximate nearest neighbour problem: given a point set P in d-dimensional hyperbolic space we build the data structure in O_{d,ε}(nlog n) time, using O_{d,ε}(n) space. Then for any query point q we can find a point p ∈ P that is at most 1+ε times farther from q than its nearest neighbour in P in O_{d,ε}(log n) time. Moreover, the data structure is dynamic and can handle point insertions and deletions with update time O_{d,ε}(log n). This is the first dynamic nearest neighbour data structure in hyperbolic space with proven efficiency guarantees.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol293-socg2024/LIPIcs.SoCG.2024.68/LIPIcs.SoCG.2024.68.pdf
hyperbolic geometry
Steiner spanner
dynamic approximate nearest neighbours