Abstract:We consider an infinite server queue where the arrival and the service rates are both modulated by a stochastic environment governed by an $S$-valued stochastic process $X$ that is ergodic with a limiting measure $\pi\in \mathcal{P}(S)$. Under certain conditions when $X$ is semi-Markovian and satisfies the renewal regenerative property, long-term behavior of the total counts of people in the queue (denoted by $Y:=(Y_{t}:t\ge 0)$) becomes explicit and the limiting measure of $Y$ can be described through a well-studied affine stochastic recurrence equation (SRE) $X\stackrel{d}{=}CX+D,\,\, X\perp\!\!\!\perp (C, D)$. We propose a sampling scheme from that limiting measure with explicit convergence diagnostics. Additionally, one example is presented where the stochastic environment makes the system transient, in absence of a `no-feedback' assumption.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the description of the long - term behavior of the system in an infinite - server queue modulated by a random environment, when both the arrival rate and the service rate are modulated by an ergodic random process \(X\). Specifically, the author focuses on the fact that under certain conditions, when \(X\) is a semi - Markov process and satisfies the regenerative property, the long - term behavior of the total number of people \(Y_t\) in the queue can be clearly described, and its limit distribution can be represented by a known affine stochastic recurrence equation (SRE).
### Core Problems of the Paper
1. **Description of Long - term Behavior**
- When the arrival rate \(\lambda(X_s)\) and the service rate \(\mu(X_s)\) are both modulated by an ergodic random process \(X\), how to describe the long - term behavior of the total number of people \(Y_t\) in the queue?
- In the case where \(X\) is a semi - Markov process and satisfies the regenerative property, how to find the limit distribution of \(Y_t\)?
2. **Expression of Limit Distribution**
- How to represent the limit distribution of \(Y_t\) by a known affine stochastic recurrence equation (SRE)?
- How to sample from this limit distribution and provide explicit convergence diagnosis?
### Specific Problems
- **Random Modulation of Arrival Rate and Service Rate**
- The arrival rate \(\lambda(X_s)\) and the service rate \(\mu(X_s)\) are both modulated by an ergodic random process \(X\), where \(X\) is an \(S\)-valued random process with a limit measure \(\pi\in P(S)\).
- **Mathematical Description of Long - term Behavior**
- Under the condition that \(X\) is a semi - Markov process and satisfies the regenerative property, the long - term behavior of \(Y_t\) can be described by an affine stochastic recurrence equation \(X_d = CX + D\), where \(X\perp\perp(C, D)\).
- **Sampling Scheme of Limit Distribution**
- A method for sampling from the limit distribution is proposed and explicit convergence diagnosis is provided.
### Example
- **Transient Behavior**
- The paper also gives an example to illustrate that in the absence of the "no - feedback" assumption, the random environment \(X\) can make the system transient, that is, the marginal behavior of \(Y_t\) is no longer in a steady state.
### Main Contributions
1. **Mixed Poisson Distribution**
- It is given that in the time - asymptotic limit, the distribution of \(Y_t\) is a mixed Poisson distribution, where the mixing measure can be explicitly represented as the unique solution of a stochastic recurrence equation.
2. **Representation of Moments and Sampling Scheme**
- Due to the explicit representation of the mixing measure, the representation of the moments of the limit distribution is given, and an approximate sampling scheme and its related convergence diagnosis are provided.
### Conclusion
By studying the long - term behavior of an infinite - server queue modulated in a random environment, this paper proposes a new method to describe and analyze the asymptotic properties of such a system. These results are not only of great theoretical significance, but also have wide applicability in practical applications, especially in complex systems where environmental changes need to be considered.