FIFO 최단대기열 네트워크에서 균형 상태 꼬리 감소 현상

본 논문은 “Join‑the‑Shortest‑Queue”(JSQ) 네트워크에서, 각 작업이 D개의 무작위 큐 중 가장 짧은 큐에 할당되는 정책을 연구한다. 시스템은 N개의 큐로 구성되며, 작업은 전체 도착률 αN (α<1)의 포아송 프로세스로 들어온다. 각 큐는 FIFO 서비스 방식을 따르고, 서비스 시간은 평균 1인 일반적인 확률분포 F(s)를 가진다. 기존 연구에서는 서비스 시간이 지수분포일 때, N→∞ 한계에서 큐 길이의 오른쪽 꼬리가 이중지수적으로 감소한다는 결과가 알려져 있었다. 그러나 비지수분포, 특히 멱법칙 꼬리를 갖는 경우에 대한 이론적 분석은 부족했다. 저자들은 먼저 “ansatz”라는 가정을 도입한다. 이는 N이 무한대로 커질 때, 고정된 몇 개의 큐는 서로 독립적으로 동작하고, 각각은 단일 큐에 대한 “cavity” 과정, 즉 무한 큐 시스템에서 한 큐가 보는 환경과 동일한 마코프 과정을 따른다는 주장이다. 이 가정은 이전에 위험률이 감소하는 경우와 α가 충분히 작을 때 증명되었지만, 본 논문에서는 멱법칙 꼬리 서비스 시간에 대해서도 적용한다. 서비스 시간 꼬리를 \(\bar F(s)=1-F(s)\sim c s^{-\beta}\) (β>1) 로 가정하고, D≥2인 경우를 중심으로 분석한다. 핵심 개념은 equilibrium environment H이다. H는 단일 큐가 무한히 많은 다른 큐와 상호작용하는 상황을 확률 측정으로 표현한다. H 하에서 잠재적 도착이 발생하면, D−1개의 독립 비교 큐 상태가 무작위로 선택되고, 현재 큐와 비교해 가장 짧은 큐에 작업이 할당된다. 이 과정에서 실제 도착률 α_k는 현재 큐 길이 k에 따라 \(\alpha Q_{k}^{D-1}\le α_k\le α D Q_{k}^{D-1}\) 로 제한된다. 여기서 Q_k=Pr_H\{큐 길이≥k\}이다. 이 관계를 이용해 균형 상태에서 큐 길이 꼬리 확률 P_k=Pr\{큐 길이≥k\}에 대한 재귀식과 불평등을 구축한다. 이후 β와 D의 비율에 따라 세 가지 경우를 구분한다. 1. **β > D/(D−1)** (꼬리가 얇은 경우) 여기서는 재귀식이 급격히 감소하여, \(\log(1/P_k)\)가 k에 대해 선형적으로 성장한다. 구체적으로 \