[논문 리뷰] Bohman-Frieze processes at criticality and emergence of the giant component

Shankar Bhamidi, Amarjit Budhiraja외 1명|arXiv (Cornell University)|2011. 06. 06.

Stochastic processes and statistical mechanics참고 문헌 34인용 수 3

한 줄 요약

이 논문은 보만-프리에즈 무작위 그래프 과정이 고전적인 에르되시-레니 모델과 동일한 임계 행동을 보임을 규명한다: 임계 상태에서 성분 크기는 적절히 재스케일링되고 재중앙화되어 표준 승법 융합 과정과 동일한 극한 분포로 수렴한다. 저자들은 이 결과를 근접 임계 다형도 분포 과정과의 새로운 커플링 및 함수해석적 도구를 통해 증명하여, 간선 선택 규칙에 의한 거대 성분의 지연에도 불구하고 임계 창에서의 보편성(유니버설리티)을 확인한다.

ABSTRACT

The evolution of the usual Erdős-Rényi random graph model on n vertices can be described as follows: At time 0 start with the empty graph, with n vertices and no edges. Now at each time k, choose 2 vertices uniformly at random and attach an edge between these two vertices. Let \bfG_n(k) be the graph obtained at step k. Refined analysis in random graph theory now shows that for fixed t\in \Rbold, when k(n) = n/2+ n^{2/3} t/2, the sizes of the components in \bfG_n(k(n)) scale like n^{2/3} and rescaled component sizes converge to the standard multiplicative coalescent at time $t$. The last decade has seen variants of this process introduced, under the name Achlioptas processes, to understand the effect of simple changes in the edge formation scheme on the emergence of the giant component. Stimulated by a question of Achlioptas, one of the simplest and most popular of such models is the Bohman Frieze (BF) model wherein at each stage $k$, 2 edges e_1(k)=(v_1,v_2) and e_2(k) = (v_3, v_4) are chosen uniformly at random. If at this time v_1, v_2 are both isolated then this edge is added, otherwise e_2 is added. Then \cite{bohman2001avoiding} (and further analysis in \cite{spencer2007birth}) show that once again there is a critical parameter, which is larger than 1, above and below which the asymptotic behavior is as in the Erdős-Rényi setting. While an intense study for this and related models seems to suggest that at criticality, this model should be in the same universality class as the original Erdős-Rényi process, a precise mathematical treatment of the dynamics in the critical window has to date escaped analysis. In this work we study the component structure of the BF model in the critical window and show that at criticality the sizes of components properly rescaled and re-centered converge to the standard multiplicative coalescent.

연구 동기 및 목표

• 임계 창에서 거대 성분이 나타나는 시점에서 보만-프리에즈 무작위 그래프 모델의 성분 구조를 엄밀히 분석하기 위해.
• 보만-프리에즈 과정이 임계 상태에서 고전적인 에르되시-레니 모델과 동일한 보편성 클래스에 속하는지 판단하기 위해.
• 간선 형성 규칙으로 인한 거대 성분의 지연에도 불구하고 재스케일링된 성분 크기의 수렴이 표준 승법 융합 과정으로 이루어지는지 확인하기 위해.
• 근접 임계 다형도 분포 과정과 함수해석적 방법을 활용한 커플링 프레임워크를 개발하여 임계 영역 내의 동역학을 분석하기 위해.

제안 방법

• 성분 크기 공간 $l^{2}_{\downarrow}$ 에서 보만-프리에즈 과정 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}$ 를 확률적으로 둘러싸는 두 개의 보조 과정 $\bar{\boldsymbol{C}}_n^{-}$ 와 $\bar{\boldsymbol{C}}_n^{+}$ 를 구성한다.
• 양측 과정의 극한 과정으로 승법 융합 과정을 사용하며, 알도스 및 다른 이들의 알려진 수렴 결과를 활용한다.
• 공간 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ 에서의 기능적 수렴 기법을 적용하여 보만-프리에즈 과정이 동일한 극한으로 수렴함을 증명한다.
• 특히, 양측 과정의 제곱 $l^2$-노름 차이를 분석함으로써 $\mathcal{D}$-공간 과정에 대한 타이트니스 기준을 적용한다.
• 승법 융합 과정의 마르코프 성질과 모멘트 한계를 활용하여 차이 과정 $\mathcal{V}(\lambda) = \mathcal{U}_+(\lambda) - \mathcal{U}_-(\lambda)$ 의 타이트니스를 검증한다.
• 공간 $l^{2}_{\downarrow}$ 에서의 부분순서 $\preceq$ 를 활용하여 성분 구성 요소를 비교하고 커플링에서 단조성을 확보한다.

실험 결과

연구 질문

• RQ1 보만-프리에즈 과정은 고전적인 에르되시-레니 모델과 동일한 임계 행동을 보이며, 특히 임계 창에서 승법 융합 과정으로 수렴하는가?
• RQ2 보만-프리에즈 모델에서 거대 성분의 지연 발생이 임계 상태에서 성분 크기의 스케일링 극한에 어떤 영향을 미치는가?
• RQ3 보만-프리에즈 과정의 동역학은 임계 영역에서 근접 임계 다형도 분포 과정으로 근사될 수 있는가?
• RQ4 다른 간선 형성 규칙에도 불구하고 보만-프리에즈 모델에서 재스케일링된 성분 크기의 극한 분포가 에르되시-레니 모델과 동일한가?

주요 결과

• 모든 $\lambda \in \mathbb{R}$ 에 대해 $n \to \infty$ 일 때 재스케일링된 성분 크기 과정 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}(\lambda)$ 는 표준 승법 융합 과정 $\boldsymbol{X}(\lambda)$ 로 분포 수렴한다.
• 수렴은 스토로코호드 공간 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ 에서 성립하여 전체 궤적의 기능적 수렴을 확인한다.
• 임계 창 스케일링 $k(n) = n/2 + n^{2/3}t/2$ 는 성분 크기를 순서 $n^{2/3}$ 으로 이끌며, 이는 에르되시-레니 사례와 일치한다.
• 극한 과정은 보편적이다: 간선 형성 규칙이 고립된 정점들을 선호하더라도 임계 행동은 고전 모델과 동일하다.
• 승법 융합 과정의 모멘트 한계와 마르코프 성질을 활용하여 차이 과정 $\mathcal{V}(\lambda)$ 의 타이트니스를 확립한다.
• 커플링 논증을 통해 $\bar{\boldsymbol{C}}_n^{-} \preceq \bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF} \preceq \bar{\boldsymbol{C}}_n^{+}$ 를 통해 과정을 두 개의 알려진 극한 사이에 끼워 넣음으로써 수렴을 보장한다.