정점 수 고정 선호 연결 모델의 거대 성분 출현

초록

정점 집합은 고정하고, 각 단계에서 현재 차수에 비례해 새로운 간선을 추가하는 선호 연결 과정 Gₐ,ₙ,ₘ을 연구한다. 저자들은 이 과정의 초임계 구간에서 거대 연결 성분의 크기를 정확히 추정하고, α가 무한대로 발산할 때는 전통적인 에르되시‑레니 모델과 동일한 거대 성분 거동을 보임을 증명한다. 핵심 방법은 정점 차수열을 조건부로 고정하고, 이를 구성 모델(configuration model)과 연결시켜 기존 결과를 활용하는 것이다.

상세 분석

이 논문은 정점 수가 고정된 상태에서 선호 연결 메커니즘을 적용한 무작위 그래프 과정 Gₐ,ₙ,ₘ을 정의한다. 매 단계마다 아직 연결되지 않은 두 정점 v, w를 선택할 확률이 (d_v+α)(d_w+α)에 비례하도록 하며, 여기서 d_v는 현재 차수, α>0는 조절 파라미터이다. α→∞이면 모든 쌍이 동일한 확률로 선택되므로 고전적인 에르되시‑레니 G_{ER}(n,m)과 동일해진다. 기존 연구(Pittel, 2010)는 임계점 m_c≈nα²/(α+1) 근처에서 가장 큰 성분이 Θ(log n)에서 Θ(n)으로 급격히 변한다는 사실을 보였지만, 초임계 구간 ε·n→∞(ε=o(1))에서의 정확한 선형 성장률을 구하는 데는 제한이 있었다.

저자들은 먼저 루프와 다중 간선을 허용하는 멀티그래프 변형 Gₐ,∗,ₙ,ₘ을 도입한다. 이 변형은 차수 증가 규칙이 동일하지만, 루프와 다중 간선이 허용되므로 분석이 단순해진다. 핵심 보조정리 2.2는 m=O(n)이고 α=Ω(1)인 경우, Gₐ,∗,ₙ,ₘ에서 얻은 확률적 결과를 원래 단순 그래프 Gₐ,ₙ,ₘ에 거의 그대로 전이할 수 있음을 보인다.

다음 단계는 차수열을 조건부로 고정했을 때 Gₐ,∗,ₙ,ₘ이 전통적인 구성 모델(configuration model)과 동일한 분포를 갖는다는 정리 2.4이다. 구성 모델에서는 주어진 차수열 d=(d₁,…,d_n)에 대해 각 정점을 d_i개의 “스탭”으로 복제하고, 이 스탭들을 무작위로 짝지어 간선을 만든다. 따라서 차수 분포가 알려지면, 기존의 구성 모델에 대한 거대 성분 존재 및 크기 결과를 바로 적용할 수 있다.

저자들은 연속시간 구축 방식을 이용해 Gₐ,∗,ₙ,ₘ의 차수 분포를 정확히 추정한다. 결과는 각 정점의 차수가 독립적인 음이항 분포(NB(α, p))에 가까워짐을 보이며, 여기서 p≈2m/(nα+2m)이다. 이 차수 분포는 평균이 2m/n이며, 분산이 O(1)·(1+α)⁻¹이므로, α가 유한한 경우에도 차수가 크게 편중되지 않는다.

구성 모델에 대한 기존 정리(예: Molloy‑Reed 기준)와 결합하면, 초임계 구간 ε·n→∞(ε=O(1))에서 가장 큰 성분의 크기가 ρ_α(ε)·n(1+o_p(1))임을 얻는다. 여기서 ρ_α(ε)는 (4.13)–(4.12)에 정의된 연속함수이며, ε→0일 때 ρ_α(ε)=2ε/(1+2/α)+O(ε²)이다. 이는 에르되시‑레니 경우 α→∞에서 얻는 ρ_∞(ε)와 일치한다. 또한 두 번째로 큰 성분은 L₂=o_p(L₁)임을 보이며, 따라서 거대 성분이 유일함을 확정한다.

마지막으로 α가 n에 따라 성장하는 경우도 다룬다. α(n)→∞이면 충분히 빠르게 성장할 때(예: α·ε→∞) ρ_α(ε)→ρ_∞(ε)이며, 따라서 Gₐ,ₙ,ₘ은 에르되시‑레니와 동일한 초임계 거대 성분 거동을 보인다. 이는 Corollary 1.3에서 명시된 바와 같이, α=Ω(n^{1/3})이면 ε=O(1)·ε³n→∞ 조건만으로도 동일한 결과가 성립한다.

전체적으로, 논문은 복잡한 동적 선호 연결 과정을 차수 조건부 구성 모델로 전환함으로써, 기존의 정적 그래프 이론을 효율적으로 활용한다는 새로운 방법론을 제시한다. 이는 기존 Pittel의 복잡한 열거적 접근보다 훨씬 간결하고 직관적이며, k‑코어, 클러스터링 등 다른 구조적 특성에도 확장 가능함을 시사한다.