[論文レビュー] A quantitative differential equation approximation for a routing model

Malwina Luczak|arXiv (Cornell University)|Dec 13, 2012

Advanced Queuing Theory Analysis参考文献 9被引用数 4

ひとこと要約

本稿では、強い依存関係を有する大規模ネットワークにおける動的ルーティングモデルに対して、離散時間マルコフ連鎖のための新しいカップリングに基づく集中不等式技法を導入し、大数の法則近似を確立する。リンク負荷が平均値のまわりにきわめて集中することを示すことにより、著者らはリンク間の複雑な依存関係が存在する中でも、システムの時間発展が決定論的微分方程式によって正確に近似可能であることを証明する。

ABSTRACT

We consider a Markovian load balancing model on a fully-connected network, where calls have Poisson arrivals and exponential durations. The endpoints of each call are uniform over all the links of the network. Each call is routed either along the link connecting its endpoints, or, if the direct route is unavailable, along a two-link path between them, via an intermediate node. We use an explicit and simple coupling to show a strong concentration of measure property, and deduce that the evolution of the process may be approximated by a differential equation. The technique is likely to be useful in other settings.

研究の動機と目的

• 強い依存関係を有するシステムにおける離散時間マルコフ連鎖のための新しい集中不等式を構築すること。
• ポisson到着および指数分布呼続時間を持つ連続時間でよく知られた動的ルーティングモデルを分析すること。
• 新規なカップリング技法を用いて、ネットワークの負荷分布に対する大数の法則を確立すること。
• リンク間の依存関係が大システム極限において無視可能であることを示し、微分方程式近似が可能であることを証明すること。
• 弱い対間相互作用率と大規模システムを有する他の相互作用系へ一般化可能な手法を提供すること。

提案手法

• 2つのマルコフ連鎖コピー間の明示的かつ新規なカップリングを構築し、時間経過における状態間の距離を制限する。
• このカップリングを用いて、各ノードにおける負荷kのリンク数といった、ゆっくり変化するシステム関数の強力な集中を証明する。
• 尾部不等式およびモーメント推定を用いて集中不等式を導出し、偏差がnの任意の多項式より速く減少することを示す。
• 主要なシステム関数の期待ドリフトが近似的に分解可能であることを示し、平均場微分方程式の導出を可能にする。
• λ(n)、d(n)、C(n)の適切なスケーリングのもとで、各ノードにおける負荷kのリンクの割合の時間発展を微分方程式で近似する。
• 全システムレベルの関数（例：負荷kのリンク総数）を扱うために、nおよび対数項に比例する誤差バウンドを用いて手法を拡張する。

実験結果

リサーチクエスチョン

• RQ1 強い依存関係を有するマルコフ連鎖（例：大規模ネットワークルーティングにおけるもの）に対して、強力な集中不等式を確立できるか？
• RQ2 ネットワーク内のリンク間の依存関係が、平均場近似の精度にどの程度影響を及えるか？
• RQ3 有限のリンク容量を持つ動的ルーティングモデルにおいて、負荷分布の時間発展を微分方程式が高精度に近似できるか？
• RQ4 ルーティング戦略の選択（直接ルート対2リンク経路）が、大n極限におけるシステム安定性および負荷バランスに与える影響はいかほどか？
• RQ5 カップリング技法が、弱い対間相互作用と大規模システムを有する他のモデルへ一般化可能か？

主な発見

• 各ノードにおける正確にk通話を持つリンクの割合は、n → ∞ のとき、決定論的微分方程式の解によってよく近似される。
• 本手法により、誤差バウンドが log²n の指数関数的に減少するため、高確率での集中が保証される、システム全体のグローバル大数の法則が確立される。
• カップリング技法により、大システム極限においてリンク間の依存関係が無視可能であることが示され、期待ドリフトの分解が可能になる。
• nが十分に大きい場合、システムが微分方程式近似から O(log n / √n) 以上に逸脱する確率は e^(-½γ₀log²n) で抑えられ、これは任意の多項式より速く減少する。
• 負荷kのリンク総数を近似する誤差は、高確率で O(n²φ(X₀)) のように増加するが、φ(X₀) は初期状態のフラクチュエーションを測る。
• d ≥ 2 および d = 1 の両方の状況において結果が成り立ち、それぞれ定理1.1および1.2を用いて類似の近似が導出可能である。