[论文解读] 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 $ 时几乎必然不满足渐近 Gromov 超曲性，因为它们对任意固定的 $ \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 $ 时是否为渐近 Gromov 超曲图。
• 分析此类图中测地线路由下的最大顶点拥塞。
• 确定所观察到的拥塞规模是否与超曲网络中预期的 $ \Theta(n^2) $ 行为一致。
• 证明这些图在渐近几乎必然的意义下违反任意固定 $ \delta \geq 0 $ 的四点条件。

提出的方法

• 使用四点条件检验 Gromov 超曲性，其中图是 $ \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 当 $ n \to \infty $ 时，随机 $ d $-正则图是否对任意固定的 $ \delta \geq 0 $ 满足四点条件？
• RQ2 随机 $ d $-正则图中测地线路由下的最大顶点拥塞的渐近规模为何？
• RQ3 所观察到的拥塞规模是否与 Gromov 超曲图中预期的 $ \Theta(n^2) $ 行为一致？
• RQ4 随机 $ d $-正则图是否包含长度为 $ \Theta(\log n) $ 且具有小畸变的几乎测地线环？

主要发现

• 当 $ d \geq 3 $ 时，随机 $ d $-正则图在 $ n \to \infty $ 时几乎必然不是渐近 $ \delta $-超曲的，对任意 $ \delta \geq 0 $。
• 测地线路由下的最大顶点拥塞规模为 $ 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 $-正则图并未表现出超曲网络中典型的高拥塞特性。