[논문 리뷰] Large Deviations for the Single Server Queue and the Reneging Paradox

Rami Atar, Amarjit Budhiraja외 2명|arXiv (Cornell University)|2019. 03. 16.

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

한 줄 요약

이 논문은 이탈을 고려한 M/M/1+M 대기열에 대해 표본 경로 대규변수 원리(LDP)를 수립하며, 이례적인 이탈 수(매우 높거나 매우 낮은 경우)의 감쇠 속도가 개별 고객의 이탈률 θ에 의존하지 않음을 증명한다. 핵심 결과는 대규변수 척도에서 '이탈 역설'(reneging paradox)의 해석을 제공하며, 최적 측도 하에서 이탈과 관련된 대규변수 비용이 사라지지만, θ가 모델의 동역학에 영향을 미친다는 점을 밝힌다.

ABSTRACT

For the M/M/1+M model at the law-of-large-numbers scale, the long run reneging count per unit time does not depend on the individual (i.e., per customer) reneging rate. This paradoxical statement has a simple proof. Less obvious is a large deviations analogue of this fact, stated as follows: The decay rate of the probability that the long run reneging count per unit time is atypically large or atypically small does not depend on the individual reneging rate. In this paper, the sample path large deviations principle for the model is proved and the rate function is computed. Next, large time asymptotics for the reneging rate are studied for the case when the arrival rate exceeds the service rate. The key ingredient is a calculus of variations analysis of the variational problem associated with atypical reneging. A characterization of the aforementioned decay rate, given explicitly in terms of the arrival and service rate parameters of the model, is provided yielding a precise mathematical description of this paradoxical behavior.

연구 동기 및 목표

• 유체 스케일 하에서 이탈이 있는 M/M/1+M 대기열에 대해 표본 경로 대규변수 원리(LDP)를 수립하기.
• 도착률이 서비스률을 초과할 때 장기적으로 이례적인 높거나 낮은 이탈 수 확률의 감쇠 속도를 분석하기.
• 대규변수 척도에서 '이탈 역설'을 해결하기 위해 감쇠 속도가 개인 이탈률 θ에 독립적임을 보여주기.
• 변분법과 오일러-라그란주 방정식을 사용하여 감쇠 속도를 도착률과 서비스률만으로 명시적으로 기술하기.
• 최적의 측도 전환 하에서 정규화된 이탈률이 법의 큰 수 값과 동일하게 유지됨을 보여주며, 이는 이탈에 대한 대규변수 비용이 0이 됨을 의미한다.

제안 방법

• 도착, 서비스 완료 및 이탈 사건을 기술하기 위해 포아송 랜덤 측도(PRM)를 사용하여 시스템을 모델링하기.
• PRM 기능의 기대값에 대한 일반적인 변분 표현을 적용하여 라플라스 원리 상한과 하한을 유도하기.
• 상태 역학 방정식에 도착, 서비스 및 이탈 강도를 포함하는 제어 과정 φ에 대해 최소화하는 방식으로 비용 함수 I_T(ξ,ζ)를 정의하기.
• 수축 원리를 적용하여 정규화된 이탈 수 과정 Y^n(t) 및 그 극한에 대한 LDP를 유도하기.
• 관련된 변분 문제에 대해 변분법을 적용하여 비용 함수 최소화자에 대한 오일러-라그란주 방정식 유도하기.
• 큐 길이 ξ(t) ≥ 1 인 궤적에 국한하여 분석을 수행하고, 감소된 유체 모델의 유체 궤적을 변환하여 최소화자 구성하기.

실험 결과

연구 질문

• RQ1 M/M/1+M 대기열에서 이례적인 이탈 수의 감쇠 속도는 대규변수 척도에서 개인 고객의 이탈률 θ에 의존하는가?
• RQ2 정규화된 큐 길이와 정규화된 이탈 수의 조합 과정에 대해 표본 경로 대규변수 원리를 엄밀히 수립할 수 있는가?
• RQ3 λ > μ 인 경우 이례적으로 높거나 낮은 이탈 수를 포함하는 희귀 사건의 감쇠 속도의 명시적 형태는 무엇인가?
• RQ4 θ가 모델의 매개변수이지만 최적 측도 하에서 이탈과 관련된 대규변수 비용이 사라지는 이유는 무엇인가?
• RQ5 변분 문제에서 최적 제어 궤적은 어떻게 행동하며, 이는 이례적인 이탈 행동의 구조를 어떻게 드러내는가?

주요 결과

• 이례적인 이탈 수의 감쇠 속도는 개인 이탈률 θ에 독립적이며, 이는 '이탈 역설'의 대규변수 척도 해석을 확인한다.
• 감쇠 속도 C(γ)는 λ와 μ만으로 명시적으로 주어지며, 일반 이탈률 γ₀ = (λ − μ)+ 에서의 큰 편차와 작은 편차에 대해 동일하다.
• 이례적인 이탈에 대한 최적의 측도 전환 하에서 정규화된 이탈률은 여전히 법의 큰 수 값과 동일하게 유지되며, 이는 이탈에 대한 대규변수 비용이 0임을 의미한다.
• 비용 함수의 최소화자( minimizer )는 큐 길이가 1 이상 유지되는 궤적과 일치하며, 최적 제어는 감소된 유체 모델의 변환을 통해 유도된다.
• 비용 함수 I_T(ξ,ζ)는 상태 궤적 (ξ,ζ)가 적절한 강도 제어를 갖는 유체 역학 방정식을 만족할 경우에만 유한하며, 그렇지 않으면 무한대이다.
• 표본 경로 공간에서 (X^n, Y^n) 쌍에 대해 대규변수 원리가 성립하며, 비용 함수 I_T는 상태 역학을 만족하는 제어 과정에 대한 최소화를 통해 정의된다.