[論文レビュー] Random Regular Graphs are not Asymptotically Gromov Hyperbolic

Gabriel H. Tucci|arXiv (Cornell University)|Mar 22, 2012

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

この論文は、$d \geq 3$ であるランダムな $d$-正則グラフが、$n \to \infty$ の際にほとんど確実に任意の固定された $\delta \geq 0$ に対して四点条件を満たさないため、漸近的にグロモフ双曲的でないことを示している。著者らは、測地線ルーティングにおけるトラフィック混雑度が $O(n \log_{d-1}^3 n)$ に比例することを確立しており、これは双曲的グラフで予想される $\Theta(n^2)$ のスケーリングよりも顕著に低いものであり、高い拡張性を持つにもかかわらず非双曲的構造を示していることがわかる。

ABSTRACT

In this paper we prove that random $d$--regular graphs with $d\geq 3$ have traffic congestion of the order $O(n\log_{d-1}^{3}(n))$ where $n$ is the number of nodes and geodesic routing is used. We also show that these graphs are not asymptotically $δ$--hyperbolic for any non--negative $δ$ almost surely as $n o\infty$.

研究の動機と目的

• ランダムな $d$-正則グラフ（$d \geq 3$）が漸近的にグロモフ双曲的であるかどうかを調査すること。
• このようなグラフにおける測地線ルーティング下での最大頂点混雑度を分析すること。
• 観察された混雑度のスケーリングが、双曲的ネットワークで予想される $\Theta(n^2)$ の挙動と整合しているかどうかを特定すること。
• これらのグラフが、任意の固定された $\delta \geq 0$ に対して、漸近的にほとんど確実に四点条件を破ることを確立すること。

提案手法

• グロモフ双曲的性をテストするための四点条件の使用。グラフが $\delta$-双曲的であるとは、すべての頂点の四重組に対して $d(x_1,x_3) + d(x_2,x_4) \leq \max\{d(x_1,x_2)+d(x_3,x_4), d(x_1,x_4)+d(x_2,x_3)\} + 2\delta$ が成り立つことである。
• ランダムな $d$-正則グラフにほぼ測地的サイクルが存在することを活用し、サイクル長 $|C| = 2\log_{d-1}n + O(\omega(n))$ および誤差 $e(n) = \log_{d-1}\log_{d-1}n + \omega(n)$ を持つこと。
• 四点条件をテストするため、そのサイクル上に距離がおおよそ $|C|/4$ 離れている頂点の四重組を構成すること。
• サイクル距離と誤差 $e(n)$ を用いてグラフ内の測地線距離を評価し、$d(x_1,x_3) + d(x_2,x_4)$ が他の和よりも $\log_{d-1}n - 2\log_{d-1}\log_{d-1}n + O(\omega(n))$ 大きいことを示すこと。
• 文献[5]からの集中不等式と直径推定値を用いて、ほとんど確実に直径 $D(G) \leq \log_{d-1}n + \log_{d-1}\log_{d-1}n + C$ が成り立つことを示すこと。
• 補題2.3を用いて頂点混雑度 $T(v) \leq d^D D^2$ を評価し、混雑度のスケーリングが $M_n = O(n \log_{d-1}^3 n)$ に比例することを導出すること。

実験結果

リサーチクエスチョン

• RQ1 ランダムな $d$-正則グラフ（$d \geq 3$）は、$n \to \infty$ の際に任意の固定された $\delta \geq 0$ に対して四点条件を満たすか？
• RQ2 ランダムな $d$-正則グラフにおける測地線ルーティング下での最大頂点混雑度の漸近的スケーリングは何か？
• RQ3 観察された混雑度のスケーリングは、グロモフ双曲的グラフで予想される $\Theta(n^2)$ の挙動と整合的か？
• RQ4 ランダムな $d$-正則グラフは、$\Theta(\log n)$ の長さのほぼ測地的サイクルを、小さな歪みで持つか？

主な発見

• ランダムな $d$-正則グラフ（$d \geq 3$）は、$n \to \infty$ の際にほとんど確実に任意の $\delta \geq 0$ に対して漸近的に $\delta$-双曲的でない。
• 測地線ルーティング下での最大頂点混雑度は $O(n \log_{d-1}^3 n)$ に比例するが、これは二次未満であり、$\Theta(n^2)$ より顕著に小さい。
• 混雑度のスケーリングは、高確率で成り立つ直径の上限 $D(G) \leq \log_{d-1}n + \log_{d-1}\log_{d-1}n + C$ から導出される。
• 四点条件の破れは、$d(x_1,x_3) + d(x_2,x_4)$ が他の和よりも $\log_{d-1}n - 2\log_{d-1}\log_{d-1}n + O(\omega(n))$ 大きいような頂点の四重組を構成することで示された。この差は無限大に発散する。
• ほぼ測地的サイクルの存在（$|C| = 2\log_{d-1}n + O(\omega(n))$ および $e(n) = \log_{d-1}\log_{d-1}n + \omega(n)$）が、双曲的性の反例を構成するために用いられた。
• 大きなスぺクトラルギャップを持ち、良好なエキスパンダーであるにもかかわらず、ランダムな $d$-正則グラフは双曲的ネットワークに特徴的な高い混雑度を示さない。