[논문 리뷰] Ergodicity for the $GI/G/1$-type Markov Chain

Yong-Hua Mao, Yongming Tai외 2명|arXiv (Cornell University)|2012. 08. 26.

Markov Chains and Monte Carlo Methods참고 문헌 23인용 수 6

한 줄 요약

이 논문은 시스템 파라미터와 행렬 분석을 사용하여 $GI/G/1$-형 마코프 체인에서 기하적, 강한, 다항형 에르고딕성에 대한 필수 및 필요조건을 수립한다. 에르고딕성과 정상분포의 尾행렬 점 渐진을 연결하여, 정상분포의 감쇠 속도와 에르고딕성의 수렴 속도 사이의 등가성을 보여주며, 이는 대기 이론과 확률과정 분야에서 알려진 결과를 상호로 응용할 수 있게 한다.

ABSTRACT

Ergodicity is a fundamental issue for a stochastic process. In this paper, we refine results on ergodicity for a general type of Markov chain to a specific type or the $GI/G/1$-type Markov chain, which has many interesting and important applications in various areas. It is of interest to obtain conditions in terms of system parameters or the given information about the process, under which the chain has various ergodic properties. Specifically, we provide necessary and sufficient conditions for geometric, strong and polynomial ergodicity, respectively.

연구 동기 및 목표

• 기하적, 강한, 다항형 에르고딕성에 대한 $GI/G/1$-형 마코프 체인에서의 필수 및 필요조건을 유도하기.
• 에르고딕성과 정상분포의 尾행렬 점 渐진을 연결하여 등가 조건을 규명하기.
• 일반 마코프 체인에 대한 기존 결과를 블록 구조 전이 행렬을 갖는 특수한 $GI/G/1$-형 구조로 확장하기.
• 직접 대기 시스템과 확률 모델에 적용 가능한 파라미터 기반 기준을 제공하기.
• 기존의 尾행렬 행동 결과를 활용하여 에르고딕 수렴 속도를 추론하고, 그 반대로도 적용할 수 있도록 하기.

제안 방법

• 특히 보조정리 2.3을 활용하여 블록 구조 전이 행렬의 스펙트럼 성질을 분석함으로써 기하적 에르고딕성을 분석한다.
• 생성함수 기법과 생성함수의 $l$-번째 도함수 분석을 적용하여 첫 번째 도착 시간의 모멘트를 특성화한다.
• 인수분해 결과와 행렬 생성함수를 활용하여 $R_k$와 $R_{0,k}$의 행동을 에르고딕성 조건과 연결한다.
• 모멘트의 유한성을 위한 핵심 기준으로 $\sum_{k=1}^\infty k^l R_{0,k} \mathbf{e}^t < \infty$ 및 $\sum_{k=1}^\infty k^l \sum_{n=0}^\infty R_k^{n*} \mathbf{e}^t < \infty$ 를 사용한다.
• Grassmann 및 Heyman [7]의 정리 1과 Zhao [24]의 정리 12을 적용하여 $R_{0,k} \geq B_k$ 및 $R_k \geq A_k$ 를 유도함으로써 파라미터 기반의 경계를 확보한다.
• 다항식 성장과 모멘트 조건을 연결하기 위해 $\lim_{k\to\infty} \frac{k(k-1)\cdots(k-l+1)}{k^l} = 1$ 의 극한을 활용한다.

실험 결과

연구 질문

• RQ1 시스템 파라미터로 표현된 $GI/G/1$-형 마코프 체인에서 기하적 에르고딕성에 대한 필수 및 필요조건은 무엇인가?
• RQ2 레벨 0으로의 첫 번째 도착 시간의 모멘트는 정상분포의 尾행렬 점 渐진과 어떻게 관련이 있는가?
• RQ3 다항형 에르고딕성을 보장하는 조건은 무엇이며, 정상분포의 감쇠 속도와 어떻게 관련되는가?
• RQ4 기하적 에르고딕성과 尾행렬 점 渐진 사이의 등가성은 $GI/G/1$-형 체인에 대해 공식적으로 증명될 수 있는가?
• RQ5 생성함수 및 행렬 인수분해 기법을 어떻게 활용하여 에르고딕성의 모멘트 조건을 도출할 수 있는가?

주요 결과

• 정리 3.1은 $\sum_{k=0}^\infty k A_k \mathbf{e}^t < \infty$ 의 수렴성을 바탕으로 기하적 에르고딕성에 대한 필수 및 필요조건을 제공한다.
• 정리 4.1은 기하적 에르고딕성이 정상분포 꼬리의 기하 감쇠와 등가임을 규명한다.
• 정리 5.2는 $\sum_{k=0}^\infty k A_k \mathbf{e}^t < \infty$ 를 조건으로 하여, 모든 $j$에 대해 $\mathbb{E}_{(0,j)}[\tau_0^l] < \infty$ 이다 ↔ $\sum_i i^l \pi_{ij} < \infty$ 이다 라는 등가를 보여준다.
• 정리 5.3은 $l \geq 2$ 일 때 다항형 에르고딕성이 $\sum_i i^l \pi_{ij} < \infty$ 와 등가임을 증명하며, 첫 번째 도착 시간의 모멘트 유한성과 꼬리 감쇠를 연결한다.
• 이 논문은 $\sum_{k=1}^\infty k^l B_k \mathbf{e}^t < \infty$ 와 $\sum_{k=1}^\infty k^l A_k \mathbf{e}^t < \infty$ 라는 동일한 조건이 다항형 에르고딕성과 다항형 꼬리 감쇠를 모두 보장함을 보여준다.
• 에르고딕성과 尾행렬 점 渐진 사이의 등가성 덕분에, 방법을 상호로 활용할 수 있다: 기존의 꼬리 행동 결과로부터 에르고딕성을 추론할 수 있고, 그 반대로도 가능하다.