[論文レビュー] The supermarket model with arrival rate tending to one

Graham Brightwell, Malwina Luczak|arXiv (Cornell University)|Jan 26, 2012

Advanced Queuing Theory Analysis参考文献 11被引用数 14

ひとこと要約

本稿は、到着率 λ(n) → 1 かつ選択肢の数 d(n) → ∞ となる重交通下におけるスーパー・マーケットモデルを分析する。適切な条件下で、システムは最大キュー長 k = ⌈log(1−λ)⁻¹ / log d⌉ において平衡状態に達し、良好な初期状態からの混合時間は O(kd^{k−1}n log n) であることが示され、これはほぼ最適である。

ABSTRACT

In the supermarket model, there are $n$ queues, each with a single server. Customers arrive in a Poisson process with arrival rate $λn$, where $λ= λ(n) \in (0,1)$. Upon arrival, a customer selects $d=d(n)$ servers uniformly at random, and joins the queue of a least-loaded server amongst those chosen. Service times are independent exponentially distributed random variables with mean~1. In this paper, we analyse the behaviour of the supermarket model in a regime where $λ(n)$ tends to~1, and $d(n)$ tends to infinity, as $n o \infty$. For suitable triples $(n,d,λ)$, we identify a subset ${\cal N}$ of the state space where the process remains for a long time in equilibrium. We further show that the process is rapidly mixing when started in ${\cal N}$, and give bounds on the speed of mixing for more general initial conditions.

研究の動機と目的

• 到着率 λ(n) が 1 に近づき、n → ∞ の下で選択肢の数 d(n) が無限大に近づく際のスーパー・マーケットモデルの平衡挙動を理解すること。
• これらの漸近的条件下で、長期間にわたり平衡状態にとどまる状態空間の部分集合 𝒩 を特定すること。
• 初期状態が 𝒩 に属する場合のマコフ連鎖の高速混合を確立し、一般の初期条件からの混合時間の上限を導出すること。
• 平衡状態における最大キュー長が、k = ⌈log(1−λ)⁻¹ / log d⌉ のまわりにきわめて集中していることを示し、ほぼ完全な負荷分散を示すこと。
• O(kd^{k−1}n log n) の混合時間の上限が、すなわちほぼ最適であることを証明すること、すなわち、好都合な初期状態であっても改善できないこと。

提案手法

• n 個のキューを持つスーパー・マーケットモデルの離散時間版を分析し、到着率 λn のポアソン到着と、各顧客の d 通りの選択肢を扱う。
• 近似微分方程式の系列を用いた流体極限の手法を用いるが、主な焦点は平衡状態および混合時間であり、流体近似の妥当性には重点を置かない。
• キュー長が k 以上であるキューの数が、その平衡値のまわりにきわめて集中している状態集合 𝒩^ε を定義する。
• 異なる初期状態から出発する2つの過程を比較するためのカップリング技術を適用し、それらのキュー長ベクトル間の期待L1距離を上限で評価する。
• 集中不等式とドリフト解析を用いて、長キュー数 Q_k の期待変化量を評価し、平衡状態からの逸脱が遅いことを示す。
• 文献[5]の1-Lipschitz関数の集中に関する結果を用いて Q_k の尾確率を導出し、混合時間の下限を得る。

実験結果

リサーチクエスチョン

• RQ1 λ(n) → 1 かつ d(n) → ∞ となる n → ∞ の下で、スーパー・マーケットモデルにおけるキュー長の平衡分布は何か？
• RQ2 これらの漸近的条件下で、システムはどの程度速く平衡状態に収束するか？
• RQ3 これらのパrameter設定下で、平衡状態における最大キュー長の正確な値は何か？
• RQ4 O(kd^{k−1}n log n) の混合時間の上限はタイトか、それとも改善可能か？
• RQ5 初期状態が平衡状態に近い「良い」状態に設定された場合、システムはどのように振る舞い、最悪の初期状態ではどの程度平衡状態から逸脱するか？

主な発見

• 長期間にわたり、平衡状態における最大キュー長は高確率で正確に k = ⌈log(1−λ)⁻¹ / log d⌉ に一致する。
• 平衡状態では、高確率でほとんどすべてのキューが長さの k をとり、それより小さい長さのキュー数も正確に推定可能である。
• 良好な状態集合 𝒩^ε からの混合時間は、最大で O(kd^{k−1}n log n) であり、この上限はほぼ最適である。
• 混合時間は Ω(n(λd)^{k−1}) 以上であることが示され、上界が対数要因を除いてタイトであることが確認される。
• 最悪の初期状態からでさえ、混合時間は O(kd^{k−1}n log n) で抑えられ、この上限も本質的に最良である。
• 初期状態が 𝒩^ε に属する場合、全変動距離は O(kd^{k−1}n log n) の時間後に指数的に平衡状態に収束するため、高速混合が成立する。