[논문 리뷰] Steady-state GI/GI/n Queue in the Halfin-Whitt Regime

David Gamarnik, David A. Goldberg|arXiv (Cornell University)|2011. 03. 09.

Advanced Queuing Theory Analysis인용 수 8

한 줄 요약

이 논문은 약한 조건 하에서 하프린-위트(_HALFIN-WHITT ) 영역에서 FCFS GI/GI/n 대기열의 정규화된 정상 상태 대기열 길이 분포의 강도를 확립한다. 또한, 한계 정상 상태 대기열 길이의 대규모 탈리의 지수에 대해 상한과 하한을 유도하며, 하한은 포아송 도착 과정에 대해 특별히 증명되었으며, 이는 약한 수렴이 가우시안 과정으로 수렴하는 새로운 구조적 상한을 사용한다.

ABSTRACT

We consider the FCFS $GI/GI/n$ queue in the so-called Halfin-Whitt heavy traffic regime. We prove that under minor technical conditions the associated sequence of steady-state queue length distributions, normalized by $n^(1/2)$, is tight. We derive an upper bound on the large deviation exponent of the limiting steady-state queue length matching that conjectured by Gamarnik and Momcilovic in \cite{GM.08}. We also prove a matching lower bound when the arrival process is Poisson. Our main proof technique is the derivation of new and simple bounds for the FCFS $GI/GI/n$ queue. Our bounds are of a structural nature, hold for all $n$ and all times $t \geq 0$, and have intuitive closed-form representations as the suprema of certain natural processes which converge weakly to Gaussian processes. We further illustrate the utility of this methodology by deriving the first non-trivial bounds for the diffusion process studied in \cite{R.09}.

연구 동기 및 목표

• 하프린-위트 과도한 교통 영역 하에서 GI/GI/n 대기열의 정규화된 정상 상태 대기열 길이 분포의 강도를 확립하기.
• 한계 정상 상태 대기열 길이의 대규모 탈리 지수에 대한 상한을 유도하여 감마르닉과 모모치로비치의 추측을 일치시키기.
• 도착 과정이 포아송일 경우 대규모 탈리 지수에 대한 일치하는 하한을 증명하기.
• 모든 n과 모든 t ≥ 0에 대해 유효한 FCFS GI/GI/n 대기열을 위한 새로운 구조적 상한을 개발하기.
• 이 상한의 유용성을 입증하기 위해 라만난(2009)에서 다룬 확산 과정에 대한 비자명한 경계를 도출하기.

제안 방법

• 모든 n과 모든 t ≥ 0에 대해 유효하며, 구조적으로 타당한 새로운 단순한 상한을 FCFS GI/GI/n 대기열에 대해 유도한다.
• 이 상한을 약한 수렴이 가우시안 과정으로 수렴하는 자연스러운 과정의 상한으로 표현한다.
• 이러한 과정의 약한 수렴을 이용해 대기열 길이 분포의 渐近적 행동을 분석한다.
• 이 상한을 사용해 정규화된 정상 상태 대기열 길이 수열의 강도를 확립한다.
• 대규모 탈리 기법을 적용해 한계 대기열 길이 尾의 지수에 대한 상한과 하한을 도출한다.
• 이 방법론을 확장하여 라만난(2009)에서 다룬 확산 과정에 대한 비자명한 경계를 도출한다.

실험 결과

연구 질문

• RQ1 약한 기술적 조건 하에서 하프린-위트 영역에서 정규화된 정상 상태 대기열 길이 분포 수열은 강도를 갖는가?
• RQ2 감마르닉과 모모치로비치의 추측을 일치시키는 한계 정상 상태 대기열 길이의 대규모 탈리 지수에 대한 상한을 도출할 수 있는가?
• RQ3 도착 과정이 포아송일 경우 대규모 탈리 지수에 대한 일치하는 하한이 존재하는가?
• RQ4 모든 n과 t ≥ 0에 대해 유효하고, 약한 수렴이 가우시안 과정으로 수렴하는 GI/GI/n 대기열을 위한 구조적 상한을 개발할 수 있는가?
• RQ5 제안된 상한 방법론을 확장하여 라만난(2009)에서 다룬 확산 과정에 대한 비자명한 경계를 도출할 수 있는가?

주요 결과

• 하프린-위트 영역에서 약한 기술적 조건 하에서 정규화된 정상 상태 대기열 길이 분포 수열은 n^(1/2)로 정규화된 후 강도를 갖는다.
• 감마르닉과 모모치로비치의 추측을 일치시키는 한계 정상 상태 대기열 길이의 대규모 탈리 지수에 대한 상한이 도출되었다.
• 도착 과정이 포아송일 경우 대규모 탈리 지수에 대한 일치하는 하한이 확립되었다.
• 제안된 상한은 모든 n과 모든 t ≥ 0에 대해 유효하며, 약한 수렴이 가우시안 과정으로 수렴하는 과정의 상한으로 표현된다.
• 이 방법론을 통해 라만난(2009)에서 다룬 확산 과정에 대한 최초의 비자명한 경계가 도출되었다.
• 상한은 직관적이고 닫힌 형태를 가지며, 과도한 교통 상황에서 FCFS GI/GI/n 대기열을 분석하는 데 새로운 분석 프레임워크를 제공한다.