[논문 리뷰] Finite / Countable State Space Stochastic Processes : Point Processes: Characterization of Associated Auto-Correlation Functions:

Garimella Rama Murthy|arXiv (Cornell University)|2012. 04. 23.

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

한 줄 요약

이 논문은 유한 및 가чёт 상태공간 확률과정의 자기상관함수를 연속시간 마코프 체인(CTMC)과 점과정과 연결시켜 특성화한다. 핵심 결과로, 행렬이 모서리 양의정부성(corner positive definite)일 것임을 필수적이고도 충분한 조건으로 규명하여, 이러한 과정에서 유효한 자기상관함수를 특성화할 수 있게 한다.

ABSTRACT

In this research paper, the relationship between finite / countable state space stochastic processes and point processes is explored. Utilizing the known relationship between Poisson processes and continuous time Markov chains, finite / countable state space random processes are related to continuous time Markov Chains. Based on the known results for binary random processes, characterization of auto-correlation function of finite state space random processes is explored. An important characterization of corner positive definite matrices is provided.

연구 동기 및 목표

• 유한/가чёт 상태공간 확률과정과 연속시간 마코프 체인(CTMC)을 연결하는 이론적 프레임워크를 수립하기 위해.
• 이진 랜덤 과정에 대한 기존 결과를 일반 유한 상태공간 과정으로 확장하기 위해.
• 상관행렬의 구조적 성질을 이용하여 이러한 과정의 자기상관함수를 특성화하기 위해.
• 행렬이 모서리 양의정부성일 것임을 필수적이고도 충분한 조건으로 규명하는 데 초점 맞추기 (핵심 기술적 기여).
• 응용 확률 및 통계 분야에서 점과정과 마코프-모odulated 과정을 모델링하고 분석하는 데 기초를 마련하기 위해.

제안 방법

• 포아송 과정과 CTMC 간의 알려진 이중성(duality)을 활용하여, 유한 상태공간 과정을 점과정으로 모델링한다.
• 이진 랜덤 과정에 대한 결과를 적용하여 자기상관함수의 특성화를 일반화한다.
• 상관함수에 대한 구조적 제약 조건으로서 '모서리 양의정부성'을 가지는 행렬의 개념을 도입하고 분석한다.
• 확률과정 이론과 행렬 해석을 활용하여 상관행렬이 유효한 조건을 유도한다.
• 점과정 및 수세기 과정 이론을 활용하여 이산 상태공간에서의 사건 발생을 모델링한다.
• 유한 상태 과정에 의해 실현 가능한 자기상관함수를 위한 필요 및 충분조건을 유도한다.

실험 결과

연구 질문

• RQ1 유한 상태 과정의 자기상관함수일 수 있는 행렬이 되기 위한 필수적이고도 충분한 조건은 무엇인가?
• RQ2 유한/가чёт 상태공간 확률과정는 어떻게 체계적으로 연속시간 마코프 체인(CTMC)과 점과정과 연결될 수 있는가?
• RQ3 이러한 과정의 자기상관함수가 만족해야 할 구조적 성질은 무엇인가?
• RQ4 어떻게 모서리 양의정부성 행렬이 이러한 과정에서 유효한 상관관계 구조를 특성화하는가?
• RQ5 이진 과정에 대한 결과는 어떻게 일반 유한 상태 과정으로 확장될 수 있는가?

주요 결과

• 유한 상태 확률과정는 그에 상응하는 상관행렬이 모서리 양의정부성일 때에만 자기상관함수를 실현 가능하다.
• 논문은 모서리 양의정부성 성질을 통해 유한 상태 과정의 자기상관함수를 완전히 특성화한다.
• 이 프레임워크는 이진 과정에 대한 기존 결과를 일반 유한 상태 과정으로 성공적으로 확장한다.
• CTMC와 점과정 간의 연결은 공식적으로 규명되었으며, 이를 통해 상관관계 구조를 도출한다.
• 이 특성화를 통해 사전에 정의된 상관관계 행동을 갖는 유효한 확률과정를 구성할 수 있다.
• 결과들은 마코프-모듈레이티드 점과정 및 관련 시스템에서의 모델링과 추론에 이론적 기초를 제공한다.