[論文レビュー] Poisson Hypothesis for Information Networks (A study in non-linear Markov processes) I. Domain of Validity

Alexander Rybko, Senya Shlosman|arXiv (Cornell University)|Jun 7, 2004

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

ひとこと要約

本稿は、有限の指数モーメントを持つ i.i.d. サービス時間を持つ大規模システムの極限において、非線形マルコフ過程の枠組みのもとで、平均場情報ネットワークにおけるポアソン仮説（PH）の有効性を確立する。その結果、任意のノードへの内部フローが定常レートのポアソン過程に収束することを示している。主な結果は、系のダイナミクスが一意のグローバルアトラクターに収束することであり、指定された条件下でPHの漸近的妥当性が確認される。

ABSTRACT

In this paper we study the Poisson Hypothesis, which is a device to analyze approximately the behavior of large queueing networks. We prove it in some simple limiting cases. We show in particular that the corresponding dynamical system, defined by the non-linear Markov process, has a line of fixed points which are global attractors. To do this we derive the corresponding non-linear equation and we explore its self-averaging properties. We also argue that in cases of havy-tail service times the PH can be violated.

研究の動機と目的

• 閉集合キューイングシステムとしてモデル化された大規模情報ネットワークにおけるポアソン仮説（PH）の有効範囲を確立すること。
• このようなネットワークにおける内部フローに由来する非線形マルコフ過程の長期的挙動を分析すること。
• 有効入力フローのレート関数が定数に収束することを証明し、PHの漸近的妥当性を保証すること。
• 系が固定点へのグローバルアトラクションを示す条件を同定することにより、混沌の伝播を示すこと。
• 重たい尾部を持つサービス時間では、初期状態が非同期化性を満たす場合を除き、ポアソン仮説が成立しないことの特定。

提案手法

• 熱力学的極限において、内部顧客フローが定常レートのポアソン過程に収束することを、ポアソン仮説として形式化する。
• ネットワークの時間依存状態に依存する入力レートを持つ非線形マルコフ過程として、系をモデル化する。
• 系のダイナミクスにおける自己平均性の性質を導出し、複雑な依存関係を有効な平均場挙動に還元可能にする。
• 状態空間の弱コンパクト性と総サービスレートの上限を用いて、レート関数が定数に収束することを確立する。
• 極値状態（例えばゼロ状態および最大状態）との比較技術を用いて、系のキュー長分布の時間発展を制御する。
• 混沌の伝播および不変測度に関する先行研究の結果を活用し、動的系における固定点のグローバルアトラクティビティを示す。

実験結果

リサーチクエスチョン

• RQ1 大規模情報ネットワークにおけるノードへの内部フローが、どのような条件下で定常レートのポアソン過程に収束するか。
• RQ2 系のダイナミクスを記述する非線形マルコフ過程が、一意の固定点に収束することが示せるか。その結果、ポアソン仮説の妥当性が保証されるか。
• RQ3 サービス時間分布のモーメントが、ポアソン仮説の成立または不成立を決定づける役割を果たすか。
• RQ4 ネットワークの初期状態が、特に重たい尾部を持つサービス時間の下で、系の長期的挙動に与える影響は何か。
• RQ5 一般のサービス時間分布に対してポアソン仮説は成立するか。それとも、指数モーメントなどの追加の構造的仮定が必要か。

主な発見

• サービス時間の指数モーメントが有限の場合は、ポアソン仮説が成立する。すなわち、M, N → ∞ かつ N/M → ρ の極限において、任意のノードへの内部フローは定常レートのポアソン過程に収束する。
• 系を記述する非線形マルコフ過程には固定点の直線が存在し、すべての軌道がそのうちのいずれかに収束するため、グローバルアトラクティビティが成立する。
• 有効入力フローのレート関数 λ(t) は、負荷 ρ のみに依存する定数 c(ρ) に収束し、PH が要請する漸近的定数性が確認される。
• 重たい尾部を持つサービス時間では、初期状態が非同期化性を満たす場合を除き、ポアソン仮説は成立しない。この非同期化性は、期待サービス時間が有限である場合に成立する。
• 系は混沌の伝播を示す：M, N → ∞ の極限において、任意のk個のサーバーの組み合わせは漸近的に独立同分布に近づく。
• 証明は、自己平均性の性質と状態空間の弱コンパクト性に依拠しており、キュー長分布およびレート関数の時間発展を制御可能にする。