Principe de Déviation Modérée sur les Trajectoires pour les Files d'Attente avec Temps Inter-Arrivées et Temps de Service Dépendant du Temps d'Attente

Informations Fondamentales

• ID de l'article: 2510.27226
• Titre: Sample Path Moderate Deviation Principle for Queues with Waiting-time Dependent Interarrival and Service Times
• Auteurs: Chang Feng (University of Texas at Austin), John J. Hasenbein (University of Texas at Austin), Guodong Pang (Rice University)
• Classification: math.PR (Théorie des Probabilités)
• Date de publication: 3 novembre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.27226v1

Résumé

Cet article étudie les systèmes de files d'attente à serveur unique où les temps inter-arrivées et les temps de service dépendent linéairement et aléatoirement du temps d'attente des clients. Les auteurs établissent le principe de déviation modérée (PDM) sur les trajectoires pour le processus de temps d'attente. Le temps d'attente peut être exprimé comme une récurrence de Lindley modifiée avec des coefficients de poids aléatoires. Sous une transformation d'échelle naturelle des coefficients aléatoires, les auteurs analysent le comportement fluide du processus de charge de travail, dérivant les points d'équilibre stables (qui peuvent être zéro ou positifs). Le processus à l'échelle de déviation modérée est centré autour du point d'équilibre stable, puis exprimé comme une équation différentielle stochastique linéaire pilotée par deux marches aléatoires, plus des termes d'erreur asymptotiquement négligeables et une réflexion possible en zéro. Les fonctions de taux du PDM dans les deux cas peuvent être caractérisées explicitement, la différence étant que le cas centré en zéro implique une application de réflexion de Skorokhod généralisée linéaire, tandis que le cas centré en positif ne l'implique pas.

Contexte et Motivation de la Recherche

Énoncé du Problème

Dans les systèmes de files d'attente réels, les processus d'arrivée et les temps de service dépendent souvent de l'état de congestion ou de retard du système:

• Systèmes médicaux: Les salles d'urgence surpeuplées voient les patients renoncer à se faire soigner (balking); les unités de soins intensifs surchargées peuvent voir les médecins accélérer le transfert des patients
• Autres applications: Les systèmes biologiques, la fabrication, la gestion des stocks, les réseaux informatiques et l'assurance présentent tous des comportements similaires dépendant de la charge

Importance

1. Signification théorique: Extension de la théorie classique des files d'attente aux systèmes dépendant de l'état, comblant un vide dans la théorie de la déviation modérée pour ces modèles
2. Valeur pratique: Fournit des outils théoriques pour comprendre les événements rares dans les systèmes congestionnés, utile pour l'évaluation des risques et la conception des systèmes
3. Contribution méthodologique: Développe de nouvelles techniques pour analyser les processus autorégressifs réfléchis avec coefficients aléatoires

Limitations des Approches Existantes

• Dominance de l'analyse distributionnelle: Les recherches existantes se concentrent principalement sur les distributions stationnaires et les méthodes de transformation (Boxma et al. 2007, 2016, 2021)
• Résultats limités au niveau des trajectoires:
  • Le théorème limite central fonctionnel de Whitt (1990) ne donne pas la forme explicite du processus de diffusion limite
  • Le principe de grandes déviations n'est établi que dans des cas particuliers (Vlasiou et Palmowski 2014)
  • Absence complète du principe de déviation modérée: C'est le vide clé que cet article comble

Motivation de la Recherche

1. Établir le premier principe de déviation modérée sur les trajectoires pour les systèmes de files d'attente dépendant du temps d'attente
2. Fournir une approximation probabiliste fine entre les grandes déviations et le théorème limite central
3. Développer des techniques d'analyse applicables à une classe plus large de processus autorégressifs réfléchis

Contributions Principales

1. Premier résultat de PDM: Établit le principe de déviation modérée sur les trajectoires pour les systèmes de files d'attente dépendant du temps d'attente, comblant un vide théorique dans le domaine
2. Analyse fluide complète:
   • Analyse systématique du comportement des limites fluides dans différentes régions de paramètres (surcharge/charge critique/sous-charge, différentes intensités de dépendance d'état)
   • Identification de tous les points d'équilibre stables (zéro ou positifs), voir le tableau 1 pour un résumé
3. Fonctions de taux explicites: Dérive des fonctions de taux explicitement calculables pour les deux cas de centrage (théorème 2.6):
   • Centrage en zéro: Implique une application de réflexion de Skorokhod généralisée linéaire
   • Centrage en positif: N'implique pas de réflexion, forme de fonction de taux plus simple
4. Nouvelles techniques de preuve:
   • Développe une méthode d'analyse du PDM pour les chaînes de Markov récursives linéaires (section 4)
   • Utilise de manière innovante les techniques de martingale pour prouver la disparition exponentielle des termes d'erreur
   • Établit un cadre systématique d'arguments pour la compacité exponentielle et l'équivalence exponentielle
5. Approximation de diffusion complémentaire: Prouve le théorème limite central fonctionnel dans l'appendice B, avec limite étant un processus d'Ornstein-Uhlenbeck ou un processus d'Ornstein-Uhlenbeck réfléchi, complétant le travail de Whitt (1990)

Explication Détaillée de la Méthodologie

Définition de la Tâche

Considérez une séquence de systèmes de files d'attente FIFO à serveur unique (indexés par n):

• Entrées: Séquence i.i.d. de vecteurs aléatoires $\{(A^n_i, S^n_i, \mathcal{A}^n_i, \mathcal{B}^n_i), i \in \mathbb{N}_0\}$
• Mécanisme de dépendance d'état:
  • Intervalle inter-arrivée réel: $A'^{n}_i = A^n_i + \mathcal{A}^n_i W^n_i$
  • Temps de service réel: $S'^{n}_i = S^n_i + \mathcal{B}^n_i W^n_i$
• Objectif: Établir le PDM sur les trajectoires pour le processus de temps d'attente à l'échelle de déviation modérée $\tilde{W}^n(t) = \frac{\sqrt{n}}{b_n}(\bar{W}^n(t) - \bar{W}^*)$

Où:

• $b_n \to \infty$, $b_n/\sqrt{n} \to 0$ (échelle de déviation modérée)
• $\bar{W}^n(t) = \frac{1}{n}W^n_{\lfloor nt \rfloor}$ (échelle fluide)
• $\bar{W}^*$ est le point d'équilibre stable de la limite fluide

Structure Récursive Centrale

Récurrence de Lindley modifiée: $W^n_{i+1} = (C^n_i W^n_i + X^n_i)^+$

Où:

• $X^n_i = S^n_i - A^n_i$ (incrément nominal)
• $C^n_i = 1 + \mathcal{B}^n_i - \mathcal{A}^n_i$ (coefficient de poids aléatoire)

Hypothèse d'échelle clé (Hypothèse 2.1): $C^n_i = 1 - \frac{1}{n}\Theta_i$

Où $\{\Theta_i\}$ est une séquence i.i.d. avec moyenne $\theta$ et variance $\sigma^2_\Theta$. Ce choix d'échelle garantit que:

• Pour $n$ grand, $(C_i)^{1/n} \approx e^{-\Theta_i/n} \approx 1 - \Theta_i/n$
• Compatible avec l'échelle de Whitt (1990) et Boxma et al. (2016)

Analyse Fluide (Section 3)

Par sommation télescopique et introduction de termes d'erreur, on obtient la représentation à l'échelle fluide: $\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}$

Limite fluide (Théorème 3.2): $\bar{W} = R_\theta(\bar{w}_0 + \mu e)$

Où $R_\theta$ est l'application de réflexion de Skorokhod généralisée linéaire, satisfaisant la forme différentielle: $d\bar{W}(t) = \mu - \theta\bar{W}(t) + d\bar{L}(t)$

Analyse des points d'équilibre stables (Tableau 1 résumé):

PDM pour les Chaînes de Markov Récursives Linéaires (Section 4)

Pour traiter le système auxiliaire sans réflexion: $V^n_{i+1} = C^n_i V^n_i + X^n_i$

Représentation à l'échelle de déviation modérée: $\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)$

Où $\tilde{R}^n_X$, $\tilde{R}^n_\Theta$ sont les marches aléatoires à l'échelle de déviation modérée.

Étapes techniques clés:

1. Bornes exponentielles (Lemme 4.5): Preuve de la borne aléatoire exponentielle du processus à l'échelle fluide
2. Analyse des termes d'erreur (Lemme 4.6): Utilisation de techniques de martingale pour prouver la compacité exponentielle de $\tilde{\epsilon}^{n}_{2,V}$
3. Compacité exponentielle (Théorème 4.7): Combinaison de tous les termes pour prouver la compacité exponentielle de $\{\tilde{V}^n\}$
4. Équivalence exponentielle (Lemme 4.9): Preuve que les termes d'erreur sont exponentiellement équivalents au processus zéro

PDM pour le Processus de Temps d'Attente (Section 5)

Représentation à l'échelle de déviation modérée: $\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)$

Innovations clés:

1. Bornes du système auxiliaire (Lemmes 5.1-5.2): Construction de systèmes de bornes supérieures et inférieures pour contrôler $W^n$
2. Analyse du terme de réflexion:
   • Centrage en positif ($\bar{W}^* > 0$): $\tilde{L}^n \xrightarrow{P^{1/b^2_n}} 0$ (réflexion non activée)
   • Centrage en zéro ($\bar{W}^* = 0$): $\tilde{L}^n$ comme processus d'ajustement de l'application de Skorokhod

Forme Explicite de la Fonction de Taux (Théorème 2.6)

Cas de centrage en positif ($\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$

Pour $\phi \in AC$ et $\phi(0) = w_0$.

Cas de centrage en zéro ($\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$

Pour $\phi$ non-négatif, $\phi \in AC$ et $\phi(0) = w_0$.

Points d'Innovation Technique

1. Approche Directe sur les Trajectoires

Contrairement à la méthode de convergence faible de Dupuis et Johnson (2015), cet article:

• Travaille directement dans l'espace $D_T$
• Établit le résultat via le PDM de distributions finies et la compacité exponentielle
• Applique le principe de contraction

2. Application Innovante des Techniques de Martingale

Pour le terme d'erreur $\tilde{\epsilon}^{n}_{2}$ (Lemme 4.6):

• Construction de martingale: $Z^n_k = \sum^k_{i=0} (\theta - \Theta_i)(\bar{V}^n_i - \bar{V}^*)$
• Preuve de la propriété de sur-martingale: $\zeta^n_k = \exp\{\frac{b_n}{\sqrt{n}}Z^n_k - \frac{b^2_n}{n}K^2_\alpha \sigma^2_\Theta k\}$
• Application de l'inégalité de Doob pour obtenir des bornes exponentielles

3. Argument Systématique d'Équivalence Exponentielle

Établit une chaîne d'arguments progressifs (Lemme 4.5 → 4.6 → Théorème 4.7 → Corollaire 4.8 → Lemme 4.9):

• Chaque étape établit un résultat plus fort
• Utilise les conclusions de l'étape précédente pour simplifier les preuves suivantes
• Finalement prouve que tous les termes d'erreur sont exponentiellement équivalents au processus zéro

4. Technique de Bornes du Système Auxiliaire

Par construction du processus $\Upsilon^n$ (Lemme 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\}$

Prouve $0 \leq W^n_i \leq \Upsilon^n_i$, puis relie $\Upsilon^n$ à un système récursif linéaire construit indépendamment.

5. Caractérisation de la Compacité C-Exponentielle

Organise systématiquement dans l'appendice C:

• Conditions nécessaires et suffisantes pour la compacité exponentielle (Théorèmes C.6, C.7)
• Préservation sous applications continues (Lemme C.8)
• Caractérisation de la convergence super-exponentielle (Lemmes C.9, C.10)
• Théorème de changement de temps aléatoire (Théorème C.11)

Configuration Expérimentale

Note: Cet article est un travail mathématique théorique pur et ne contient pas d'expériences numériques ou de simulations. Tous les résultats sont des théorèmes mathématiques rigoureux et leurs preuves.

Cadre de Vérification Théorique

L'article valide la raisonnabilité de la théorie par:

1. Cohérence avec les résultats connus:
   • Quand $C^n_i = 1 - \alpha/n$ (déterministe), récupère les résultats de Boxma et al. (2016)
   • La limite de diffusion (Appendice B) est cohérente avec l'approximation de distribution stationnaire de Whitt (1990) (Remarque B.4)
2. Vérification des cas extrêmes:
   • Quand $\mu < 0$, prouve $\tilde{W}^n \xrightarrow{P^{1/b^2_n}} 0$ (stabilité extrêmement forte du système)
   • Le comportement de la limite fluide dans différentes régions de paramètres est conforme à l'intuition (Figures 1-3)
3. Cohérence interne:
   • La fonction de taux du PDM est cohérente avec la structure de covariance de la limite de diffusion
   • Les différences de forme de fonction de taux entre centrage en zéro et centrage en positif reflètent l'effet de l'application de réflexion

Résultats Expérimentaux

Résultats Théoriques Principaux

Théorème 2.5 (Résultat Principal de PDM): Sous les Hypothèses 2.1 et 2.3, $\{\tilde{W}^n, n \in \mathbb{N}\}$ satisfait le PDM dans $D_T$ avec taux $b^2_n$ et fonction de taux:

1. Centrage en positif ($\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. Centrage en zéro ($\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)$

Où $I_X(\psi) = \frac{1}{2\sigma^2_X}\int^T_0 |\dot{\psi}(t)|^2 dt$ pour $\psi \in AC_0$, sinon $\infty$.

Théorème 2.6 (Fonction de Taux Explicite): Les problèmes d'optimisation peuvent être résolus explicitement (voir ci-dessus "Forme Explicite de la Fonction de Taux").

Comportement de la Limite Fluide (Section 3)

Théorème 3.2: $\bar{W}^n \to \bar{W}$ u.o.c. en probabilité, où $\bar{W} = R_\theta(\bar{w}_0 + \mu e)$.

Stabilité dans différentes régions de paramètres (Tableau 1):

• Surcharge + dépendance d'état forte ($\mu > 0, \theta > 0$): Stable à une valeur positive $\mu/\theta$
• Charge critique + dépendance d'état non-négative ($\mu = 0, \theta \geq 0$): Stable à 0
• Sous-charge ($\mu < 0$): Stable à 0 ($\theta$ quelconque)
• Cas instables: $\mu > 0, \theta \leq 0$ ou $\mu = 0, \theta < 0$

Résultats Auxiliaires

Théorèmes 4.3-4.4 (PDM pour Systèmes Récursifs Linéaires): Établit le PDM pour le système sans réflexion $V^n$, avec forme de fonction de taux similaire mais sans application de réflexion.

Théorème B.3 (Théorème Limite Central Fonctionnel): Prouvé dans l'Appendice B:

• Centrage en positif: $\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)$ (processus OU)
• Centrage en zéro: $\hat{W}^n \Rightarrow \hat{W} = R_\theta(\hat{W}_0 + \eta e + \sigma_X B)$ (processus OU réfléchi)

Où $\hat{W}^n(t) = \sqrt{n}(\bar{W}^n(t) - \bar{W}^*)$ (échelle de diffusion).

Lemmes Clés

1. Lemme 3.1: Termes d'erreur $\bar{\epsilon}^{n}_{1}, \bar{\epsilon}^{n}_{2} \to 0$ u.o.c. en probabilité
2. Lemme 4.5: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{V}^n\|_T > K) = -\infty$
3. Lemme 4.6: $\{\tilde{\epsilon}^{n}_{2,V}\}$ est exponentiellement compact dans $D_T$
4. Lemme 5.2: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{W}^n\|_T > K) = -\infty$

Travaux Connexes

Systèmes de Files d'Attente avec Dépendance du Temps d'Attente

• Travaux antérieurs: Harris (1967), Callahan (1973), Brill (1988) ont étudié les modèles fondamentaux
• Progrès récents:
  • Boxma et Vlasiou (2007): Cas Bernoulli $C_i \in \{-1, 1\}$
  • Boxma et al. (2016): Processus AR(1) réfléchi avec $C_i$ déterministe, FCLT
  • Boxma et al. (2021), Huang (2023), Dimitriou et Fiems (2024): Formes plus générales de $C_i$
  • Vlasiou et Palmowski (2014): Grandes déviations des queues de distribution stationnaire

Contribution de cet article: Premier résultat de PDM sur les trajectoires, comblant un vide dans le spectre des théorèmes limites.

Théorie des Grandes Déviations et Déviations Modérées

• LDP sur les trajectoires:
  • Bazhba et al. (2025): LDP à taux sous-linéaire pour la récurrence de Lindley classique ($C_i = 1$)
  • Chen et al. (2024): LDP pour récurrences affines à queues lourdes
• PDM sur les trajectoires:
  • Puhalskii (1999): Files d'attente GI/GI/1
  • Chang et al. (1999): Fluides stochastiques avec entrées à dépendance longue portée
  • Anugu et Pang (2024a): Files d'attente à serveurs infinis avec temps de service variant dans le temps
  • Feng et al. (2025): Files d'attente GI/GI/1+GI

Positionnement de cet article: Extension de la théorie du PDM aux systèmes de files d'attente dépendant de l'état.

Perpétuité de Vervaat

La récurrence sans réflexion $V^n_{i+1} = C^n_i V^n_i + X^n_i$ est appelée perpétuité de Vervaat dans la littérature:

• Kesten (1973), Brandt (1986), Embrechts et Goldie (1994): Théorie de la distribution stationnaire
• Vervaat (1979), Whitt (1990): Théorèmes limites fonctionnels
• Chen et al. (2024): LDP pour le cas à queues lourdes

Contribution de cet article: Établit le PDM pour cette classe de processus (Section 4), comme étape intermédiaire pour analyser les processus réfléchis.

PDM pour Systèmes Markoviens Récursifs

• Dupuis et Johnson (2015): Méthode de convergence faible via formules variationnelles, permettant certaines récurrences non-linéaires
  • Différence: Cet article développe une méthode directe, traite explicitement les termes de réflexion, travaille dans l'espace $D_T$

Conclusions et Discussion

Conclusions Principales

1. Complétude théorique: Établit un cadre complet de théorèmes limites pour les systèmes de files d'attente dépendant du temps d'attente (limite fluide, limite de diffusion, principe de déviation modérée)
2. Dichotomie de la fonction de taux:
   • Point d'équilibre positif: Forme de fonction de taux simple, sans réflexion
   • Point d'équilibre zéro: Fonction de taux impliquant l'application de réflexion de Skorokhod, plus complexe
3. Contributions méthodologiques: Les techniques développées (méthodes de martingale, arguments de compacité exponentielle, bornes de systèmes auxiliaires) peuvent s'appliquer à une classe plus large de processus stochastiques réfléchis
4. Sensibilité aux paramètres: Le comportement du système est hautement sensible à la charge nominale $\mu$ et à l'intensité de la dépendance d'état $\theta$ (résumé dans le Tableau 1)

Limitations

1. Hypothèses du modèle:
   • Requiert une relation de dépendance linéaire (les systèmes réels peuvent être non-linéaires)
   • Choix d'échelle spécifique $C^n_i = 1 - \Theta_i/n$ (bien que cohérent avec la littérature existante)
   • L'hypothèse d'indépendance ($\Theta_i$ indépendant de $X^n_i$) peut être trop forte
2. Restrictions de stabilité: Analyse uniquement les cas de point d'équilibre stable, ne couvre pas les cas instables (comme $\mu > 0, \theta < 0$)
3. Limitation à serveur unique: La méthode n'est pas étendue aux systèmes multi-serveurs ou aux réseaux
4. Conditions techniques:
   • Requiert l'existence de la fonction génératrice des moments (Hypothèse 2.3(ii))
   • Exigences de taux de convergence pour les conditions initiales (Hypothèse 2.3(i))
5. Absence de vérification numérique: Comme travail théorique pur, ne fournit pas d'exemples numériques ou de vérification par simulation

Directions Futures

Extensions potentielles proposées par l'article:

1. Dépendance non-linéaire: Extension à $A'_i = A_i + f(W_i)$ avec dépendance non-linéaire
2. Systèmes multi-serveurs: Analyse des files d'attente multi-serveurs dépendant de l'état dans le régime de Halfin-Whitt
3. Systèmes en réseau: Extension aux réseaux Jackson ou réseaux de files d'attente plus généraux
4. Distributions à queues lourdes: Étude des cas où $X^n_i$ ou $\Theta_i$ ont des distributions à queues lourdes
5. Paramètres variant dans le temps: Considération de $\mu_n(t)$, $\theta_n(t)$ variant dans le temps
6. Applications d'optimisation: Utilisation des résultats du PDM pour la simulation d'événements rares et la gestion des risques

Évaluation Approfondie

Points Forts

1. Rigueur Théorique

• Preuves complètes: Tous les théorèmes ont des preuves détaillées, détails techniques suffisants
• Logique claire: De l'analyse fluide au système auxiliaire au résultat principal, hiérarchie bien définie
• Appendices riches: Les appendices A-C fournissent les antécédents nécessaires et les lemmes techniques

2. Innovation Méthodologique

• Méthode directe sur les trajectoires: Plus intuitive que la convergence faible, mieux adaptée au traitement de la réflexion
• Application astucieuse des techniques de martingale: Construction de martingale dans la preuve de disparition exponentielle riche en créativité
• Cadre systématique: Le cadre d'arguments de compacité exponentielle établi a une applicabilité universelle

3. Explicité des Résultats

• Fonction de taux complètement explicite (Théorème 2.6), facilitant l'analyse et l'application ultérieures
• Comportement de limite fluide complètement caractérisé (Tableau 1), couvrant toutes les régions de paramètres

4. Qualité de Rédaction

• Structure claire: Introduction suffisamment motivée, corps logiquement rigoureux, appendices fortement supportifs
• Notation régulière: Utilisation cohérente des symboles (comme $\bar{x}^n$ pour l'échelle fluide, $\tilde{x}^n$ pour l'échelle de déviation modérée)
• Revue de littérature complète: Discussion suffisante des connexions et différences avec les travaux connexes

Insuffisances

1. Limitations Pratiques

• Absence de vérification numérique: Manque d'exemples numériques illustrant la signification pratique des résultats théoriques
• Discussion d'application insuffisante: N'aborde pas comment utiliser les résultats du PDM pour l'analyse ou la conception de systèmes réels
• Problème d'estimation de paramètres: N'aborde pas comment estimer $\theta$, $\sigma^2_\Theta$ et autres paramètres à partir de données

2. Hypothèses Techniques

• Condition de fonction génératrice des moments (Hypothèse 2.3(ii)) exclut les distributions à queues lourdes, limitant la portée des applications
• Unicité du choix d'échelle: N'explique pas suffisamment pourquoi $C^n_i = 1 - \Theta_i/n$ est le choix "naturel"

3. Couverture Limitée

• Cas instables manquants: Les cas instables comme $\mu > 0, \theta \leq 0$ ne sont pas analysés
• Comportement transitoire: Se concentre principalement sur le comportement asymptotique, la qualité d'approximation pour $n$ fini n'est pas discutée

4. Lisibilité

• Densité technique élevée: Pour les lecteurs non-spécialistes, les détails des preuves peuvent être difficiles à suivre
• Explication intuitive insuffisante: Certaines étapes techniques (comme la construction du système auxiliaire $\Upsilon^n$) manquent d'explication intuitive

Impact

Contribution au Domaine

1. Comble un vide théorique: Premier PDM pour files d'attente dépendant de l'état, complétant le système de théorèmes limites du domaine
2. Valeur méthodologique: Les techniques développées peuvent s'appliquer à l'analyse d'autres processus stochastiques réfléchis
3. Rôle de pont: Connecte la théorie des files d'attente, la théorie des grandes déviations et la théorie des processus stochastiques

Valeur Pratique

1. Évaluation des risques: Le PDM fournit une estimation de probabilité d'événements rares plus fine que les grandes déviations
2. Conception de systèmes: La fonction de taux peut être utilisée pour optimiser les paramètres du système afin de contrôler les probabilités de déviation
3. Accélération de simulation: Les résultats du PDM peuvent guider les techniques de réduction de variance comme l'échantillonnage d'importance

Reproductibilité

• Résultats théoriques: Énoncés de théorèmes clairs, hypothèses explicites, en principe vérifiables
• Techniques de preuve: Étapes détaillées, références suffisantes, peut servir d'exemple pour l'apprentissage des techniques du PDM
• Code manquant: Pas de code d'implémentation numérique fourni (bien que cela soit acceptable pour un travail purement théorique)

Scénarios d'Application

1. Applications Directes

• Systèmes médicaux: Salles d'urgence, unités de soins intensifs et autres services médicaux sensibles à la congestion
• Centres d'appels: Scénarios où le temps d'attente affecte les arrivées ultérieures et la vitesse de service
• Systèmes informatiques: Ordonnancement de tâches dépendant de la charge et services dépendant de la charge

2. Extensions Théoriques

• Files d'attente multi-serveurs: La méthode peut potentiellement s'étendre aux systèmes de type $M/M/c$ dépendant de l'état
• Réseaux de files d'attente: Peut servir de bloc de construction pour l'analyse de réseaux complexes
• Mathématiques financières: Des structures récursives similaires apparaissent dans certains modèles financiers

3. Emprunt de Méthodes

• Processus de diffusion réfléchis: Les techniques de martingale et les arguments de compacité exponentielle peuvent s'appliquer à d'autres processus réfléchis
• Systèmes dépendant de l'état: La méthode de bornes de systèmes auxiliaires a une applicabilité universelle
• Théorie de la déviation modérée: Fournit un exemple pour l'analyse du PDM d'autres systèmes stochastiques

Recommandations pour Recherches Ultérieures

1. Étude numérique: Vérifier par simulation les prédictions théoriques, explorer la vitesse de convergence pour $n$ fini
2. Analyse de sensibilité aux paramètres: Étudier systématiquement la dépendance de la fonction de taux aux paramètres $\theta$, $\sigma^2_X$, etc.
3. Extension aux queues lourdes: Étudier si l'Hypothèse 2.3(ii) peut être relâchée
4. Cas d'application: Sélectionner des scénarios d'application spécifiques (comme les données de salles d'urgence) pour valider le modèle
5. Méthodes de calcul: Développer des algorithmes numériques pour calculer la fonction de taux et les trajectoires optimales

Références (Sélection)

1. Whitt, W. (1990). Queues with service times and interarrival times depending linearly and randomly upon waiting times. Queueing Systems, 6:335-351.
   • Travail classique étendu par cet article
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.
   • Résultats FCLT pour dépendance d'état déterministe
3. Dupuis, P. and Johnson, D. (2015). Moderate Deviations for Recursive Stochastic Algorithms. Stochastic Systems, 5(1):87-119.
   • Méthode PDM connexe (approche de convergence faible)
4. Puhalskii, A. A. (1999). Moderate deviations for queues in critical loading. Queueing Systems, 31(3):359-392.
   • Travail classique du PDM pour files d'attente GI/GI/1
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 pour systèmes récursifs à queues lourdes

Évaluation Globale: Cet article est un travail mathématique théorique de haute qualité qui établit rigoureusement le principe de déviation modérée sur les trajectoires pour les systèmes de files d'attente dépendant du temps d'attente, comblant un vide théorique important dans le domaine. Les méthodes sont innovantes, les résultats explicites, et les preuves complètes. Les principales insuffisances résident dans l'absence de vérification numérique et de discussion d'application, ainsi que dans les limitations de certaines hypothèses techniques. Pour les chercheurs en théorie des files d'attente, théorie des grandes déviations et théorie des processus stochastiques, cet article a une valeur de référence importante, et fournit également des outils théoriques pour l'analyse des risques dans les systèmes réels. Il est recommandé que les travaux futurs complètent les études numériques et explorent les applications pratiques.