[論文レビュー] A Quadtree, a Steiner Spanner, and Approximate Nearest Neighbours in Hyperbolic Space

‪Sándor Kisfaludi-Bak, Geert van Wordragen|arXiv (Cornell University)|May 2, 2023

Computational Geometry and Mesh Generation被引用数 2

ひとこと要約

この論文は、双曲空間におけるユークリッド空間のクアッドツリーとZ順序の自然な類似物として、双曲的クアッドツリー構造とL順序化方式を導入する。これらの手法を用いて、$O_{d,\varepsilon}(n)$本の辺を有する動的スティーナー近似スパーンナーを構築し、$(1+\varepsilon)$-近似比を達成する。これにより、近似最近傍探索が$O_{d,\varepsilon}(\log n)$時間で最適に実行可能となり、近似的な最近傍探索が近線形の構築時間内ですべての動的更新に対応できる。

ABSTRACT

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.

研究の動機と目的

• ユークリッド空間のクアッドツリーの双曲的類似物を構築し、階層的空間分割を可能にする。
• ユークリッド空間におけるZ順序に類似した、双曲的点集合のためのL順序化を定義する。
• d次元の双曲空間において、$O_{d,\varepsilon}(n)$本の辺を有し、$(1+\varepsilon)$-近似比を達成する動的スティーナー近似スパーンナーを構築する。
• $O_{d,\varepsilon}(\log n)$のクエリ時間と$O_{d,\varepsilon}(n \log n)$の構築時間で、効率的な近似最近傍探索を可能にする。
• 各操作あたり$O_{d,\varepsilon}(\log n)$の更新時間で、点の挿入および削除をサポートする。

提案手法

• 測地線距離と水平面を用いた階層的セル分解に基づき、双曲空間におけるクアッドツリーを設計し、セルの再帰的分割を適応させる。
• クアッドツリーの階層的構造を活用して、Z順序の双曲的拡張としてのL順序化を定義し、空間的順序付けを可能にする。
• クアッドツリー構造にスティーナー点を追加することでスティーナー近似スパーンナーを構築し、元の点のすべてのペアがストレッチが最大$1+\varepsilon$の経路で接続されるように保証する。
• クアッドツリーとL順序化を用いて、双曲空間が非二重性を示すにもかかわらず、well-separated pair decompositionに類似した構造を構築し、スパーンナーの構築を可能にする。
• スパーンナーを用いて、スパーンナーグラフの階層的走査により高速な探索を実現することで、近似最近傍問題を解く。
• 各操作あたり$O_{d,\varepsilon}(\log n)$時間でクアッドツリーとスパーンナー構造の更新を維持することで、動的処理を実現する。

実験結果

リサーチクエスチョン

• RQ1 双曲空間は非二重かつ等長でないにもかかわらず、ユークリッド空間のクアッドツリーに類似した自然な双曲的類似物を構築できるか？
• RQ2 Z順序曲線の双曲的類似物（L順序）を定義し、効率的な空間的順序付けとデータ構造の構築を可能にすることができるか？
• RQ3 双曲空間において、$(1+\varepsilon)$-ストレッチと近線形サイズを有する動的スティーナー近似スパーンナーを構築できるか？
• RQ4 このようなスパーンナーを用いて、双曲空間における近似最適な最近傍探索を達成できるか？
• RQ5 高次元の双曲空間における散らばった点集合において、性能のトレードオフは何か？

主な発見

• 階層的空間分割を可能にする双曲的クアッドツリーが構築され、ユークリッド空間におけるZ順序に類似したL順序化の定義が可能となった。
• d次元の双曲空間において、$O_{d,\varepsilon}(n)$本の辺を有する動的スティーナー近似スパーンナーが構築され、$(1+\varepsilon)$-近似比を達成した。
• スパーンナー構築は$O_{d,\varepsilon}(n \log n)$時間で実行され、各点の動的更新は$O_{d,\varepsilon}(\log n)$時間で可能となった。
• 近似最近傍探索は$O_{d,\varepsilon}(\log n)$時間で実行され、$(1+\varepsilon)$-近似保証が得られた。
• このデータ構造はnに関して最適であり、ユークリッド空間における局所性に敏感な順序の漸近的性能境界と一致する。
• 距離が長い場合、次元dに依存する影響がやや弱くなるため、散らばった点集合において高次元でも良好な挙動を示すことが示唆された。