[論文レビュー] A Note on Interference in Random Point Sets

Luc Devroye, Pat Morin|arXiv (Cornell University)|Feb 27, 2012

Computational Geometry and Mesh Generation参考文献 8被引用数 3

ひとこと要約

本稿は、単位d次元立方体内に一様かつ独立に分布するn個の点からなる幾何グラフにおける干渉を分析する。最小全域木は高確率で干渉Θ((log n)^{1/2})を示すが、バケツ分割を用いたより良い接続性を有するグラフはO((log n)^{1/3})の干渉を達成する。一方、いかなるグラフもΩ((log n)^{1/4})未満の干渉にはならない。これらの結果は、確率的点集合では干渉がゆっくりと増大することを示しており、干渉がnに比例する可能性がある最悪ケースの構成とは対照的である。

ABSTRACT

The (maximum receiver-centric) interference of a geometric graph (von Rickenbach etal (2005)) is studied. It is shown that, with high probability, the following results hold for a set, V, of n points independently and uniformly distributed in the unit d-cube, for constant dimension d: (1) there exists a connected graph with vertex set V that has interference O((log n)^{1/3}); (2) no connected graph with vertex set V has interference o((log n)^{1/4}); and (3) the minimum spanning tree of $V$ has interference Theta((\log n)^{1/2}).

研究の動機と目的

• 一様かつ独立同分布の点分布下での、ランダム幾何ネットワークにおける最大受信機中心干渉の挙動を理解すること。
• ランダム点集合上での連結グラフについて、最小干渉I(V)のタイトな境界を特定すること。
• 最小全域木(MST)の干渉と、より注意深く構築されたグラフの干渉を比較すること。
• 既存の上界と下界の間のギャップを埋めること。

提案手法

• 各点の周囲の干渉ノード数の期待値を抑え込むために、確率的解析と2番目のモーメント法を用いる。
• 干渉に寄与する高密度な局所的近傍をモデル化するため、ゼノー配置の概念を適用する。
• 長距離接続を制限することで低干渉のグラフを構築するため、単位立方体をバケツに分割する戦略を採用する。
• d次元空間におけるi.i.d.一様点過程に対して、集中不等式と漸近的解析を用いて上界を導出する。
• 矛盾と極値的構成を用いて下界を確立し、干渉がΩ((log n)^{1/4})未満に漸近的に小さくはならないことを示す。
• 先行研究のグラフ族T(V)を用い、結果を局所的に計算可能なグラフ構成に拡張する。

実験結果

リサーチクエスチョン

• RQ1 n個のi.i.d.一様点が[0,1]^dに分布する連結幾何グラフについて、最小干渉I(V)の漸近的挙動は何か？
• RQ2 ランダム点集合における最小全域木の干渉は、他のグラフ構成と比べてどのように異なるか？
• RQ3 ランダム点集合において、干渉が(log n)^{1/4}未満の関数で下から抑えられるか？
• RQ4 MSTの干渉と他のグラフの干渉の間に構造的関係があるか、例えばI(V) = O(√I(MST(V)))のような関係があるか？

主な発見

• 任意の定数d ≥ 1に対して、[0,1]^d内に一様かつ独立に分布するn個の点の最小全域木は、高確率で干渉Θ((log n)^{1/2})を示す。
• バケツ分割戦略を用いて構築されたグラフは、d ∈ {1,2}のとき高確率で干渉O((log n)^{1/3})を達成し、d ≥ 3のときにはO((log n)^{1/3}(log log n)^{1/2})である。
• このような点集合上での連結グラフは、高確率で干渉o((log n)^{1/4})にはならない。これは下界を確立するものである。
• MSTの干渉は(log n)^{1/2}の周囲にきわめて集中しており、これは対数的要因を除いて漸近的に最適である。
• 干渉がΩ(√(log n / n))である伝搬範囲r(n)を有する場合、結果は単位ディスクグラフモデルに拡張可能である。これは連結性のための必要条件である。
• 単位ディスクグラフにLocalRadiusReductionアルゴリズムを適用した場合、r(n) ∈ O(2^{√(log n)} / √n)のとき、高確率で干渉O((log n)^{1/2})が得られる。