[논문 리뷰] A permuted random walk exits faster

Richard Pymar, Perla Sousi|arXiv (Cornell University)|2013. 04. 24.

Stochastic processes and statistical mechanics참고 문헌 6인용 수 4

한 줄 요약

이 논문은 선형 상태공간 {0, ..., n} 위에서의 순열화된 랜덤 워크를 연구한다. 여기서 전이 확률은 상태들의 순열 σ에 의해 결정된다. 본문은 0에서 시작할 때 상태 n에 도달하는 기대 도달 시간을 최대화하는 순열이 항등순열임을 증명하며, 이 경우 최대 기대 시간은 n² + n임을 보인다. 이 결과는 모든 정점의 진입차수와 출발차수가 동일한 d-정규 강한연결된 방향그래프로 일반화되며, 자기순환을 포함한 선형 그래프 L(d,n)가 이러한 그래프들 중에서 도달 시간을 최대화함을 보여준다.

ABSTRACT

Let $σ$ be a permutation of $\{0,\ldots,n\}$. We consider the Markov chain $X$ which jumps from $k eq 0,n$ to $σ(k+1)$ or $σ(k-1)$, equally likely. When $X$ is at 0 it jumps to either $σ(0)$ or $σ(1)$ equally likely, and when $X$ is at $n$ it jumps to either $σ(n)$ or $σ(n-1)$, equally likely. We show that the identity permutation maximizes the expected hitting time of n, when the walk starts at 0. More generally, we prove that the hitting time of a random walk on a strongly connected $d$-directed graph is maximized when the graph is the line $[0,n]\cap\Z$ with $d-2$ self-loops at every vertex and $d-1$ self-loops at 0 and $n$.

연구 동기 및 목표

• 순열 σ가 {0,…,n}의 원소일 때, σ에 의해 정의된 마르코프 체인에서 상태 n에 도달하는 기대 도달 시간을 최대화하는 순열을 규명하는 것.
• 항등순열이 0에서 n으로의 탈출 시간(즉, 최장 기대 도달 시간)을 최대화함을 입증하는 것.
• 모든 정점의 진입차수와 출발차수가 동일한 d ≥ 2인 강한연결된 방향그래프에 대해 결과를 일반화하는 것.
• 선형 그래프 L(d,n)이 자기순환을 포함하여 0과 n에는 d−1개, 나머지 정점에는 d−2개의 자기순환을 갖는 경우, 이러한 d-정규 방향그래프 전반에서 도달 시간을 최대화함을 보여주는 것.

제안 방법

• 순열화된 랜덤 워크를 방향그래프 위의 마르코프 체인으로 모델링하며, 정점 k에서의 전이 확률은 σ(k±1)에 의존하고, 0과 n에서는 경계 조건을 적용한다.
• 과정을 모든 정점의 진입차수와 출발차수가 d = 2인 강한연결된 방향그래프 위의 단순 랜덤 워크로 표현한다.
• d-정규 방향그래프에 대한 일반 정리(정리 1.4)를 적용하여 기대 도달 시간을 유계화한다.
• 유사간선 확장, 정적분포 분석, 오일러성질 등의 그래프 이론적 도구를 사용하여 복귀시간과 도달시간을 유계화한다.
• 정리 1.4의 유계가 L(d,n)에서만 달성되며, 이는 d=2인 경우 항등순열에 해당함을 증명한다.
• 하향귀납법과 부분그래프의 구조적 분석을 통해 L(d,n)의 구조에서 벗어나면 기대 도달 시간이 반드시 감소함을 보인다.

실험 결과

연구 질문

• RQ1 순열화된 랜덤 워크에서 0에서 시작할 때, 어떤 순열 σ가 {0,…,n}의 상태 n에 도달하는 기대 도달 시간을 최대화하는가?
• RQ2 이 모델에서 항등순열이 기대 도달 시간을 유일하게 최대화하는가?
• RQ3 일반적인 d-정규 강한연결된 방향그래프에서, 두 정점 사이의 기대 도달 시간을 최대화하는 그래프의 구조는 무엇인가?
• RQ4 적절한 자기순환을 갖는 선형 그래프 L(d,n)이 이러한 그래프 전반에서 최대 기대 도달 시간을 달성하는가?
• RQ5 목표 집합이 단일한 끝점 대신 {−n, n}일 경우 기대 도달 시간은 어떻게 변화하는가?

주요 결과

• 모든 순열 σ에 대해 기대 도달 시간 E₀[τₙ]는 n² + n 이하로 유계화된다.
• E₀[τₙ] = n² + n 이 성립하는 것은 σ가 항등순열일 때에만 성립한다.
• 일반적인 d-정규 강한연결된 방향그래프에서, 임의의 두 정점 사이의 최대 기대 도달 시간은 (d/2)n(n+1) 이하로 유계화된다.
• 이 상한은 오직 그래프가 L(d,n)과 동형일 때에만 달성되며, 이는 0과 n에는 d−1개의 자기순환, 나머지 정점에는 d−2개의 자기순환을 포함한다.
• 순열화된 랜덤 워크는 2-정규 방향그래프 위의 단순 랜덤 워크로 포함될 수 있으며, 이에 따라 정리 1.4를 적용할 수 있다.
• 대칭적인 경우 목표 집합이 {−n, n}일 때 항등순열이 유일한 최대화자일 수는 없으며, σ(x) = −x와 같은 다른 순열도 높은 도달 시간을 달성한다.