[論文レビュー] Explicit Lyapunov functions and estimates of the essential spectral radius for Jackson networks

Irina Ignatiouk-Robert, Danielle Tibi|arXiv (Cornell University)|Jun 14, 2012

Markov Chains and Monte Carlo Methods参考文献 3被引用数 7

ひとこと要約

本稿では、正再帰的ジャクソンネットワークに対して明示的な乗法的リャプノフ関数を構築し、コン pact 集合への帰還時間の尾確率分布および本質的スペクトル半径の明示的推定を可能にする。主な貢献は、ルーティングおよびサービスパラメータを含む変分公式を通じて最適な崩壊率の閉形式表現を導出することにある。

ABSTRACT

A family of explicit Lyapunov function for positive recurrent Markovian Jackson network is constructed. With this result we obtain explicit estimates of the tail distribution of the first time, when the process returns to large compact sets, and some explicit estimates of the essential spectral radius of the process. The essential spectral radius of the process provides the best geometric convergence rate to equilibrium that one can get by changing the transitions of the process in a finite set.

研究の動機と目的

• 正再帰的マコフ型ジャクソンネットワークに対して明示的な乗法的リャプノフ関数を構築すること。
• 大規模なコン pact 集合への最初の帰還時間の尾分布に対する明示的推定を導出すること。
• マコフ過程の生成子の本質的スペクトル半径に対する明示的境界を提供すること。
• 平衡分布への収束の最適指数的崩壊率を特徴付ける変分公式を確立すること。

提案手法

• ルーティングおよびサービスパラメータから導かれるベクトル族を用いた明示的リャプノフ関数の構築。
• ベクトル α の空間上の関数 R(α) の定義と、本質的スペクトル半径の変分的特徴付け。
• 凸性および連続性の議論を用いて、状態空間の特定の部分集合上で R(α) を最小化すること。
• パrameter空間とねじれた生成子方程式の解の集合との間のホメオモルフィズムの応用。
• 解ベクトルの台に関する帰納法を用いた変分公式における等式の証明。
• ねじれた生成子の構造および行列 G を活用し、√μi − √νi 項を含む明示的境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 正再帰的ジャクソンネットワークに対して明示的な乗法的リャプノフ関数を構築できるか？
• RQ2 コン pact 集合への到達時間の尾分布に対してどのような明示的推定が得られるか？
• RQ3 生成子の本質的スペクトル半径をどのように明示的に推定できるか？
• RQ4 平衡分布への収束の最適指数的崩壊率は何か、そしてどのように特徴づけられるか？
• RQ5 最良の幾何的収束速度を捉える変分公式は存在するか？

主な発見

• 任意のコン pact 集合の外で Lh(x) ≤ −θh(x) を満たす明示的な乗法的リャプノフ関数 h が構築され、θ > 0 である。
• 生成子の本質的スペクトル半径は、特定のベクトルクラス上で R(α) の最小値によって定まる θ を用いて exp(−θ) で上から抑えられる。
• 最適崩壊率は α = γ₁* で達成され、γ₁* = √(μ₁/ν₁) − 1 であり、J(α) = {2,…,d} を満たす α ∈ B_{1} 上での R(α) の最小値に対応する。
• 本質的スペクトル半径は明示的に exp(−R(γ₁*)) = exp(−1/G₁₁(√μ₁ − √ν₁)²) と推定され、G₁₁ は行列 G の対角成分である。
• 証明により、任意の α ∈ B_{1} で J(α) ≠ {2,…,d} を満たすものに対して R(γ₁*) < R(α) が成り立つことが示され、構築された関数の最適性が確認される。
• 本結果は、一般のジャクソンネットワークに対して本質的スペクトル半径の最初の明示的・閉形式推定を提供する。