待機時間依存到着間隔時間およびサービス時間を有するキューの標本路径中偏差原理

基本情報

• 論文ID: 2510.27226
• タイトル: Sample Path Moderate Deviation Principle for Queues with Waiting-time Dependent Interarrival and Service Times
• 著者: Chang Feng (テキサス大学オースティン校)、John J. Hasenbein (テキサス大学オースティン校)、Guodong Pang (ライス大学)
• 分類: math.PR (確率論)
• 発表日: 2025年11月3日 (arXivプレプリント)
• 論文リンク: https://arxiv.org/abs/2510.27226v1

要約

本論文は、単一サーバーキューイングシステムにおいて到着間隔時間とサービス時間が顧客待機時間に線形かつ確率的に依存する場合を研究し、待機時間過程の標本路径中偏差原理(MDP)を確立する。待機時間は確率的係数を有する修正Lindley再帰として表現される。確率係数の自然なスケーリング変換の下で、著者らはワークロード過程の流体挙動を分析し、安定平衡点(ゼロまたは正の値)を導出する。中偏差スケール過程は安定平衡点の周りで中心化され、その後、2つの確率遊歩によって駆動される線形確率微分方程式として表現される。これに漸近的に無視可能な誤差項と、ゼロでの可能な反射が加わる。両方の場合のMDPのレート関数は明示的に特性化でき、ゼロ中心化の場合は線形一般化Skorokhod反射写像を含むが、正中心化の場合は含まない点が異なる。

研究背景と動機

問題提起

現実のキューイングシステムでは、到着過程とサービス時間はしばしばシステムの混雑度または遅延状態に依存する:

• 医療システム: 救急外来が過度に混雑している場合、患者は受診を放棄する(balking); 集中治療室が過負荷の場合、医師は患者の流転を加速させる可能性がある
• その他の応用: 生物システム、製造業、在庫管理、コンピュータネットワーク、保険など多くの分野で同様の負荷依存行動が存在する

重要性

1. 理論的意義: 古典的キューイング理論を状態依存システムに拡張し、このクラスのモデルにおける中偏差理論の空白を埋める
2. 実用的価値: 混雑システムの稀な事象を理解するための理論的ツールを提供し、リスク評価とシステム設計に有用である
3. 方法論的貢献: 確率係数を有する反射自己回帰過程を分析するための新しい技術を開発する

既存方法の限界

• 分布分析が主流: 既存研究の多くは定常分布と変換方法に焦点を当てている(Boxma et al. 2007, 2016, 2021)
• 標本路径レベルの結果が限定的:
  • Whitt (1990)の関数型中心極限定理は極限拡散過程の明示的形式を与えていない
  • 大偏差原理は特殊な場合にのみ確立されている(Vlasiou and Palmowski 2014)
  • 中偏差原理が完全に欠けている: これが本論文が埋める重要な空白である

研究動機

1. 待機時間依存キューイングシステムの最初の標本路径中偏差原理を確立する
2. 大偏差と中心極限定理の間にある精密な確率近似を提供する
3. より広い反射AR(1)過程に適用可能な分析技術を開発する

核心的貢献

1. 最初のMDP結果: 待機時間依存キューイングシステムの標本路径中偏差原理を確立し、この分野の理論的空白を埋める
2. 完全な流体分析:
   • 異なるパラメータ領域(過負荷/臨界負荷/低負荷、異なる状態依存強度)における流体極限の挙動を系統的に分析
   • すべての安定平衡点(ゼロまたは正の値)を特定(表1に要約)
3. 明示的なレート関数: 2つの中心化ケース(ゼロ中心化と正中心化)に対して明示的に計算可能なレート関数を導出(定理2.6):
   • ゼロ中心化: 線形一般化Skorokhod反射写像を含む
   • 正中心化: 反射を含まず、レート関数の形式がより単純
4. 新しい証明技術:
   • 線形再帰Markov鎖のMDP分析方法を開発(第4節)
   • マルチンゲール技術を創意的に使用して誤差項の指数消失性を証明
   • 指数緊密性と指数等価性の系統的な論証フレームワークを確立
5. 補足的な拡散近似: 付録Bで関数型中心極限定理を証明し、極限がOU過程または反射OU過程であることを示し、Whitt (1990)の研究を補完

方法の詳細説明

タスク定義

単一サーバーFIFOキューイングシステムの列(インデックスn)を考える:

• 入力: i.i.d.確率ベクトル列 $\{(A^n_i, S^n_i, \mathcal{A}^n_i, \mathcal{B}^n_i), i \in \mathbb{N}_0\}$
• 状態依存メカニズム:
  • 実際の到着間隔: $A'^{n}_i = A^n_i + \mathcal{A}^n_i W^n_i$
  • 実際のサービス時間: $S'^{n}_i = S^n_i + \mathcal{B}^n_i W^n_i$
• 目標: 中偏差スケール待機時間過程 $\tilde{W}^n(t) = \frac{\sqrt{n}}{b_n}(\bar{W}^n(t) - \bar{W}^*)$ の標本路径MDPを確立

ここで:

• $b_n \to \infty$, $b_n/\sqrt{n} \to 0$(中偏差スケール)
• $\bar{W}^n(t) = \frac{1}{n}W^n_{\lfloor nt \rfloor}$(流体スケール)
• $\bar{W}^*$ は流体極限の安定平衡点

核心的な再帰構造

修正Lindley再帰: $W^n_{i+1} = (C^n_i W^n_i + X^n_i)^+$

ここで:

• $X^n_i = S^n_i - A^n_i$(名目増分)
• $C^n_i = 1 + \mathcal{B}^n_i - \mathcal{A}^n_i$(確率的重み係数)

重要なスケーリング仮定(仮定2.1): $C^n_i = 1 - \frac{1}{n}\Theta_i$

ここで$\{\Theta_i\}$はi.i.d.列で、平均$\theta$、分散$\sigma^2_\Theta$を有する。このスケーリング選択により:

• $n$が大きい場合、$(C_i)^{1/n} \approx e^{-\Theta_i/n} \approx 1 - \Theta_i/n$
• Whitt (1990)およびBoxma et al. (2016)のスケーリングと相容性がある

流体分析(第3節)

伸縮和を導入し誤差項を加えることで、流体スケール表現を得る: $\bar{W}^n(t) = \bar{W}^n_0 + \frac{1}{n}\sum^{\lfloor nt \rfloor -1}_{i=0} X^n_i - \int^t_0 \theta \bar{W}^n(s)ds + \bar{\epsilon}^{n}_{1}(t) + \bar{\epsilon}^{n}_{2}(t) + \frac{1}{n}L^n_{\lfloor nt \rfloor -1}$

流体極限(定理3.2): $\bar{W} = R_\theta(\bar{w}_0 + \mu e)$

ここで$R_\theta$は線形一般化Skorokhod反射写像で、微分形式を満たす: $d\bar{W}(t) = \mu - \theta\bar{W}(t) + d\bar{L}(t)$

安定平衡点分析(表1に要約):

線形再帰Markov鎖のMDP(第4節)

反射なしの補助システムを処理するため: $V^n_{i+1} = C^n_i V^n_i + X^n_i$

中偏差スケール表現: $\tilde{V}^n(t) = \tilde{V}^n(0) + \tilde{R}^n_X(t) - \bar{V}^* \tilde{R}^n_\Theta(t) - \int^t_0 \theta \tilde{V}^n(s)ds + \sqrt{n}(\mu_n - \mu)t + \tilde{\epsilon}^{n}_{1,V}(t) + \tilde{\epsilon}^{n}_{2,V}(t) + \tilde{\epsilon}^{n}_{3,V}(t)$

ここで$\tilde{R}^n_X$, $\tilde{R}^n_\Theta$は中偏差スケールの確率遊歩である。

重要な技術的ステップ:

1. 指数界(補題4.5): 流体スケール過程の指数的確率有界性を証明
2. 誤差項分析(補題4.6): マルチンゲール技術を使用して$\tilde{\epsilon}^{n}_{2,V}$の指数緊密性を証明
3. 指数緊密性(定理4.7): すべての項を組み合わせて$\{\tilde{V}^n\}$の指数緊密性を証明
4. 指数等価性(補題4.9): 誤差項がゼロ過程と指数等価であることを証明

待機時間過程のMDP(第5節)

中偏差スケール表現: $\tilde{W}^n(t) = \tilde{W}^n(0) + \tilde{R}^n_X(t) - \bar{W}^* \tilde{R}^n_\Theta(t) - \int^t_0 \theta \tilde{W}^n(s)ds + \sqrt{n}(\mu_n - \mu)t + \tilde{\epsilon}^{n}_{1}(t) + \tilde{\epsilon}^{n}_{2}(t) + \tilde{\epsilon}^{n}_{3}(t) + \tilde{L}^n(t)$

重要な革新:

1. 補助システム界(補題5.1-5.2): 上下界システムを構築して$W^n$を制御
2. 反射項分析:
   • 正中心化($\bar{W}^* > 0$): $\tilde{L}^n \xrightarrow{P^{1/b^2_n}} 0$(反射は活性化しない)
   • ゼロ中心化($\bar{W}^* = 0$): $\tilde{L}^n$はSkorokhod写像の調整過程として機能

レート関数の明示的形式(定理2.6)

正中心化ケース($\mu > 0, \theta > 0, \bar{W}^* = \mu/\theta$): $I(\phi) = \frac{\theta^2}{2(\theta^2\sigma^2_X + \mu^2\sigma^2_\Theta)} \int^T_0 (\dot{\phi}(t) - r + \theta\phi(t))^2 dt$

$\phi \in AC$かつ$\phi(0) = w_0$に対して。

ゼロ中心化ケース($\mu = 0, \theta \geq 0, \bar{W}^* = 0$): $I(\phi) = \int^T_0 \mathbb{1}_{\{\phi(t) > 0\}} \frac{1}{2\sigma^2_X}(\dot{\phi}(t) - r + \theta\phi(t))^2 dt + \frac{1}{2\sigma^2_X}r^2 \int^T_0 \mathbb{1}_{\{\phi(t)=0\}} \mathbb{1}_{\{r > 0\}} dt$

非負の$\phi \in AC$かつ$\phi(0) = w_0$に対して。

技術的革新点

1. 直接的な標本路径方法

Dupuis and Johnson (2015)の弱収敛方法と異なり、本論文は:

• $D_T$空間で直接作業
• 有限次元分布のMDPと指数緊密性を通じて結果を確立
• 収縮原理(contraction principle)を適用

2. マルチンゲール技術の革新的応用

誤差項$\tilde{\epsilon}^{n}_{2}$に対して(補題4.6):

• マルチンゲールを構築: $Z^n_k = \sum^k_{i=0} (\theta - \Theta_i)(\bar{V}^n_i - \bar{V}^*)$
• 上マルチンゲール性を証明: $\zeta^n_k = \exp\{\frac{b_n}{\sqrt{n}}Z^n_k - \frac{b^2_n}{n}K^2_\alpha \sigma^2_\Theta k\}$
• Doob不等式を適用して指数界を得る

3. 系統的な指数等価性の論証

段階的な論証チェーンを確立(補題4.5 → 4.6 → 定理4.7 → 推論4.8 → 補題4.9):

• 各ステップでより強い結果を確立
• 前のステップの結論を利用して後続の証明を簡略化
• 最終的にすべての誤差項がゼロ過程と指数等価であることを証明

4. 補助システム界技術

過程$\Upsilon^n$を構築することで(補題5.1): $\Upsilon^n_i = \max\{0, X^n_{i-1}, X^n_{i-1} + C^n_{i-1}X^n_{i-2}, \ldots, X^n_{i-1} + \cdots + C^n_1 X^n_0 + C^n_{i-1}\cdots C^n_0 W^n_0\}$

$0 \leq W^n_i \leq \Upsilon^n_i$を証明し、その後$\Upsilon^n$を独立に構築された線形再帰システムと関連付ける。

5. C-指数緊密性の特性化

付録Cで系統的に整理:

• 指数緊密性の必要十分条件(定理C.6, C.7)
• 連続写像下での保存性(補題C.8)
• 超指数収束の特性化(補題C.9, C.10)
• 確率的時間変換定理(定理C.11)

実験設定

注: 本論文は純粋な理論数学論文であり、数値実験またはシミュレーションを含まない。すべての結果は厳密な数学定理とその証明である。

理論検証フレームワーク

論文は以下の方法で理論の妥当性を検証する:

1. 既知結果との一致性:
   • $C^n_i = 1 - \alpha/n$(決定論的)の場合、Boxma et al. (2016)の結果を復元
   • 拡散極限(付録B)はWhitt (1990)の定常分布近似と一致(注釈B.4)
2. 極端なケースの検証:
   • $\mu < 0$の場合、$\tilde{W}^n \xrightarrow{P^{1/b^2_n}} 0$を証明(システムの強い安定性)
   • 異なるパラメータ領域の流体極限挙動は直感と一致(図1-3)
3. 内部的一貫性:
   • MDPレート関数は拡散極限の共分散構造と一致
   • ゼロ中心化と正中心化のレート関数形式の差異は反射写像の役割を反映

実験結果

主要な理論結果

定理2.5(主要MDP結果): 仮定2.1と2.3の下で、$\{\tilde{W}^n, n \in \mathbb{N}\}$は$D_T$において速率$b^2_n$のMDPを満たし、レート関数は:

1. 正中心化($\mu > 0, \theta > 0, \bar{W}^* = \mu/\theta$): $I(\phi) = \inf_{\psi_1, \psi_2 \in D_T, \phi = M_\theta(w_0 + \psi_1 - \frac{\mu}{\theta}\psi_2 + re)} [I_X(\psi_1) + I_\Theta(\psi_2)]$
2. ゼロ中心化($\mu = 0, \theta \geq 0, \bar{W}^* = 0$): $I(\phi) = \inf_{\psi_1 \in D_T, \phi = R_\theta(w_0 + \psi_1 + re)} I_X(\psi_1)$

ここで$I_X(\psi) = \frac{1}{2\sigma^2_X}\int^T_0 |\dot{\psi}(t)|^2 dt$は$\psi \in AC_0$に対して、そうでなければ$\infty$。

定理2.6(明示的レート関数): 最適化問題は明示的に解くことができる(上記「レート関数の明示的形式」を参照)。

流体極限の挙動(第3節)

定理3.2: $\bar{W}^n \to \bar{W}$ u.o.c. in probability、ここで$\bar{W} = R_\theta(\bar{w}_0 + \mu e)$。

異なるパラメータ領域の安定性(表1):

• 過負荷+強い状態依存($\mu > 0, \theta > 0$): 正の値$\mu/\theta$で安定化
• 臨界負荷+非負状態依存($\mu = 0, \theta \geq 0$): 0で安定化
• 低負荷($\mu < 0$): 0で安定化(任意の$\theta$)
• 不安定ケース: $\mu > 0, \theta \leq 0$または$\mu = 0, \theta < 0$

補助的な結果

定理4.3-4.4(線形再帰システムのMDP): 反射なしシステム$V^n$に対してMDPを確立し、レート関数形式は類似しているが反射写像を含まない。

定理B.3(関数型中心極限定理): 付録Bで証明:

• 正中心化: $\hat{W}^n \Rightarrow \hat{W} = M_\theta(\hat{W}_0 + \eta e + \sqrt{\sigma^2_X + \frac{\mu^2}{\theta^2}\sigma^2_\Theta}B)$(OU過程)
• ゼロ中心化: $\hat{W}^n \Rightarrow \hat{W} = R_\theta(\hat{W}_0 + \eta e + \sigma_X B)$(反射OU過程)

ここで$\hat{W}^n(t) = \sqrt{n}(\bar{W}^n(t) - \bar{W}^*)$(拡散スケール)。

重要な補題

1. 補題3.1: 誤差項$\bar{\epsilon}^{n}_{1}, \bar{\epsilon}^{n}_{2} \to 0$ u.o.c. in probability
2. 補題4.5: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{V}^n\|_T > K) = -\infty$
3. 補題4.6: $\{\tilde{\epsilon}^{n}_{2,V}\}$は$D_T$で指数緊密
4. 補題5.2: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{W}^n\|_T > K) = -\infty$

関連研究

待機時間依存キューイングシステム

• 初期の研究: Harris (1967), Callahan (1973), Brill (1988)が基本モデルを研究
• 最近の進展:
  • Boxma and Vlasiou (2007): $C_i \in \{-1, 1\}$ Bernoulli情形
  • Boxma et al. (2016): 決定論的$C_i$の反射AR(1)過程、FCLT
  • Boxma et al. (2021), Huang (2023), Dimitriou and Fiems (2024): より一般的な$C_i$形式
  • Vlasiou and Palmowski (2014): 定常分布の裾確率の大偏差

本論文の貢献: 最初の標本路径MDP結果で、極限定理スペクトラムの空白を埋める。

大偏差と中偏差理論

• 標本路径LDP:
  • Bazhba et al. (2025): 通常のLindley再帰($C_i = 1$)の部分線形速率LDP
  • Chen et al. (2024): 重尾アフィン再帰のLDP
• 標本路径MDP:
  • Puhalskii (1999): GI/GI/1キュー
  • Chang et al. (1999): 長距離依存入力の確率流体キュー
  • Anugu and Pang (2024a): 時変サービス時間の無限サーバーキュー
  • Feng et al. (2025): GI/GI/1+GIキュー

本論文の位置付け: MDPの理論を状態依存キューイングシステムに拡張。

Vervaat永続性(Vervaat Perpetuity)

反射なし再帰$V^n_{i+1} = C^n_i V^n_i + X^n_i$は文献ではVervaat永続性と呼ばれる:

• Kesten (1973), Brandt (1986), Embrechts and Goldie (1994): 定常分布理論
• Vervaat (1979), Whitt (1990): 関数型極限定理
• Chen et al. (2024): 重尾情形のLDP

本論文の貢献: このクラスの過程に対してMDPを確立(第4節)、反射過程の分析の中間ステップとして機能。

再帰MarkovシステムのMDP

• Dupuis and Johnson (2015): 変分公式を通じた弱収敛方法で、いくつかの非線形再帰を許可
  • 相違点: 本論文は直接方法を開発し、反射項を明示的に処理し、$D_T$空間で作業

結論と議論

主要な結論

1. 理論的完全性: 待機時間依存キューイングシステムの完全な極限定理フレームワークを確立(流体極限、拡散極限、中偏差原理)
2. レート関数の二分性:
   • 正の平衡点: レート関数形式は簡潔で、反射を含まない
   • ゼロの平衡点: レート関数はSkorokhod反射写像を含み、より複雑
3. 方法論的貢献: 開発された技術(マルチンゲール方法、指数緊密性論証、補助システム界)は、より広い反射確率過程に適用可能
4. パラメータ感度: システムの挙動は名目負荷$\mu$と状態依存強度$\theta$に高度に敏感(表1に要約)

制限事項

1. モデル仮定:
   • 線形依存関係を要求(実際のシステムは非線形の可能性)
   • 特定のスケーリング選択$C^n_i = 1 - \Theta_i/n$(既存文献と一致しているが)
   • 独立性仮定($\Theta_i$と$X^n_i$の独立性)は過度に強い可能性
2. 安定性の制限: 安定平衡点ケースのみを分析、不安定ケース($\mu > 0, \theta < 0$など)は未対応
3. 単一サーバーの制限: 方法は複数サーバーまたはネットワークシステムに拡張されていない
4. 技術的条件:
   • モーメント生成関数の存在が必要(仮定2.3(ii))
   • 初期条件の収束速度要件(仮定2.3(i))
5. 数値検証の欠落: 純粋な理論研究として、数値例またはシミュレーション検証がない

将来の方向性

論文が提案する潜在的な拡張:

1. 非線形依存: $A'_i = A_i + f(W_i)$の非線形状態依存への拡張
2. 複数サーバーシステム: Halfin-Whitt体制下の状態依存複数サーバーキューの分析
3. ネットワークシステム: Jacksonネットワークまたはより一般的なキューイングネットワークへの拡張
4. 重尾分布: $X^n_i$または$\Theta_i$が重尾分布を有する場合の研究
5. 時変パラメータ: $\mu_n(t)$, $\theta_n(t)$が時間とともに変化する場合を考慮
6. 最適化応用: MDPの結果を稀な事象シミュレーションとリスク管理に利用

深い評価

利点

1. 理論的厳密性

• 証明の完全性: すべての定理に詳細な証明があり、技術的詳細が十分
• 論理的明確性: 流体分析から補助システムを経て主要結果へと、階層が明確
• 豊富な付録: 付録A-Cが必要な背景と技術補題を提供

2. 方法の革新性

• 直接的な標本路径方法: 弱収敛方法と比較してより直感的で、反射の処理に適している
• マルチンゲール技術の巧妙な応用: 指数消失性の証明における鞅構築は創造的
• 系統的なフレームワーク: 確立された指数緊密性論証フレームワークは普遍的

3. 結果の明示性

• 完全に明示的なレート関数(定理2.6)で、さらなる分析と応用に便利
• 流体極限の挙動が完全に特性化(表1)、すべてのパラメータ領域をカバー

4. 執筆の質

• 構造の明確性: 導入が十分に動機付けられ、本体が論理的に厳密で、付録が強力に支持
• 記号の規範性: 記号使用が一貫(例: $\bar{x}^n$は流体スケール、$\tilde{x}^n$は中偏差スケール)
• 包括的な文献調査: 関連研究との関連性と相違点を十分に議論

不足

1. 実用性の制限

• 数値検証がない: 理論結果の実用的意義を説明する数値例がない
• 応用討論が不十分: MDPの結果を実際のシステム分析または設計にどう利用するかについて未討論
• パラメータ推定問題: データから$\theta$, $\sigma^2_\Theta$などのパラメータを推定する方法に未対応

2. 技術的仮定

• モーメント生成関数条件(仮定2.3(ii))は重尾分布を除外し、応用範囲を制限
• スケーリング選択の唯一性: $C^n_i = 1 - \Theta_i/n$が「自然な」選択である理由が十分に議論されていない

3. カバレッジ範囲

• 不安定ケースの欠落: $\mu > 0, \theta \leq 0$などの不安定ケースが分析されていない
• 過渡的挙動: 主に漸近的挙動に焦点を当て、有限$n$の近似品質は未討論

4. 可読性

• 技術的密度が高い: 非専門家読者にとって、証明の詳細は理解しにくい可能性
• 直感的説明が不十分: 補助システム$\Upsilon^n$の構築など、いくつかの技術的ステップに直感的説明がない

影響力

分野への貢献

1. 理論的空白を埋める: 状態依存キューイングの最初のMDPで、この分野の極限定理体系を完成
2. 方法論的価値: 開発された技術は他の反射確率過程の分析に適用可能
3. 橋渡しの役割: キューイング理論、大偏差理論、確率過程理論を結ぶ

実用的価値

1. リスク評価: MDPは大偏差より精密な稀な事象確率推定を提供
2. システム設計: レート関数を使用してシステムパラメータを最適化し、逸脱確率を制御
3. シミュレーション加速: MDPの結果は重要度サンプリングなどの分散縮減技術を指導

再現性

• 理論結果: 定理の陳述が明確で、仮定が明確で、原則的に検証可能
• 証明技術: ステップが詳細で、参照が充分で、MDP技術学習の範例として機能
• コード欠落: 数値実装コードが提供されていない(純粋な理論研究としては許容可能)

適用シーン

1. 直接応用

• 医療システム: 救急外来、ICUなど混雑に敏感な医療サービスシステム
• コールセンター: 待機時間が後続の到着とサービス速度に影響するシーン
• コンピュータシステム: 負荷依存のタスクスケジューリングとサービス

2. 理論的拡張

• 複数サーバーキュー: 方法は$M/M/c$型状態依存システムに拡張される可能性
• キューイングネットワーク: 複雑なネットワーク分析の構成要素として機能
• 金融数学: 類似の再帰構造が金融モデルに現れる

3. 方法の借用

• 反射拡散過程: マルチンゲール技術と指数緊密性論証は他の反射過程に使用可能
• 状態依存システム: 補助システム界の方法は普遍的
• 中偏差理論: 他の確率システムのMDP分析の範例を提供

後続研究の提案

1. 数値研究: シミュレーションで理論予測を検証し、有限$n$の収束速度を探索
2. パラメータ感度分析: レート関数の$\theta$, $\sigma^2_X$などのパラメータへの依存を系統的に研究
3. 重尾拡張: 仮定2.3(ii)を緩和できるか研究
4. 応用ケース: 具体的な応用シーン(例: 救急外来データ)でモデルを検証
5. 計算方法: レート関数と最適経路を計算する数値アルゴリズムを開発

参考文献(精選)

1. Whitt, W. (1990). Queues with service times and interarrival times depending linearly and randomly upon waiting times. Queueing Systems, 6:335-351.
   • 本論文が拡張する古典的研究
2. Boxma, O., Mandjes, M., and Reed, J. (2016). On a class of reflected AR(1) processes. Journal of Applied Probability, 53(3):818-832.
   • 決定論的状態依存のFCLT結果
3. Dupuis, P. and Johnson, D. (2015). Moderate Deviations for Recursive Stochastic Algorithms. Stochastic Systems, 5(1):87-119.
   • 関連するMDP方法(弱収敛経路)
4. Puhalskii, A. A. (1999). Moderate deviations for queues in critical loading. Queueing Systems, 31(3):359-392.
   • GI/GI/1キューのMDP古典研究
5. Chen, B., Rhee, C.-H., and Zwart, B. (2024). Sample-path large deviations for a class of heavy-tailed Markov additive processes. Electron. J. Probab., 29(1):1-44.
   • 重尾再帰システムのLDP

総合評価: これは高品質な理論数学論文であり、待機時間依存キューイングシステムの標本路径中偏差原理を厳密に確立し、この分野の重要な理論的空白を埋める。方法は革新的で、結果は明示的で、証明は完全である。主な不足は数値検証と応用討論の欠落、および特定の技術的仮定の制限性である。キューイング理論、大偏差理論、確率過程理論の研究者にとって重要な参考価値があり、実際のシステムのリスク分析にも理論的ツールを提供する。今後の研究では数値研究を補足し、実際の応用を探索することを推奨する。