[논문 리뷰] Explosion and distances in scale-free percolation

Remco van der Hofstad, Júlia Komjáthy|arXiv (Cornell University)|2017. 06. 08.

Stochastic processes and statistical mechanics참고 문헌 44인용 수 10

한 줄 요약

이 논문은 $ℤ^d$ 위에서의 스케일프리 퍼콜레이션에서 정점들이 i.i.d. 힘법칙 무게를 가지며, 간선은 무게와 역거리에 따라 존재 확률이 결정되는 가중거리에 대해 연구한다. 폭발—유한한 시간 내에 무한한 수의 정점에 도달하는 것—이 발생하는 것은 간선-무게 분포가 평균 무한한 힘법칙 후손을 가지는 폭발적 분열 과정을 생성할 때 정확히 발생함을 입증한다. 폭발적이지 않은 간선의 경우, 파rameter $\gamma = \alpha(\tau-1)/d$ 를 통해 첫도달시간과 거리의 점근적 성장을 기술하며, $\gamma$ 에 따라 로그 또는 이중로그 스케일링이 발생함을 보인다.

ABSTRACT

We investigate the weighted scale-free percolation (SFPW) model on $\mathbb Z^d$. In the SFPW model, the vertices of $\mathbb Z^d$ are assigned i.i.d. weights $(W_x)_{x\in \mathbb Z^d}$, following a power-law distribution with tail exponent $τ>1$. Conditioned on the collection of weights, the edges $(x,y)_{x, y \in \mathbb Z^d}$ are present independently with probability that a Poisson random variable with parameter $λW_x W_y/(\|x-y\|)^α$ is at least one, for some $α, λ>0$, and where $\|\cdot \|$ denotes the Euclidean distance. After the graph is constructed this way, we assign independent and identically distributed (i.i.d.) random edge lengths from distribution $L$ to all existing edges in the graph. The focus of the paper is to determine when is the obtained model \emph{explosive}, that is, when it is possible to reach infinitely many vertices in finite time from a vertex. We show that explosion happens precisely for those edge length distributions that produce explosive branching processes with infinite mean power law offspring distributions. For non-explosive edge-length distributions, when $γ\in (1,2)$, we characterise the asymptotic behaviour of the time it takes to reach the first vertex that is graph distance $n$ away. For $γ>2$, we show that the number of vertices reachable by time $t$ from the origin grows at most exponentially, thus explosion is never possible. For the non-explosive edge-length distributions, when $γ\in (1,2)$, we further determine the first order asymptotics of distances when $γ\in (1,2)$. As a corollary we obtain a sharp upper and lower bound for graph distances, closing a gap between a lower and upper bound on graph distances in Deijfen Hofstad `13 when $γ\in(1,2), τ>2$.

연구 동기 및 목표

• 모델이 유한한 시간 내에 무한한 수의 정점에 도달할 수 있는지, 즉 폭발이 발생하는지 여부를 결정하기.
• 폭발적이지 않은 영역에서 첫도달시간과 그래프 거리의 점근적 행동을 기술하기.
• $\gamma \in (1,2), \tau > 2$ 영역에서 그래프 거리에 대한 날카운 경계를 해결하는 열린 문제를 해결하기.
• 공간 모델에서의 폭발과 중력적 후손을 가진 폭발적 분열 과정 사이의 연결 고리를 설정하기.

제안 방법

• 지수 분포를 가지는 힘법칙 분포에서 유사독립적으로 생성된 정점 무게를 사용하여 네트워크를 모델링한다.
• 정점 무게와 거리의 역수를 $\alpha > 0$ 거듭제곱한 값에 따라 간선 존재 여부를 결정하는 포아송 기반 메커니즘을 정의한다.
• 모든 존재하는 간선에 대해 분포 $L$ 에서 유사독립적으로 생성된 간선-무게를 할당하여 전파 시간을 모델링한다.
• 가장 짧은 경로를 추적하고 가중 그래프의 구조를 탐색하기 위해 수정된 너비 우선 탐색 과정을 사용한다.
• 커플링 추론과 수학적 귀납법을 적용하여 탐색 과정을 유사독립적인 간선-무게를 가진 분열 과정과 연결한다.
• 폭발과 거리 행동을 분류하기 위해 임계 파라미터 $\gamma = \alpha(\tau-1)/d$ 를 분석한다.

실험 결과

연구 질문

• RQ1 간선-무게 분포가 어떤 조건을 만족할 경우 모델이 폭발을 보이며, 즉 무한한 수의 정점에 유한한 시간 내에 도달할 수 있는가?
• RQ2 간선-무게 분포가 폭발적이지 않고 $\gamma \in (1,2)$ 일 때, 그래프 거리 $n$ 에 있는 정점에 도달하는 첫도달시간의 점근적 행동은 어떠한가?
• RQ3 폭발적이지 않은 영역에서 일반적인 그래프 거리는 어떻게 스케일링되며, $\gamma \in (1,2), \tau > 2$ 에서 날카운 상한과 하한 경계를 확립할 수 있는가?
• RQ4 공간 모델에서의 폭발적 영역은 평균장 모델(예: 구성 모델)에서의 폭발적 구성과 근본적으로 어떻게 다를까?

주요 결과

• 모델에서 폭발이 발생하는 것은 간선-무게 분포가 평균 무한한 힘법칙 후손을 가지는 폭발적 분열 과정을 생성할 때 정확히 발생한다.
• 폭발적이지 않은 간선-무게 분포와 $\gamma = \alpha(\tau-1)/d \in (1,2)$ 일 때, 그래프 거리 $n$ 에 있는 정점에 도달하는 첫도달시간은 점근적으로 $\log \log n$ 과 같이 증가한다.
• $\gamma > 2$ 일 경우, 원점에서 시간 $t$ 이내에 도달 가능한 정점 수는 최대 지수적으로 증가하므로 폭발은 불가능하다.
• $\gamma \in (1,2)$ 이고 간선-무게가 폭발적이지 않을 경우, 논문은 그래프 거리에 대해 날카운 상한과 하한 경계를 확립하여 [28]에서의 열린 문제를 해결한다.
• 폭발적 영역에서는 유한하지 않은 수의 정점과 $\mathbb{Z}^d$ 의 비컴act성으로 인해 거리의 특성을 기술하기가 어렵다. 이는 평균장 모델과는 달리, 거리가 두 폭발 시간의 합으로 수렴하지 않기 때문이다.
• 논문은 공간 모델과 구성 모델 사이의 근본적 차이를 규명한다: 구성 모델에서는 일반적인 거리가 두 폭발 시간의 합으로 수렴하지만, 공간 모델에서는 기하학적 제약과 무한한 정점 집합으로 인해 이 성질이 성립하지 않는다.