[논문 리뷰] Yaglom limits can depend on the starting state

Robert D. Foley, David McDonald|arXiv (Cornell University)|2017. 09. 22.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 3

한 줄 요약

이 논문은 가산 상태 공간 위에서 정의된 단순하고 불가약하며 비정기적이고 엄밀히 부분스토크래틱인 마르코프 체인을 구성하여, 비흡수 조건부 분포의 극한인 『야글롬 극한』이 시작 상태에 따라 명시적으로 달라지는 것을 보인다. 주요 기여는 이러한 상태에 의존하는 야글롬 극한이 존재하고, 비자명한 $ R^{-1} $-마르틴 경계와 연결되어 있음을 증명한 것이다. 이는 야글롬 극한이 초기 상태에 관계없이 유일해야 하는지에 대한 열린 문제를 해결한다.

ABSTRACT

We construct a simple example, surely known to Harry Kesten, of an R-transient Markov chain on a countable state space S with cemetery state delta. The transition matrix K on S is irreducible and strictly substochastic. We determine the Yaglom limit, that is, the limiting conditional behavior given non-absorption. Each starting state x in S results in a different Yaglom limit. Each Yaglom limit is an rho-invariant quasi-stationary distribution where rho=1/R and R is the convergence parameter of $K$. Yaglom limits that depend on the starting state are related to a nontrivial rho-Martin entrance boundary.

연구 동기 및 목표

• 기저가 되는 정상분포 이론에서 열려 있는 문제를 해결하기 위해, 비정기적이고 비정기적, 엄밀히 부분스토크래틱인 마르코프 체인에서 야글롬 극한이 시작 상태에 따라 독립적이어야 하는지 여부를 밝히는 것.
• 각 시작 상태 $ x \notin \{\delta\} $ 가 고유한 야글롬 극한 $ \pi_x $ 를 유도하는 체인의 구체적 예를 구성하는 것.
• 야글롬 극한이 초기 상태에 따라 달라지는 것이 $ R^{-1} $-마르틴 경계의 구조와 어떻게 연결되어 있는지 규명하는 것, 특히 이 경계가 비자명할 경우에 해당한다.
• 야글롬 극한이 초기 상태에 따라 다를 경우에도 일반화된 강한 비율 극한 성질(GSRLP)이 성립함을 보이며, 키프텐의 SRLP 프레임워크를 초월하는 것.

제안 방법

• 가산 무한 집합 $ S $ 와 흡수 상태 $ \delta $ 를 포함하는 상태 공간 $ S \cup \{\delta\} $ 에서 마르코프 체인을 구성하며, $ S $ 위의 전이행렬 $ K $ 는 비정기적이고 비정기적이며 엄밀히 부분스토크래틱이다.
• 야글롬 극한을 $ \pi_x(y) = \lim_{n \to \infty} \mathbb{P}_x(X_n = y \mid X_n \in S) $ 로 정의하여, 시작 상태 $ x $ 에 대한 의존성을 명시적으로 허용한다.
• 특히 두드러진 $ h $-변환과 시간 반전을 통해 $ t $-불변 측도와 $ t $-조화 함수 사이의 이중성 원리를 활용하여, 불변 측도와 조화 함수의 구조를 분석한다.
• $ R^{-1} $-마르틴 경계를 특성화하고, 이 경계가 비자명할 경우에 다수의 서로 다른 야글롬 극한이 존재함을 보인다.
• 포아송-마르틴 적분 표현을 적용하여, $ R^{-1} $-불변 준정상 분포와 최소 $ R^{-1} $-불변 측도로부터 유도된 조화 함수를 연결한다.
• '허브-두 스포크' 예시를 통해 구조를 명확히 하고, 각 시작 상태가 다른 조건부 극한 분포를 유도함을 검증한다.

실험 결과

연구 질문

• RQ1 비정기적이고 비정기적, 엄밀히 부분스토크래틱인 마르코프 체인에서 야글롬 극한이 초기 상태에 따라 달라질 수 있는가?
• RQ2 상태 공간 또는 전이핵에 어떤 구조적 조건이 야글롬 극한의 상태 의존성과 관련이 있는가?
• RQ3 $ R^{-1} $-마르틴 경계의 비자명성은 다수의 야글롬 극한 존재와 어떻게 관련되어 있는가?
• RQ4 야글롬 극한이 초기 상태에 따라 다를 경우에도 일반화된 강한 비율 극한 성질(GSRLP)이 여전히 성립하는가?
• RQ5 일부 $ \rho $-불변 준정상 분포가 존재하더라도 야글롬 극한이 존재하지 않을 수 있는가?

주요 결과

• 야글롬 극한은 초기 상태에 따라 유일하지 않다: 각 시작 상태 $ x \in S $ 는 고유한 조건부 극한 분포 $ \pi_x $ 를 유도한다.
• 서로 다른 야글롬 극한의 존재는 전이행렬 $ K $ 의 수렴 매개수 $ R $ 에 대한 비자명한 $ R^{-1} $-마르틴 경계와 직접적으로 연결되어 있다.
• 각 야글롬 극한 $ \pi_x $ 는 $ R^{-1} $-불변 준정상 분포이므로 $ \pi_x K = R^{-1} \pi_x $ 를 만족한다.
• 야글롬 극한이 초기 상태에 따라 달라지는 경우에도 일반화된 강한 비율 극한 성질(GSRLP)이 성립하지만, 고전적 SRLP 는 실패할 수 있다.
• 구성된 예시는 비정기적이고 비정기적이지만 여전히 상태에 의존하는 야글롬 극한을 보이며, 이러한 극한이 항상 유일해야 한다는 직관을 뒤집는다.
• 허브-두 스포크 예시는 명시적으로 서로 다른 시작 상태가 각각 다른 $ \pi_x $ 를 유도함을 보이며, 각 $ \pi_x $ 는 $ S $ 위의 $ R^{-1} $-불변 측도이다.