Searcharxiv⌕ Search

arXiv subjects

Michel Mandjes

Publications and source records attributed to Michel Mandjes.

At least 109 records · Page 6Linked to original sources

Rare-event analysis of mixed Poisson random variables, and applications in staffing

A common assumption when modeling queuing systems is that arrivals behave like a Poisson process with constant parameter. In practice, however, call arrivals are often observed to be significantly overdispersed. This motivates that in this paper we consider a mixed Poisson arrival process with arrival rates that are resampled every $N^{a}$ time units, where $a> 0$ and $N$ a scaling parameter. In the first part of the paper we analyse the asymptotic tail distribution of this doubly stochastic arrival process. That is, for large $N$ and i.i.d. arrival rates $X_1, \dots, X_N$, we focus on the evaluation of $P_N(A)$, the probability that the scaled number of arrivals exceeds $NA$. Relying on elementary techniques, we derive the exact asymptotics of $P_N(A)$: For $a< \frac{1}{3}$ and $a > 3$ we identify (in closed-form) a function $\tilde{P}_N(A)$ such that $P_N(A) / P_N(A)$ tends to $1$ as $N \to \infty$. For $a \in [\frac{1}{3},\frac{1}{2})$ and $a\in [2, 3)$ we find a partial solution in terms of an asymptotic lower bound. For the special case that the $X_i$s are gamma distributed, we establish the exact asymptotics across all $a> 0$. In addition, we set up an asymptotically efficient importance sampling procedure that produces reliable estimates at low computational cost. The second part of the paper considers an infinite-server queue assumed to be fed by such a mixed Poisson arrival process. Applying a scaling similar to the one in the definition of $P_N(A)$, we focus on the asymptotics of the probability that the number of clients in the system exceeds $NA$. The resulting approximations can be useful in the context of staffing. Our numerical experiments show that, astoundingly, the required staffing level can actually decrease when service times are more variable.

math.PR↗

Refined large deviations asymptotics for Markov-modulated infinite-server systems

Many networking-related settings can be modeled by Markov-modulated infinite-server systems. In such models, the customers' arrival rates and service rates are modulated by a Markovian background process, additionally, there are infinitely many servers (and consequently the resulting model is often used as a proxy for the corresponding many-server model). The Markov-modulated infinite-server model hardly allows any explicit analysis, apart from results in terms of systems of (ordinary or partial) differential equations for the underlying probability generating functions, and recursions to obtain all moments. As a consequence, recent research efforts have pursued an asymptotic analysis in various limiting regimes, notably the central-limit regime (describing fluctuations around the average behavior) and the large-deviations regime (focusing on rare events). Many of these results use the property that the number of customers in the system obeys a Poisson distribution with a random parameter. The objective of this paper is to develop techniques to accurately approximate tail probabilities in the large-deviations regime. We consider the scaling in which the arrival rates are inflated by a factor $N$, and we are interested in the probability that the number of customers exceeds a given level $Na$. Where earlier contributions focused on so-called $logarithmic$ $asymptotics$ of this exceedance probability (which are inherently imprecise), the present paper improves upon those results in that $exact$ $asymptotics$ are established. These are found in two steps: first the distribution of the random parameter of the Poisson distribution is characterized, and then this knowledge is used to identify the exact asymptotics. The paper is concluded by a set of numerical experiments, in which the accuracy of the asymptotic results is assessed.

math.PR↗

Detecting Markov Chain Instability: A Monte Carlo Approach

We devise a Monte Carlo based method for detecting whether a non-negative Markov chain is stable for a given set of parameter values. More precisely, for a given subset of the parameter space, we develop an algorithm that is capable of deciding whether the set has a subset of positive Lebesgue measure for which the Markov chain is unstable. The approach is based on a variant of simulated annealing, and consequently only mild assumptions are needed to obtain performance guarantees. The theoretical underpinnings of our algorithm are based on a result stating that the stability of a set of parameters can be phrased in terms of the stability of a single Markov chain that searches the set for unstable parameters. Our framework leads to a procedure that is capable of performing statistically rigorous tests for instability, which has been extensively tested using several examples of standard and non-standard queueing networks.

math.PR↗

Lévy-driven GPS queues with heavy-tailed input

In this paper we derive exact large-buffer asymptotics for a two-class Generalized Processor Sharing (GPS) model, under the assumption that the input traffic streams generated by both classes correspond to heavy-tailed Lévy processes. Four scenarios need to be distinguished, which differ in terms of (i)~the level of heavy-tailedness of the driving Lévy processes as well as (ii)~the values of the corresponding mean rates relative to the GPS weights. The derived results are illustrated by two important special cases, in which the queues' inputs are modeled by heavy-tailed compound Poisson processes and by $α$-stable Lévy motions.

math.PR↗

Explicit computations for some Markov modulated counting processes

In this paper we present elementary computations for some Markov modulated counting processes, also called counting processes with regime switching. Regime switching has become an increasingly popular concept in many branches of science. In finance, for instance, one could identify the background process with the `state of the economy', to which asset prices react, or as an identification of the varying default rate of an obligor. The key feature of the counting processes in this paper is that their intensity processes are functions of a finite state Markov chain. This kind of processes can be used to model default events of some companies. Many quantities of interest in this paper, like conditional characteristic functions, can all be derived from conditional probabilities, which can, in principle, be analytically computed. We will also study limit results for models with rapid switching, which occur when inflating the intensity matrix of the Markov chain by a factor tending to infinity. The paper is largely expository in nature, with a didactic flavor.

math.PR↗

Scaling limits for infinite-server systems in a random environment

This paper studies the effect of an overdispersed arrival process on the performance of an infinite-server system. In our setup, a random environment is modeled by drawing an arrival rate $Λ$ from a given distribution every $Δ$ time units, yielding an i.i.d. sequence of arrival rates $Λ_1,Λ_2, \ldots$. Applying a martingale central limit theorem, we obtain a functional central limit theorem for the scaled queue length process. We proceed to large deviations and derive the logarithmic asymptotics of the queue length's tail probabilities. As it turns out, in a rapidly changing environment (i.e., $Δ$ is small relative to $Λ$) the overdispersion of the arrival process hardly affects system behavior, whereas in a slowly changing random environment it is fundamentally different; this general finding applies to both the central limit and the large deviations regime. We extend our results to the setting where each arrival creates a job in multiple infinite-server queues.

math.PR↗

Convergence rates of Laplace-transform based estimators

This paper considers the problem of estimating probabilities of the form $\mathbb{P}(Y \leq w)$, for a given value of $w$, in the situation that a sample of i.i.d.\ observations $X_1, \ldots, X_n$ of $X$ is available, and where we explicitly know a functional relation between the Laplace transforms of the non-negative random variables $X$ and $Y$. A plug-in estimator is constructed by calculating the Laplace transform of the empirical distribution of the sample $X_1, \ldots, X_n$, applying the functional relation to it, and then (if possible) inverting the resulting Laplace transform and evaluating it in $w$. We show, under mild regularity conditions, that the resulting estimator is weakly consistent and has expected absolute estimation error $O(n^{-1/2} \log(n+1))$. We illustrate our results by two examples: in the first we estimate the distribution of the workload in an M/G/1 queue from observations of the input in fixed time intervals, and in the second we identify the distribution of the increments when observing a compound Poisson process at equidistant points in time (usually referred to as `decompounding').

stat.ME↗

Functional central limit theorems for Markov-modulated infinite-server systems

In this paper we study the Markov-modulated M/M/$\infty$ queue, with a focus on the correlation structure of the number of jobs in the system. The main results describe the system's asymptotic behavior under a particular scaling of the model parameters in terms of a functional central limit theorem. More specifically, relying on the martingale central limit theorem, this result is established, covering the situation in which the arrival rates are sped up by a factor $N$ and the transition rates of the background process by $N^α$, for some $α>0$. The results reveal an interesting dichotomy, with crucially different behavior for $α>1$ and $α<1$, respectively. The limiting Gaussian process, which is of the Ornstein-Uhlenbeck type, is explicitly identified, and it is shown to be in accordance with explicit results on the mean, variances and covariances of the number of jobs in the system.

math.PR↗

Transient analysis of a stationary Lévy-driven queue

In this paper we study a queue with Lévy input, without imposing any a priori assumption on the jumps being one-sided. The focus is on computing the transforms of all sorts of quantities related to the transient workload, assuming the workload is in stationarity at time 0. The results are simple expressions that are in terms of the bivariate Laplace exponents of ladder processes. In particular, we derive the transform of the minimum workload attained over an exponentially distributed interval.

math.PR↗

Extremes of multidimensional Gaussian processes

This paper considers extreme values attained by a centered, multidimensional Gaussian process $X(t)= (X_1(t),\ldots,X_n(t))$ minus drift $d(t)=(d_1(t),\ldots,d_n(t))$, on an arbitrary set $T$. Under mild regularity conditions, we establish the asymptotics of \[\log\mathbb P\left(\exists{t\in T}:\bigcap_{i=1}^n\left\{X_i(t)-d_i(t)>q_iu\right\}\right),\] for positive thresholds $q_i>0$, $i=1,\ldots,n$, and $u\to\infty$. Our findings generalize and extend previously known results for the single-dimensional and two-dimensional cases. A number of examples illustrate the theory.

math.PR↗

Lévy-driven polling systems and continuous-state branching processes

In this paper we consider a ring of $N\ge 1$ queues served by a single server in a cyclic order. After having served a queue (according to a service discipline that may vary from queue to queue), there is a switch-over period and then the server serves the next queue and so forth. This model is known in the literature as a \textit{polling model}. Each of the queues is fed by a non-decreasing Lévy process, which can be different during each of the consecutive periods within the server's cycle. The $N$-dimensional Lévy processes obtained in this fashion are described by their (joint) Laplace exponent, thus allowing for non-independent input streams. For such a system we derive the steady-state distribution of the joint workload at embedded epochs, i.e. polling and switching instants. Using the Kella-Whitt martingale, we also derive the steady-state distribution at an arbitrary epoch. Our analysis heavily relies on establishing a link between fluid (Lévy input) polling systems and multi-type Jiřina processes (continuous-state discrete-time branching processes). This is done by properly defining the notion of the \textit{branching property} for a discipline, which can be traced back to Fuhrmann and Resing. This definition is broad enough to contain the most important service disciplines, like exhaustive and gated.

math.PR↗

Analysis of Markov-modulated infinite-server queues in the central-limit regime

This paper focuses on an infinite-server queue modulated by an independently evolving finite-state Markovian background process, with transition rate matrix $Q\equiv(q_{ij})_{i,j=1}^d$. Both arrival rates and service rates are depending on the state of the background process. The main contribution concerns the derivation of central limit theorems for the number of customers in the system at time $t\ge 0$, in the asymptotic regime in which the arrival rates $λ_i$ are scaled by a factor $N$, and the transition rates $q_{ij}$ by a factor $N^α$, with $α\in \mathbb R^+$. The specific value of $α$ has a crucial impact on the result: (i) for $α>1$ the system essentially behaves as an M/M/$\infty$ queue, and in the central limit theorem the centered process has to be normalized by $\sqrt{N}$; (ii) for $α<1$, the centered process has to be normalized by $N^{{1-}α/2}$, with the deviation matrix appearing in the expression for the variance.

math.PR↗

Transient analysis of one-sided Lévy-driven queues

In this paper we analyze the transient behavior of the workload process in a Lévy input queue. We are interested in the value of the workload process at a random epoch; this epoch is distributed as the sum of independent exponential random variables. We consider both cases of spectrally one-sided Lévy input processes, for which we succeed in deriving explicit results. As an application we approximate the mean and the Laplace transform of the workload process after a deterministic time.

math.PR↗

Large deviations for Markov-modulated diffusion processes with rapid switching

In this paper, we study small noise asymptotics of Markov-modulated diffusion processes in the regime that the modulating Markov chain is rapidly switching. We prove the joint sample-path large deviations principle for the Markov-modulated diffusion process and the occupation measure of the Markov chain (which evidently also yields the large deviations principle for each of them separately by applying the contraction principle). The structure of the proof is such that we first prove exponential tightness, and then establish a local large deviations principle (where the latter part is split into proving the corresponding upper bound and lower bound).

math.PR↗

Markov-modulated Ornstein-Uhlenbeck processes

In this paper we consider an Ornstein-Uhlenbeck (OU) process $(M(t))_{t\geqslant 0}$ whose parameters are determined by an external Markov process $(X(t))_{t\geqslant 0}$ on a finite state space $\{1,\ldots,d\}$; this process is usually referred to as Markov-modulated Ornstein-Uhlenbeck (MMOU). We use stochastic integration theory to determine explicit expressions for the mean and variance of $M(t)$. Then we establish a system of partial differential equations (PDEs) for the Laplace transform of $M(t)$ and the state $X(t)$ of the background process, jointly for time epochs $t=t_1,\ldots,t_K.$ Then we use this PDE to set up a recursion that yields all moments of $M(t)$ and its stationary counterpart; we also find an expression for the covariance between $M(t)$ and $M(t+u)$. We then establish a functional central limit theorem for $M(t)$ for the situation that certain parameters of the underlying OU processes are scaled, in combination with the modulating Markov process being accelerated; interestingly, specific scalings lead to drastically different limiting processes. We conclude the paper by considering the situation of a single Markov process modulating multiple OU processes.

math.PR↗

On the tail asymptotics of the area swept under the Brownian storage graph

In this paper, the area swept under the workload graph is analyzed: with $\{Q(t) : t\ge0\}$ denoting the stationary workload process, the asymptotic behavior of \[π_{T(u)}(u):={\mathbb{P}}\biggl(\int_0^ {T(u)}Q(r)\,\mathrm{d}r>u\biggr)\] is analyzed. Focusing on regulated Brownian motion, first the exact asymptotics of $π_{T(u)}(u)$ are given for the case that $T(u)$ grows slower than $\sqrt{u}$, and then logarithmic asymptotics for (i) $T(u)=T\sqrt{u}$ (relying on sample-path large deviations), and (ii) $\sqrt{u}=\mathrm{o}(T(u))$ but $T(u)=\mathrm{o}(u)$. Finally, the Laplace transform of the residual busy period are given in terms of the Airy function.

math.ST↗

Logarithmic asymptotics for multidimensional extremes under non-linear scalings

Let $\boldsymbol W=\{\boldsymbol W_n:n\in\mathbb N\}$ be a sequence of random vectors in $\mathbb R^d$, $d\ge 1$. This paper considers the logarithmic asymptotics of the extremes of $\boldsymbol W$, that is, for any vector $\boldsymbol q>\boldsymbol 0$ in $\mathbb R^d$, we find $$\log\mathbb P\left(\exists{n\in\mathbb N}:\boldsymbol W_n> u \boldsymbol q\right), \quad\text{as} u\to\infty.$$ We follow the approach of the restricted large deviation principle introduced in Duffy et al. \textit{Logarithmic asymptotics for the supremum of a stochastic process} (Ann. Appl. Probab., 13:430--445, 2003). That is, we assume that, for every $\boldsymbol q\ge\boldsymbol 0$, and some scalings $\{a_n\},\{v_n\}$, $\frac{1}{v_n}\log\mathbb P\left(\boldsymbol W_n/a_n\ge u \boldsymbol q\right)$ has a, continuous in $\boldsymbol q$, limit $J_{\boldsymbol W}(\boldsymbol q)$. We allow the scalings $\{a_n\}$ and $\{v_n\}$ to be regularly varying with a positive index. This approach is general enough to incorporate sequences $\boldsymbol W$, such that the probability law of $\boldsymbol W_n/a_n$ satisfies the large deviation principle with continuous, not necessarily convex, rate functions. The formula for these asymptotics agrees with the seminal papers on this topic.

math.PR↗