[논문 리뷰] The Cover Time of Random Walks on Graphs

Mohammed Amin Abdullah|arXiv (Cornell University)|2012. 02. 24.

Stochastic processes and statistical mechanics참고 문헌 67인용 수 9

한 줄 요약

이 논문은 두 그래프의 커버 타임과 그 카르테시안 곱 사이의 새로운 관계를 확립하며, 한 요소가 상당히 클 경우 그 커버 타임이 곱의 커버 타임을 로그 인자 범위 내에서 지배함을 보여준다. 또한 주어진 차수 순서를 가진 무작위 그래프에 대해 정확한 점근적 커버 타임을 유도하고, 단순 무작위 보행보다 무한한 속도 향상을 달성할 수 있는 가중치를 부여한 무작위 보행 기법을 제안하며, 이 경우 혼합도는 거의 확실하게 상한이 존재한다.

ABSTRACT

A simple random walk on a graph is a sequence of movements from one vertex to another where at each step an edge is chosen uniformly at random from the set of edges incident on the current vertex, and then transitioned to next vertex. Central to this thesis is the cover time of the walk, that is, the expectation of the number of steps required to visit every vertex, maximised over all starting vertices. In our first contribution, we establish a relation between the cover times of a pair of graphs, and the cover time of their Cartesian product. This extends previous work on special cases of the Cartesian product, in particular, the square of a graph. We show that when one of the factors is in some sense larger than the other, its cover time dominates, and can become within a logarithmic factor of the cover time of the product as a whole. Our main theorem effectively gives conditions for when this holds. The techniques and lemmas we introduce may be of independent interest. In our second contribution, we determine the precise asymptotic value of the cover time of a random graph with given degree sequence. This is a graph picked uniformly at random from all simple graphs with that degree sequence. We also show that with high probability, a structural property of the graph called conductance, is bounded below by a constant. This is of independent interest. Finally, we explore random walks with weighted random edge choices. We present a weighting scheme that has a smaller worst case cover time than a simple random walk. We give an upper bound for a random graph of given degree sequence weighted according to our scheme. We demonstrate that the speed-up (that is, the ratio of cover times) over a simple random walk can be unbounded

연구 동기 및 목표

• 두 그래프의 커버 타임과 그 카르테시안 곱의 커버 타임 사이의 일반적인 관계를 확립하기 위해.
• 주어진 차수 순서를 가진 무작위 그래프에 대해 정확한 점근적 커버 타임을 결정하기 위해.
• 단순 무작위 보행보다 최악의 커버 타임을 줄이는 가중치를 부여한 무작위 보행 기법을 개발하기 위해.
• 이러한 무작위 그래프에서 혼합도가 거의 확실하게 상한이 존재하는 상수로 유계됨을 증명하기 위해.
• 복잡한 그래프 구조에서 커버 타임을 분석하기 위한 새로운 기법의 잠재력을 탐색하기 위해.

제안 방법

• 도시 전기 회로망의 메타포와 효과적 저항을 사용하여 도달 시간과 커버 타임을 분석한다.
• Matthews의 기법을 적용하여 커버 타임의 상한과 하한을 유도한다.
• 지역 그래프 영역에서의 무작위 보행을 분석하기 위한 프레임워크를 도입하며, 이를 가중치가 부여된 그래프로 환원한다.
• 구성 모델을 사용하여 주어진 차수 순서를 가진 무작위 그래프를 생성한다.
• 최소 차수 가중치 부여 기법을 적용하여 간선 선택을 편향하고 커버 타임을 줄인다.
• 혼합 시간과 복귀 확률 분석을 사용하여 첫 번째 방문 시간과 커버 타임을 추정한다.

실험 결과

연구 질문

• RQ1 두 그래프의 카르테시안 곱의 커버 타임은 각 성분의 커버 타임과 어떻게 관련이 있는가?
• RQ2 주어진 차수 순서를 가진 무작위 그래프의 정확한 점근적 커버 타임은 무엇인가?
• RQ3 같은 그래프에서 가중치를 부여한 무작위 보행이 단순 무작위 보행보다 증명 가능한 더 나은 커버 타임을 달성할 수 있는가?
• RQ4 고정된 차수 순서를 가진 무작위 그래프에서, 혼합도와 같은 구조적 성질은 어떤 것이 보장될 수 있는가?
• RQ5 가중치를 부여한 무작위 보행의 커버 타임이 유계이거나 상당히 감소하는 조건은 무엇인가?

주요 결과

• 일부 조건 하에서 두 그래프의 카르테시안 곱의 커버 타임은 더 큰 요소에 의해 점근적으로 지배되며, 이는 로그 인자 범위 내이다.
• 주어진 차수 순서를 가진 무작위 그래프의 경우 커버 타임은 점근적으로 $ (1+o(1))n\log n $이며, 완전 그래프에 대한 알려진 경계와 일치한다.
• 이러한 무작위 그래프에서 혼합도는 거의 확실하게 $ 1/100 $ 이상으로 유계이며, 이는 별도로 관심을 가질 만한 결과이다.
• 제안된 최소 차수 가중치 부여 기법은 단순 무작위 보행보다 커버 타임을 무한히 줄일 수 있다.
• 주어진 차수 순서를 가진 무작위 그래프에서 가중치를 부여한 보행의 커버 타임에 대한 상한은 $ O(n\log n) $이며, 비가중치 경우보다 향상된다.
• 지역 영역 분해과 가중치가 부여된 그래프 환원에 기반한 분석 프레임워크는 일반적이며 카르테시안 곱 이외의 영역에도 적용 가능하다.