Beispielpfad-Moderate-Abweichungs-Prinzip für Warteschlangen mit wartezeit-abhängigen Zwischenankunfts- und Servicezeiten

Grundlegende Informationen

• Papier-ID: 2510.27226
• Titel: Sample Path Moderate Deviation Principle for Queues with Waiting-time Dependent Interarrival and Service Times
• Autoren: Chang Feng (University of Texas at Austin), John J. Hasenbein (University of Texas at Austin), Guodong Pang (Rice University)
• Klassifizierung: math.PR (Wahrscheinlichkeitstheorie)
• Veröffentlichungsdatum: 3. November 2025 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2510.27226v1

Zusammenfassung

Dieses Papier untersucht Ein-Server-Warteschlangensysteme, in denen Zwischenankunftszeiten und Servicezeiten linear und stochastisch von der Wartezeit der Kunden abhängen. Die Autoren etablieren ein Moderate-Deviation-Prinzip (MDP) für den Beispielpfad des Wartezeitprozesses. Die Wartezeit kann als modifizierte Lindley-Rekursion mit stochastischen Gewichtungskoeffizienten dargestellt werden. Unter natürlicher Skalentransformation der stochastischen Koeffizienten analysieren die Autoren das Fluidverhalten des Arbeitsbelastungsprozesses und leiten stabile Gleichgewichtspunkte (die null oder positiv sein können) ab. Der moderate Abweichungsskalenprozess wird um den stabilen Gleichgewichtspunkt zentriert und dann als lineare stochastische Differentialgleichung dargestellt, die von zwei Zufallswanderungen angetrieben wird, plus asymptotisch vernachlässigbare Fehlerterme und mögliche Reflexion bei null. Die Ratenfunktionen des MDP in beiden Fällen können explizit charakterisiert werden, wobei der Unterschied darin besteht, dass der null-zentrierte Fall die lineare verallgemeinerte Skorokhod-Reflexionsabbildung beinhaltet, während der positiv-zentrierte Fall dies nicht tut.

Forschungshintergrund und Motivation

Problemstellung

In realen Warteschlangensystemen hängen Ankunftsprozesse und Servicezeiten häufig vom Systemstau oder Verzögerungszustand ab:

• Medizinische Systeme: Überlastete Notaufnahmen führen zu Patientenabbrüchen (Balking); überbelastete Intensivstationen können zu beschleunigtem Patientenfluss führen
• Weitere Anwendungen: Biologische Systeme, Fertigung, Bestandsverwaltung, Computernetzwerke und Versicherungen zeigen ähnliches lastabhängiges Verhalten

Bedeutung

1. Theoretische Bedeutung: Erweiterung der klassischen Warteschlangentheorie auf zustandsabhängige Systeme, Schließung einer Lücke in der Moderate-Deviation-Theorie für solche Modelle
2. Praktischer Wert: Bereitstellung theoretischer Werkzeuge zum Verständnis seltener Ereignisse in überlasteten Systemen, hilfreich für Risikobewertung und Systemdesign
3. Methodologischer Beitrag: Entwicklung neuer Techniken zur Analyse reflektierter autoregressiver Prozesse mit stochastischen Koeffizienten

Einschränkungen bestehender Methoden

• Verteilungsanalyse dominant: Bisherige Forschung konzentrierte sich auf stationäre Verteilungen und Transformationsmethoden (Boxma et al. 2007, 2016, 2021)
• Begrenzte Beispielpfad-Ergebnisse:
  • Funktionales zentrales Grenzwerttheorem von Whitt (1990) liefert keine explizite Form des Grenzwertdiffusionsprozesses
  • Große-Abweichungs-Prinzipien nur in Spezialfällen etabliert (Vlasiou and Palmowski 2014)
  • Moderate-Deviation-Prinzip völlig fehlend: Dies ist die Schlüssellücke, die dieses Papier schließt

Forschungsmotivation

1. Etablierung des ersten Beispielpfad-MDP für wartezeit-abhängige Warteschlangensysteme
2. Bereitstellung feiner probabilistischer Approximationen zwischen großen Abweichungen und zentralem Grenzwertsatz
3. Entwicklung von Analysetechniken, die auf breitere reflektierte AR(1)-Prozesse anwendbar sind

Kernbeiträge

1. Erstes MDP-Ergebnis: Etablierung eines Beispielpfad-Moderate-Deviation-Prinzips für wartezeit-abhängige Warteschlangensysteme, Schließung einer theoretischen Lücke
2. Vollständige Fluidanalyse:
   • Systematische Analyse des Fluidlimits in verschiedenen Parameterbereichen (Überlastung/kritische Last/Unterlastung, unterschiedliche Stärke der Zustandsabhängigkeit)
   • Identifikation aller stabilen Gleichgewichtspunkte (null oder positiv), siehe Tabelle 1
3. Explizite Ratenfunktionen: Ableitung explizit berechenbarer Ratenfunktionen für zwei Zentrierungsfälle (Theorem 2.6):
   • Null-Zentrierter Fall: beinhaltet lineare verallgemeinerte Skorokhod-Reflexionsabbildung
   • Positiv-zentrierter Fall: keine Reflexion, einfachere Ratenfunktionsform
4. Neue Beweistechniken:
   • Entwicklung von MDP-Analysemethoden für lineare rekursive Markov-Ketten (Abschnitt 4)
   • Innovative Verwendung von Martingal-Techniken zum Beweis exponentiellen Verschwindens von Fehlertermen
   • Etablierung eines systematischen Argumentationsrahmens für exponentielle Straffheit und exponentielle Äquivalenz
5. Ergänzende Diffusionsapproximation: Beweis eines funktionalen zentralen Grenzwertsatzes in Anhang B mit Grenzwert als OU-Prozess oder reflektierter OU-Prozess, ergänzt Whitt (1990)

Methodische Details

Aufgabendefinition

Betrachten Sie eine Sequenz von Ein-Server-FIFO-Warteschlangensystemen (indiziert durch n):

• Eingabe: i.i.d. Zufallsvektorsequenz $\{(A^n_i, S^n_i, \mathcal{A}^n_i, \mathcal{B}^n_i), i \in \mathbb{N}_0\}$
• Zustandsabhängigkeitsmechanismus:
  • Tatsächliche Zwischenankunftszeit: $A'^{n}_i = A^n_i + \mathcal{A}^n_i W^n_i$
  • Tatsächliche Servicezeit: $S'^{n}_i = S^n_i + \mathcal{B}^n_i W^n_i$
• Ziel: Etablierung des Beispielpfad-MDP des moderate-Abweichungs-skalierten Wartezeitprozesses $\tilde{W}^n(t) = \frac{\sqrt{n}}{b_n}(\bar{W}^n(t) - \bar{W}^*)$

Wobei:

• $b_n \to \infty$, $b_n/\sqrt{n} \to 0$ (moderate Abweichungsskala)
• $\bar{W}^n(t) = \frac{1}{n}W^n_{\lfloor nt \rfloor}$ (Fluidskala)
• $\bar{W}^*$ ist der stabile Gleichgewichtspunkt des Fluidlimits

Kernrekursionsstruktur

Modifizierte Lindley-Rekursion: $W^n_{i+1} = (C^n_i W^n_i + X^n_i)^+$

Wobei:

• $X^n_i = S^n_i - A^n_i$ (nominale Inkremente)
• $C^n_i = 1 + \mathcal{B}^n_i - \mathcal{A}^n_i$ (stochastische Gewichtungskoeffizienten)

Schlüsselskalierungsannahmen (Annahme 2.1): $C^n_i = 1 - \frac{1}{n}\Theta_i$

Wobei $\{\Theta_i\}$ eine i.i.d. Sequenz mit Mittelwert $\theta$ und Varianz $\sigma^2_\Theta$ ist. Diese Skalierungswahl führt zu:

• Für großes $n$: $(C_i)^{1/n} \approx e^{-\Theta_i/n} \approx 1 - \Theta_i/n$
• Kompatibilität mit Whitt (1990) und Boxma et al. (2016)

Fluidanalyse (Abschnitt 3)

Durch Teleskopsummen und Einführung von Fehlertermen erhält man die Fluidskala-Darstellung: $\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}$

Fluidlimit (Theorem 3.2): $\bar{W} = R_\theta(\bar{w}_0 + \mu e)$

Wobei $R_\theta$ die lineare verallgemeinerte Skorokhod-Reflexionsabbildung ist, die die Differentialform erfüllt: $d\bar{W}(t) = \mu - \theta\bar{W}(t) + d\bar{L}(t)$

Analyse stabiler Gleichgewichtspunkte (Tabelle 1 Zusammenfassung):

MDP für lineare rekursive Markov-Ketten (Abschnitt 4)

Zur Behandlung des unreflektierten Hilfssystems: $V^n_{i+1} = C^n_i V^n_i + X^n_i$

Moderate-Abweichungs-Skalendarstellung: $\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)$

Wobei $\tilde{R}^n_X$, $\tilde{R}^n_\Theta$ moderate-Abweichungs-skalierte Zufallswanderungen sind.

Schlüsseltechnische Schritte:

1. Exponentielle Grenzen (Lemma 4.5): Beweis exponentieller Zufallsbegrenztheit des Fluidskala-Prozesses
2. Fehlerterm-Analyse (Lemma 4.6): Verwendung von Martingal-Techniken zum Beweis exponentieller Straffheit von $\tilde{\epsilon}^{n}_{2,V}$
3. Exponentielle Straffheit (Theorem 4.7): Kombination aller Terme zum Beweis exponentieller Straffheit von $\{\tilde{V}^n\}$
4. Exponentielle Äquivalenz (Lemma 4.9): Beweis exponentieller Äquivalenz von Fehlertermen mit dem Nullprozess

MDP für Wartezeitprozesse (Abschnitt 5)

Moderate-Abweichungs-Skalendarstellung: $\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)$

Schlüsselinnovationen:

1. Hilfssystem-Grenzen (Lemma 5.1-5.2): Konstruktion von Ober- und Untersystemen zur Kontrolle von $W^n$
2. Reflexionsterm-Analyse:
   • Positiv-zentriert ($\bar{W}^* > 0$): $\tilde{L}^n \xrightarrow{P^{1/b^2_n}} 0$ (Reflexion nicht aktiviert)
   • Null-zentriert ($\bar{W}^* = 0$): $\tilde{L}^n$ als Regulierungsprozess der Skorokhod-Abbildung

Explizite Form der Ratenfunktion (Theorem 2.6)

Positiv-zentrierter Fall ($\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$

für $\phi \in AC$ mit $\phi(0) = w_0$.

Null-zentrierter Fall ($\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$

für nicht-negative $\phi \in AC$ mit $\phi(0) = w_0$.

Technische Innovationen

1. Direkte Beispielpfad-Methode

Im Gegensatz zur Schwachkonvergenz-Methode von Dupuis and Johnson (2015):

• Direkte Arbeit im $D_T$-Raum
• Etablierung von Ergebnissen durch MDP endlicher Dimensionen und exponentielle Straffheit
• Anwendung des Kontraktionsprinzips

2. Innovative Anwendung von Martingal-Techniken

Für Fehlerterm $\tilde{\epsilon}^{n}_{2}$ (Lemma 4.6):

• Konstruktion des Martingals: $Z^n_k = \sum^k_{i=0} (\theta - \Theta_i)(\bar{V}^n_i - \bar{V}^*)$
• Beweis der Supermartingal-Eigenschaft: $\zeta^n_k = \exp\{\frac{b_n}{\sqrt{n}}Z^n_k - \frac{b^2_n}{n}K^2_\alpha \sigma^2_\Theta k\}$
• Anwendung der Doob-Ungleichung zur Erlangung exponentieller Grenzen

3. Systematische Argumentation zur exponentiellen Äquivalenz

Etablierung einer progressiven Argumentationskette (Lemma 4.5 → 4.6 → Theorem 4.7 → Corollary 4.8 → Lemma 4.9):

• Jeder Schritt etabliert stärkere Ergebnisse
• Nutzung von Schlussfolgerungen aus vorherigen Schritten zur Vereinfachung nachfolgender Beweise
• Letztendlicher Beweis, dass alle Fehlerterme exponentiell äquivalent zum Nullprozess sind

4. Hilfssystem-Grenzen-Technik

Durch Konstruktion des Prozesses $\Upsilon^n$ (Lemma 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\}$

Beweis von $0 \leq W^n_i \leq \Upsilon^n_i$, dann Verbindung von $\Upsilon^n$ mit unabhängig konstruiertem linearem Rekursionssystem.

5. Charakterisierung von C-exponentieller Straffheit

Systematische Zusammenfassung in Anhang C:

• Notwendige und hinreichende Bedingungen für exponentielle Straffheit (Theorem C.6, C.7)
• Erhaltung unter stetigen Abbildungen (Lemma C.8)
• Charakterisierung superexponentiellen Verschwindens (Lemma C.9, C.10)
• Zufallszeitumwandlungs-Theorem (Theorem C.11)

Experimentelle Einrichtung

Hinweis: Dieses Papier ist eine rein theoretische mathematische Arbeit ohne numerische Experimente oder Simulationen. Alle Ergebnisse sind strenge mathematische Theoreme und ihre Beweise.

Theoretischer Validierungsrahmen

Das Papier validiert die Angemessenheit der Theorie durch:

1. Konsistenz mit bekannten Ergebnissen:
   • Wenn $C^n_i = 1 - \alpha/n$ (deterministisch), werden Ergebnisse von Boxma et al. (2016) wiederhergestellt
   • Diffusionslimit (Anhang B) stimmt mit stationärer Verteilungsapproximation von Whitt (1990) überein (Remark B.4)
2. Überprüfung von Extremfällen:
   • Wenn $\mu < 0$, wird bewiesen, dass $\tilde{W}^n \xrightarrow{P^{1/b^2_n}} 0$ (extrem stabile Systeme)
   • Fluidlimit-Verhalten in verschiedenen Parameterbereichen entspricht Intuition (Abbildungen 1-3)
3. Innere Konsistenz:
   • MDP-Ratenfunktion stimmt mit Kovarianzstruktur des Diffusionslimits überein
   • Unterschiede in Ratenfunktionsformen zwischen null-zentriert und positiv-zentriert spiegeln Auswirkungen der Reflexionsabbildung wider

Experimentelle Ergebnisse

Haupttheoretische Ergebnisse

Theorem 2.5 (Hauptergebnis MDP): Unter Annahmen 2.1 und 2.3 erfüllt $\{\tilde{W}^n, n \in \mathbb{N}\}$ ein MDP in $D_T$ mit Rate $b^2_n$ und Ratenfunktion:

1. Positiv-zentriert ($\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. Null-zentriert ($\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)$

Wobei $I_X(\psi) = \frac{1}{2\sigma^2_X}\int^T_0 |\dot{\psi}(t)|^2 dt$ für $\psi \in AC_0$, sonst $\infty$.

Theorem 2.6 (Explizite Ratenfunktion): Optimierungsprobleme können explizit gelöst werden (siehe oben "Explizite Form der Ratenfunktion").

Fluidlimit-Verhalten (Abschnitt 3)

Theorem 3.2: $\bar{W}^n \to \bar{W}$ u.o.c. in Wahrscheinlichkeit, wobei $\bar{W} = R_\theta(\bar{w}_0 + \mu e)$.

Stabilität in verschiedenen Parameterbereichen (Tabelle 1):

• Überlastung + starke Zustandsabhängigkeit ($\mu > 0, \theta > 0$): Stabilität bei positivem Wert $\mu/\theta$
• Kritische Last + nicht-negative Zustandsabhängigkeit ($\mu = 0, \theta \geq 0$): Stabilität bei 0
• Unterlastung ($\mu < 0$): Stabilität bei 0 (beliebiges $\theta$)
• Instabile Fälle: $\mu > 0, \theta \leq 0$ oder $\mu = 0, \theta < 0$

Ergänzende Ergebnisse

Theorem 4.3-4.4 (MDP für lineare Rekursionssysteme): Etablierung von MDP für unreflektiertes System $V^n$, Ratenfunktionsform ähnlich aber ohne Reflexionsabbildung.

Theorem B.3 (Funktionales zentrales Grenzwerttheorem): Beweis in Anhang B:

• Positiv-zentriert: $\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-Prozess)
• Null-zentriert: $\hat{W}^n \Rightarrow \hat{W} = R_\theta(\hat{W}_0 + \eta e + \sigma_X B)$ (reflektierter OU-Prozess)

Wobei $\hat{W}^n(t) = \sqrt{n}(\bar{W}^n(t) - \bar{W}^*)$ (Diffusionsskala).

Schlüssellemmata

1. Lemma 3.1: Fehlerterme $\bar{\epsilon}^{n}_{1}, \bar{\epsilon}^{n}_{2} \to 0$ u.o.c. in Wahrscheinlichkeit
2. Lemma 4.5: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{V}^n\|_T > K) = -\infty$
3. Lemma 4.6: $\{\tilde{\epsilon}^{n}_{2,V}\}$ ist exponentiell straff in $D_T$
4. Lemma 5.2: $\lim_{K \to \infty} \limsup_{n \to \infty} \frac{1}{b^2_n} \log P(\|\bar{W}^n\|_T > K) = -\infty$

Verwandte Arbeiten

Wartezeit-abhängige Warteschlangensysteme

• Frühe Arbeiten: Harris (1967), Callahan (1973), Brill (1988) untersuchten grundlegende Modelle
• Neuere Fortschritte:
  • Boxma and Vlasiou (2007): Bernoulli-Fall $C_i \in \{-1, 1\}$
  • Boxma et al. (2016): Deterministisches $C_i$ reflektierter AR(1)-Prozess, FCLT
  • Boxma et al. (2021), Huang (2023), Dimitriou and Fiems (2024): Allgemeinere $C_i$-Formen
  • Vlasiou and Palmowski (2014): Große-Abweichungs-Schwanzwahrscheinlichkeiten stationärer Verteilungen

Beitrag dieses Papiers: Erstes Beispielpfad-MDP-Ergebnis, Schließung einer Lücke im Spektrum der Grenzwertsätze.

Große-Abweichungs- und Moderate-Abweichungs-Theorie

• Beispielpfad-LDP:
  • Bazhba et al. (2025): Sublineare Rate LDP für gewöhnliche Lindley-Rekursion ($C_i = 1$)
  • Chen et al. (2024): LDP für schwerschwänzige affine Rekursion
• Beispielpfad-MDP:
  • Puhalskii (1999): GI/GI/1-Warteschlangen
  • Chang et al. (1999): Zufallsflüssigkeitswarteschlangen mit langreichweitiger Abhängigkeit
  • Anugu and Pang (2024a): Warteschlangen mit unendlich vielen Servern und zeitvariablen Servicezeiten
  • Feng et al. (2025): GI/GI/1+GI-Warteschlangen

Positionierung dieses Papiers: Erweiterung der MDP-Theorie auf zustandsabhängige Warteschlangensysteme.

Vervaat-Perpetuität

Die unreflektierte Rekursion $V^n_{i+1} = C^n_i V^n_i + X^n_i$ wird in der Literatur als Vervaat-Perpetuität bezeichnet:

• Kesten (1973), Brandt (1986), Embrechts and Goldie (1994): Stationäre Verteilungstheorie
• Vervaat (1979), Whitt (1990): Funktionale Grenzwertsätze
• Chen et al. (2024): LDP für schwerschwänzige Fälle

Beitrag dieses Papiers: Etablierung von MDP für solche Prozesse (Abschnitt 4) als Zwischenschritt zur Analyse reflektierter Prozesse.

MDP für rekursive Markov-Systeme

• Dupuis and Johnson (2015): Schwachkonvergenz-Methode durch Variationsformeln, erlaubt bestimmte nichtlineare Rekursionen
  • Unterschied: Dieses Papier entwickelt direkte Methode, behandelt Reflexionsterme explizit, arbeitet im $D_T$-Raum

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Theoretische Vollständigkeit: Etablierung eines vollständigen Grenzwertsatz-Rahmens für wartezeit-abhängige Warteschlangen (Fluidlimit, Diffusionslimit, Moderate-Deviation-Prinzip)
2. Dichotomie der Ratenfunktion:
   • Positiver Gleichgewichtspunkt: Einfache Ratenfunktionsform, keine Reflexion
   • Null-Gleichgewichtspunkt: Ratenfunktion beinhaltet Skorokhod-Reflexionsabbildung, komplexer
3. Methodologische Beiträge: Entwickelte Techniken (Martingal-Methoden, Argumentation zur exponentiellen Straffheit, Hilfssystem-Grenzen) anwendbar auf breitere reflektierte stochastische Prozesse
4. Parameterempfindlichkeit: Systemverhalten hochgradig empfindlich gegenüber nominaler Last $\mu$ und Stärke der Zustandsabhängigkeit $\theta$ (Tabelle 1 Zusammenfassung)

Einschränkungen

1. Modellannahmen:
   • Erfordert lineare Abhängigkeitsbeziehungen (reale Systeme können nichtlinear sein)
   • Spezifische Skalierungswahl $C^n_i = 1 - \Theta_i/n$ (obwohl konsistent mit bestehender Literatur)
   • Unabhängigkeitsannahmen ($\Theta_i$ unabhängig von $X^n_i$) möglicherweise zu stark
2. Stabilitätsbeschränkungen: Nur Analyse stabiler Gleichgewichtspunkte, instabile Fälle (z.B. $\mu > 0, \theta < 0$) nicht behandelt
3. Ein-Server-Beschränkung: Methode nicht auf Multi-Server oder Netzwerksysteme erweitert
4. Technische Bedingungen:
   • Existenz von Momentenerzeugungsfunktionen erforderlich (Annahme 2.3(ii))
   • Konvergenzrate-Anforderungen für Anfangsbedingungen (Annahme 2.3(i))
5. Fehlende numerische Validierung: Als rein theoretische Arbeit keine numerischen Beispiele oder Simulationsvalidierung

Zukünftige Richtungen

Vom Papier vorgeschlagene potenzielle Erweiterungen:

1. Nichtlineare Abhängigkeit: Erweiterung auf nichtlineare Zustandsabhängigkeit $A'_i = A_i + f(W_i)$
2. Multi-Server-Systeme: Analyse zustandsabhängiger Multi-Server-Warteschlangen im Halfin-Whitt-Regime
3. Netzwerksysteme: Erweiterung auf Jackson-Netzwerke oder allgemeinere Warteschlangennetzwerke
4. Schwerschwänzige Verteilungen: Untersuchung von Fällen, in denen $X^n_i$ oder $\Theta_i$ schwerschwänzige Verteilungen haben
5. Zeitvariable Parameter: Berücksichtigung von $\mu_n(t)$, $\theta_n(t)$ zeitabhängig
6. Optimierungsanwendungen: Nutzung von MDP-Ergebnissen für Simulation seltener Ereignisse und Risikomanagement

Tiefgreifende Bewertung

Stärken

1. Theoretische Strenge

• Vollständige Beweise: Alle Theoreme haben detaillierte Beweise, technische Details ausreichend
• Klare Logik: Von Fluidanalyse zu Hilfssystem bis zu Hauptergebnis, klare Hierarchie
• Umfangreiche Anhänge: Anhänge A-C bieten notwendigen Hintergrund und technische Lemmata

2. Methodische Innovation

• Direkte Beispielpfad-Methode: Im Vergleich zu Schwachkonvergenz-Methode intuitiver, besser für Reflexion geeignet
• Geschickte Martingal-Anwendung: Martingal-Konstruktion beim Beweis exponentiellen Verschwindens kreativ
• Systematischer Rahmen: Etablierter Rahmen zur Argumentation exponentieller Straffheit universell anwendbar

3. Explizitheit der Ergebnisse

• Ratenfunktionen vollständig explizit (Theorem 2.6), ermöglicht weitere Analyse und Anwendung
• Fluidlimit-Verhalten vollständig charakterisiert (Tabelle 1), deckt alle Parameterbereiche ab

4. Schreibqualität

• Klare Struktur: Einleitung ausreichend motiviert, Haupttext logisch stringent, Anhänge unterstützend
• Normalisierte Symbole: Konsistente Symbolverwendung (z.B. $\bar{x}^n$ für Fluidskala, $\tilde{x}^n$ für Moderate-Abweichungs-Skala)
• Umfassende Literaturübersicht: Ausreichende Diskussion von Verbindungen und Unterschieden zu verwandten Arbeiten

Mängel

1. Praktische Anwendbarkeit

• Keine numerische Validierung: Fehlende numerische Beispiele zur Veranschaulichung theoretischer Ergebnisse
• Unzureichende Anwendungsdiskussion: Nicht erörtert, wie MDP-Ergebnisse für praktische Systemanalyse oder -design genutzt werden
• Parameterschätzungsproblem: Nicht behandelt, wie $\theta$, $\sigma^2_\Theta$ etc. aus Daten geschätzt werden

2. Technische Annahmen

• Momentenerzeugungsfunktion-Bedingung (Annahme 2.3(ii)) schließt schwerschwänzige Verteilungen aus, begrenzt Anwendungsbereich
• Eindeutigkeit der Skalierungswahl: Nicht ausreichend erörtert, warum $C^n_i = 1 - \Theta_i/n$ die "natürliche" Wahl ist

3. Abdeckungsbereich

• Instabile Fälle fehlend: $\mu > 0, \theta \leq 0$ etc. instabile Fälle nicht analysiert
• Transientes Verhalten: Hauptfokus auf asymptotisches Verhalten, Approximationsqualität für endliches $n$ nicht diskutiert

4. Lesbarkeit

• Hohe technische Dichte: Für Nicht-Spezialisten möglicherweise schwierig, Beweisdetails zu folgen
• Unzureichende intuitive Erklärung: Bestimmte technische Schritte (z.B. Konstruktion des Hilfssystems $\Upsilon^n$) mangelt es an intuitiver Erklärung

Auswirkungen

Beitrag zum Feld

1. Schließung theoretischer Lücke: Erstes MDP für zustandsabhängige Warteschlangen, vervollständigt Grenzwertsatz-System des Feldes
2. Methodologischer Wert: Entwickelte Techniken anwendbar auf andere reflektierte stochastische Prozesse
3. Brückenfunktion: Verbindung von Warteschlangentheorie, Große-Abweichungs-Theorie und stochastischen Prozessen

Praktischer Wert

1. Risikobewertung: MDP bietet feinere Schätzung seltener Ereigniswahrscheinlichkeiten als Große-Abweichungen
2. Systemdesign: Ratenfunktion kann zur Optimierung von Systemparametern zur Kontrolle von Abweichungswahrscheinlichkeiten verwendet werden
3. Simulationsbeschleunigung: MDP-Ergebnisse können Varianzreduktionsmethoden wie Importance Sampling leiten

Reproduzierbarkeit

• Theoretische Ergebnisse: Theoremaussagen klar, Annahmen explizit, Prinzipiell verifizierbar
• Beweistechniken: Schritte detailliert, Referenzen ausreichend, dienen als Lernbeispiel für MDP-Techniken
• Code fehlend: Keine numerische Implementierungscode bereitgestellt (für rein theoretische Arbeit akzeptabel)

Anwendungsszenarien

1. Direkte Anwendung

• Medizinische Systeme: Notaufnahmen, Intensivstationen und andere wartezeitempfindliche medizinische Dienste
• Call Center: Szenarien, in denen Wartezeit nachfolgende Ankünfte und Servicegeschwindigkeit beeinflusst
• Computersysteme: Lastabhängige Aufgabenplanung und Servicebereitstellung

2. Theoretische Erweiterung

• Multi-Server-Warteschlangen: Methode möglicherweise auf M/M/c-ähnliche zustandsabhängige Systeme erweiterbar
• Warteschlangennetzwerke: Als Baustein für Analyse komplexer Netzwerke
• Finanzmathematik: Ähnliche Rekursionsstrukturen in bestimmten Finanzmodellen

3. Methodische Anleihe

• Reflektierte Diffusionsprozesse: Martingal-Techniken und Argumentation zur exponentiellen Straffheit anwendbar auf andere reflektierte Prozesse
• Zustandsabhängige Systeme: Hilfssystem-Grenzen-Methode universell anwendbar
• Moderate-Abweichungs-Theorie: Dient als Beispiel für MDP-Analyse anderer stochastischer Systeme

Empfehlungen für Folgeforschung

1. Numerische Studien: Simulationsvalidierung theoretischer Vorhersagen, Erkundung von Konvergenzgeschwindigkeit für endliches $n$
2. Parameterempfindlichkeitsanalyse: Systematische Untersuchung von Ratenfunktionsabhängigkeit von $\theta$, $\sigma^2_X$ etc.
3. Schwerschwänzige Erweiterung: Untersuchung, ob Annahme 2.3(ii) gelockert werden kann
4. Anwendungsfallstudien: Auswahl konkreter Anwendungsszenarien (z.B. Notaufnahmedaten) zur Modellvalidierung
5. Rechenmethoden: Entwicklung numerischer Algorithmen zur Berechnung von Ratenfunktionen und optimalen Pfaden

Ausgewählte Referenzen

1. Whitt, W. (1990). Queues with service times and interarrival times depending linearly and randomly upon waiting times. Queueing Systems, 6:335-351.
   • Klassische Arbeit, die dieses Papier erweitert
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-Ergebnisse für deterministische Zustandsabhängigkeit
3. Dupuis, P. and Johnson, D. (2015). Moderate Deviations for Recursive Stochastic Algorithms. Stochastic Systems, 5(1):87-119.
   • Verwandte MDP-Methode (Schwachkonvergenz-Ansatz)
4. Puhalskii, A. A. (1999). Moderate deviations for queues in critical loading. Queueing Systems, 31(3):359-392.
   • Klassische MDP-Arbeit für GI/GI/1-Warteschlangen
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 für schwerschwänzige Rekursionssysteme

Gesamtbewertung: Dies ist eine hochwertige theoretische mathematische Arbeit, die streng das Beispielpfad-Moderate-Deviation-Prinzip für wartezeit-abhängige Warteschlangensysteme etabliert und eine wichtige theoretische Lücke schließt. Die Methoden sind innovativ, die Ergebnisse explizit, die Beweise vollständig. Die Hauptmängel liegen in fehlender numerischer Validierung und Anwendungsdiskussion sowie in der Restriktivität bestimmter technischer Annahmen. Für Forscher in Warteschlangentheorie, Große-Abweichungs-Theorie und stochastischen Prozessen von wichtiger Referenzbedeutung und bietet auch theoretische Werkzeuge für praktische Systemrisikoanalyse. Empfohlen wird, dass zukünftige Arbeiten numerische Studien und praktische Anwendungen ergänzen.