다중서버 대기열의 중간편차와 준잠재함수 연구

초록

본 논문은 Halfin‑Whitt 급류와 유사한 중간편차 스케일링 하에서, 일반적인 도착·서비스 시간 분포를 갖는 다중서버 대기열의 정상분포에 대한 대편차 원리를 확립한다. 편차함수는 준잠재함수(quasipotential)로 표현되며, 이는 대편차 한계 과정의 영원한(아이덴티티) 분포와 연결된다. 또한 과정 전체에 대한 경로 대편차 원리와, 고차 모멘트가 필요한 재생 카운팅 과정의 모멘트 경계도 새롭게 제시한다. 증명은 지수적 조밀성(eponential tightness)과 약한 수렴, 아이덴티티 과정(idempotent process) 이론을 활용한다.

상세 분석

이 연구는 전통적인 Halfin‑Whitt 한계(√n(1‑ρₙ)→β) 를 확장하여, √n보다 느리게 성장하지만 n에 비해 무한히 커지는 스케일 bₙ(→∞, bₙ/√n→0) 에서의 중간편차(moderate deviations)를 다룬다. 주요 대상은 정상 상태에서의 고객 수 Qₙ(t) 를 n 서버 기준으로 중심화하고 bₙ√n 으로 정규화한 Xₙ(t)= (Qₙ(t)‑n)/(bₙ√n) 이다. 서비스와 도착 시간이 일반적인 분포를 가정함에도 불구하고, 기존 연구와 달리 서비스시간 분포에 대한 미세한 연속성 가정을 요구하지 않는다. 대신, 일정 차수 이상의 모멘트 존재와 몇 가지 기술적 순간조건을 가정한다.

논문은 먼저 Xₙ의 경로 대편차 원리를 구축한다. 이를 위해 초기 조건을 (xₙ,ϕₙ) 로 확장하는데, ϕₙ는 초기 서비스 중인 고객들의 잔여 서비스시간을 경험적 누적분포함수 형태로 표현한 것이다. ϕₙ는 C₀(ℝ₊)에 속하는 함수이며, 정규화·중심화 후 Skorokhod 공간 D(ℝ₊,ℝ) 에서 지수적 조밀성을 보인다. 이 과정에서 아이덴티티 과정(idempotent process) 개념을 도입해, 대편차 한계 과정이 “시간 지연을 가진” 아이덴티티 과정임을 보인다.

핵심 아이디어는 지수적 조밀성(Exponential Tightness)과 상대 콤팩트성(Relatively Compact) 사이의 동등성을 이용해, LDP를 증명하기 위해 전통적인 “상한·하한 검증” 대신 전역적인 연산자 방정식(예: 마팅게일 문제)의 한계 형태를 분석한다. 구체적으로, 정상분포 μₙ에 대해 μₙ(f)=∬f(x)P(Xₙ(t)∈dx|Xₙ(0)=y)μₙ(dy) 와 같은 불변성 관계를 이용하고, t→∞ 한계에서 이 관계가 준잠재함수 I(x)=infₜ I_{O,t}(x) 로 수렴함을 보인다. 여기서 O는 (‑β,0)이라는 고정 평형점이며, I_{O,t}는 시간 t 에서의 전이 확률의 로그 부정(−ln Π_{O,t}) 로 정의된다.

또한, 정상 상태에서의 잔여 서비스시간 경험분포가 C₀‑지수적 조밀성을 갖는다는 사실을 증명하기 위해, 재생 카운팅 과정 Aₙ(t) 의 고차 모멘트 경계를 새롭게 도출한다. 기존 문헌에서는 고정 차수 모멘트만 다루었으나, 본 논문은 차수가 무한대로 갈 때도 유한한 상수를 확보하도록, 모멘트 상한을 “시간·차수 모두에 대한 명시적 의존성” 형태로 제시한다. 이 결과는 지수적 조밀성 증명에 필수적이며, 특히 서비스시간이 일반 분포일 때도 적용 가능하도록 만든다.

마지막으로, 아이덴티티 과정 간의 coupling 을 구성한다. Xₙ이 (x,ϕ) 에서 시작될 때와 (‑β,0) 에서 시작될 때의 한계 과정을 충분히 오래 겹치게 함으로써, 두 과정이 동일한 장기 분포 Π(x,ϕ)=Π(‑β,0) 를 공유함을 보인다. 이때 ϕ가 시간이 지남에 따라 사라지는(C₀‑vanishing) 특성이 핵심적인 역할을 한다. 결과적으로, 정상 상태 Xₙ의 LDP는 준잠재함수 I(x)=infₜ I_{‑β,0,t}(x) 로 완전히 기술된다.

전체적으로, 논문은 “대편차 한계가 비마르코프적이면서도, 그 편차함수는 여전히 준잠재함수 형태를 유지한다”는 중요한 통찰을 제공한다. 또한, 아이덴티티 과정과 지수적 조밀성 기법을 결합한 새로운 증명 전략은 향후 복잡한 대기열·네트워크 시스템의 대편차 분석에 유용한 도구가 될 것이다.