[논문 리뷰] On convergence rate for Erlang--Sevastyanov type models with infinitely many servers

A. Yu. Veretennikov|arXiv (Cornell University)|2014. 12. 11.

Advanced Queuing Theory Analysis참고 문헌 7인용 수 4

한 줄 요약

이 논문은 도착 및 서비스 강도가 시스템 상태에 의존하는 무한한 서버를 가진 일반화된 에를랑-세바스티아노프 모델에 대해 정상분포로의 다항 수렴 속도를 확립한다. 리아푸노프 함수와 커플링 기법을 사용하여, 일시적 분포와 정상분포 사이의 총 변동 거리가 다항적으로 감소하며, 초기 상태와 시스템 파라미터에 따라 명시적인 경계를 갖는다.

ABSTRACT

Polynomial convergence rate to stationarity is shown for extended Erlang -- Sevastyanov's model.

연구 동기 및 목표

• 무한한 서버와 상태에 의존하는 도착 및 서비스 강도를 갖는 일반화된 에를랑-세바스티아노프 모델에 대해 정상분포로의 수렴 속도를 확립한다.
• 이전 결과를 확장하여, 이전에는 고객 수에만 의존하는 강도 함수에 국한되었던 수렴 속도 결과를 연속적인 서비스 시간에 대한 완전한 상태 의존성까지 확장한다.
• 지수적 또는 강한 혼합 조건을 가정하지 않고도 다항 수렴 경계를 명시적으로 제공한다.
• 강도 함수에 대한 조건을 최소화한 상황에서 수렴 속도 평가라는 열린 문제를 해결한다. 특히 밀도나 미분 가능성 요구 조건이 없을 경우에도 적용 가능하다.

제안 방법

• 과정의 성장과 안정성을 보장하기 위해 매개수 $ m, a, \theta $를 갖는 리아푸노프 함수 $ V_{m,a+\theta}(X) $ 를 구성한다.
• 해리스–카스민스키 공식을 사용하여 재생 상태 $ (1,0,0) $ 의 기대 체류 시간을 통해 정상측도 $ \mu $ 를 표현함으로써 명시적인 모멘트 경계를 가능하게 한다.
• 임의의 초기 상태에서 시작하는 과정과 정상분포에서 시작하는 과정의 두 독립 복사본 사이의 커플링을 적용하여 총 변동 거리를 경계한다.
• 리아푸노프 함수와 부등식 $ \mathbb{P}(t < \bar{\tau}_{0011}) \leq \frac{\mathbb{E}[\bar{\tau}_{0011}^{k+1}]}{t^{k+1}} $ 를 사용하여 커플링 시간 $ \bar{\tau}_{0011} $ 의 모멘트 경계를 유도함으로써 다항 감소를 이끌어낸다.
• 순수한 탄생·소멸 과정에 의한 확률적 지배를 통해 정상측도의 정규화 상수 $ c $ 를 추정함으로써 효과적인 상한을 도출한다.
• 커플링 시간의 모멘트 경계를 커플링 부등식과 결합하여 최종적으로 총 변동 거리에서의 수렴 속도를 유도한다.

실험 결과

연구 질문

• RQ1 상태에 의존하는 도착 및 서비스 강도를 갖는 무한 서버 에를랑-세바스티아노프 모델에서 정상분포로의 수렴 속도는 무엇인가?
• RQ2 서비스 시간 분포에 대한 연속성, 밀도, 지수 꼬리 조건을 가정하지 않더라도 다항 수렴 속도를 확립할 수 있는가?
• RQ3 리아푸노프 함수 방법은 유한하지 않은 서버와 일반적인 상태 의존 강도를 갖는 시스템에 어떻게 적용할 수 있는가?
• RQ4 재생 시간과 커플링은 비마르코프 또는 비지수 분포 서비스 시간 모델에서 명시적인 수렴 경계를 유도하는 데 어떤 역할을 하는가?
• RQ5 단지 모멘트 추정과 확률적 지배 추론만을 사용하여 수렴 속도에 대한 효과적인 경계를 도출할 수 있는가?

주요 결과

• 제시된 가정 하에, 일시적 분포와 정상분포 사이의 총 변동 거리는 $ O(t^{-k-1}) $ 의 속도로 다항적으로 감소한다. 여기서 $ k \geq 1 $ 이다.
• 리아푸노프 함수 $ V_{m,a+\ell/m}(X_0) $ 로 유계인 초기 상태에 대해 수렴 속도는 균일하며, 이 경계는 시스템 파라미터에 따라 달라진다.
• 정상분포 $ \mu $ 는 존재하고 유일하며, 해리스–카스민스키 공식과 모멘트 경계를 통해 존재성이 정당화된다.
• 커플링 시간 모멘트를 경계하는 데 핵심적인 역할을 하는 명시적 상한 $ C_1 $ 이 적분 $ \int V_{m,a+\ell/m}(X) \, \mu(dX) $ 에 대해 도출된다.
• 정상측도의 정규화 상수 $ c $ 는 흡수 시간의 확률적 지배를 통해 $ \frac{\bar{\lambda}_0 D}{\bar{\lambda}_0 + D} $ 의 상한으로 유계이다.
• 최종 수렴 경계는 $ \mathbb{P}_{X_0,\mu}(t < \bar{\tau}_{0011}) \leq \frac{C(V_{m,a+\ell/m}(X_0) \vee 1 + \tilde{C}_1)}{t^{k+1}} $ 로 표현되며, 이는 다항 감소를 증명한다.