[논문 리뷰] Recurrence of Markov chain traces

Itaï Benjamini, Jonathan Hermon|arXiv (Cornell University)|2017. 11. 09.

Markov Chains and Monte Carlo Methods참고 문헌 20인용 수 1

한 줄 요약

이 논문은 가산 상태 공간 위의 정상 측도를 가진 비재귀적이고 기저가 없는 마르코프 체인의 트레이스가 단순 랜덤 워크에서 거의 확실히 재귀적임을 증명한다. 핵심 결과는 Z^d (d ≥ 3)와 같은 비재귀적 그래프는 모든 간선을 양의 확률로 횡단하는 이웃 간선 비재귀적 비재귀 마르코프 체인이 존재할 수 없음을 보여주며, 이는 Gady Kozma의 구성에 의해 d = 2일 때만 가능하다는 것을 입증한다.

ABSTRACT

It is shown that transient graphs for the simple random walk do not admit a nearest neighbor transient Markov chain (not necessarily a reversible one), that crosses all edges with positive probability, while there is such chain for the square grid $\mathbb{Z}^2$. In particular, the $d$-dimensional grid $\mathbb{Z}^d$ admits such a Markov chain only when $d=2$. For $d=2$ we present a relevant example due to Gady Kozma, while the general statement for transient graphs is obtained by proving that for every transient irreducible Markov chain on a countable state space, which admits a stationary measure, its trace is a.s. recurrent for simple random walk. The case that the Markov chain is reversible is due to Gurel-Gurevich, Lyons and the first named author (2007). We exploit recent results in potential theory of non-reversible Markov chains in order to extend their result to the non-reversible setup.

연구 동기 및 목표

• 모든 간선을 양의 확률로 횡단하는 비재귀적 이웃 간선 마르코프 체인이 존재하는 그래프를 규명하는 것.
• 역행성에서 비역행성 마르코프 체인으로의 트레이스 재귀성 확장.
• d차원 격자 Z^d의 경우를 해결하여, 그러한 간선 횡단 비재귀 체인이 존재하는지 여부를 규명하는 것.
• 비재귀적 그래프(예: d ≥ 3인 Z^d)는 이러한 체인을 수용할 수 없고, Z^2만 가능함을 규명하는 것.
• 최근의 비역행성 잠재이론을 활용하여 이전의 역행성 체인 결과를 일반화하는 것.

제안 방법

• 모든 비재귀적이고 기저가 없는 마르코프 체인(정상 측도를 가짐)의 트레이스가 트레이스 그래프에서 단순 랜덤 워크(SRW)에 대해 거의 확실히 재귀적임을 증명.
• 비역행성 마르코프 체인에 대한 잠재이론 도구를 사용하여 Gurel-Gurevich, Lyons, Benjamini(2007)의 이전 결과를 확장.
• 트레이스 그래프 PATH를 체인의 방문한 정점들과 횡단된 간선들로 이루어진 랜덤 부분그래프로 정의.
• 간선 가중치를 횡단 횟수 N(e) 또는 그 기대값 E_o[N(e)]를 통해 분석.
• Rayleigh의 단조성 원리를 적용하여 비재귀적 그래프에서 간선 횡단 체인이 존재하지 않음을 배제.
• Gady Kozma가 제안한 비역행성, 비재귀적 생식-죽음 체인을 Z^2에서 구성하여, 거의 최대한 재귀적인 성질을 갖도록 한다.

실험 결과

연구 질문

• RQ1 어떤 그래프에서 모든 간선을 양의 확률로 횡단하는 비재귀적 이웃 간선 마르코프 체인이 존재하는가?
• RQ2 정상 측도를 가진 비재귀적 비역행성 마르코프 체인의 트레이스가 단순 랜덤 워크에서 재귀적일 수 있는가?
• RQ3 왜 두 차원 격자 Z^2만 이러한 비재귀적 간선 횡단 체인이 존재하는 Z^d의 유일한 경우인가?
• RQ4 마르코프 체인의 어떤 구조적 성질이 체인이 비재귀적임에도 불구하고 트레이스가 재귀적일 수 있게 하는가?
• RQ5 정상 측도 존재 조건 하에서, 트레이스 재귀성 결과의 역행성 가정을 제거할 수 있는가?

주요 결과

• 모든 비재귀적이고 기저가 없는 마르코프 체인(정상 측도를 가짐)의 트레이스는 트레이스 그래프에서 단순 랜덤 워크(SRW)에 대해 거의 확실히 재귀적이다.
• Z^d (d ≥ 3)와 같은 비재귀적 그래프에서는 모든 간선을 양의 확률로 횡단하는 그러한 비재귀 마르코프 체인이 존재하지 않는다.
• Z^2에서는 그러한 체인이 존재한다—특히 Gady Kozma가 제안한 비역행성, 비재귀적 생식-죽음 체인으로, 거의 최대한 재귀적인 성질을 갖는다.
• 간선 가중치가 횡단 횟수인 네트워크(트레이스, N)의 트레이스(PATH, N)는 단순 랜덤 워크에서 거의 확실히 재귀적이다.
• 기대 횡단 횟수로 간선 가중치를 부여한 네트워크(G(X), E_o[N])의 트레이스 역시 재귀적이다.
• 전이 확률이 0에서 일정 거리 이상 떨어져 있더라도, Z^2에서 이러한 체인을 비역행성으로 유지하지 않으면 트레이스의 재귀성 위반이 발생한다.