[論文レビュー] Colored Markov Modulated Fluid Queues

Benny Van Houdt|arXiv (Cornell University)|Jan 28, 2026

Advanced Queuing Theory Analysis被引用数 0

ひとこと要約

The paper introduces colored Markov-modulated fluid queues (MMFQs) and MMFQs with fluid jumps, adding color-based memory to track fluid contributions and enable tractable analysis of higher-dimensional queueing systems.

ABSTRACT

Markov-modulated fluid queues (MMFQs) are a powerful modeling framework for analyzing the performance of computer and communication systems. Their distinguishing feature is that the underlying Markov process evolves on a continuous state space, making them well suited to capture the dynamics of workloads, energy levels, and other performance-related quantities. Although classical MMFQs do not permit jumps in the fluid level, they can still be applied to analyze a wide range of jump processes. In this paper, we generalize the MMFQ framework in a new direction by introducing {\bf colored MMFQs} and {\bf colored MMFQs with fluid jumps}. This enriched framework provides an additional form of memory: the color of incoming fluid can be used to keep track of the fluid level when certain events took place. This capability greatly enhances modeling flexibility and enables the analysis of queueing systems that would otherwise be intractable due to the curse of dimensionality or state-space explosion.

研究の動機と目的

• Markov-modulated fluid queues (MMFQs) を拡張し、Fluid の複数の色を取り入れてメモリ機能とモデリングの柔軟性を向上させる。
• 色付きMMFQs の数学的フレームワークを構築し、古典的なMMFQs を一般化しつつ fluid jumps をサポートする。
• 色基盤の構造を活用して状態空間の爆発に悩むキューイング系の解析を実行可能にする。

提案手法

• 色付きMMFQ の状態空間を色の順序付けと色依存の背景遷移で定義する。
• 停止分布を、Ψ1,…,ΨC の第一通過確率行列の集合と後向き再帰構成を用いて導出する。
• Kc 行列とブロック構造の生成行列 K を確立し、定常密度を表現し非対称代数Riccati方程式（NAREs）系を解く。
• 正のハリス再帰性の条件と不変ベクトル ξ(c) e を用いた検証法を提供する。
• 流量ジャンプを伴う色付きMMFQ に拡張するため、ジャンプ区間を検閲し、ジャンプサイズを分布モデル化するために位相型分布を用いる。
• 特別なケース（色のスキップなし、特定の遷移）で計算を簡略化し、複雑さを削減する。

実験結果

リサーチクエスチョン

• RQ1 色を用いて流量のヒストリーをより豊かに捉えるため、MMFQs を複数色の流量で拡張するにはどうすればよいか。
• RQ2 色付きMMFQ の定常分布はどのように計算され、定常分布の存在を保証する条件は何か。
• RQ3 流量ジャンプを色付きMMFQ に統合しても解析性を損なわないようにするにはどうするべきか。
• RQ4 色付きMMFQ の計算複雑性を低減する実用的な簡略化や特殊ケースは何か。
• RQ5 古典的なMMFQ では扱いづらい複雑なキューイングモデルに色付きMMFQ を適用するにはどうすればよいか。

主な発見

• 総流量が色別レイヤーに分割され、最上位の色がアクティブな背景レート行列を決定するという色付きMMFQ の枠組みが開発された。
• 定常分布は Ψ 行列を用いて後向きNARE を解くことと、Kc と Ψc の指数関数を含む積の形の表現を通じて特徴付けられ、π+(x)、π−(x) の閉形式に至る。
• ξ(c) と KC 行列の部分生成子特性との関係を通じて正のハリス再帰性の条件が示される。
• 流量ジャンプ付きMMFQ への拡張は、ジャンプ区間を検閲し、ジャンプサイズをPH分布でモデル化することで、解析性を維持する。
• 線形解法やシルベスタ–方程式ベースの解法など、実務的な設定で計算複雑性を低減する特殊ケースが提供される。
• 適用例として、従来法が状態空間の爆発により失敗するキューイングモデル（例：MMAP[L]/PH[L]/1/N/LCFS）へ適用され、適用可能性が示される。