[논문 리뷰] General criteria for the study of quasi-stationarity

Nicolas Champagnat, Denis Villemonais|arXiv (Cornell University)|2017. 12. 21.

Stochastic processes and financial applications인용 수 18

한 줄 요약

이 논문은 가중 총변량 노름을 사용하여 흡수를 가진 마르코프 과정에서 준정적분포(QSD)의 존재성과 지수 수렴성에 대한 일반적인 리아푸노프 유형 기준을 수립한다. 고유벡터의 존재성을 증명하고, 적분 조건을 통해 영향을 받는 영역을 특성화하며, $Q$-과정의 지수 에르고딕성을 확립한다. 응용은 확산, 점프 과정, 기저가 없는 체인, 그리고 왜곡된 동역학계를 포함한다.

ABSTRACT

For Markov processes with absorption, we provide general criteria ensuring the existence and the exponential non-uniform convergence in total variation norm to a quasi-stationary distribution. We also characterize a subset of its domain of attraction by an integrability condition, prove the existence of a right eigenvector for the semigroup of the process and the existence and exponential ergodicity of the Q-process. These results are applied to one-dimensional and multi-dimensional diffusion processes, to pure jump continuous time processes, to reducible processes with several communication classes, to perturbed dynamical systems and discrete time processes evolving in discrete state spaces.

연구 동기 및 목표

• 흡수를 가진 마르코프 과정에서 준정적분포(QSD)의 존재성을 위한 일반적이고 검증 가능한 기준을 개발하는 것.
• 적분 조건을 만족하는 초기 측도에 대해, QSD로의 가중 총변량 노름에서의 지수 비균일 수렴성을 확립하는 것.
• 리아푸노프 함수의 적분 조건을 통해 QSD의 영향을 받는 영역을 특성화하는 것.
• 반세마그룹에 대한 우측 고유벡터의 존재성과 $Q$-과정의 지수 에르고딕성을 증명하는 것.
• QSD 이론의 적용 범위를 비균일 타원형 확산, 기저가 없는 체인, 그리고 왜곡된 동역학계를 포함한 복잡한 과정으로 확장하는 것.

제안 방법

• 저자들은 과정의 흡수 이전 행동을 제어하기 위해 조건 (E1)-(E3)을 만족하는 쌍의 리아푸노프 함수 $\varphi_1 \geq 1$ 와 $\varphi_2 \leq 1$ 를 도입한다.
• 커플링 방법과 모멘트 추정을 통해 가중 총변량 노름 $\|\cdot\|_{TV(\varphi_1)}$ 에서 수렴을 확립하며, 수렴 속도는 $\alpha^t$ ($\alpha \in (0,1)$) 이다.
• QSD의 존재성은 양의 고유함수 $\eta$ 가 $P_t \eta = e^{-\lambda_0 t} \eta$ 를 만족함을 통해 유도되며, 여기서 $\lambda_0$ 는 감쇠 파rameter 이다.
• $Q$-과정은 비흡수 조건부 원래 과정의 두브 $h$-변환으로 구성되며, 동일한 리아푸노프 프레임워크를 사용하여 지수 에르고딕성이 증명된다.
• 해당 방법은 히어너크 부등식을 통한 확산, 커플링과 모멘트 경계를 통한 점프 과정, 그리고 왜곡 분석을 통한 동역학계에 대해 리아푸노프 조건을 검증함으로써 다양한 과정에 적용된다.
• 증명은 전이 핵심의 새로운 분해와 딘킨 공식 및 비교 방법을 통한 퇴출 시간 추정을 기반으로 한다.

Figure 1: Transition graph displaying the relation between the sets $D_{1}$ , $D_{2}$ , $D_{3}$ and $\partial$ .

실험 결과

연구 질문

• RQ1 흡수를 가진 마르코프 과정이 준정적분포를 갖는 일반적 조건은 무엇인가?
• RQ2 임의의 초기 분포에 대해 가중 총변량 노름에서 QSD로의 지수 수렴성을 보장하는 기준은 무엇인가?
• RQ3 리아푸노프 함수의 적분 조건을 통해 QSD의 영향을 받는 영역을 어떻게 특성화할 수 있는가?
• RQ4 Q-과정의 존재성과 지수 에르고딕성을 보장하는 조건은 무엇인가?
• RQ5 이론은 불규칙한 상태 공간, 다수의 소통 클래스, 또는 유계가 아닌 왜곡을 가진 과정에 적용 가능한가?

주요 결과

• 리아푸노프 조건 (E1)-(E3) 하에, $\nu(\varphi_1) < \infty$ 이고 $\nu(\varphi_2) > 0$ 인 측도들 사이에서 준정적분포 $\nu_{QSD}$ 가 존재하고 유일하다.
• 가중 총변량 노름에서 지수 수렴이 성립한다: $\|\mathbb{P}_\mu(X_t \in \cdot \mid t < \tau_\partial) - \nu_{QSD}\|_{TV(\varphi_1)} \leq C \alpha^t \frac{\mu(\varphi_1)}{\mu(\varphi_2)}$ ($\alpha \in (0,1)$).
• 감쇠 파rameter $\lambda_0$ 는 구 $B$ 에서의 $-\log \mathbb{P}_x(t < \tau_\partial)^{1/t}$ 의 하한으로 특성화되며, 이 하한은 최소값으로 달성된다.
• 반세마그룹에 대한 우측 고유벡터 $\eta$ 는 $P_t \eta = e^{-\lambda_0 t} \eta$ 를 만족하며, $\eta$ 는 $\mathcal{C}^2$ 이고 도메인 내부에서 $\mathcal{L}\eta = -\lambda_0 \eta$ 를 만족한다.
• $Q$-과정은 지수 에르고딕이며, 수렴 속도는 $\alpha^t$ 이고, 그 불변 측도는 $\eta$ 와 비례한다.
• 이 이론은 비균일 타원형 확산(예: 경쟁을 고려한 펠러 확산), 가 countably 무한한 소통 클래스를 가진 기저가 없는 과정, 그리고 무한하거나 특이한 왜곡을 가진 왜곡된 동역학계에 적용 가능하다.