[논문 리뷰] $L^{2}$-spectral gaps, weak-reversible and very weak-reversible Markov chains

Achim Wuebker, Zakhar Kabluchko|ArXiv.org|2009. 08. 06.

Markov Chains and Monte Carlo Methods참고 문헌 16인용 수 3

한 줄 요약

이 논문은 가역성을 가정하지 않고도 일반 상태공간 마르코프 체인에서 $L^2$-스펙트럼 간극의 존재에 대한 필요하고도 충분한 조건을 확립한다. 약간의 가역성과 매우 약한 가역성 조건을 도입하고 $P^2$, $P^*P$, $PP^*$와 관련된 등고선 상수를 분석함으로써, 기존의 가역성에 국한된 스펙트럼 간극 기준을 일반화하며, $L^2$-노름 추정과 스펙트럼 이론을 활용하여 비가역 체인에 적용 가능한 프레임워크를 제공한다.

ABSTRACT

The theory of $L^2$-spectral gaps for reversible Markov chains has been studied by many authors. In this paper we consider positive recurrent general state space Markov chains with stationary transition probabilities. Replacing the assumption of reversibility by a less strong one, we still obtain a simple necessary and sufficient condition for the spectral gap property of the associated Markov operator in terms of isoperimetric constant. Moreover, we define a new sequence of isoperimetric constants which provides a necessary and sufficient condition for the existence of a spectral gap in a very general setting. Finally, these results are used to obtain simple sufficient conditions for the existence of a spectral gap in terms of the first and second order transition probabilities.

연구 동기 및 목표

• 기존 연구에서 다룬 바와 같이 가역 마르코프 체인에 국한된 $L^2$-스펙트럼 간극 이론을 비가역 체인으로까지 확장하기 위해.
• 디리클레 형식 기법의 실패와 일반화의 부재로 인해 비가역 체인에 대한 일반 조건이 부족한 문제를 해결하기 위해.
• 스펙트럼 간극 특성화를 여전히 가능하게 하는 더 약한 구조적 조건—약한 가역성과 매우 약한 가역성—을 정의하기 위해.
• 일반적인 설정에서 새로운 등고선 상수의 수열을 사용하여 스펙트럼 간극에 대한 필요하고도 충분한 조건을 제공하기 위해.
• 실제 검증이 가능한 첫 번째 및 두 번째 순서 전이 확률 기반의 충분한 조건을 유도하기 위해.

제안 방법

• 가장자리 측도 $Q^{(n)}$와 $\tilde{Q}^{(n)}$의 라돈니코디미어 미분을 통해 약한 가역성과 매우 약한 가역성 마르코프 체인을 정의하고, 가역성의 일반화를 수행한다.
• 전이 확률에 따른 집합 간의 특성을 기술하기 위해 등고선 상수 $k_n(A)$와 $k_{P^{*n}P^n}(A)$를 정의한다.
• 수반 연산자 $P^*$를 사용하여 $P^{*n}P^n$을 정의하고, 이의 스펙트럼 간극이 원래 체인의 행동과 어떻게 관련되는지 분석한다.
• 이중형식 $\langle f, (Id - P^*P)f \rangle_\pi$의 표현을 측도 $\mu$를 통해 기술함으로써 스펙트럼 분석을 가능하게 한다.
• $P^2$, $P^*P$, $PP^*$의 등고선 상수를 비교하여 스펙트럼 간극에 대한 추정치를 도출한다.
• 스펙트럼 매핑 정리와 노름 추정을 적용하여 $\|Id - P\|_{L^2} \geq \sqrt{\kappa/8} \cdot k_{P+P^* - P^*P}$를 증명함으로써, 스펙트럼 간극과 등고선성의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 가역성을 가정하지 않고도 비가역 마르코프 체인에 대해 $L^2$-스펙트럼 간극에 대한 필요하고도 충분한 조건을 확립할 수 있는가?
• RQ2 약한 가역성과 매우 약한 가역성 조건은 스펙트럼 간극 이론에서 고전적 가역성 가정을 어떻게 일반화하는가?
• RQ3 일반 마르코프 체인에서 스펙트럼 간극을 특성화하는 데 있어 등고선 상수 $k_n$과 $k_{P^{*n}P^n}$의 역할은 무엇인가?
• RQ4 $P^2$, $P^*P$, $PP^*$의 등고선 상수를 사용하여 $P$의 스펙트럼 간극을 추정할 수 있는가?
• RQ5 첫 번째 및 두 번째 순서 전이 확률에 대한 어떤 충분한 조건이 스펙트럼 간극의 존재를 보장하는가?

주요 결과

• 스펙트럼 간극에 대한 필요하고도 충분한 조건이 등고선 상수 $k_{P^*P}$를 사용하여 확립되었으며, 이는 가역 체인의 결과를 일반화한다.
• 스펙트럼 간극이 존재하는 것은 $k_{P^*P} > 0$와 동치이며, 이는 $\operatorname{esssup}_y \left\| \frac{dQ^{(n)}}{d\tilde{Q}^{(n)}}(\cdot,y) \right\|_{L^q(p(y,\cdot))} < \infty$ 를 만족하는 어떤 $q \in (1,\infty]$ 에 대해 매우 약한 가역성 조건이 성립할 때 성립한다.
• 매우 약한 가역성 체인의 경우, 스펙트럼 간극은 $k_{P^*P}$의 양성으로 특성화되며, 이는 표준 등고선 상수 $k$의 제곱 $k^2$로 아래에서 유계이다.
• 논문은 $k_{P+P^* - P^*P} \geq k^2$ 를 증명하여, 대칭화된 연산자의 스펙트럼 간극이 원래 체인의 등고선성과 연결됨을 보여준다.
• 첫 번째 및 두 번째 순서 전이 커널에 기반한 스펙트럼 간극에 대한 충분한 조건이 도출되었으며, 이는 전체 가역성 없이도 실용적인 검증이 가능하게 한다.
• 하그스트롬의 예시는 기하학적 정규성조차도 스펙트럼 간극을 보장하지 못함을 보여주며, $p^{*n}p^n((3n,2n),(3n,2n)) = 1$ 이 모든 $n$ 에 대해 성립할 경우 $P$는 스펙트럼 간극을 갖지 않음을 확인함으로써 조건의 필수성을 입증한다.