[論文レビュー] Which Connected Spatial Networks on Random Points have Linear Route-Lengths?

David Aldous|ArXiv.org|Nov 27, 2009

Stochastic processes and statistical mechanics参考文献 16被引用数 12

ひとこと要約

本稿は、平面におけるポアソン点過程上に定義された連結空間的ネットワークが、遠く離れた点間のネットワーク距離がユークリッド距離に比例して増加する線形ルート長成長を示す一般の十分条件を確立する。具体的には、期待されるネットワーク距離がユークリッド距離に対して線形に増加することを示す。主な結果は、系のサイズが増大するにつれて、有限部分ネットワークの最大成分が頂点の割合を限りなく小さく抑えるならば、ネットワークは線形性を満たすということである。この性質は、向き付き永続的確率遷移（oriented percolation）との比較によって証明され、相対的近傍グラフ（RNG）のような近接グラフに応用される。

ABSTRACT

In a model of a connected network on random points in the plane, one expects that the mean length of the shortest route between vertices at distance $r$ apart should grow only as $O(r)$ as $r o \infty$, but this is not always easy to verify. We give a general sufficient condition for such linearity, in the setting of a Poisson point process. In a $L imes L$ square, define a subnetwork $\GG_L$ to have the edges which are present regardless of the configuration outside the square; the condition is that the largest component of $\GG_L$ should contain a proportion $1 - o(1)$ of the vertices, as $L o \infty$. The proof is by comparison with oriented percolation. We show that the general result applies to the relative neighborhood graph, and establishing the linearity property for this network immediately implies it for a large family of proximity graphs.

研究の動機と目的

• 平面におけるポアソン点過程上に定義された連結空間的ネットワークが、遠く離れた点間の期待ネットワーク距離が線形に増加する一般条件を同定すること。
• エッジルールが全構成に依存するネットワークにおいて、無限成分内の経路長に依存せずに線形性を検証する技術的課題に対処すること。
• 相対的近傍グラフ（RNG）および関連する近接グラフが線形性を満たすことを確立すること、ただしスパンナではないことにもかかわらず。
• 有限部分ネットワークにおける最大成分の漸近的連結性が線形性を示すフレームワークを提供すること。

提案手法

• 外部構成に依存しないエッジを含む、$L \times L$ の正方形上に有限部分ネットワーク $\mathcal{G}_L$ を定義する。
• 系のサイズ $L \to \infty$ において、$\mathcal{G}_L$ の最大成分が頂点の $1 - o(1)$ の割合を占めるという条件を導入し、これが線形性の十分条件であることを示す。
• 向き付き永続的確率遷移との比較により、最大成分が支配的であるならば、ネットワーク距離がユークリッド距離に比例して増加することを証明する。
• 相対的近傍グラフ（RNG）にこの条件を適用し、局所的・決定的エッジルールと並進不変性を活用する。
• 最小全域木（MST）における孤立ペアや長距離エッジの確率的バウンドを用いて、有限部分ネットワークにおける接続性の逸脱を制御する。
• 最大成分が大きなボックス内でほとんどすべての頂点を占めるならば、遠く離れた点間の期待ネットワーク距離がユークリッド距離の線形関数で上から抑えられることを確立する。

実験結果

リサーチクエスチョン

• RQ1 平面 $\mathbb{R}^2$ 上のポアソン点過程上に定義された連結空間的ネットワークが、ユークリッド距離が大きい点間の期待ネットワーク距離が線形に増加する一般条件は何か？
• RQ2 エッジルールが全構成に依存するネットワークにおいて、線形性が確認可能か？（局所的ではなく。）
• RQ3 ポアソン点過程上における相対的近傍グラフ（RNG）は、スパンナでないにもかかわらず線形性を満たすか？
• RQ4 有限部分ネットワークにおける最大成分の漸近的優位性が、線形ルート長成長を保証するのに十分か？
• RQ5 この手法は、他の近接グラフや変更された非連結ネットワークに拡張可能か？線形性を確立できるか？

主な発見

• 本稿は、線形性の十分条件を確立した：$L \to \infty$ のとき、有限部分ネットワーク $\mathcal{G}_L$ の最大成分が頂点の $1 - o(1)$ を占めるならば、期待ネットワーク距離はユークリッド距離に比例して増加する。
• この条件は、ポアソン点過程上における相対的近傍グラフ（RNG）に対しても確認され、RNG が線形性を満たすことを証明した。
• RNG のスーパーグラフであるすべての近接グラフに対しても結果が拡張可能である。なぜなら、それらはネットワーク距離を短くするだけだから。
• 証明は、向き付き永続的確率遷移とのカップリングと、孤立ペアや長距離MSTエッジといったレアイベントの確率を抑え込むことに依存している。
• 従来の手法が失敗するような、スパンナでないネットワーク（例：RNG）でも、線形ルート長成長が成立することを示した。これは、従来の手法では到達できなかった新しい結果である。
• 解析により、ポアソン過程上における最小全域木（MST）はほとんど確実に連結であることが確認された。MSTのルート長成長は、$\sim |z|^{1.23}$ のように非線形（超線形）であると予想されているが、本稿では木構造ネットワークが線形性を満たせないことを示した。これは、接続性と線形成長の間の明確な違いを浮き彫りにしている。