[論文レビュー] Random walks in a queueing network environment

Mark Andrew Gannon, E. Pechersky+2 more|arXiv (Cornell University)|Oct 6, 2014

Advanced Queuing Theory Analysis参考文献 16被引用数 3

ひとこと要約

本稿では、ランダムウォークがキューイングネットワーク環境と相互作用する連続時間マーカフ過程の厳密可解モデルを提案する。詳細釣合条件を用いて定常分布を導出する。主な結果は、再帰性および非臨界性条件のもとで有効である、よく知られたキューイング理論における積型公式に類似した積型定常分布である。

ABSTRACT

We propose a class of models of random walks in a random environment where an exact solution can be given for a stationary distribution. The tool is the detailed balance equations.

研究の動機と目的

• ランダムウォークがキューイングネットワーク環境と相互作用するモデルを厳密に解ける形で構築し、ウォークの位置がネットワークの遷移強度に影響を与えると同時に、その逆も成り立つようにすること。
• 詳細釣合条件を用いて、ランダムウォークとキューイングネットワークの結合過程が定常分布をもつための条件を確立すること。
• キューイング理論における既存の積型結果を、区別された粒子（ランダムウォーク粒子）とキューのネットワークとの間の可逆的ダイナミクスを組み込むことで一般化すること。
• 通信ネットワーク、ランダムトラップ、局在化、凝縮現象などの応用を、統一的な枠組みで探求すること。
• 今後の非可逆的設定、プロセッサ共有ルール、無限体積構成への拡張の基盤を築くこと。

提案手法

• 有限のサイト数と対称的伝送レートを持つ、対称的かつ均一なジャクソン型またはゴードン＝ニューエル（閉鎖型）キューイングネットワークとして環境をモデル化する。
• 局所的なキュー長に依存する遷移強度を持つ、区別された粒子（ランダムウォーク粒子）を導入し、キューイングネットワークの状態と結合する。
• 詳細釣合条件（DBEs）を適用して、結合過程の定常分布を導出し、可逆性を保証する。
• ネットワークのパラメータとウォークの位置に依存する幾何分布および一般化されたガンマ型項を含む積型表現として定常分布を構成する。
• 伝送行列 B に対する対称性および既約性条件を用いて、正再帰性と定常測度の存在を保証する。
• 到着、離脱、ジャンプ、ウォーク粒子による状態変化を含むすべての許容可能な遷移に対して、詳細釣合条件が満たされていることを確認することで、定常分布の正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 ランダムウォークがキューイングネットワーク環境と相互作用する場合、どのような条件下で定常分布が存在するか？
• RQ2 ウォーク粒子とキューイングネットワークの相互作用が、定常分布の形にどのように影響を与えるか？
• RQ3 定常分布は積型で表現可能か？ もしそうならば、遷移強度およびネットワーク構造にどのような条件が必要か？
• RQ4 可逆性は、結合過程の厳密可解性を可能にする上で果たす役割は何か？
• RQ5 ネットワークの伝送行列における非臨界性および対称性は、定常分布の存在および構造にどのように影響を与えるか？

主な発見

• 非閉鎖型ネットワークモデルの定常分布は、非臨界性条件 λ/μ < 1 を満たす場合、標準的なジャクソンネットワークと同様に、パラメータ λ/μ の幾何分布の積として与えられる。
• 固定されたウォーク粒子数とタスク数（|y| = M, |n| = N）を持つ閉鎖型ネットワークモデルでは、定常分布は π(y,n) = 1/Ξ × ∏[γ̄_j(n_j)]^{y_j} の形を取り、Ξ は正規化定数である。
• 固定された総タスク数 N を持つオープン・クローズドモデルでは、定常分布は π(y,n) = 1/Ξ_N,Λ × ∏[ξ_l/η_l × γ̄_l(n_l)]^{y_l} で与えられ、Ξ_N,Λ < ∞ により可積分性が保証される。
• 提案された遷移強度構造のもとで、詳細釣合条件が満たされることを確認し、導出された定常分布の正しさを裏付けた。
• 定常分布が積型であることが示され、古典的なキューイングネットワークにおける積型解に類似しているが、ランダムウォーク粒子の影響を含む拡張がなされている。
• 伝送行列の既約性および正規化定数の収束性が保証される条件下で、モデルが正再帰（PRR）であることが証明された。