[論文レビュー] Stretch Factor of Long Paths in a planar Poisson-Delaunay Triangulation

Nicolas Chenavier, Olivier Devillers|arXiv (Cornell University)|Jul 19, 2016

Computational Geometry and Mesh Generation参考文献 15被引用数 5

ひとこと要約

本稿は、平面のポアソン・デローニー三角形分割における2固定点間の最短経路の期待ストレッチ要因について、基礎となるポアソン点過程の強度が無限大に近づく際の、非自明な下界を初めて確立した。確率的幾何解析と経路分解を用いて、著者らは極限においてストレッチ要因が1より少なくとも2.47×10⁻¹¹大きく、シミュレーションでは真の値が約1.04であると示唆している。

ABSTRACT

Let $X:=X_n\cup\{(0,0),(1,0)\}$, where $X_n$ is a planar Poisson point process of intensity $n$. We provide a first non-trivial lower bound for the distance between the expected length of the shortest path between $(0,0)$ and $(1,0)$ in the Delaunay triangulation associated with $X$ when the intensity of $X_n$ goes to infinity. Experimental values indicate that the correct value is about 1.04. We also prove that the expected number of Delaunay edges crossed by the line segment $[(0,0),(1,0)]$ is equivalent to $2.16\sqrt{n}$ and that the expected length of a particular path converges to 1.18 giving an upper bound on the stretch factor.

研究の動機と目的

• 強度n → ∞ の際、平面のポアソン・デローニー三角形分割における最短経路の期待ストレッチ要因に対する非自明な下界を確立すること。
• ランダムな幾何グラフにおいて、最短経路の位置が事前に不明な場合の解析の課題に対処すること。
• ポアソン過程下でのデローニー三角形分割における経路長および辺数の理論的・実験的境界を提供すること。
• 一様、グリーディ、最短経路の異なるルーティング戦略を比較し、ストレッチ要因および辺数の観点からその性能を評価すること。

提案手法

• 強度nのポアソン点過程$X_n$に2つの固定点s,tを追加した上で、デローニー三角形分割を定義する。
• 「水平性の性質」とその弱い変種に基づく確率的議論を用いて、最短経路が通常より短すぎる確率を抑え込む。
• 「アニマル」（連結ピクセル集合）を用いた離散化技術を適用し、幾何的事象を近似するとともに、経路の確率を抑え込む。
• 特定の経路構成（一様経路$UP_X$）を分析することでストレッチ要因の上界を確立し、その期待長さが$35/(3\pi^2) \approx 1.182$に収束することを示した。
• CGALを用いて$n = 10^7$点の大型シミュレーションを実施し、経路長および辺数の期待値と標準偏差を推定した。
• 3種類の経路タイプ：一様ウォーク（$UP_X$）、グリーディパス（$GP_X$）、最短経路（$SP_X$）を、線分$[s,t]$を基準として比較した。

実験結果

リサーチクエスチョン

• RQ1 強度$n \to \infty$ の際、平面のポアソン・デローニー三角形分割における最短経路の期待ストレッチ要因の漸近的下界は何か？
• RQ2 線分$[s,t]$が通過するデローニー辺の期待数は$n$とともにどのようにスケーリングするか？
• RQ3 構成的経路（例：グリーディまたは一様ウォーク）がストレッチ要因に対して非自明な上界を提供できるか？
• RQ4 強度$n \to \infty$ の極限における期待ストレッチ要因は、一意に定義され、かつ存在するか？
• RQ5 有限のポアソン・デローニー三角形分割実現における、異なるルーティング戦略の経路長および辺数はどのように比較できるか？

主な発見

• 本稿は、最初の非自明な下界を確立した：$\liminf_{n\to\infty} \mathbb{E}\left[\frac{\ell(SP_X)}{\|s-t\|}\right] \geq 1 + 2.47 \times 10^{-11}$ であり、極限においてストレッチ要因が1を超えることを証明した。
• シミュレーションでは真の期待ストレッチ要因が約1.04に収束することが示唆されており、理論的下界よりも顕著に高い。
• 線分$[s,t]$が通過するデローニー辺の期待数は漸近的に$2.1602\sqrt{n}$であり、$\Theta(\sqrt{n})$スケーリングを確認した。
• 一様経路$UP_X$の期待長さは$1.1826$に収束し、ストレッチ要因の上界として$35/(3\pi^2) \approx 1.182$を提供した。
• グリーディパス$GP_X$は$UP_X$よりも著しく優れており、期待長さは$1.1074$であり、最適な$SP_X$の$1.0401$に近い。
• $n = 10^7$における最短経路長の標準偏差は非常に小さく（$\sigma \approx 0.0004$）、平均値の周りに強く集中していることが示された。