[논문 리뷰] Traffic Congestion in Expanders, $(p,δ)$--Hyperbolic Spaces and Product of Trees

Shi Li, Gabriel H. Tucci|arXiv (Cornell University)|2013. 03. 12.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 7

한 줄 요약

이 논문은 모든 삼각형이 $\delta$--긴장한 조건을 만족해야 한다는 요구를 완화하여, 삼각형의 비율 $p$만이 $\delta$--긴장한 것으로 허용하는 $(p,\delta)$--초구형 공간을 도입한다. 지오데식 라우팅에서의 혼잡도가 $\Omega(p^2 n^2 / D_n^2)$ 비율로 증가함을 규명하고, $\Theta(n^2)$ 혼잡도를 가지는 일정 차수의 확산자 가족을 구성함으로써 랜덤 정규 그래프의 $O(n\log^3 n)$와 대비되는 결과를 도출하며, 정규 트리의 곱에서 혼잡도가 $\Theta(n^2 / \log_{d-1}^{k-1} n)$ 비율로 증가함을 보인다.

ABSTRACT

In this paper we define the notion of $(p,δ)$--Gromov hyperbolic space where we relax Gromov's {\it slimness} condition to allow that not all but a positive fraction of all triangles are $δ$--slim. Furthermore, we study maximum vertex congestion under geodesic routing and show that it scales as $Ω(p^2n^2/D_n^2)$ where $D_n$ is the diameter of the graph. We also construct a constant degree family of expanders with congestion $Θ(n^2)$ in contrast with random regular graphs that have congestion $O(n\log^{3}(n))$. Finally, we study traffic congestion on graphs defined as product of trees.

연구 동기 및 목표

• 모든 삼각형이 $\delta$--긴장한 조건을 만족해야 한다는 요구를 완화하여, 삼각형의 비율 $p$만이 $\delta$--긴장한 조건을 만족하도록 Gromov 초구형성을 일반화한다.
• 완전히 초구형인 것은 아니지만 완화된 초구형 조건을 만족하는 그래프에서 지오데식 라우팅에 따른 최대 정점 혼잡도를 분석한다.
• 최대 정점 혼잡도가 $\Theta(n^2)$인 일정 차수의 확산자 가족을 구성함으로써, 확산자가 본질적으로 낮은 혼잡도를 가진다는 가정을 도전한다.
• 정규 트리 $k$개의 곱으로 이루어진 그래프에서의 교통 혼잡도를 특징짓고, 정확한 점근적 스케일링을 도출한다.

제안 방법

• $(p,\delta)$--초구형 공간을 정의하여, 모든 3-튜플 중 최소 $p$ 비율이 $\delta$--긴장한 지오데식 삼각형을 형성하는 매트릭스 공간으로 간주한다.
• 최대 정점 혼잡도의 하한을 유도한다: $\Omega(p^2 n^2 / D_n^2)$, 여기서 $D_n$은 그래프의 지름이다.
• 제어된 경로 수와 혼잡도 분석을 갖는 재귀적 트리 기반 구조를 사용하여 일정 차수의 확산자 가족을 구성한다.
• 트리의 곱 그래프 $T_d^k$에서의 교통을 분석하기 위해 중심 정점에 통과하는 최단 경로 수를 재귀적 경로 수세기와 기하급수 추정을 통해 유계화한다.
• 귀납법과 기하급수 유계를 사용하여 재귀적 구조에서 경로 수의 증가를 제어하고, 코어 정점에 통과하는 총 경로 수가 $O(n)$임을 증명한다.
• 초구형 군의 곱 트리에 대한 준등거리 임bedding을 활용하여 이러한 공간에서의 혼잡도를 분석한다.

실험 결과

연구 질문

• RQ1 삼각형의 비율 $p$만이 $\delta$--긴장한 부분적으로 초구형인 그래프에서 교통 혼잡도는 어떻게 스케일링되는가?
• RQ2 일정 차수의 확산자 그래프가 지오데식 라우팅에서 높은 혼잡도를 보일 수 있는가? 이는 확산자가 본질적으로 낮은 혼잡도를 가진다는 직관과 모순된다.
• RQ3 정규 $d$--진 트리 $k$개의 곱으로 이루어진 그래프에서 최대 정점 혼잡도의 정확한 스케일링은 무엇인가?
• RQ4 $(p,\delta)$--초구형 공간에서 그래프의 지름이 혼잡도 하한에 어떤 영향을 미치는가?

주요 결과

• $(p,\delta)$--초구형 그래프에서 최대 정점 혼잡도는 $\Omega(p^2 n^2 / D_n^2)$ 비율로 증가함을 보이며, $p$가 0에서 벗어나면 부분적 초구형성이라도 높은 혼잡도를 초래함을 시사한다.
• 최대 정점 혼잡도가 $\Theta(n^2)$인 일정 차수의 확산자 가족이 구성되었으며, 이는 확산자가 지오데식 라우팅에서 높은 혼잡도를 겪을 수 있음을 보여준다.
• 랜덤 $d$--정규 그래프는 혼잡도가 $O(n \log^3 n)$이며, 구성된 확산자 가족의 $\Theta(n^2)$ 혼잡도보다 현저히 낮다.
• 정규 $d$--진 트리 $k$개의 곱에서 최대 정점 혼잡도는 $\Theta(n^2 / \log_{d-1}^{k-1} n)$ 비율로 증가함을 보이며, $n^2$에 비해 로그적 감소를 보임을 시사한다.
• 트리 곱 구조의 코어 정점은 $\Omega(n^2)$개의 최단 경로에서 교통을 수송하며, 총 경로 수는 $O(n)$으로 유계화되어 중심부에 집중된 혼잡도가 있음을 의미한다.
• 분석을 통해 충분히 큰 $c$에 대해 재귀적 구조에서 중심 정점에 통과하는 최단 경로 수는 최대 $n/2$ 이하임을 증명함으로써 혼잡도 스케일링을 도출할 수 있다.