[논문 리뷰] Random graphs with arbitrary i.i.d. degrees

Remco van der Hofstad, Gerard Hooghiemstra외 1명|ArXiv.org|2005. 02. 28.

Limits and Structures in Graph Theory참고 문헌 33인용 수 4

한 줄 요약

이 논문은 尾지수 $\tau$ 를 가진 멱법 분포를 따르는 i.i.d. 차수를 가진 무작위 그래프를 연구하여 구성 요소의 구조와 지름에서 단계 전이를 규명한다. $\tau \in (2,3)$ 인 경우, 최소 차수가 3 이상이면 지름이 거의 확실하게 $C \log \log N$ 이하로 유계임을 증명하고, 차수 2인 노드가 존재할 경우 지름이 $c \log N$ 이상으로 유계임을 보여, 일반적인 거리 척도에서 급격한 전이가 발생함을 밝힌다.

ABSTRACT

In this paper we derive results concerning the connected components and the diameter of random graphs with an arbitrary i.i.d. degree sequence. We study these properties primarily, but not exclusively, when the tail of the degree distribution is regularly varying with exponent $1-τ$. There are three distinct cases: (i) $τ>3$, where the degrees have finite variance, (ii) $τ\in (2,3)$, where the degrees have infinite variance, but finite mean, and (iii) $τ\in (1,2)$, where the degrees have infinite mean. These random graphs can serve as models for complex networks where degree power laws are observed. Our results are twofold. First, we give a criterion when there exists a unique largest connected component of size proportional to the size of the graph, and study sizes of the other connected components. Secondly, we establish a phase transition for the diameter when $τ\in (2,3)$. Indeed, we show that for $τ>2$ and when nodes with degree 2 are present with positive probability, the diameter of the random graph is, with high probability, bounded below by a constant times the logarithm of the size of the graph. On the other hand, assuming that all degrees are at least 3 or more, we show that, for $τ\in (2,3)$, the diameter of the graph is with high probability bounded from above by a constant times the $\log \log$ of the size of the graph.

연구 동기 및 목표

• 정규적으로 변화하는 尾지수 $1-\tau$ 를 가진 분포를 따르는 i.i.d. 차수를 가진 무작위 그래프에서 연결된 구성 요소의 구조를 이해하기 위해.
• 유일한 거대 구성 요소가 나타나는 조건을 규명하고, 더 작은 구성 요소의 크기를 특성화하기 위해.
• 차수 분포의 꼬리와 최소 차수에 따라 그래프의 지름에서 발생하는 단계 전이를 확립하기 위해.
• 이러한 무작위 그래프로 모델링된 복잡한 네트워크에서 일반적인 거리의 척도를 분석하기 위해.

제안 방법

• 멱법 尾지수 $1-F(x) \sim x^{1-\tau}L(x)$, $\tau>1$, $L$ 이 느리게 변화하는 i.i.d. 차수 시퀀스로부터 그래프를 구성하기 위해 구성 모델을 사용한다.
• 정점에서 시작하는 탐색 과정을 적용하여, 스탑과 충돌 수를 추적함으로써 구성 요소의 성장과 연결성의 정도를 추정한다.
• k-탐색 트리 내의 스탑 수와 그래프의 코어 내 스탑 수에 대한 확률적 상한을 적용한다.
• 보울의 부등식을 사용하여 탐색 트리에서 다중 충돌의 확률을 통제함으로써, 거의 확실하게 트리 형태의 구조를 유지함을 보장한다.
• 대규모 탈락 경계와 농도 불등식을 적용하여, 탐색 트리가 거의 확실하게 코어에 연결됨을 보여준다.
• 탐색 과정을 분포 과정과 결합하고, 코어에 도달하고 다른 구성 요소에 연결하는 데 걸리는 시간을 분석함으로써 지름의 경계를 유도한다.

실험 결과

연구 질문

• RQ1 i.i.d. 멱법 분포 차수를 가진 무작위 그래프에서 유일한 거대 구성 요소가 나타나는 조건은 무엇인가?
• RQ2 차수 분포의 분산이 무한대인 경우($\tau \in (2,3)$), 그래프의 지름은 네트워크 크기 $N$ 과 어떻게 척도가 맞는가?
• RQ3 $\tau \in (2,3)$ 인 경우, 차수 2인 노드의 존재가 지름 척도에 미치는 영향은 무엇인가?
• RQ4 최소 차수(예: ≥3 대비 차수 2 포함)가 무거운 尾지수 차수 분포에서 지름 척도에 미치는 영향은 무엇인가?
• RQ5 차수 분포의 기댓값이 무한대인 경우($\tau \in (1,2)$), 지름의 정확한 渐近적 행동은 무엇인가?

주요 결과

• $\tau \in (2,3)$ 인 경우, 모든 차수가 3 이상이면 지름이 거의 확실하게 $C \log \log N$ 이하로 유계이며, 어떤 상수 $C$ 에 대해 성립한다.
• $\tau \in (2,3)$ 인 경우, 차수 2인 노드가 양의 확률로 존재하면 지름이 거의 확실하게 $c \log N$ 이상으로 유계이며, $c>0$ 인 상수 $c$ 에 대해 성립함을 보여, 단계 전이가 발생함을 시사한다.
• $\tau > 3$ 인 경우, 차수 분포의 분산이 유한하며, 그래프는 크기가 $N$ 과 비례하는 표준적인 단계 전이를 보이며, 더 작은 구성 요소는 크기가 로그 수준이다.
• $\tau \in (1,2)$ 인 경우, 차수 분포의 기댓값이 무한대이며, 여전히 가장 큰 구성 요소의 크기는 $N$ 과 같은 주기수를 가지지만, 지름은 $\log \log N$ 을 초과해 더 빠르게 증가할 수 있다.
• 노드에서 시작하는 $k$-탐색 트리에서 두 개 이상의 충돌이 발생할 확률은 $k = C(m,\varepsilon)\log\log N$ 일 때 $o(N^{-1})$ 이다. 이는 트리 형태의 확장을 보장한다.
• 거의 확실하게, 어떤 노드에서 시작하는 $k$-탐색 트리는 $k = C(m,\varepsilon)\log\log N$ 단계 내에 그래프의 코어에 연결되며, 이는 지름의 경계를 가능하게 한다.