[論文レビュー] A fixed-point approximation for a routing model in equilibrium

Graham Brightwell, Malwina Luczak|arXiv (Cornell University)|Jun 20, 2013

Stochastic processes and statistical mechanics参考文献 6被引用数 6

ひとこと要約

本稿は、動的ルーティングモデルが平衡状態にある場合——呼び出しは直接リンク、または最大d個の代替2リンク経路を通じてルーティングされる——に、各負荷レベルにおけるリンクの割合が、方程式系の唯一の固定点に収束することを確立する。カップリングおよび測度集中の技法を用いて、十分に小さいまたは大きいコール到着レートλに対して、平衡分布がこの固定点のまわりにきつく集中することを証明し、すべてのd ≥ 1に対してErlang固定点近似が有効であることを裏付ける。

ABSTRACT

We use a method of Luczak (arXiv:1212.3231) to investigate the equilibrium distribution of a dynamic routing model on a network. In this model, there are $n$ nodes, each pair joined by a link of capacity $C$. For each pair of nodes, calls arrive for this pair of endpoints as a Poisson process with rate $λ$. A call for endpoints $\{u,v\}$ is routed directly onto the link between the two nodes if there is spare capacity; otherwise $d$ two-link paths between $u$ and $v$ are considered, and the call is routed along a path with lowest maximum load, if possible. The duration of each call is an exponential random variable with unit mean. In the case $d=1$, it was suggested by Gibbens, Hunt and Kelly in 1990 that the equilibrium of this process is related to the fixed points of a certain equation. We show that this is indeed the case, for every $d \ge 1$, provided the arrival rate $λ$ is either sufficiently small or sufficiently large. In either regime, we show that the equation has a unique fixed point, and that, in equilibrium, for each $j$, the proportion of links at each node with load $j$ is strongly concentrated around the $j$th coordinate of the fixed point.

研究の動機と目的

• 動的ルーティングの平衡状態におけるBDAR（バランスド・ダイナミック・アロケイティブ・ルーティング）モデルで用いられる固定点近似を、厳密に裏付けること。
• 容量Cでポisson分布に従うコールを持つ完全接続ネットワークにおけるリンク負荷割合の平衡分布を分析すること。
• d ≥ 1の場合に、極端な到着レートの下で、平衡負荷分布が方程式系の唯一の固定点に強く集中することを確立すること。
• d=1の既存結果を一般化し、d ≥ 1に拡張し、カップリングおよび収縮写像の議論を用いて、一意性と集中性を証明すること。

提案手法

• Luczak (2013) のカップリング法を用いて、有限ネットワークプロセスとそのフラUID極限を比較する。
• 測度集中およびカップリング技法を適用し、経験的負荷割合と固定点との乖離をバウンドする。
• 方程式系 (6.2) を分析し、極端なλの下で収縮写像の議論により一意性を証明する。
• 経験的負荷割合と固定点との間のℓ₁ノルムにおける誤差バウンドを導出し、O((log n)/√n) の収束を示す。
• 2つのレジームに分けて分析する：λが小さい場合（λ < λ₀(d)）とλが大きい場合（λ ≥ λ₁(d,C)）、それぞれ異なるバウンド技法を要する。
• 負荷割合に関する再帰的不等式を用いて尾の挙動を制御し、一様な集中性を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定点近似は、d=1に限らず、一般のd ≥ 1に対しても有効であるか？
• RQ2 すべてのd ≥ 1に対して、リンク負荷の平衡分布は固定点方程式によって一意に決定されるか？
• RQ3 経験的負荷割合は、平衡状態で固定点のまわりにどれほどきつく集中しているか？
• RQ4 実際の平衡負荷分布と固定点との間の定量的誤差バウンドは何か？ また、ネットワークサイズnおよび容量Cとどのようにスケーリングされるか？

主な発見

• 十分に小さい到着レートλ < λ₀(d) = 1/(8d+4) の場合、平衡負荷分布は固定点方程式 (6.2) によって一意に決定され、経験的負荷割合はℓ₁ノルムで固定点からO(λ d² (C+1)⁴ (log n)/√n) の誤差内にある。
• 十分に大きい到着レートλ ≥ λ₁(d,C) = 8000 C² d log(240 C² d) の場合、固定点方程式には一意の解が存在し、経験的負荷割合は固定点からO(d² (C+1)⁴ (log n)/√n) の誤差内にある。
• 両極端なレジームにおいて固定点は一意であり、方程式系に収縮写像の議論を適用することで証明された。
• 固定点の周囲への負荷割合の集中は強く、誤差はO((log n)/√n) の速度で減少するため、通常のネットワーク挙動は固定点によってよく近似される。
• 本結果により、Erlang固定点近似がすべてのd ≥ 1に対して有効であることが裏付けられ、以前のd=1に限った研究を拡張した。
• 解析により、極端な到着レート条件下で、有限ネットワーク内でも動的ルーティングモデルの平衡挙動が固定点系によってよく捉えられていることが確認された。