[論文レビュー] Large Fluctuations in Stochastically Perturbed Nonlinear Systems: Applications in Computing

Robert S. Maier|ArXiv.org|May 28, 1993

stochastic dynamics and bifurcation参考文献 25被引用数 4

ひとこと要約

本稿は、確率的摂動を受ける非線形力学系における大規模な揺らぎを分析し、2つの計算関連のモデルに注目する：イーサネットに類似した確率的通信ネットワークと、メモリを共有する競合する動的データ構造のモデルである。大偏差理論を用いて、まれで望ましくない大規模な揺らぎへの平均最初通過時間（mean first-passage time）を推定し、計算応用におけるシステムの信頼性や故障率を予測するための解析的ツールを提供する。

ABSTRACT

This is the transcript of a talk given at the 1992 Complex Systems Summer School. The theory of large fluctuations of stochastically perturbed continuous-time dynamical systems is reviewed, and the large fluctuations of two stochastic models arising in computer science are analysed. One is a stochastic model of a communications network, resembling an Ethernet, which experiences traffic fluctuations. The other is a simple model of two dynamic data structures in the same memory space. In both models `large fluctuations' are unlikely, undesirable events. The mean time between occurrences of such events is estimated.

研究の動機と目的

• 計算科学に関連する確率的摂動を受ける非線形系における、大規模でまれな揺らぎの統計的挙動を理解すること。
• 望ましくない大規模な揺らぎにかかりやすい2つの特定の計算システムをモデル化・分析すること：確率的イーサネットに類似したネットワークと、メモリを共有する動的データ構造。
• このような大規模な揺らぎへの平均最初通過時間を推定し、システムの信頼性と故障リスクを定量化すること。
• 大偏差理論を連続時間力学系に適用し、計算システムにおけるまれな事象の予測の理論的枠組みを提供すること。

提案手法

• 小さなノイズパラメータを伴う伊藤型確率微分方程式を用いて、系の確率的ダイナミクスを定式化する。
• 大偏差理論を適用し、まれな事象の確率を支配する作用関数（レート関数）を計算する。
• 作用関数を用いて、ウェントツェル＝フレイドリン理論に従い、大規模な揺らぎへの平均最初通過時間を推定する。
• 変分法を用いて、大規模な揺らぎを引き起こす最適な脱出経路（最も確率の高い経路）を分析する。
• 小さなノイズ極限における平均最初通過時間の漸近的表現を導出する。これはまれな事象に対して有効である。
• 数値シミュレーションとの定性的および定量的比較（文脈から暗黙に示唆される）を通じて、解析結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 確率的通信ネットワークモデルにおける、大規模で望ましくない揺らぎの平均発生間隔は何か？
• RQ2 メモリを共有する動的データ構造が、確率的摂動を受けると、どのようにしてまれな大規模な揺らぎを示すか？
• RQ3 系が安定状態から大規模な揺らぎへ脱出する際に、最も確率の高い経路（最適経路）は何か？
• RQ4 大偏差理論は、計算システムにおけるまれな故障事象を予測するためにどのように応用できるか？
• RQ5 ノイズ強度がゼロに近づく際の平均最初通過時間の漸近的挙動は何か？

主な発見

• 確率的ネットワークモデルにおける大規模な揺らぎへの平均最初通過時間は、ノイズ強度の逆数に指数的に比例する。これは、まれだが予測可能な故障事象を示している。
• 動的データ構造モデルでは、共有メモリ内の競合が大規模な揺らぎを引き起こし、その発生時刻は状態空間における非自明な最適経路に従う。
• 大偏差理論を用いて導出した作用関数は、両モデルにおけるまれな揺らぎの発生確率を正確に測定する指標を提供する。
• 大規模な揺らぎの最適脱出経路は、作用関数のハミルトニアン形式から導かれる境界値問題を解くことで特定される。
• 漸近的平均最初通過時間がノイズパラメータに関して指数的に小さくなることが示され、このような事象のまれさが裏付けられた。
• 理論的枠組みは、小さな確率的摂動下での両計算モデルにおける故障率のスケーリングを、うまく予測している。