무작위 유향 그래프에서의 정지분포와 커버 타임
본 논문은 평균 차수가 d·log n (d>1)인 무작위 유향 그래프 Dₙ,ₚ에서 단순 랜덤 워크의 정지분포와 커버 타임을 분석한다. 정지확률 πᵥ는 거의 deg⁻(v)/m에 수렴하고, d가 무한대로 성장하면 균등분포가 된다. 이를 이용해 d>1일 때 커버 타임은 whp d·log(d/(d−1))·n·log n에, d→∞이면 n·log n에 수렴함을 보인다.
저자: Colin Cooper, Alan Frieze
본 연구는 평균 차수가 d·log n (d>1)인 무작위 유향 그래프 Dₙ,ₚ에 대해 단순 랜덤 워크의 정지분포와 커버 타임을 정밀하게 분석한다. 서론에서는 무향 그래프에서의 커버 타임 결과들을 정리하고, 유향 그래프에서는 강연결성 임계값 np=log n+γ가 필요함을 언급한다. 이후 Dₙ,ₚ가 γ→∞이면 강연결성을, γ→−∞이면 비연결성을 갖는 사실을 간단히 증명한다.
주요 결과는 두 정리이다. 정리 1은 커버 타임 C_{Dₙ,ₚ}가 whp d·log(d/(d−1))·n·log n에 수렴함을, d→∞이면 n·log n에 수렴함을 제시한다. 정리 2는 정지분포 πᵥ에 대한 정확한 근사식 πᵥ≈(deg⁻(v)+ς⁎(v))/m을 제공한다. 여기서 ς⁎(v)=max_{w∈N⁻(v)} deg⁻(w)/deg⁺(w)이며, 대부분의 정점에 대해 ς⁎(v)=o(deg⁻(v))임을 Lemma 14에서 증명한다. 따라서 πᵥ≈deg⁻(v)/m, 그리고 d가 크게 증가하면 deg⁻(v)≈np가 거의 일정하므로 πᵥ≈1/n이 된다.
증명은 크게 네 단계로 구성된다. 첫째, Dₙ,ₚ의 차수분포와 최대·최소 차수에 대한 Chernoff 경계(Lemma 4)를 확보한다. 둘째, 두 개의 BFS 트리(출-트리와 입-트리)를 깊이 ℓ=⌈(2/3)·log_{np} n⌉까지 확장하고, 트리 경계 사이를 한 번 점프하는 경로가 전체 경로의 대부분을 차지함을 보인다. 이를 통해 전이 행렬의 k제곱 P^{(k)}(x,y)≈deg⁻(y)/m이라는 근사식을 얻는다. 셋째, Lemma 3(주요 보조정리)을 이용해 혼합시간 T=O(log² n)와 Rᵥ=1+o(1)임을 보이고, 정점 v가 t≥T 이후에 방문되지 않을 확률이 Pr(A_v(t))≈e^{-t·πᵥ/Rᵥ}임을 도출한다. 마지막으로, 이 확률 근사를 이용해 커버 타임의 상·하한을 각각 t+∑_v Pr(A_v(t))와 기대값이 양수인 정점 집합을 선택하는 방식으로 잡아, 정확한 1차항을 얻는다.
증명 과정에서 가정 1(2≤d≤n^δ)을 두고 진행한 뒤, 섹션 6에서 d가 n^δ보다 크거나 1
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기