[논문 리뷰] Existence of a persistent hub in the convex preferential attachment model

Pavel Galashin|arXiv (Cornell University)|2013. 10. 28.

Complex Network Analysis Techniques참고 문헌 13인용 수 16

한 줄 요약

이 논문은 볼록 선호적 첨부 모델—새로운 간선이 차수의 가중치가 볼록하고 유계가 아닌 함수에 의해 가중된 높은 차수를 가진 정점에 선호적으로 연결되는 모델—에서 확률 1로 지속적인 허브가 존재함을 증명한다. 증명은 확률적 지배, 랜덤 워크 쌍화, Borel–Cantelli 추론을 활용하여 유한한 시간 이후 한 정점이 차수에서 영구적으로 지배하게 되며, 기존의 Barabási–Albert 모델의 결과를 더 넓은 범위의 볼록 가중치 함수로 확장한다.

ABSTRACT

A vertex of a randomly growing graph is called a persistent hub if at all but finitely many moments of time it has the maximal degree in the graph. We establish the existence of a persistent hub in the Barabási--Albert random graph model with probability one. We also extend this result to the class of convex preferential attachment graphs, where a vertex of degree $k$ gets a new edge with probability proportional to some convex function of $k$.

연구 동기 및 목표

• 정점의 첨부가 차수의 볼록 함수에 의해 가중되는 볼록 선호적 첨부 모델에서 지속적인 허브의 존재를 확립하는 것.
• 기존의 Barabási–Albert 모델에서의 지속적인 허브 결과를 더 넓은 범위의 볼록 가중치 함수로 확장하는 것.
• 성장하는 무작위 네트워크에서 볼록 선호적 첨부 하에 정점의 장기적 차수 역학을 분석하는 것.
• 최대 차수가 충분히 빠르게 증가하고, 허브 변경이 확률 1로 유한 번 이하로 발생함을 보이는 것.
• 변환된 가중치 함수를 사용하여 $m_0 = 1$ 경우에서의 결과를 임의의 $m_0 \geq 1$ 경우로 일반화하는 것.

제안 방법

• 두 정점 간의 차수 차이 과정을 더 단순한 랜덤 워크로 확률적 지배하는 쌍화 방법을 사용한다.
• Borel–Cantelli 보조정리를 적용하여 차수 차이가 0이 되는 경우가 거의 확실히 유한 번 이하로 발생함을 보이며, 이는 허브 변경이 유한 번 이하로 발생함을 암시한다.
• 변환된 가중치 함수 $\mathcal{W}'(n) = \mathcal{W}(n + m_0 - 1)$를 도입하여 $m_0 > 1$ 경우를 $m_0 = 1$ 경우로 환원한다.
• 두 고정된 정점의 공동 차수 진화를 차수 벡터의 마코프 체인 표현을 통해 분석한다.
• 차수 증가량의 확률적 지배를 통한 볼록 모델과 선형(Barabási–Albert) 모델 간의 비교를 시행한다.
• 베타 분포 과정에서 비율 $A_n / (A_n + B_n)$이 1/2와 같지 않은 값으로 거의 확실히 수렴함을 이용하여, 차수 차이의 0 횡단 횟수가 유한함을 보장한다.

실험 결과

연구 질문

• RQ1 볼록 선호적 첨부 모델에서 확률 1로 지속적인 허브가 존재하는가?
• RQ2 이러한 모델에서 두 고정된 정점의 차수 진화는 시간이 지남에 따라 어떻게 행동하는가?
• RQ3 $m_0 > 1$ 경우는 가중치 함수의 변환을 통해 $m_0 = 1$ 경우로 환원될 수 있는가?
• RQ4 허브 변경이 유한 번 이하로 발생하도록 보장하는 가중치 함수에 대한 조건은 무엇인가?
• RQ5 최대 차수의 성장률이 충분히 빠르게 증가하여 한 정점이 결국 영구적으로 지배하게 되는가?

주요 결과

• 확률 1로 유한한 시간 이후 한 정점이 영구적으로 최고의 차수를 유지하며, 지속적인 허브의 존재를 입증한다.
• 임의의 두 고정된 정점 간의 차수 차이 과정은 거의 확실히 유한 번만 0이 되는 단순한 랜덤 워크에 의해 확률적 지배된다.
• 선형 모델에서 최대 차수 $\mathcal{M}_n$은 $\mathcal{M}_n n^{-1/(2+\beta)} \to \mu$ 거의 확실히 수렴하며, 여기서 $\mu$는 양수이자 유한한 랜덤 변수이다.
• 볼록 모델의 경우, $\sum_{k=1}^\infty \frac{1}{f(k)^2} < \infty$ 조건이 지속적인 허브 존재에 충분하며, 이는 $f$가 볼록이고 무한대에 발산할 경우에 성립한다.
• $m_0 > 1$ 경우의 증명은 가중치 함수를 $\mathcal{W}'(n) = \mathcal{W}(n + m_0 - 1)$로 변환하여 $m_0 = 1$ 경우로 환원되며, 필요한 확률적 성질을 유지한다.
• 고정된 정점의 차수는 유계일 수 있지만, 최대 차수는 충분히 빠르게 증가하여 결국 한 정점이 영구적으로 지배하게 된다.