[논문 리뷰] On Asymptotic Exponentiality of the Distribution of First Exit Times for a Class of Markov Processes

Moshe Pollak, Alexander G. Tartakovsky|arXiv (Cornell University)|2006. 09. 28.

Simulation Techniques and Applications인용 수 1

한 줄 요약

이 논문은 재생 구조를 통한 임bedding 없이 모멘트 생성 함수 수렴을 이용하여, 비음성 허리스 재귀 마코프 과정이 [0, A]에서의 첫 번째 퇴출 시간의 渐近적 지수성을 확립한다. A → ∞ 일 때, 표준화 상수는 준정적분포와 연결되며, 이 결과는 변화점 탐지에서의 연속 길이 분포에 응용된다.

ABSTRACT

We consider the first exit time of a nonnegative Harris-recurrent Markov process from the interval $[0,A]$ as $A o\infty$. We provide an alternative method of proof of asymptotic exponentiality of the first exit time (suitably standardized) that does not rely on embedding in a regeneration process. We show that under certain conditions the moment generating function of a suitably standardized version of the first exit time converges to that of $\Exp(1)$, and we connect between the standardizing constant and the quasi-stationary distribution (assuming it exists). The results are applied to the evaluation of a distribution of run length to false alarm in change-point detection problems.

연구 동기 및 목표

• 비음성 허리스 재귀 마코프 과정에 대해 A → ∞ 일 때 [0, A]에서의 첫 번째 퇴출 시간의 渐近적 지수성을 확립한다.
• 재생 과정에 의존하지 않는 증명 방법을 제공하여 임베딩 가정을 피한다.
• 준정적분포가 존재할 경우 퇴출 시간 분포의 표준화 상수를 준정적분포와 연결한다.
• 이론적 결과를 순차적 변화점 탐지 문제에서의 연속 길이 분포(거짓 경고까지의 시간)에 응용한다.

제안 방법

• 적절히 표준화된 첫 번째 퇴출 시간의 모멘트 생성 함수(MGF)가 Exp(1) 분포의 MGF로 수렴하는 것을 사용한다.
• 재생 구조에 의존하지 않고, 지수 MGF로의 수렴을 보장하는 조건 하에서 퇴출 시간의 MGF를 분석한다.
• 허리스 재귀성의 성질과 준정적분포의 존재를 이용하여 표준화 상수를 특성화한다.
• 라플라스 변환과 모멘트 생성 함수 행동을 분석하여 퇴출 시간 분포의 점근적 행동을 도출한다.
• 이론적 프레임워크를 순차적 변화점 탐지에서의 연속 길이 분포에 적용하며, 이 경우 퇴출 시간은 거짓 경고 시간에 해당한다.
• 표준화 상수가 준정적분포의 평균과 점근적으로 관련되어 있음을 입증한다.

실험 결과

연구 질문

• RQ1 비음성 허리스 재귀 마코프 과정이 [0, A]에서의 첫 번째 퇴출 시간이 적절히 표준화되었을 때, A → ∞ 일 때 어떤 조건에서 지수 랜덤 변수로의 분포 수렴가능한가?
• RQ2 재생 구조에 과정을 임베딩하지 않고도 퇴출 시간의 점근적 지수성을 확립할 수 있는가?
• RQ3 퇴출 시간의 표준화 상수는 과정의 준정적분포와 어떻게 관련되어 있는가?
• RQ4 표준화된 퇴출 시간의 모멘트 생성 함수와 Exp(1) 분포 사이의 연결 고리는 무엇인가?
• RQ5 퇴출 시간의 점근적 분포는 변화점 탐지 문제에서 거짓 경고까지의 연속 길이 분포를 어떻게 모델링하는 데 응용할 수 있는가?

주요 결과

• 제시된 조건 하에서 적절히 표준화된 첫 번째 퇴출 시간의 모멘트 생성 함수는 Exp(1) 분포의 MGF로 수렴한다.
• 준정적분포가 존재할 경우 퇴출 시간의 표준화 상수는 점근적으로 준정적분포의 평균과 연결된다.
• 점근적 지수성의 증명은 과정을 재생 구조에 임베딩할 필요가 없으며, 새로운 분석적 접근법을 제공한다.
• 결과는 변화점 탐지에서 거짓 경고까지의 연속 길이 분포를 지수 분포를 사용하여 근사화하는 이론적 기초를 제공한다.
• MGF 수렴은 분포 수렴을 의미하며, 이는 퇴출 시간의 점근적 지수성을 입증한다.
• 이 프레임워크는 준정적분포가 잘 정의된 마코프 과정의 넓은 클래스에 적용 가능하다.