무작위 그래프 위 무작위 보행에 의해 유도된 빈 집합의 구성 구조

초록

무작위 그래프와 무작위 정규 그래프에서 무작위 보행이 진행될 때 아직 방문되지 않은 정점들의 집합을 빈 집합이라 한다 이 빈 집합이 형성하는 부분 그래프는 에르되시‑레니 그래프와 동일한 위상 전이를 보인다 즉 일정 시간 이전에는 하나의 거대 연결 성분과 로그 규모의 작은 성분들이 존재하고 그 이후에는 모든 성분이 로그 규모 이하가 된다

상세 분석

본 논문은 두 종류의 무작위 그래프인 에르되시‑레니 모델 G n p 와 정규 그래프 G r (정도 r 이상) 에 대해 무작위 보행이 진행되는 동안 발생하는 빈 집합의 구조적 변화를 정량적으로 분석한다 먼저 그래프가 연결성을 갖는 임계값을 초과하는 경우를 가정한다 이때 보행이 t 단계까지 진행된 후 아직 방문되지 않은 정점들로 구성된 부분 그래프를 Γ(t) 로 정의한다 연구는 Γ(t) 가 에르되시‑레니 그래프에서 관찰되는 위상 전이와 동일한 형태를 보인다는 점을 증명한다 구체적으로 t 가 임계 시간 t* 보다 작을 경우 Γ(t) 에는 크기가 선형인 거대 연결 성분이 존재하고 나머지 성분들은 크기가 O(log n) 수준으로 제한된다 반대로 t 가 t* 를 초과하면 모든 연결 성분의 크기가 O(log n) 이하가 된다 이 임계 시간 t* 는 그래프의 평균 차수와 보행의 방문 확률에 의해 결정된다 G n p 의 경우 t* 는 (1−p)−1 로그 n 에 비례하는 형태이며 G r 의 경우는 r 과 n 에 대한 함수 형태로 정확히 도출된다 또한 G r 에 대해서는 Γ(t) 의 정밀한 차수 분포를 구한다 즉 각 정점이 남아 있는 확률과 그에 따른 차수의 기대값을 계산하여 전체 차수열을 제시한다 이를 바탕으로 거대 성분의 정확한 크기와 로그 규모의 트리 성분이 특정 크기 k (k=O(log n)) 를 가질 기대 개수를 구한다 마지막으로 방향 그래프 D n p 에 대해서도 유사한 위상 전이가 성립함을 보인다 여기서는 강하게 연결된 성분을 기준으로 분석하며 t* 를 초과하면 모든 강연결 성분이 로그 규모 이하가 된다 이러한 결과는 무작위 보행이 그래프의 구조를 어떻게 빠르게 파괴하거나 남겨두는지를 정량적으로 이해하는 데 중요한 통찰을 제공한다 특히 네트워크 보안에서 침입자가 무작위 탐색을 수행할 때 남아 있는 안전 구역의 크기와 연결성을 예측하는 데 활용될 수 있다