[논문 리뷰] Random Regular Graphs are not Asymptotically Gromov Hyperbolic

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

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $d \geq 3$인 무작위 $d$-정규 그래프가 $n \to \infty$일 때 거의 확실히 어떤 고정된 $\delta \geq 0$에 대해서도 네 점 조건을 만족하지 못하므로 점 渐진적으로 Gromov 초구형이 아니라는 것을 보여준다. 저자들은 지오데식 라우팅 하에서의 교통 혼잡도가 $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 무작위 $d$-정규 그래프에서 $d \geq 3$일 때, $n \to \infty$일 때 어떤 고정된 $\delta \geq 0$에 대해 네 점 조건을 만족하는가?
• RQ2 무작위 $d$-정규 그래프에서 지오데식 라우팅 하에서의 최대 정점 혼잡도의 점 渐진적 스케일링은 무엇인가?
• RQ3 관측된 혼잡도 스케일링은 Gromov 초구형 그래프에서 예상되는 $\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$-정규 그래프는 초구형 네트워크에서 기대되는 높은 혼잡도를 보이지 않는다.