Searcharxiv⌕ Search

arXiv subjects

Michel Mandjes

Publications and source records attributed to Michel Mandjes.

At least 91 records · Page 5Linked to original sources

A ruin model with a resampled environment

This paper considers a Cramér-Lundberg risk setting, where the components of the underlying model change over time. These components could be thought of as the claim arrival rate, the claim-size distribution, and the premium rate, but we allow the more general setting of the cumulative claim process being modelled as a spectrally positive Lévy process. We provide an intuitively appealing mechanism to create such parameter uncertainty: at Poisson epochs we resample the model components from a finite number of $d$ settings. It results in a setup that is particularly suited to describe situations in which the risk reserve dynamics are affected by external processes (such as the state of the economy, political developments, weather or climate conditions, and policy regulations). We extend the classical Cramér-Lundberg approximation (asymptotically characterizing the all-time ruin probability in a light-tailed setting) to this more general setup. In addition, for the situation that the driving Lévy processes are sums of Brownian motions and compound Poisson processes, we find an explicit uniform bound on the ruin probability, which can be viewed as an extension of Lundberg's inequality; importantly, here it is not required that the Lévy processes be spectrally one-sided. In passing we propose an importance-sampling algorithm facilitating efficient estimation, and prove it has bounded relative error. In a series of numerical experiments we assess the accuracy of the asymptotics and bounds, and illustrate that neglecting the resampling can lead to substantial underestimation of the risk.

math.PR↗

The correlation function of a queue with Levy and Markov additive input

Let $(Q_t)$ be a stationary workload process, and $r(t)$ the correlation coefficient of $Q_0$ and $Q_t$. In a series of previous papers (i) the transform of $r(\cdot)$ has been derived for the case that the driving process is spectrally-positive (sp) or spectrally-negative (sn) Levy, (ii) it has been shown that for sp-Levy and sn-Levy input $r(\cdot)$ is positive, decreasing, and convex, (iii) in case the driving Levy process is light-tailed (a condition that is automatically fulfilled in the sn case), the decay of the decay rate agrees with that of the tail of the busy period distribution. In the present paper we first prove the conjecture that property (ii) carries over to spectrally two-sided Levy processes; we do so for the case the Levy process is reflected at 0, and the case it is reflected at 0 and $K > 0$. Then we focus on queues fed by Markov additive processes (maps). We start by the establishing the counterpart of (i) for sp- and sn-maps. Then we refute property (ii) for maps: we construct examples in which the correlation coefficient can be (locally) negative, decreasing, and concave. Finally, in relation to (iii), we point out how to identify the decay rate of $r(\cdot)$ in the light-tailed map case, thus showing that the tail behavior of $r(\cdot)$ does not necessarily match that of the busy-period tail; singularities related to the transition rate matrix of the background Markov chain turn out to play a crucial role here.

math.PR↗

Rare Event Simulation for Steady-State Probabilities via Recurrency Cycles

We develop a new algorithm for the estimation of rare event probabilities associated with the steady-state of a Markov stochastic process with continuous state space $\mathbb R^d$ and discrete time steps (i.e. a discrete-time $\mathbb R^d$-valued Markov chain). The algorithm, which we coin Recurrent Multilevel Splitting (RMS), relies on the Markov chain's underlying recurrent structure, in combination with the Multilevel Splitting method. Extensive simulation experiments are performed, including experiments with a nonlinear stochastic model that has some characteristics of complex climate models. The numerical experiments show that RMS can boost the computational efficiency by several orders of magnitude compared to the Monte Carlo method.

math.PR↗

Exact asymptotics for a multi-timescale model, with applications in modeling overdispersed customer streams

In this paper we study the probability $ξ_n(u):={\mathbb P}\left(C_n\geqslant u n \right)$, with $C_n:=A(ψ_n B(φ_n))$ for Lévy processes $A(\cdot)$ and $B(\cdot)$, and $φ_n$ and $ψ_n$ non-negative sequences such that $φ_n ψ_n =n$ and $φ_n\to\infty$ as $n\to\infty$. Two timescale regimes are distinguished: a `fast' regime in which $φ_n$ is superlinear and a `slow' regime in which $φ_n$ is sublinear. We provide the exact asymptotics of $ξ_n(u)$ (as $n\to\infty$) for both regimes, relying on change-of-measure arguments in combination with Edgeworth-type estimates. The asymptotics have an unconventional form: the exponent contains the commonly observed linear term, but may also contain sublinear terms (the number of which depends on the precise form of $φ_n$ and $ψ_n$). To showcase the power of our results we include two examples, covering both the case where $C_n$ is lattice and non-lattice. Finally we present numerical experiments that demonstrate the importance of taking into account the doubly stochastic nature of $C_n$ in a practical application related to customer streams in service systems; they show that the asymptotic results obtained yield highly accurate approximations, also in scenarios in which there is no pronounced timescale separation.

math.PR↗

Estimating the input of a Lévy-driven queue by Poisson sampling of the workload process

This paper aims at semi-parametrically estimating the input process to a Lévy-driven queue by sampling the workload process at Poisson times. We construct a method-of-moments based estimator for the Lévy process' characteristic exponent. This method exploits the known distribution of the workload sampled at an exponential time, thus taking into account the dependence between subsequent samples. Verifiable conditions for consistency and asymptotic normality are provided, along with explicit expressions for the asymptotic variance. The method requires an intermediate estimation step of estimating a constant (related to both the input distribution and the sampling rate); this constant also features in the asymptotic analysis. For subordinator Lévy input, a partial MLE is constructed for the intermediate step and we show that it satisfies the consistency and asymptotic normality conditions. For general spectrally-positive Lévy input a biased estimator is proposed that only uses workload observations above some threshold; the bias can be made arbitrarily small by appropriately choosing the threshold.

math.PR↗

A Numerical Approach to Stability of Multiclass Queueing Networks

The Multi-class Queueing Network (McQN) arises as a natural multi-class extension of the traditional (single-class) Jackson network. In a single-class network subcriticality (i.e. subunitary nominal workload at every station) entails stability, but this is no longer sufficient when jobs/customers of different classes (i.e. with different service requirements and/or routing scheme) visit the same server; therefore, analytical conditions for stability of McQNs are lacking, in general. In this note we design a numerical (simulation-based) method for determining the stability region of a McQN, in terms of arrival rate(s). Our method exploits certain (stochastic) monotonicity properties enjoyed by the associated Markovian queue-configuration process. Stochastic monotonicity is a quite common feature of queueing models and can be easily established in the single-class framework (Jackson networks); recently, also for a wide class of McQNs, including first-come-first-serve (FCFS) networks, monotonicity properties have been established. Here, we provide a minimal set of conditions under which the method performs correctly. Eventually, we illustrate the use of our numerical method by presenting a set of numerical experiments, covering both single and multi-class networks.

math.PR↗

Stochastic Monotonicity of Markovian Multi-class Queueing Networks

Multi-class queueing networks (McQNs) extend the classical concept of Jackson network by allowing jobs of different classes to visit the same server. While such a generalization seems rather natural, from a structural perspective there is a significant gap between the two concepts. Nice analytical features of Jackson networks, such as stability conditions, product-form equilibrium distributions, and stochastic monotonicity do not immediately carry over to the multi-class framework. The aim of this paper is to shed some light on this structural gap, focusing on monotonicity properties. To this end, we introduce and study a class of Markov processes, which we call \emph{Q-processes}, modeling the time evolution of the network configuration of any open, work-conservative McQN having exponential service times and {Poisson input}. We define a new monotonicity notion tailored for this class of processes. Our main result is that we show monotonicity for a large class of McQN models, covering virtually all instances of practical interest. This leads to interesting properties which are commonly encountered for `traditional' queueing processes, such as (i)~monotonicity with respect to external arrival rates and (ii)~star-convexity of the stability region (with respect to the external arrival rates); such properties are well known for Jackson networks, but had not been established at this level of generality. This research was partly motivated by the recent development of a simulation-based method which allows one to numerically determine the stability region of a McQN parametrized in terms of the arrival rates vector.

math.PR↗

Linear Stochastic Fluid Networks: Rare-Event Simulation and Markov Modulation

We consider a linear stochastic fluid network under Markov modulation, with a focus on the probability that the joint storage level attains a value in a rare set at a given point in time. The main objective is to develop efficient importance sampling algorithms with provable performance guarantees. For linear stochastic fluid networks without modulation, we prove that the number of runs needed (so as to obtain an estimate with a given precision) increases polynomially (whereas the probability under consideration decays essentially exponentially); for networks operating in the slow modulation regime, our algorithm is asymptotically efficient. Our techniques are in the tradition of the rare-event simulation procedures that were developed for the sample-mean of i.i.d. one-dimensional light-tailed random variables, and intensively use the idea of exponential twisting. In passing, we also point out how to set up a recursion to evaluate the (transient and stationary) moments of the joint storage level in Markov-modulated linear stochastic fluid networks.

math.PR↗

Infinite-server queues with Hawkes input

In this paper we study the number of customers in infinite-server queues with a self-exciting (Hawkes) arrival process. Initially we assume that service requirements are exponentially distributed and that the Hawkes arrival process is of a Markovian nature. We obtain a system of differential equations that characterizes the joint distribution of the arrival intensity and the number of customers. Moreover, we provide a recursive procedure that explicitly identifies (transient and stationary) moments. Subsequently, we allow for non-Markovian Hawkes arrival processes and non-exponential service times. By viewing the Hawkes process as a branching process, we find that the probability generating function of the number of customers in the system can be expressed in terms of the solution of a fixed-point equation. We also include various asymptotic results: we derive the tail of the distribution of the number of customers for the case that the intensity jumps of the Hawkes process are heavy-tailed, and we consider a heavy-traffic regime. We conclude the paper by discussing how our results can be used computationally and by verifying the numerical results via simulations.

math.PR↗

Estimation of Local Degree Distributions via Local Weighted Averaging and Monte Carlo Cross-Validation

Owing to their capability of summarising interactions between elements of a system, networks have become a common type of data in many fields. As networks can be inhomogeneous, in that different regions of the network may exhibit different topologies, an important topic concerns their local properties. This paper focuses on the estimation of the local degree distribution of a vertex in an inhomogeneous network. The contributions are twofold: we propose an estimator based on local weighted averaging, and we set up a Monte Carlo cross-validation procedure to pick the parameters of this estimator. Under a specific modelling assumption we derive an oracle inequality that shows how the model parameters affect the precision of the estimator. We illustrate our method by several numerical experiments, on both real and synthetic data, showing in particular that the approach considerably improves upon the natural, empirical estimator.

stat.ME↗

Generalized gap acceptance models for unsignalized intersections

This paper contributes to the modeling and analysis of unsignalized intersections. In classical gap acceptance models vehicles on the minor road accept any gap greater than the CRITICAL gap, and reject gaps below this threshold, where the gap is the time between two subsequent vehicles on the major road. The main contribution of this paper is to develop a series of generalizations of existing models, thus increasing the model's practical applicability significantly. First, we incorporate {driver impatience behavior} while allowing for a realistic merging behavior; we do so by distinguishing between the critical gap and the merging time, thus allowing MULTIPLE vehicles to use a sufficiently large gap. Incorporating this feature is particularly challenging in models with driver impatience. Secondly, we allow for multiple classes of gap acceptance behavior, enabling us to distinguish between different driver types and/or different vehicle types. Thirdly, we use the novel M$^X$/SM2/1 queueing model, which has batch arrivals, dependent service times, and a different service-time distribution for vehicles arriving in an empty queue on the minor road (where `service time' refers to the time required to find a sufficiently large gap). This setup facilitates the analysis of the service-time distribution of an arbitrary vehicle on the minor road and of the queue length on the minor road. In particular, we can compute the MEAN service time, thus enabling the evaluation of the capacity for the minor road vehicles.

math.PR↗

Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning

This paper considers an unsignalized intersection used by two traffic streams. A stream of cars is using a primary road, and has priority over the other stream. Cars belonging to the latter stream cross the primary road if the gaps between two subsequent cars on the primary road are larger than their critical headways. A question that naturally arises relates to the capacity of the secondary road: given the arrival pattern of cars on the primary road, what is the maximum arrival rate of low-priority cars that can be sustained? This paper addresses this issue by considering a compact model that sheds light on the dynamics of the considered unsignalized intersection. The model, which is of a queueing-theoretic nature, reveals interesting insights into the impact of the user behavior on stability. The contributions of this paper are threefold. First, we obtain new results for the aforementioned model that includes driver impatience. Secondly, we reveal some surprising aspects that have remained unobserved in the existing literature so far, many of which are caused by the fact that the capacity of the minor road cannot be expressed in terms of the \emph{mean} gap size; instead more detailed characteristics of the critical headway distribution play a crucial role. The third contribution is the introduction of a new form of bunching on the main road, called Markov platooning. The tractability of this model allows us to study the impact of various platoon formations on the main road on the capacity of the minor road.

math.OC↗

Congestion analysis of unsignalized intersections

This paper considers an unsignalized intersection used by two traffic streams. A stream of cars is using a primary road, and has priority over the other, low-priority, stream. Cars belonging to the latter stream cross the primary road if the gaps between two subsequent cars on the primary road is larger than their critical headways. Questions that naturally arise are: given the arrival pattern of the cars on the primary road, what is the maximum arrival rate of low-priority cars such that the number of such cars remains stable? In the second place, what can be said about the delay experienced by a typical car at the secondary road? This paper addresses such issues by considering a compact model that sheds light on the dynamics of the considered unsignalized intersection. The model, which is of a queueing-theoretic nature, reveals interesting insights into the impact of the user behavior on the above stability and delay issues. The contribution of this paper is twofold. First, we obtain new results for the aforementioned model with driver impatience. Secondly, we reveal some surprising aspects that have remained unobserved in the existing literature so far, many of which are caused by the fact that the capacity of the minor road cannot be expressed in terms of the \emph{mean} gap size; instead more detailed characteristics of the critical headway distribution play a role.

math.OC↗

Networks of infinite-server queues with multiplicative transitions

This paper considers a network of infinite-server queues with the special feature that, triggered by specific events, the network population vector may undergo a linear transformation (a `multiplicative transition'). For this model we characterize the joint probability generating function in terms of a system of partial differential equations; this system enables the evaluation of (transient as well as stationary) moments. We show that several relevant systems fit in the framework developed, such as networks of retrial queues, networks in which jobs can be rerouted when links fail, and storage systems. Numerical examples illustrate how our results can be used to support design problems.

math.PR↗

Dimension Estimation Using Random Connection Models

Information about intrinsic dimension is crucial to perform dimensionality reduction, compress information, design efficient algorithms, and do statistical adaptation. In this paper we propose an estimator for the intrinsic dimension of a data set. The estimator is based on binary neighbourhood information about the observations in the form of two adjacency matrices, and does not require any explicit distance information. The underlying graph is modelled according to a subset of a specific random connection model, sometimes referred to as the Poisson blob model. Computationally the estimator scales like n log n, and we specify its asymptotic distribution and rate of convergence. A simulation study on both real and simulated data shows that our approach compares favourably with some competing methods from the literature, including approaches that rely on distance information.

stat.ML↗

Controlling the time discretization bias for the supremum of Brownian Motion

We consider the bias arising from time discretization when estimating the threshold crossing probability $w(b) := \mathbb{P}(\sup_{t\in[0,1]} B_t > b)$, with $(B_t)_{t\in[0,1]}$ a standard Brownian Motion. We prove that if the discretization is equidistant, then to reach a given target value of the relative bias, the number of grid points has to grow quadratically in $b$, as $b$ grows. When considering non-equidistant discretizations (with threshold-dependent grid points), we can substantially improve on this: we show that for such grids the required number of grid points is independent of $b$, and in addition we point out how they can be used to construct a strongly efficient algorithm for the estimation of $w(b)$. Finally, we show how to apply the resulting algorithm for a broad class of stochastic processes; it is empirically shown that the threshold-dependent grid significantly outperforms its equidistant counterpart.

math.PR↗

A Bitcoin-inspired infinite-server model with a random fluid limit

The synchronization process inherent to the Bitcoin network gives rise to an infinite-server model with the unusual feature that customers interact. Among the closed-form characteristics that we derive for this model is the busy period distribution which, counterintuitively, does not depend on the arrival rate. We explain this by exploiting the equivalence between two specific service disciplines, which is also used to derive the model's stationary distribution. Next to these closed-form results, the second major contribution concerns an asymptotic result: a fluid limit in the presence of service delays. Since fluid limits arise under scalings of the law-of-large-numbers type, they are usually deterministic, but in the setting of the model discussed in this paper the fluid limit is random (more specifically, of growth-collapse type).

math.PR↗

Networks of $\cdot/G/\infty$ Server Queues with Shot-Noise-Driven Arrival Intensities

We study infinite-server queues in which the arrival process is a Cox process (or doubly stochastic Poisson process), of which the arrival rate is given by shot noise. A shot-noise rate emerges as a natural model, if the arrival rate tends to display sudden increases (or: shots) at random epochs, after which the rate is inclined to revert to lower values. Exponential decay of the shot noise is assumed, so that the queueing systems are amenable for analysis. In particular, we perform transient analysis on the number of customers in the queue jointly with the value of the driving shot-noise process. Additionally, we derive heavy-traffic asymptotics for the number of customers in the system by using a linear scaling of the shot intensity. First we focus on a one dimensional setting in which there is a single infinite-server queue, which we then extend to a network setting.

math.PR↗