비정형 초과를 가진 구성요소 성장 분석

초록

본 논문은 정점 수 n인 무작위 성장 그래프에서 초과(l = edges − vertices)가 l인 연결 성분을 l → l+1 로 전이시키는 기대 횟수가 l, n → ∞이면서 l=o(n¹⁄⁴)일 때 1에 수렴함을 보인다. 또한 같은 조건 하에 l‑초과 성분에 한 번이라도 포함되는 정점 수의 기대값이 ≈(12l)¹⁄³ n²⁄³임을 증명한다.

상세 분석

논문은 먼저 연속시간 무작위 그래프 모델 G(n,t)를 도입한다. 각 완전 그래프 Kₙ의 간선 e에 독립적인 발생 시간 Tₑ를 부여하고, Tₑ≤t인 간선들을 모아 G(n,t)를 만든다. 이 모델에서 “(k,k+l) 그래프”는 정점 k개에 간선 k+l개를 갖는 연결 그래프이며, 그 초과는 l이다. 저자들은 α(l;k)라는 기호를 사용해 크기 k인 l‑초과 성분에 새로운 간선을 추가해 (l+1)‑초과 성분이 되는 기대 전이 횟수를 정의한다.

Lemma 1에서는 α(l;k)를 정확히 계산하기 위해 연결 그래프의 개수 c(k,k+l)를 활용한다. c(k,k+l)는 Bender‑Canfield‑McKay가 제시한 Wright식의 확장 형태를 갖는데, 여기서 wₗ와 상수 rᵢ가 등장한다. 이를 Stirling 근사와 적절한 정규화 과정을 거쳐 α(l;k)의 점근식 (2)를 얻는다. 핵심은 l이 k^{2/3} 이하일 때만 이 근사가 유효하다는 점이다.

다음 단계에서는 αₗ=∑{k=1}^{n}α(l;k)의 전체 기대 전이 횟수를 평가한다. Lemma 3에서 제시된 적분 근사를 이용해 ∑{k}k^{a}exp(−k³/(24n²)+l k²/(8n²)+l k²/n) 형태의 합을 Laplace 방법으로 처리한다. 변수 변환 t=2n^{2/3}e^{z}를 두고, 주요 기여는 z₀≈(1/3)ln(a+1) 근처에서 발생한다. 여기서 a=(3l+1)/2이며, l→∞이면서 l=o(n^{1/4})이면 a도 충분히 커서 정규 근사가 정확히 적용된다. 결과적으로 αₗ는 ρₗ·2^{2}·3^{l+3/2}·3^{−l+1/2}·Γ(l+½)^{-1} 형태가 되고, ρₗ은 (1/2)·s₃·π^{-1/2}·e^{12l}·l^{-5/2}(1+O(1/l)) 로 정의된다. 모든 상수가 소거된 뒤 αₗ≈1이 된다. 이는 Janson 등(2000)의 정리와 일치하지만, 여기서는 l이 고정되지 않은 경우에도 동일한 결론을 얻는다.

그 다음으로 Vₗ, 즉 l‑초과 성분에 한 번이라도 포함되는 정점 수의 기대값을 구한다. αₗ와 연결된 마코프 연쇄 분석을 통해 Vₗ≈(12l)^{1/3}n^{2/3}임을 도출한다. 또한 가장 큰 l‑초과 성분의 크기 Vₗ^{max}는 O(l^{1/3}n^{2/3})로 상한을 잡는다. 이 결과는 Janson이 제시한 “l‑초과 성분은 거의 동시에 등장한다”는 직관을 정량화한다.

전체적으로 논문은 확률적 그래프 성장 과정과 정밀한 조합론적 열거 기법을 결합한다. Wright식의 고차항까지 포함한 Bender‑Canfield‑McKay의 결과를 활용해 c(k,k+l)의 정확한 점근식을 얻고, 이를 α(l;k)와 αₗ에 삽입함으로써 l이 n^{1/4}보다 작을 때 기대 전이 횟수가 1에 수렴함을 보였다. 이와 동시에 l‑초과 성분에 포함되는 정점 수의 규모를 (12l)^{1/3}n^{2/3}으로 제시함으로써 무작위 그래프의 다중 사이클 구조가 어떻게 발달하는지를 명확히 설명한다.