[論文レビュー] Analysis of structured Markov processes

Ivo Adan, Johan S. H. van Leeuwaarden+1 more|arXiv (Cornell University)|Sep 26, 2017

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

ひとこと要約

本稿は、構造的性質に基づく体系的な分類を用いて、構造的マーケフ過程をモデル化・分析する包括的なフレームワークを提示する。行列幾何学的、行列解析的、スペクトル展開手法といった基礎的解析手法を導入し、複雑なキューイングおよび確率的システムの効率的解法を可能にする。主な貢献は、安定性解析、変換の逆算、数値アルゴリズムの開発であり、これらは工学およびファイナンス分野に応用可能である。

ABSTRACT

Markov processes are popular mathematical models, studied by theoreticians for their intriguing properties, and applied by practitioners for their flexible structure. With this book we teach how to model and analyze Markov processes. We classify Markov processes based on their structural properties, which in turn determine which analytic methods are required for solving them. In doing so, we start in each chapter with specific examples that naturally lead up to general theory and general methods. In this way the reader learns about Markov processes on the job. By studying this book, the reader becomes acquainted with the basic analytic methods that come into play when systems are modeled as structured Markov processes. These basic methods will likely prove useful, in real-time when studying the examples at hand, but more importantly for future encounters with Markov processes not covered in this book. Methods are more important than examples. The methods have a large scope of application, even outside the scope of Markov processes, in areas like probability theory, industrial engineering, mechanical engineering, physics and financial mathematics.

研究の動機と目的

• 構造的マーケフ過程の内在的構造的性質に基づき、統一的な分析手法を構築すること。
• 理論的マーケフ過程解析と、キューイング、製造、サービスシステムにおける実用的応用を橋渡しすること。
• マーケフ過程にとどまらず、確率論、物理学、ファイナンシャル数学などに応用可能な、移転可能な解析ツールを研究者および実務家に提供すること。
• 複雑な確率的モデルを解くための理論、例題、数値手法を統合した大学院レベルのリソースを提供すること。
• 平衡分布および一時的解析のための、行列幾何学的およびスペクトル展開手法を含む、堅牢な計算技術を確立すること。

提案手法

• 遷移行列のブロック構造を活用して、QBDおよび準スキップフリー過程の解法を可能にする行列幾何学的手法を用いる。
• 変換（ラプラス変換、母関数）を適用して平衡分布および一時的分布を導出し、実用的評価のための数値的逆算を実施する。
• 構造的特徴（例：誕生・死滅、準誕生・死滅、スキップフリー）に基づいてマーケフ過程を分類し、適切な解析手法の選定を支援する。
• 行列解析的手法を用いて、行列の固根と反復アルゴリズムにより定常分布を計算する。
• 無限状態空間を有するシステムに対して、解を固有モードに分解するスペクトル展開手法を導入する。
• 優先順位およびゲート型サービスシステムに対して、補償法および差分方程式アプローチを適用し、正確な解の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 マーケフ過程は、構造的性質に基づきどのように体系的に分類可能であり、その分類が手法選定にどのように寄与するか。
• RQ2 QBDおよび準スキップフリー過程といった構造的マーケフ過程を解くために、どの解析手法が最も効果的か。
• RQ3 変換およびその数値的逆算は、どのようにして複雑なシステムにおける平衡分布および一時的分布を効率的に計算するか。
• RQ4 準誕生・死滅および準スキップフリー過程の安定性条件は何か。また、それらはシステム挙動にどのように影響を及えるか。
• RQ5 行列解析的およびスペクトル展開手法は、従来のアプローチに比べて、どのように複雑なキューイングシステムの解法において優れているか。

主な発見

• 行列幾何学的手法により、遷移行列のブロック・トーペリッツ構造を活用して、準誕生・死滅過程の定常分布を効率的に計算可能である。
• QBDおよび準スキップフリー過程の安定性条件は、レート行列のスペクトル解析を通じて導出され、正再帰性が保証される。
• 変換の数値的逆算により、複雑なシステムにおける一時的および平衡分布の正確かつ効率的な評価が可能である。
• スペクトル展開手法は、無限状態空間を有するシステムに対して収束する解の表現を提供し、特定の状況では明示的な誤差境界も得られる。
• 補償法により、ゲート型および優先順位キューイングシステムが、状態ブロック間のフロー方程式を繰り返しバランスさせることで正確に解ける。
• 行列解析的手法は、広範な構造的プロセスクラスに一般化可能であり、多様な応用分野における平衡解析の統一的フレームワークを提供する。