[논문 리뷰] A generalized backwards scheme for solving non monotonic stochastic recursions

Pascal Moyal|arXiv (Cornell University)|2010. 09. 07.

Advanced Queuing Theory Analysis참고 문헌 17인용 수 5

한 줄 요약

이 논문은 부분적으로 순서가 붙은 폴란드 공간 위에서 비단조화(stochastic) 재귀관계에 대해, 구동 맵가 단조성이 없더라도 정적 해를 구성하기 위한 일반화된 뒤로 가는 방법을 제안한다. 확률 공간을 명시적으로 확장하고, 코herence와 시간 역전 기법을 활용하여 원래 공간에서의 해 존재성을 보장하는 충분조건을 도출한다. 이는 로인즈와 보로프코프의 결과를 일반화하며, 손실 시스템과 인내심이 없는 고객이 있는 큐 시스템과 같은 비단조화 큐잉 시스템에 적용된다.

ABSTRACT

We propose an explicit construction of a stationary solution for a stochastic recursion of the form $X\circθ=ϕ(X)$ on a partially-ordered Polish space, when the monotonicity of $ϕ$ is not assumed. Under certain conditions, we show that an extension of the original probability space exists, on which a solution is well-defined, and construct explicitly this extension. We then provide conditions for the solution to be defined as well on the original space. We finally apply these results to the stability study of two non-monotonic queueing systems.

연구 동기 및 목표

• 비단조화인 경우, 큐잉 모델에서 흔한 제약 조건인 구동 맵의 단조성 부재 시에 발생하는 안정성 문제를 다루기 위해.
• 시간 역전 기반의 구성적 접근을 통해 고전적인 로인즈와 보로프코프 프레임워크를 비단조화 설정으로 확장하기 위해.
• 원래의 확률 공간에서 정적 해가 존재할 수 있는 명시적 조건을 제공하기 위해, 특히 확장된 공간에서가 아니라 원래 공간에서의 존재성을 보장하기 위해.
• 손실 큐잉 시스템과 인내심이 없는 고객이 있는 큐와 같은 두 가지 비단조화 큐잉 시스템에 이 프레임워크를 적용하기 위해.
• 시간 역전 기반의 구성 기반으로 기존의 에르고딕 이론과 큐잉 이론의 결과를 통합하고 일반화하기 위해.

제안 방법

• 시간 역전과 코herence 추론을 기반으로 한 일반화된 뒤로 가는 방법을 제안하여 확장된 확률 공간에서 해를 구성한다.
• 정적 에르고딕 동역학계에서의 가측성 있는 이중사상(flow) θ를 시간 진동을 모델링하기 위해 사용한다.
• θ−n를 통해 미래에서 과거로 상태 경로를 추적하는 역방향 반복 기법을 정의하여 해의 구성 가능성을 높인다.
• 수렴 가능한 재귀 수열을 확보하기 위해 국소 유한 집합과 격자순서가 붙은 폴란드 공간의 개념을 도입한다.
• 가역 선택 기법을 통해 확장된 공간을 구성함으로써 스코로코드 임bedding 기법을 암묵적으로 적용한다.
• 확장된 공간에서의 해가 원래의 확률 공간으로 어떻게 사영될 수 있는지에 대한 조건을 수립한다.

실험 결과

연구 질문

• RQ1 부분적으로 순서가 붙은 폴란드 공간 위에서 비단조화 스토케스틱 재귀관계에 대해 정적 해가 존재하는 조건은 무엇인가?
• RQ2 단조성이 없을 경우, 확장된 확률 공간에서 해를 명시적으로 구성할 수 있는가?
• RQ3 확장된 공간에서의 해가 원래의 확률 공간에서도 유효하다는 것을 보장하는 조건은 무엇인가?
• RQ4 일반화된 뒤로 가는 방법은 손실 시스템과 같은 비단조화 큐잉 시스템에 어떻게 적용될 수 있는가?
• RQ5 확장된 공간에서의 정적 해 존재성이 원래 시스템에서의 유일성 또는 안정성으로 이어지는 경우는 언제인가?

주요 결과

• 재귀관계가 코herence와 가측성 조건을 만족하면, 단조성이 없더라도 확장된 확률 공간에서 정적 해가 존재한다.
• 일반화된 뒤로 가는 방법은 시간 역전과 가측 선택을 통해 명시적으로 확장된 확률 공간과 해를 구성한다.
• 손실 큐잉 시스템의 경우, P(σ < ξ) > 0 조건 하에서 기존의 안정성 결과를 복원하며, 유일한 정적 워크로드가 존재함을 확인한다.
• 독립적인 경우, i.i.d. 도착 간격, 서비스 시간, 인내심 시간을 가정할 때, P(σ < ξ) > 0 이면 c = 1 a.s. 임을 보여주며, 이는 에르고딕성과 비자명한 정적 해 존재를 의미한다.
• P(σ < ξ) = 0 이면, 불변 집합 내의 워크로드 값의 수에 유한한 상한이 존재하며, Card(H) ≤ ⌈s̲(E[D]+E[ξ])/E[ξ]⌉ 임을 증명한다.
• 이 프레임워크는 로인즈와 보로프코프의 정리들을 특수한 경우로 포함하며, 하나의 구성적 방법으로 통합한다.