[논문 리뷰] Random walks on graphs: new bounds on hitting, meeting, coalescing and returning

Roberto I. Oliveira, Yuval Peres|arXiv (Cornell University)|2018. 07. 18.

Optimization and Search Problems인용 수 5

한 줄 요약

이 논문은 유한 그래프 위에서의 라우지 랜덤 워크에 대해 새로운 경계를 설정하여, 귀환 확률, 도달 시간, 다수의 워크의 융합에 대한 추정치를 향상시킨다. '만남 시간 레미마'의 이산 시간 형태를 증명하고 이를 이용해 $ n $개의 랜덤 워크의 기대 전 융합 시간을 유계로 제한하며, 이는 보편 상수 $ K $에 대해 $ K \cdot t_{\text{hit}} $ 이하임을 보여주며, 핵심 영역에서 이전 결과보다 크게 향상시킨다.

ABSTRACT

We prove new results on lazy random walks on finite graphs. To start, we obtain new estimates on return probabilities $P^t(x,x)$ and the maximum expected hitting time $t_{ m hit}$, both in terms of the relaxation time. We also prove a discrete-time version of the first-named author's ``Meeting time lemma"~ that bounds the probability of random walk hitting a deterministic trajectory in terms of hitting times of static vertices. The meeting time result is then used to bound the expected full coalescence time of multiple random walks over a graph. This last theorem is a discrete-time version of a result by the first-named author, which had been previously conjectured by Aldous and Fill. Our bounds improve on recent results by Lyons and Oveis-Gharan; Kanade et al; and (in certain regimes) Cooper et al.

연구 동기 및 목표

• 이완 시간 $ t_{\text{rel}} $ 를 바탕으로 귀환 확률 $ P^t(x,x) $ 와 최대 기대 도달 시간 $ t_{\text{hit}} $ 의 더 날카운 경계를 유도하는 것.
• 랜덤 워크가 결정적 궤적에 도달할 확률을 제한하는 '만남 시간 레미마'의 이산 시간 형태를 수립하는 것.
• 만남 시간 결과를 이용해 그래프 위에서 독립적인 다수의 랜덤 워크의 기대 전 융합 시간을 유계로 제한하는 것.
• Lyons, Oveis-Gharan, Kanade 등과 Cooper 등이 제시한 기존 경계를 특정 매개변수 영역에서 향상시키는 것.
• 이완 시간에 대한 알려진 부등식과 비교하여 예시를 제시함으로써 경계가 본질적으로 날카로운지 입증하는 것.

제안 방법

• 이완 시간 $ t_{\text{rel}} $ 와 평균 차수 대비 최소 차수 비율 $ d_{\text{avg}}/d_{\text{min}} $ 를 핵심 매개변수로 사용하여 $ t_{\text{hit}} $ 와 $ P^t(x,x) - \pi(x) $ 를 유계로 제한한다.
• 효율 저항 $ R_{\text{eff}}(x \leftrightarrow A) $ 를 통한 전기망 이론을 적용하여 도달 시간과 그래프의 구조를 연결한다.
• 융합 동역학을 제어하고 원래 과정을 지배하기 위해 허용 가능한 죽임 집합 $ \mathcal{A}_t $ 를 포함한 수정된 '죽임 과정'을 도입한다.
• 시간 스케일에 따라 분석하기 위해 $ t_j $ 를 $ 1 + t_{j-1} + \lceil \frac{2^4 \ln 5}{2^j} t_{\text{hit}} \rceil $ 로 정의하는 재귀적 에포크 구조를 활용한다.
• 이산 시간 만남 시간 레미마(정리 3)를 활용하여 $ t $ 단계 동안 움직이는 목표를 피하는 확률을 유계로 제한한다.
• Oliveira(2007)의 연속 시간 접근 방식을 이산 시간 설정으로 적응시켜, 라우지성과 음이 아닌 스펙트럼 조건 하에서 유효성을 확보한다.

실험 결과

연구 질문

• RQ1 이완 시간 $ t_{\text{rel}} $ 와 차수 비율에 대해 최대 기대 도달 시간 $ t_{\text{hit}} $ 는 어떻게 유계로 제한될 수 있는가?
• RQ2 유한 그래프 위에서의 라우지 랜덤 워크에 대해 $ P^t(x,x) - \pi(x) $ 의 최적 경계는 무엇이며, 이는 정점의 차수 $ d_x $ 에 어떻게 의존하는가?
• RQ3 결정적 궤적을 피하는 확률을 제한하는 '만남 시간 레미마'의 이산 시간 형태를 수립할 수 있는가?
• RQ4 그래프 위에서 $ n $ 개의 독립적인 라우지 랜덤 워크의 기대 전 융합 시간은 무엇이며, 이는 $ t_{\text{hit}} $ 와 어떻게 척도화되는가?
• RQ5 Lyons, Oveis-Gharan, Kanade 등과 Cooper 등이 제시한 기존 결과와 비교해, $ t_{\text{rel}} $, $ d_{\text{avg}}/d_{\text{min}} $, $ t_{\text{mix}} $ 에 대한 의존성 측면에서 신규 경계는 어떻게 다른가?

주요 결과

• 최대 기대 도달 시간에 대해 $ t_{\text{hit}} \leq \frac{20\,d_{\text{avg}}}{d_{\text{min}}}\,n\sqrt{t_{\text{rel}} + 1} $ 이 성립하며, 이는 $ t_{\text{rel}} $ 와 차수 비율 의존성 측면에서 이전 경계를 향상시킨다.
• 귀환 확률에 대해 $ P^t(x,x) - \pi(x) \leq \frac{10\,d_x}{d_{\text{min}}}\left(\frac{1}{\sqrt{t+1}} \land \frac{\sqrt{t_{\text{rel}} + 1}}{t+1}\right) $ 이며, 상수를 개선하고 $ d_{\text{max}} $ 를 $ d_x $ 로 대체한다.
• 이산 시간 만남 시간 레미마가 성립한다: $ \mathbb{P}_\pi(\forall s \leq t: X_s \neq h_s) \leq \left(1 - \frac{1}{t_{\text{hit}}}\right)^t $, 이는 일반 그래프 위의 라우지 워크에 대해 유효하다.
• $ n $ 개의 랜덤 워크의 기대 전 융합 시간은 보편 상수 $ K $ 에 대해 $ K \cdot t_{\text{hit}} $ 이하로 유계로 제한되며, Aldous와 Fill의 추측을 확인한다.
• 이론적 경계가 $ t_{\text{rel}} $ 와 $ d_{\text{avg}}/d_{\text{min}} $ 에 대해 점점 더 날카로운 점도를 가지는 예시를 제시함으로써 경계가 본질적으로 날카로운 것으로 입증된다.
• 최근 Lyons와 Oveis-Gharan, Kanade 등과 (특정 영역에서) Cooper 등이 제시한 결과보다 향상되며, 특히 $ 1 \ll t/t_{\text{rel}} \ll \log t_{\text{rel}} $ 인 영역에서 두드러진다.