-
Functional Central Limit Theorem for the principal eigenvalue of dynamic Erdős-Rényi random graphs
Authors:
Rajat Subhra Hazra,
Nikolai Kriukov,
Michel Mandjes
Abstract:
In this paper we consider a dynamic version of the Erdős-Rényi random graph, in which edges independently appear and disappear in time, with the on- and off times being exponentially distributed. The focus lies on the evolution of the principle eigenvalue of the adjacency matrix in the regime that the number of vertices grows large. The main result is a functional central limit theorem, which disp…
▽ More
In this paper we consider a dynamic version of the Erdős-Rényi random graph, in which edges independently appear and disappear in time, with the on- and off times being exponentially distributed. The focus lies on the evolution of the principle eigenvalue of the adjacency matrix in the regime that the number of vertices grows large. The main result is a functional central limit theorem, which displays that the principal eigenvalue essentially inherits the characteristics of the dynamics of the individual edges.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Characterizing the Age of Information with Multiple Coexisting Data Streams
Authors:
Yoshiaki Inoue,
Michel Mandjes
Abstract:
In this paper we analyze the distribution of the Age of Information (AoI) of a tagged data stream sharing a processor with a set of other data streams. We do so in the highly general setting in which the interarrival times pertaining to the tagged stream can have any distribution, and also the service times of both the tagged stream and the background stream are generally distributed. The packet a…
▽ More
In this paper we analyze the distribution of the Age of Information (AoI) of a tagged data stream sharing a processor with a set of other data streams. We do so in the highly general setting in which the interarrival times pertaining to the tagged stream can have any distribution, and also the service times of both the tagged stream and the background stream are generally distributed. The packet arrival times of the background process are assumed to constitute a Poisson process, which is justified by the fact that it typically is a superposition of many relatively homogeneous streams. The first major contribution is that we derive an expression for the Laplace-Stieltjes transform of the AoI in the resulting GI+M/GI+GI/1 model. Second, we use stochastic ordering techniques to identify tight stochastic bounds on the AoI. In addition, when approximating the tagged stream's inter-generation times through a phase-type distribution (which can be done at any precision), we present a computational algorithm for the mean AoI. As illustrated through a sequence of numerical experiments, the analysis enables us to assess the impact of background traffic on the AoI of the tagged stream.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Interpersonal trust: Asymptotic analysis of a stochastic coordination game with multi-agent learning
Authors:
Benedikt V. Meylahn,
Arnoud V. den Boer,
Michel Mandjes
Abstract:
We study the interpersonal trust of a population of agents, asking whether chance may decide if a population ends up in a high trust or low trust state. We model this by a discrete time, random matching stochastic coordination game. Agents are endowed with an exponential smoothing learning rule about the behaviour of their neighbours. We find that, with probability one in the long run the whole po…
▽ More
We study the interpersonal trust of a population of agents, asking whether chance may decide if a population ends up in a high trust or low trust state. We model this by a discrete time, random matching stochastic coordination game. Agents are endowed with an exponential smoothing learning rule about the behaviour of their neighbours. We find that, with probability one in the long run the whole population either always cooperates or always defects. By simulation we study the impact of the distributions of the payoffs in the game and of the exponential smoothing learning (memory of the agents). We find, that as the agent memory increases or as the size of the population increases, the actual dynamics start to resemble the expectation of the process. We conclude that it is indeed possible that different populations may converge upon high or low trust between its citizens simply by chance, though the game parameters (context of the society) may be quite telling.
△ Less
Submitted 17 May, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Estimation of on- and off-time distributions in a dynamic Erdős-Rényi random graph
Authors:
Michel Mandjes,
Jiesen Wang
Abstract:
In this paper we consider a dynamic Erdős-Rényi graph in which edges, according to an alternating renewal process, change from present to absent and vice versa. The objective is to estimate the on- and off-time distributions while only observing the aggregate number of edges. This inverse problem is dealt with, in a parametric context, by setting up an estimator based on the method of moments. We…
▽ More
In this paper we consider a dynamic Erdős-Rényi graph in which edges, according to an alternating renewal process, change from present to absent and vice versa. The objective is to estimate the on- and off-time distributions while only observing the aggregate number of edges. This inverse problem is dealt with, in a parametric context, by setting up an estimator based on the method of moments. We provide conditions under which the estimator is asymptotically normal, and we point out how the corresponding covariance matrix can be identified. It is also demonstrated how to adapt the estimation procedure if alternative subgraph counts are observed, such as the number of wedges or triangles.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Accurate and efficient approximation of large-scale appointment schedules
Authors:
René Bekker,
Bharti Bharti,
Michel Mandjes
Abstract:
Setting up optimal appointment schedules requires the computation of an inherently involved objective function, typically requiring distributional knowledge of the clients' waiting times and the server's idle times (as a function of the appointment times of the individual clients). A frequently used idea is to approximate the clients' service times by their phase-type counterpart, thus leading to…
▽ More
Setting up optimal appointment schedules requires the computation of an inherently involved objective function, typically requiring distributional knowledge of the clients' waiting times and the server's idle times (as a function of the appointment times of the individual clients). A frequently used idea is to approximate the clients' service times by their phase-type counterpart, thus leading to explicit expressions for the waiting-time and idle-time distributions. This method, however, requires the evaluation of the matrix exponential of potentially large matrices, which already becomes prohibitively slow from, say, 20 clients on. In this paper we remedy this issue by recursively approximating the distributions involved relying on a two-moments fit. More specifically, we approximate the sojourn time of each of the clients by a low-dimensional phase-type, Weibull or Lognormal random variable with the desired mean and variance. Our computational experiments show that this elementary, yet highly accurate, technique facilitates the evaluation of optimal appointment schedules even if the number of clients is large. The three ways to approximate the sojourn-time distribution turn out to be roughly equally accurate, except in certain specific regimes, where the low-dimensional phase-type fit performs well across all instances considered. As this low-dimensional phase-type fit is by far the fastest of the three alternatives, it is the approximation that we recommend.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A queueing-based approach for integrated routing and appointment scheduling
Authors:
René Bekker,
Bharti Bharti,
Leon Lan,
Michel Mandjes
Abstract:
This paper aims to address the integrated routing and appointment scheduling (RAS) problem for a single service provider. The RAS problem is an operational challenge faced by operators that provide services requiring home attendance, such as grocery delivery, home healthcare, or maintenance services. While considering the inherently random nature of service and travel times, the goal is to minimiz…
▽ More
This paper aims to address the integrated routing and appointment scheduling (RAS) problem for a single service provider. The RAS problem is an operational challenge faced by operators that provide services requiring home attendance, such as grocery delivery, home healthcare, or maintenance services. While considering the inherently random nature of service and travel times, the goal is to minimize a weighted sum of the operator's travel times and idle time, and the client's waiting times. To handle the complex search space of routing and appointment scheduling decisions, we propose a queueing-based approach to effectively deal with the appointment scheduling decisions. We use two well-known approximations from queueing theory: first, we use an approach based on phase-type distributions to accurately approximate the objective function, and second, we use an heavy-traffic approximation to derive an efficient procedure to obtain good appointment schedules. Combining these two approaches results in a fast and sufficiently accurate hybrid approximation, thus essentially reducing RAS to a routing problem. Moreover, we propose the use a simple yet effective large neighborhood search metaheuristic to explore the space of routing decisions. The effectiveness of our proposed methodology is tested on benchmark instances with up to 40 clients, demonstrating an efficient and accurate methodology for integrated routing and appointment scheduling.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Statistical inference for a service system with non-stationary arrivals and unobserved balking
Authors:
Shreehari Anand Bodas,
Michel Mandjes,
Liron Ravner
Abstract:
We study a multi-server queueing system with a periodic arrival rate and customers whose joining decision is based on their patience and a delay proxy. Specifically, each customer has a patience level sampled from a common distribution. Upon arrival, they receive an estimate of their delay before joining service and then join the system only if this delay is not more than their patience, otherwise…
▽ More
We study a multi-server queueing system with a periodic arrival rate and customers whose joining decision is based on their patience and a delay proxy. Specifically, each customer has a patience level sampled from a common distribution. Upon arrival, they receive an estimate of their delay before joining service and then join the system only if this delay is not more than their patience, otherwise they balk. The main objective is to estimate the parameters pertaining to the arrival rate and patience distribution. Here the complication factor is that this inference should be performed based on the observed process only, i.e., balking customers remain unobserved. We set up a likelihood function of the state dependent effective arrival process (i.e., corresponding to the customers who join), establish strong consistency of the MLE, and derive the asymptotic distribution of the estimation error. Due to the intrinsic non-stationarity of the Poisson arrival process, the proof techniques used in previous work become inapplicable. The novelty of the proving mechanism in this paper lies in the procedure of constructing i.i.d. objects from dependent samples by decomposing the sample path into i.i.d. regeneration cycles. The feasibility of the MLE-approach is discussed via a sequence of numerical experiments, for multiple choices of functions which provide delay estimates. In particular, it is observed that the arrival rate is best estimated at high service capacities, and the patience distribution is best estimated at lower service capacities.
△ Less
Submitted 22 March, 2024; v1 submitted 28 November, 2023;
originally announced November 2023.
-
On the area between a Lévy process with secondary jump inputs and its reflected version
Authors:
Offer Kella,
Michel Mandjes
Abstract:
We study the stochastic properties of the area under some function of the difference between (i) a spectrally positive Lévy process $W_t^x$ that jumps to a level $x>0$ whenever it hits zero, and (ii) its reflected version $W_t$. Remarkably, even though the analysis of each of these processes is challenging, we succeed in attaining explicit expressions for their difference. The main result concerns…
▽ More
We study the stochastic properties of the area under some function of the difference between (i) a spectrally positive Lévy process $W_t^x$ that jumps to a level $x>0$ whenever it hits zero, and (ii) its reflected version $W_t$. Remarkably, even though the analysis of each of these processes is challenging, we succeed in attaining explicit expressions for their difference. The main result concerns the Laplace-Stieltjes transform of the integral $A_x$ of (a function of) the distance between $W_t^x$ and $W_t$ until $W_t^x$ hits zero. This result is extended in a number of directions, including the area between $A_x$ and $A_y$ and a Gaussian limit theorem. We conclude the paper with an inventory problem for which our results are particularly useful.
△ Less
Submitted 5 June, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Moments of polynomial functionals in Levy-driven queues with secondary jumps
Authors:
Peter W. Glynn,
Royi Jacobovic,
Michel Mandjes
Abstract:
A long-standing open problem concerns the calculation of the moments of the area beneath the M/G/1 workload graph during a busy period. While expressions for the first two moments were known, no results for higher moments were available. This paper includes a recursive algorithm to compute all moments in terms of the model primitives. Our results extend to any storage system fed by a superposition…
▽ More
A long-standing open problem concerns the calculation of the moments of the area beneath the M/G/1 workload graph during a busy period. While expressions for the first two moments were known, no results for higher moments were available. This paper includes a recursive algorithm to compute all moments in terms of the model primitives. Our results extend to any storage system fed by a superposition of a drifted Brownian motion and a subordinator with a secondary jump input, yielding the moments of a general class of polynomial functionals of the workload process. Some applications of these moments are also provided.
△ Less
Submitted 12 November, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Bankruptcy probabilities under non-Poisson inspection
Authors:
Florine Kuipers,
Michel Mandjes,
Sara Morcy
Abstract:
This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level drop** below zero. For various types of inter-inspection time distributions, an explicit expression for the corresponding transform is given. In addition, Cramér-Lundberg type asymptotics are established. Also, an importance sampling based M…
▽ More
This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level drop** below zero. For various types of inter-inspection time distributions, an explicit expression for the corresponding transform is given. In addition, Cramér-Lundberg type asymptotics are established. Also, an importance sampling based Monte Carlo algorithm is proposed, and is shown to be logarithmically efficient.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Delayed Hawkes birth-death processes
Authors:
Justin Baars,
Roger J. A. Laeven,
Michel Mandjes
Abstract:
We introduce a variant of the Hawkes-fed birth-death process, in which the conditional intensity does not increase at arrivals, but at departures from the system. Since arrivals cause excitation after a delay equal to their lifetimes, we call this a delayed Hawkes process. We introduce a general family of models admitting a cluster representation containing the Hawkes, delayed Hawkes and ephemeral…
▽ More
We introduce a variant of the Hawkes-fed birth-death process, in which the conditional intensity does not increase at arrivals, but at departures from the system. Since arrivals cause excitation after a delay equal to their lifetimes, we call this a delayed Hawkes process. We introduce a general family of models admitting a cluster representation containing the Hawkes, delayed Hawkes and ephemerally self-exciting processes as special cases. For this family of models, as well as their nonlinear extensions, we prove existence, uniqueness and stability. Our family of models satisfies the same FCLT as the classical Hawkes process; however, we describe a scaling limit for the delayed Hawkes process in which sojourn times are stretched out by a factor $\sqrt T$, after which time gets contracted by a factor $T$. This scaling limit highlights the effect of sojourn-time dependence. The cluster representation renders our family of models tractable, allowing for transform characterisation by a fixed-point equation and for an analysis of heavy-tailed asymptotics. In the Markovian case, for a multivariate network of delayed Hawkes birth-death processes, an explicit recursive procedure is presented to calculate the $d$th-order moments analytically. Finally, we compare the delayed Hawkes process to the regular Hawkes process in the stochastic ordering, which enables us to describe stationary distributions and heavy-traffic behaviour.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Trusting: Alone and together
Authors:
Benedikt V. Meylahn,
Arnoud V. den Boer,
Michel Mandjes
Abstract:
We study the problem of an agent continuously faced with the decision of placing or not placing trust in an institution. The agent makes use of Bayesian learning in order to estimate the institution's true trustworthiness and makes the decision to place trust based on myopic rationality. Using elements from random walk theory, we explicitly derive the probability that such an agent ceases placing…
▽ More
We study the problem of an agent continuously faced with the decision of placing or not placing trust in an institution. The agent makes use of Bayesian learning in order to estimate the institution's true trustworthiness and makes the decision to place trust based on myopic rationality. Using elements from random walk theory, we explicitly derive the probability that such an agent ceases placing trust at some point in the relationship, as well as the expected time spent placing trust conditioned on their discontinuation thereof.
We then continue by modelling two truster agents, each in their own relationship to the institution. We consider two natural models of communication between them. In the first (``observable rewards'') agents disclose their experiences with the institution with one another, while in the second (``observable actions'') agents merely witness the actions of their neighbour, i.e., placing or not placing trust. Under the same assumptions as in the single agent case, we describe the evolution of the beliefs of agents under these two different communication models. Both the probability of ceasing to place trust and the expected time in the system elude explicit expressions, despite there being only two agents. We therefore conduct a simulation study in order to compare the effect of the different kinds of communication on the trust dynamics.
We find that a pair of agents in both communication models has a greater chance of learning the true trustworthiness of an institution than a single agent. Communication between agents promotes the formation of long term trust with a trustworthy institution as well as the timely exit from a trust relationship with an untrustworthy institution. Contrary to what one might expect, we find that having less information (observing each other's actions instead of experiences) can sometimes be beneficial to the agents.
△ Less
Submitted 4 February, 2024; v1 submitted 3 March, 2023;
originally announced March 2023.
-
On fluctuation-theoretic decompositions via Lindley-type recursions
Authors:
Onno Boxma,
Offer Kella,
Michel Mandjes
Abstract:
Consider a Lévy process $Y(t)$ over an exponentially distributed time $T_β$ with mean $1/β$. We study the joint distribution of the running maximum $\bar{Y}(T_β)$ and the time epoch $G(T_β$) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector ($\bar{Y}(T_β),G(T_β)$) can be written as a sum of two independent vectors, the first one being…
▽ More
Consider a Lévy process $Y(t)$ over an exponentially distributed time $T_β$ with mean $1/β$. We study the joint distribution of the running maximum $\bar{Y}(T_β)$ and the time epoch $G(T_β$) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector ($\bar{Y}(T_β),G(T_β)$) can be written as a sum of two independent vectors, the first one being ($\bar{Y}(T_{β+ω}),G(T_{β+ω})$) and the second one being the running maximum and corresponding time epoch under the restriction that the Lévy process is only observed at Poisson($ω$) inspection epochs (until $T_β$). We first provide an analytic proof for this remarkable decomposition, and then a more elementary proof that gives insight into the occurrence of the decomposition and into the fact that $ω$ only appears in the right hand side of the decomposition. The proof technique underlying the more elementary derivation also leads to further generalizations of the decomposition, and to some fundamental insights into a generalization of the well known Lindley recursion.
△ Less
Submitted 4 December, 2022;
originally announced December 2022.
-
Compound Multivariate Hawkes Processes: Large Deviations and Rare Event Simulation
Authors:
Raviar S. Karim,
Roger J. A. Laeven,
Michel R. H. Mandjes
Abstract:
In this paper, we establish a large deviations principle for a multivariate compound process induced by a multivariate Hawkes process with random marks. Our proof hinges on showing essential smoothness of the limiting cumulant of the multivariate compound process, resolving the inherent complication that this cumulant is implicitly characterized through a fixed-point representation. We employ the…
▽ More
In this paper, we establish a large deviations principle for a multivariate compound process induced by a multivariate Hawkes process with random marks. Our proof hinges on showing essential smoothness of the limiting cumulant of the multivariate compound process, resolving the inherent complication that this cumulant is implicitly characterized through a fixed-point representation. We employ the large deviations principle to derive logarithmic asymptotic results on the marginal ruin probabilities of the associated multivariate risk process. We also show how to conduct rare event simulation in this multivariate setting using importance sampling and prove the asymptotic efficiency of our importance sampling based estimator. The paper is concluded with a systematic assessment of the performance of our rare event simulation procedure.
△ Less
Submitted 27 June, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Road traffic estimation and distribution-based route selection
Authors:
Rens Kamphuis,
Michel Mandjes,
Paulo Serra
Abstract:
In route selection problems, the driver's personal preferences will determine whether she prefers a route with a travel time that has a relatively low mean and high variance over one that has relatively high mean and low variance. In practice, however, such risk aversion issues are often ignored, in that a route is selected based on a single-criterion Dijkstra-type algorithm. In addition, the rout…
▽ More
In route selection problems, the driver's personal preferences will determine whether she prefers a route with a travel time that has a relatively low mean and high variance over one that has relatively high mean and low variance. In practice, however, such risk aversion issues are often ignored, in that a route is selected based on a single-criterion Dijkstra-type algorithm. In addition, the routing decision typically does not take into account the uncertainty in the estimates of the travel time's mean and variance. This paper aims at resolving both issues by setting up a framework for travel time estimation. In our framework, the underlying road network is represented as a graph. Each edge is subdivided into multiple smaller pieces, so as to naturally model the statistical similarity between road pieces that are spatially nearby. Relying on a Bayesian approach, we construct an estimator for the joint per-edge travel time distribution, thus also providing us with an uncertainty quantification of our estimates. Our machinery relies on establishing limit theorems, making the resulting estimation procedure robust in the sense that it effectively does not assume any distributional properties. We present an extensive set of numerical experiments that demonstrate the validity of the estimation procedure and the use of the distributional estimates in the context of data-driven route selection.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Graphon-valued processes with vertex-level fluctuations
Authors:
Peter Braunsteins,
Frank den Hollander,
Michel Mandjes
Abstract:
We consider a class of graph-valued stochastic processes in which each vertex has a type that fluctuates randomly over time. Collectively, the paths of the vertex types up to a given time determine the probabilities that the edges are active or inactive at that time. Our focus is on the evolution of the associated empirical graphon in the limit as the number of vertices tends to infinity, in the s…
▽ More
We consider a class of graph-valued stochastic processes in which each vertex has a type that fluctuates randomly over time. Collectively, the paths of the vertex types up to a given time determine the probabilities that the edges are active or inactive at that time. Our focus is on the evolution of the associated empirical graphon in the limit as the number of vertices tends to infinity, in the setting where fluctuations in the graph-valued process are more likely to be caused by fluctuations in the vertex types than by fluctuations in the states of the edges given these types. We derive both sample-path large deviation principles and convergence of stochastic processes. We demonstrate the flexibility of our approach by treating a class of stochastic processes where the edge probabilities depend not only on the fluctuations in the vertex types but also on the state of the graph itself.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
Optimal departure time advice in road networks with stochastic disruptions
Authors:
Rens Kamphuis,
Nikki Levering,
Michel Mandjes
Abstract:
Due to recurrent (e.g. daily or weekly) patterns and non-recurrent disruptions (e.g. caused by incidents), travel times in road networks are time-dependent and inherently random. This is challenging for travelers planning a future trip, aiming to ensure on-time arrival at the destination, while also trying to limit the total travel-time budget spent. The focus of this paper lies on determining the…
▽ More
Due to recurrent (e.g. daily or weekly) patterns and non-recurrent disruptions (e.g. caused by incidents), travel times in road networks are time-dependent and inherently random. This is challenging for travelers planning a future trip, aiming to ensure on-time arrival at the destination, while also trying to limit the total travel-time budget spent. The focus of this paper lies on determining their optimal departure time: the latest time of departure for which a chosen on-time arrival probability can be guaranteed. To model the uncertainties in the network, a Markovian background process is used, tracking events affecting the driveable vehicle speeds on the links, thus enabling us to incorporate both recurrent and non-recurrent effects. It allows the evaluation of the travel-time distribution, given the state of this process at departure, on each single link. Then, a computationally efficient algorithm is devised that uses these individual link travel-time distributions to obtain the optimal departure time for a given path or origin-destination pair. Since the conditions in the road network, and thus the state of the background process, may change between the time of request and the advised time of departure, we consider an online version of this procedure as well, in which the traveler receives departure time updates while still at the origin. Finally, numerical experiments are conducted to exemplify a selection of properties of the optimal departure time and, moreover, quantify the performance of the presented algorithms in an existing road network -- the Dutch highway network.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Estimating Probability Distributions of Travel Times by Fitting a Markovian Velocity Model
Authors:
Nikki Levering,
Marko Boon,
Michel Mandjes
Abstract:
To improve the routing decisions of individual drivers and the management policies designed by traffic operators, one needs reliable estimates of travel time distributions. Since congestion caused by both recurrent patterns (e.g., rush hours) and non-recurrent events (e.g., traffic incidents) leads to potentially substantial delays in highway travel times, we focus on a framework capable of incorp…
▽ More
To improve the routing decisions of individual drivers and the management policies designed by traffic operators, one needs reliable estimates of travel time distributions. Since congestion caused by both recurrent patterns (e.g., rush hours) and non-recurrent events (e.g., traffic incidents) leads to potentially substantial delays in highway travel times, we focus on a framework capable of incorporating both effects. To this end, we propose to work with the Markovian Velocity model (MVM), based on an environmental background process that tracks both random and (semi-)predictable events affecting the vehicle speeds in a highway network. We show how to operationalize this flexible data-driven model in order to obtain the travel time distribution for a vehicle departing at a known day and time to traverse a given path. Specifically, we detail how to structure the background process and set the speed levels corresponding to the different states of this process. First, for the inclusion of non-recurrent events, we study incident data to describe the random durations of the incident and inter-incident times. Both of them depend on the time of day, but we identify periods in which they can be considered time-independent. Second, for an estimation of the speed patterns in both incident and inter-incident regime, loop detector data for each of the identified periods is studied. In numerical examples that use road network detector data of the Dutch highway network, we obtain the travel time distribution estimates that arise under different traffic regimes, and illustrate the advantages compared to traditional travel-time prediction methods.
△ Less
Submitted 11 October, 2022; v1 submitted 1 August, 2022;
originally announced August 2022.
-
A versatile stochastic dissemination model
Authors:
K. M. D. Chan,
M. R. H. Mandjes
Abstract:
This paper consider a highly general dissemination model that keeps track of the stochastic evolution of the distribution of wealth over a set of agents. There are two types of events: (i) units of wealth externally arrive, and (ii) units of wealth are redistributed among the agents, while throughout Markov modulation is allowed. We derive a system of coupled differential equations describing the…
▽ More
This paper consider a highly general dissemination model that keeps track of the stochastic evolution of the distribution of wealth over a set of agents. There are two types of events: (i) units of wealth externally arrive, and (ii) units of wealth are redistributed among the agents, while throughout Markov modulation is allowed. We derive a system of coupled differential equations describing the joint transient distribution of the agents' wealth values, which translate into linear differential equations when considering the corresponding means and (co-)variances. While our model uses the (economic) terminology of wealth being distributed over agents, we illustrate through a series of examples that it can be used considerably more broadly. Indeed, it also facilitates the analysis of the spread of opinions over a population (thus generalizing existing opinion dynamics models), and the analysis of the dynamics of a file storage system (thus allowing the assessment of the efficacy of storage policies).
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Central limit theorem for the principal eigenvalue and eigenvector of Chung-Lu random graphs
Authors:
Pierfrancesco Dionigi,
Diego Garlaschelli,
Rajat Subhra Hazra,
Frank den Hollander,
Michel Mandjes
Abstract:
A Chung-Lu random graph is an inhomogeneous Erdős-Rényi random graph in which vertices are assigned average degrees, and pairs of vertices are connected by an edge with a probability that is proportional to the product of their average degrees, independently for different edges. We derive a central limit theorem for the principal eigenvalue and the components of the principal eigenvector of the ad…
▽ More
A Chung-Lu random graph is an inhomogeneous Erdős-Rényi random graph in which vertices are assigned average degrees, and pairs of vertices are connected by an edge with a probability that is proportional to the product of their average degrees, independently for different edges. We derive a central limit theorem for the principal eigenvalue and the components of the principal eigenvector of the adjacency matrix of a Chung-Lu random graph. Our derivation requires certain assumptions on the average degrees that guarantee connectivity, sparsity and bounded inhomogeneity of the graph.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Externalities in queues as stochastic processes: The case of FCFS M/G/1
Authors:
Royi Jacobovic,
Michel Mandjes
Abstract:
Externalities are the costs that a user of a common resource imposes on others. For example, consider a FCFS M/G/1 queue and a customer with service demand of $x\geq0$ minutes who arrived into the system when the workload level was $v\geq0$ minutes. Let $E_v(x)$ be the total waiting time which could be saved if this customer gave up on his service demand. In this work, we analyse the \textit{exter…
▽ More
Externalities are the costs that a user of a common resource imposes on others. For example, consider a FCFS M/G/1 queue and a customer with service demand of $x\geq0$ minutes who arrived into the system when the workload level was $v\geq0$ minutes. Let $E_v(x)$ be the total waiting time which could be saved if this customer gave up on his service demand. In this work, we analyse the \textit{externalities process} $E_v(\cdot)=\left\{E_v(x):x\geq0\right\}$. It is shown that this process can be represented by an integral of a (shifted in time by $v$ minutes) compound Poisson process with positive discrete jump distribution, so that $E_v(\cdot)$ is convex. Furthermore, we compute the LST of the finite-dimensional distributions of $E_v(\cdot)$ as well as its mean and auto-covariance functions. We also identify conditions under which, a sequence of normalized externalities processes admits a weak convergence on $\mathcal{D}[0,\infty)$ equipped with the uniform metric to an integral of a (shifted in time by $v$ minutes) standard Wiener process. Finally, we also consider the extended framework when $v$ is a general nonnegative random variable which is independent from the arrival process and the service demands. This leads to a generalization of an existing result from a previous work of Haviv and Ritov (1998).
△ Less
Submitted 20 December, 2022; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Stability of a Stochastic Ring Network
Authors:
Jaap Storm,
Wouter Kager,
Michel Mandjes,
Sem Borst
Abstract:
In this paper we establish a necessary and sufficient stability condition for a stochastic ring network. Such networks naturally appear in a variety of applications within communication, computer, and road traffic systems. They typically involve multiple customer types and some form of priority structure to decide which customer receives service. These two system features tend to complicate the is…
▽ More
In this paper we establish a necessary and sufficient stability condition for a stochastic ring network. Such networks naturally appear in a variety of applications within communication, computer, and road traffic systems. They typically involve multiple customer types and some form of priority structure to decide which customer receives service. These two system features tend to complicate the issue of identifying a stability condition, but we demonstrate how the ring topology can be leveraged to solve the problem.
△ Less
Submitted 9 August, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Input estimation from discrete workload observations in a Lévy-driven storage system
Authors:
Dennis Nieman,
Michel Mandjes,
Liron Ravner
Abstract:
We consider the estimation of the characteristic exponent of the input to a Lévy-driven storage model. The input process is not directly observed, but rather the workload process is sampled on an equispaced grid. The estimator relies on an approximate moment equation associated with the Laplace-Stieltjes transform of the workload at exponentially distributed sampling times. The estimator is pointw…
▽ More
We consider the estimation of the characteristic exponent of the input to a Lévy-driven storage model. The input process is not directly observed, but rather the workload process is sampled on an equispaced grid. The estimator relies on an approximate moment equation associated with the Laplace-Stieltjes transform of the workload at exponentially distributed sampling times. The estimator is pointwise consistent for any observation grid. Moreover, the distribution of the estimation errors is asymptotically normal for a high frequency sampling scheme. A resampling scheme that uses the available information in a more efficient manner is suggested and studied via simulation experiments.
△ Less
Submitted 23 February, 2023; v1 submitted 20 May, 2022;
originally announced May 2022.
-
A Framework for Efficient Dynamic Routing under Stochastically Varying Conditions
Authors:
Nikki Levering,
Marko Boon,
Michel Mandjes,
Rudesindo Núñez-Queija
Abstract:
Despite measures to reduce congestion, occurrences of both recurrent and non-recurrent congestion cause large delays in road networks with important economic implications. Educated use of Intelligent Transportation Systems (ITS) can significantly reduce travel times. We focus on a dynamic stochastic shortest path problem: our objective is to minimize the expected travel time of a vehicle, assuming…
▽ More
Despite measures to reduce congestion, occurrences of both recurrent and non-recurrent congestion cause large delays in road networks with important economic implications. Educated use of Intelligent Transportation Systems (ITS) can significantly reduce travel times. We focus on a dynamic stochastic shortest path problem: our objective is to minimize the expected travel time of a vehicle, assuming the vehicle may adapt the chosen route while driving. We introduce a new stochastic process that incorporates ITS information to model the uncertainties affecting congestion in road networks. A Markov-modulated background process tracks traffic events that affect the speed of travelers. The resulting continuous-time routing model allows for correlation between velocities on the arcs and incorporates both recurrent and non-recurrent congestion. Obtaining the optimal routing policy in the resulting semi-Markov decision process using dynamic programming is computationally intractable for realistic network sizes. To overcome this, we present the EDSGER* algorithm, a Dijkstra-like shortest path algorithm that can be used dynamically with real-time response. We develop additional speed-up techniques that reduce the size of the network model. We quantify the performance of the algorithms by providing numerical examples that use road network detector data for The Netherlands.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
The Cramér-Lundberg model with a fluctuating number of clients
Authors:
Peter Braunsteins,
Michel Mandjes
Abstract:
This paper considers the Cramér-Lundberg model, with the additional feature that the number of clients can fluctuate over time. Clients arrive according to a Poisson process, where the times they spend in the system form a sequence of independent and identically distributed non-negative random variables. While in the system, every client generates claims and pays premiums. In order to describe the…
▽ More
This paper considers the Cramér-Lundberg model, with the additional feature that the number of clients can fluctuate over time. Clients arrive according to a Poisson process, where the times they spend in the system form a sequence of independent and identically distributed non-negative random variables. While in the system, every client generates claims and pays premiums. In order to describe the model's rare-event behaviour, we establish a sample-path large-deviation principle. This describes the joint rare-event behaviour of the reserve-level process and the client-population size process. The large-deviation principle can be used to determine the decay rate of the time-dependent ruin probability as well as the most likely path to ruin. Our results allow us to determine whether the chance of ruin is greater with more or with fewer clients and, more generally, to determine to what extent a large deviation in the reserve-level process can be attributed to an unusual outcome of the client-population size process.
△ Less
Submitted 24 May, 2023; v1 submitted 1 November, 2021;
originally announced November 2021.
-
A decomposition for Levy processes inspected at Poisson moments
Authors:
Onno Boxma,
Michel Mandjes
Abstract:
We consider a Lévy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($ω$) moments only, over an exponentially distributed time $T_β$ with parameter $β$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_β$, denoted by $Y_{β,ω}$. Our main result is a decomposition: we derive a remarkable distributional equali…
▽ More
We consider a Lévy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($ω$) moments only, over an exponentially distributed time $T_β$ with parameter $β$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_β$, denoted by $Y_{β,ω}$. Our main result is a decomposition: we derive a remarkable distributional equality that contains $Y_{β,ω}$ as well as the running maximum process $\bar Y(t)$ at the exponentially distributed times $T_β$ and $T_{β+ω}$. Concretely, $\overline{Y}(T_β)$ can be written the sum of the two independent random variables that are distributed as $Y_{β,ω}$ and $\overline{Y}(T_{β+ω})$. The distribution of $Y_{β,ω}$ can be identified more explicitly in the two special cases of a spectrally positive and a spectrally negative Lévy process. As an illustrative example of the potential of our results, we show how to determine the asymptotic behavior of the bankruptcy probability in the Cramér-Lundberg insurance risk model.
△ Less
Submitted 23 October, 2021;
originally announced October 2021.
-
Exact and Asymptotic Analysis of General Multivariate Hawkes Processes and Induced Population Processes
Authors:
Raviar Karim,
Roger J. A. Laeven,
Michel Mandjes
Abstract:
This paper considers population processes in which general, not necessarily Markovian, multivariate Hawkes processes dictate the stochastic arrivals. We establish results to determine the corresponding time-dependent joint probability distribution, allowing for general intensity decay functions, general intensity jumps, and general sojourn times. We obtain an exact, full characterization of the ti…
▽ More
This paper considers population processes in which general, not necessarily Markovian, multivariate Hawkes processes dictate the stochastic arrivals. We establish results to determine the corresponding time-dependent joint probability distribution, allowing for general intensity decay functions, general intensity jumps, and general sojourn times. We obtain an exact, full characterization of the time-dependent joint transform of the multivariate population process and its underlying intensity process in terms of a fixed-point representation and corresponding convergence results. We also derive the asymptotic tail behavior of the population process and its underlying intensity process in the setting of heavy-tailed intensity jumps. By exploiting the results we establish, arbitrary joint spatial-temporal moments and other distributional properties can now be readily evaluated using standard transform differentiation and inversion techniques, and we illustrate this in a few examples.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
A relative approach to opinion formation
Authors:
Kit Ming Danny Chan,
Robert Duivenvoorden,
Andreas Flache,
Michel Mandjes
Abstract:
Formal models of opinion formation commonly represent an individual's opinion by a value on a fixed opinion interval. We propose an alternative modeling method wherein interpretation is only provided to the relative positions of opinions vis-à-vis each other. This method is then considered in a similar setting as the discrete-time Altafini model (an extension of the well-known DeGroot model), but…
▽ More
Formal models of opinion formation commonly represent an individual's opinion by a value on a fixed opinion interval. We propose an alternative modeling method wherein interpretation is only provided to the relative positions of opinions vis-à-vis each other. This method is then considered in a similar setting as the discrete-time Altafini model (an extension of the well-known DeGroot model), but with more general influence weights. Even in a linear framework, the model can describe, in the long run, polarization, dynamics with a periodic pattern, and (modulus) consensus formation. In addition, in our alternative approach key characteristics of the opinion dynamic can be derived from real-valued square matrices of influence weights, which immediately allows one to transfer matrix theory insights to the field of opinion formation dynamics under more relaxed conditions than in the DeGroot or discrete-time Altafini models. A few specific themes are covered: (i) We demonstrate how stable patterns in relative opinion dynamics are identified which are hidden when opinions are considered in an absolute opinion framework. (ii) For the two-agent case, we provide an exhaustive closed-form description of the relative opinion model's dynamic in the long run. (iii) We explore group dynamics analytically, in particular providing a non-trivial condition under which a subgroup's asymptotic behavior carries over to the entire population.
△ Less
Submitted 2 February, 2022; v1 submitted 30 March, 2021;
originally announced April 2021.
-
On Capital Allocation for a Risk Measure Derived from Ruin Theory
Authors:
Guusje Delsing,
Michel Mandjes,
Peter Spreij,
Erik Winands
Abstract:
This paper addresses allocation methodologies for a risk measure inherited from ruin theory. Specifically, we consider a dynamic value-at-risk (VaR) measure defined as the smallest initial capital needed to ensure that the ultimate ruin probability is less than a given threshold. We introduce an intuitively appealing, novel allocation method, with a focus on its application to capital reserves whi…
▽ More
This paper addresses allocation methodologies for a risk measure inherited from ruin theory. Specifically, we consider a dynamic value-at-risk (VaR) measure defined as the smallest initial capital needed to ensure that the ultimate ruin probability is less than a given threshold. We introduce an intuitively appealing, novel allocation method, with a focus on its application to capital reserves which are determined through the dynamic value-at-risk (VaR) measure. Various desirable properties of the presented approach are derived including a limit result when considering a large time horizon and the comparison with the frequently used gradient allocation method. In passing, we introduce a second allocation method and discuss its relation to the other allocation approaches. A number of examples illustrate the applicability and performance of the allocation approaches.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Dynamic Appointment Scheduling
Authors:
Roshan Mahes,
Michel Mandjes,
Marko Boon,
Peter Taylor
Abstract:
This paper considers appointment scheduling in a setting in which at every client arrival the schedule of all future clients can be adapted. Starting our analysis with an explicit treatment of the case of exponentially distributed service times, we then develop a phase-type-based approach to also cover cases in which the service times' squared coefficient of variation differs from 1. The approach…
▽ More
This paper considers appointment scheduling in a setting in which at every client arrival the schedule of all future clients can be adapted. Starting our analysis with an explicit treatment of the case of exponentially distributed service times, we then develop a phase-type-based approach to also cover cases in which the service times' squared coefficient of variation differs from 1. The approach relies on dynamic programming, with the state information being the number of clients waiting, the elapsed service time of the client in service, and the number of clients still to be scheduled. The use of dynamic schedules is illustrated through a set of numerical experiments, showing (i) the effect of wrongly assuming exponentially distributed service times, and (ii) the gains (over static schedules, that is) achieved by rescheduling.
△ Less
Submitted 16 May, 2023; v1 submitted 17 March, 2021;
originally announced March 2021.
-
A sample-path large deviation principle for dynamic Erdős-Rényi random graphs
Authors:
Peter Braunsteins,
Frank den Hollander,
Michel Mandjes
Abstract:
We consider a dynamic Erdős-Rényi random graph (ERRG) on $n$ vertices in which each edge switches on at rate $λ$ and switches off at rate $μ$, independently of other edges. The focus is on the analysis of the evolution of the associated empirical graphon in the limit as $n\to\infty$. Our main result is a large deviation principle (LDP) for the sample path of the empirical graphon observed until a…
▽ More
We consider a dynamic Erdős-Rényi random graph (ERRG) on $n$ vertices in which each edge switches on at rate $λ$ and switches off at rate $μ$, independently of other edges. The focus is on the analysis of the evolution of the associated empirical graphon in the limit as $n\to\infty$. Our main result is a large deviation principle (LDP) for the sample path of the empirical graphon observed until a fixed time horizon. The rate is $\binom{n}{2}$, the rate function is a specific action integral on the space of graphon trajectories. We apply the LDP to identify (i) the most likely path that starting from a constant graphon creates a graphon with an atypically large density of $d$-regular subgraphs, and (ii) the mostly likely path between two given graphons. It turns out that bifurcations may occur in the solutions of associated variational problems.
△ Less
Submitted 27 September, 2020;
originally announced September 2020.
-
A spectral signature of breaking of ensemble equivalence for constrained random graphs
Authors:
Pierfrancesco Dionigi,
Diego Garlaschelli,
Frank den Hollander,
Michel Mandjes
Abstract:
For random systems subject to a constraint, the microcanonical ensemble requires the constraint to be met by every realisation ("hard constraint"), while the canonical ensemble requires the constraint to be met only on average ("soft constraint"). It is known that for random graphs subject to topological constraints breaking of ensemble equivalence may occur when the size of the graph tends to inf…
▽ More
For random systems subject to a constraint, the microcanonical ensemble requires the constraint to be met by every realisation ("hard constraint"), while the canonical ensemble requires the constraint to be met only on average ("soft constraint"). It is known that for random graphs subject to topological constraints breaking of ensemble equivalence may occur when the size of the graph tends to infinity, signalled by a non-vanishing specific relative entropy of the two ensembles. We investigate to what extent breaking of ensemble equivalence is manifested through the largest eigenvalue of the adjacency matrix of the graph. We consider two examples of constraints in the dense regime: (1) fix the degrees of the vertices (= the degree sequence); (2) fix the sum of the degrees of the vertices (= twice the number of edges). Example (1) imposes an extensive number of local constraints and is known to lead to breaking of ensemble equivalence. Example (2) imposes a single global constraint and is known to lead to ensemble equivalence. Our working hypothesis is that breaking of ensemble equivalence corresponds to a non-vanishing difference of the expected values of the largest eigenvalue under the two ensembles. We verify that, in the limit as the size of the graph tends to infinity, the difference between the expected values of the largest eigenvalue in the two ensembles does not vanish for (1) and vanishes for (2). A key tool in our analysis is a transfer method that uses relative entropy to determine whether probabilistic estimates can be carried over from the canonical ensemble to the microcanonical ensemble, and illustrates how breaking of ensemble equivalence may prevent this from being possible.
△ Less
Submitted 1 November, 2021; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Large deviations for acyclic networks of queues with correlated Gaussian inputs
Authors:
Martin Zubeldia,
Michel Mandjes
Abstract:
We consider an acyclic network of single-server queues with heterogeneous processing rates. It is assumed that each queue is fed by the superposition of a large number of i.i.d. Gaussian processes with stationary increments and positive drifts, which can be correlated across different queues. The flow of work departing from each server is split deterministically and routed to its neighbors accordi…
▽ More
We consider an acyclic network of single-server queues with heterogeneous processing rates. It is assumed that each queue is fed by the superposition of a large number of i.i.d. Gaussian processes with stationary increments and positive drifts, which can be correlated across different queues. The flow of work departing from each server is split deterministically and routed to its neighbors according to a fixed routing matrix, with a fraction of it leaving the network altogether.
We study the exponential decay rate of the probability that the steady-state queue length at any given node in the network is above any fixed threshold, also referred to as the "overflow probability". In particular, we first leverage Schilder's sample-path large deviations theorem to obtain a general lower bound for the limit of this exponential decay rate, as the number of Gaussian processes goes to infinity. Then, we show that this lower bound is tight under additional technical conditions. Finally, we show that if the input processes to the different queues are non-negatively correlated, non short-range dependent fractional Brownian motions, and if the processing rates are large enough, then the asymptotic exponential decay rates of the queues coincide with the ones of isolated queues with appropriate Gaussian inputs.
△ Less
Submitted 29 August, 2020;
originally announced August 2020.
-
From reflected Lévy processes to stochastically monotone Markov processes via generalized inverses and supermodularity
Authors:
Offer Kella,
Michel Mandjes
Abstract:
It was recently proven that the correlation function of the stationary version of a reflected Lévy process is nonnegative, nonincreasing and convex. In another branch of the literature it was established that the mean value of the reflected process starting from zero is nonnegative, nondecreasing and concave. In the present paper it is shown, by putting them in a common framework, that these resul…
▽ More
It was recently proven that the correlation function of the stationary version of a reflected Lévy process is nonnegative, nonincreasing and convex. In another branch of the literature it was established that the mean value of the reflected process starting from zero is nonnegative, nondecreasing and concave. In the present paper it is shown, by putting them in a common framework, that these results extend to substantially more general settings. Indeed, instead of reflected Lévy processes, we consider a class of more general stochastically monotone Markov processes. In this setup we show monotonicity results associated with a supermodular function of two coordinates of our Markov process, from which the above-mentioned monotonicity and convexity/concavity results directly follow, but now for the class of Markov processes considered rather than just reflected Lévy processes. In addition, various results for the transient case (when the Markov process is not in stationarity) are provided. The conditions imposed are natural, in that they are satisfied by various frequently used Markovian models, as illustrated by a series of examples.
△ Less
Submitted 13 August, 2021; v1 submitted 10 August, 2020;
originally announced August 2020.
-
A Gaussian segment-based traffic flow model for the design and control of transport networks
Authors:
Michel Mandjes,
Jaap Storm
Abstract:
In the setting of a recently developed cellular stochastic traffic flow model, it has shown that the joint per-cell vehicle densities, as a function of time, can be accurately approximated by a Gaussian process, which has the attractive feature that its means and (spatial and temporal) covariances can be efficiently evaluated. The present article demonstrates the rich potential of this methodology…
▽ More
In the setting of a recently developed cellular stochastic traffic flow model, it has shown that the joint per-cell vehicle densities, as a function of time, can be accurately approximated by a Gaussian process, which has the attractive feature that its means and (spatial and temporal) covariances can be efficiently evaluated. The present article demonstrates the rich potential of this methodology in the context of road traffic control and transportation network design. To solidly provide empirical backing for the use of a multivariate Gaussian approximation, we rely on a detailed historical dataset that contains traffic flow data. Then, in the remainder of the paper, we provide a sequence of design and control related example questions that can be analyzed using the Gaussian methodology. These cover the following topics: (i) evaluation of stationary performance measures, (ii) route selection, (iii) control of traffic flows, and (iv) performance of traffic networks with arbitrary topology. In discussing the setup, results, and applications of these examples, we stress the appropriateness of our {stochastic} traffic model over a deterministic counterpart.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
Staffing for many-server systems facing non-standard arrival processes
Authors:
M. Heemskerk,
M. Mandjes,
B. Mathijsen
Abstract:
Arrival processes to service systems often display (i) larger than anticipated fluctuations, (ii) a time-varying rate, and (iii) temporal correlation. Motivated by this, we introduce a specific non-homogeneous Poisson process that incorporates these three features. The resulting arrival process is fed into an infinite-server system, which is then used as a proxy for its many-server counterpart. Th…
▽ More
Arrival processes to service systems often display (i) larger than anticipated fluctuations, (ii) a time-varying rate, and (iii) temporal correlation. Motivated by this, we introduce a specific non-homogeneous Poisson process that incorporates these three features. The resulting arrival process is fed into an infinite-server system, which is then used as a proxy for its many-server counterpart. This leads to a staffing rule based on the square-root staffing principle that acknowledges the three features. After a slight rearrangement of servers over the time slots, we succeed to stabilize system performance even under highly varying and strongly correlated conditions. We fit the arrival stream model to real data from an emergency department and demonstrate (by simulation) the performance of the novel staffing rule.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
A transient Cramér-Lundberg model with applications to credit risk
Authors:
Guusje Delsing,
Michel Mandjes
Abstract:
This paper considers a variant of the classical Cramér-Lundberg model that is particularly appropriate in the credit context, with the distinguishing feature that it corresponds to a finite number of obligors. The focus is on computing the ruin probability, i.e., the probability that the initial reserve, increased by the interest received from the obligors and decreased by the losses due to defaul…
▽ More
This paper considers a variant of the classical Cramér-Lundberg model that is particularly appropriate in the credit context, with the distinguishing feature that it corresponds to a finite number of obligors. The focus is on computing the ruin probability, i.e., the probability that the initial reserve, increased by the interest received from the obligors and decreased by the losses due to defaults, drops below zero. Besides an exact analysis (in terms of transforms) of this ruin probability, also an asymptotic analysis is performed, including an efficient importance-sampling based simulation approach. The base model is extended in multiple dimensions: (i) we consider a model in which there may, in addition, be losses that do not correspond to defaults, (ii) then we analyze a model in which the individual obligors are coupled through a regime-switching mechanism, (iii) then we extend the model such that between the losses the reserve process behaves as a Brownian motion rather than a deterministic drift, and (iv) we finally consider a set-up with multiple groups of statistically identical obligors.
△ Less
Submitted 4 December, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Bounds for expected supremum of fractional Brownian motion with drift
Authors:
Krzysztof Bisewski,
Krzysztof Dębicki,
Michel Mandjes
Abstract:
We provide upper and lower bounds for the mean ${\mathscr M}(H)$ of $\sup_{t\geqslant 0} \{B_H(t) - t\}$, with $B_H(\cdot)$ a zero-mean, variance-normalized version of fractional Brownian motion with Hurst parameter $H\in(0,1)$. We find bounds in (semi-)closed-form, distinguishing between $H\in(0,\frac{1}{2}]$ and $H\in[\frac{1}{2},1)$, where in the former regime a numerical procedure is presented…
▽ More
We provide upper and lower bounds for the mean ${\mathscr M}(H)$ of $\sup_{t\geqslant 0} \{B_H(t) - t\}$, with $B_H(\cdot)$ a zero-mean, variance-normalized version of fractional Brownian motion with Hurst parameter $H\in(0,1)$. We find bounds in (semi-)closed-form, distinguishing between $H\in(0,\frac{1}{2}]$ and $H\in[\frac{1}{2},1)$, where in the former regime a numerical procedure is presented that drastically reduces the upper bound. For $H\in(0,\frac{1}{2}]$, the ratio between the upper and lower bound is bounded, whereas for $H\in[\frac{1}{2},1)$ the derived upper and lower bound have a strongly similar shape. We also derive a new upper bound for the mean of $\sup_{t\in[0,1]} B_H(t)$, $H\in(0,\tfrac{1}{2}]$, which is tight around $H=\tfrac{1}{2}$.
△ Less
Submitted 16 February, 2021; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Estimating customer impatience in a service system with unobserved balking
Authors:
Yoshiaki Inoue,
Liron Ravner,
Michel Mandjes
Abstract:
This paper studies a service system in which arriving customers are provided with information about the delay they will experience. Based on this information they decide to wait for service or to leave the system. Specifically, every customer has a patience threshold and they balk if the observed delay is above the threshold. The main objective is to estimate the parameters of the customers' patie…
▽ More
This paper studies a service system in which arriving customers are provided with information about the delay they will experience. Based on this information they decide to wait for service or to leave the system. Specifically, every customer has a patience threshold and they balk if the observed delay is above the threshold. The main objective is to estimate the parameters of the customers' patience-level distribution and the corresponding potential arrival rate, using knowledge of the actual queue-length process only. The main complication, and distinguishing feature of our setup, lies in the fact that customers who decide not to join are not observed, remarkably, we manage to devise a procedure to estimate the underlying patience and arrival rate parameters. The model is a multi-server queue with a Poisson stream of customers, enabling evaluation of the corresponding likelihood function of the state-dependent effective arrival process. We establish strong consistency of the MLE and derive the asymptotic distribution of the estimation error. Several applications and extensions of the method are discussed. The performance is further assessed through a series of numerical experiments. By fitting parameters of hyperexponential and generalized-hyperexponential distributions our method provides a robust estimation framework for any continuous patience-level distribution.
△ Less
Submitted 30 August, 2022; v1 submitted 7 May, 2020;
originally announced May 2020.
-
A Multiplicative Version of the Lindley Recursion
Authors:
Onno Boxma,
Andreas Löpker,
Michel Mandjes,
Zbigniew Palmowski
Abstract:
This paper presents an analysis of the stochastic recursion $W_{i+1} = [V_iW_i+Y_i]^+$ that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing $Y_i=B_i-A_i$, for independent sequences of non-negative i.i.d.\ random variables $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$, and assuming…
▽ More
This paper presents an analysis of the stochastic recursion $W_{i+1} = [V_iW_i+Y_i]^+$ that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing $Y_i=B_i-A_i$, for independent sequences of non-negative i.i.d.\ random variables $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$, and assuming $\{V_i\}_{i\in N_0}$ is an i.i.d. sequence as well (independent of $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$), we then consider three special cases: (i) $V_i$ attains negative values only and $B_i$ has a rational LST, (ii) $V_i$ equals a positive value $a$ with certain probability $p\in (0,1)$ and is negative otherwise, and both $A_i$ and $B_i$ have a rational LST, (iii) $V_i$ is uniformly distributed on $[0,1]$, and $A_i$ is exponentially distributed. In all three cases we derive transient and stationary results, where the transient results are in terms of the transform at a geometrically distributed epoch.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
A diffusion-based analysis of a multi-class road traffic network
Authors:
Michel Mandjes,
Jaap Storm
Abstract:
This paper studies a stochastic model that describes the evolution of vehicle densities in a road network. It is consistent with the class of (deterministic) kinematic wave models, which describe traffic flows on the basis of conservation laws that incorporate the macroscopic fundamental diagram (a functional relationship between vehicle density and flow). Our setup is capable of handling multiple…
▽ More
This paper studies a stochastic model that describes the evolution of vehicle densities in a road network. It is consistent with the class of (deterministic) kinematic wave models, which describe traffic flows on the basis of conservation laws that incorporate the macroscopic fundamental diagram (a functional relationship between vehicle density and flow). Our setup is capable of handling multiple types of vehicle densities, with general macroscopic fundamental diagrams, on a network with arbitrary topology.
Interpreting our system as a spatial population process, we derive, under a natural scaling, fluid and diffusion limits. More specifically, the vehicle density process can be approximated with a suitable Gaussian process, which yield accurate normal approximations to the joint (in the spatial and temporal sense) vehicle density process. The corresponding means and variances can be computed efficiently. Along the same lines, we develop an approximation to the vehicles' travel-time distribution between any given origin and destination pair. Finally, we present a series of numerical experiments that demonstrate the accuracy of the approximations and illustrate the usefulness of the results.
△ Less
Submitted 10 February, 2021; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Single-server queues under overdispersion in the heavy-traffic regime
Authors:
Onno Boxma,
Mariska Heemskerk,
Michel Mandjes
Abstract:
This paper addresses the analysis of the queue-length process of single-server queues under overdispersion, i.e., queues fed by an arrival process for which the variance of the number of arrivals in a given time window exceeds the corresponding mean. Several variants are considered, using concepts as mixing and Markov modulation, resulting in different models with either endogenously triggered or…
▽ More
This paper addresses the analysis of the queue-length process of single-server queues under overdispersion, i.e., queues fed by an arrival process for which the variance of the number of arrivals in a given time window exceeds the corresponding mean. Several variants are considered, using concepts as mixing and Markov modulation, resulting in different models with either endogenously triggered or exogenously triggered random environments. Only in special cases explicit expressions can be obtained, e.g. when the random arrival and/or service rate can attain just finitely many values. While for more general model variants exact analysis is challenging, one ${\it can}$ derive limit theorems in the heavy-traffic regime. In some of our derivations we rely on evaluating the relevant Laplace transform in the heavy-traffic scaling using Taylor expansions, whereas other results are obtained by applying the continuous map** theorem.
△ Less
Submitted 20 April, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Hypothesis testing for a Lévy-driven storage system by Poisson sampling
Authors:
Michel Mandjes,
Liron Ravner
Abstract:
This paper focuses on hypothesis testing for the input of a Lévy-driven storage system by sampling of the storage level. As the likelihood is not explicit we propose two tests that rely on transformation of the data. The first approach uses i.i.d. `quasi-busy-periods' between observations of zero workload. The distribution of the duration of quasi-busy-periods is determined. The second method is a…
▽ More
This paper focuses on hypothesis testing for the input of a Lévy-driven storage system by sampling of the storage level. As the likelihood is not explicit we propose two tests that rely on transformation of the data. The first approach uses i.i.d. `quasi-busy-periods' between observations of zero workload. The distribution of the duration of quasi-busy-periods is determined. The second method is a conditional likelihood ratio test based on the Bernoulli events of observing a zero or positive workload, conditional on the previous workload. Performance analysis is presented for both tests along with speed-of-convergence results, that are of independent interest.
△ Less
Submitted 20 November, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Exact asymptotics in an infinite-server system with overdispersed input
Authors:
Mariska Heemskerk,
Michel Mandjes
Abstract:
This short communication considers an infinite-server system with overdispersed input. The objective is to identify the exact tail asymptotics of the number of customers present at a given point in time under a specific scaling of the model (which involves both the arrival rate and time). The proofs rely on a change-of-measure approach. The results obtained are illustrated by a series of examples.
This short communication considers an infinite-server system with overdispersed input. The objective is to identify the exact tail asymptotics of the number of customers present at a given point in time under a specific scaling of the model (which involves both the arrival rate and time). The proofs rely on a change-of-measure approach. The results obtained are illustrated by a series of examples.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
A roundabout model with on-ramp queues: exact results and scaling approximations
Authors:
Jaap Storm,
Sandjai Bhulai,
Wouter Kager,
Michel Mandjes
Abstract:
This paper introduces a general model of a single-lane roundabout, represented as a circular lattice that consists of $L$ cells, with Markovian traffic dynamics. Vehicles enter the roundabout via on-ramp queues that have stochastic arrival processes, remain on the roundabout a random number of cells, and depart via off-ramps. Importantly, the model does not oversimplify the dynamics of traffic on…
▽ More
This paper introduces a general model of a single-lane roundabout, represented as a circular lattice that consists of $L$ cells, with Markovian traffic dynamics. Vehicles enter the roundabout via on-ramp queues that have stochastic arrival processes, remain on the roundabout a random number of cells, and depart via off-ramps. Importantly, the model does not oversimplify the dynamics of traffic on roundabouts, while various performance-related quantities (such as delay and queue length) allow an analytical characterization. In particular, we present an explicit expression for the marginal stationary distribution of each cell on the lattice. Moreover, we derive results that give insight on the dependencies between parts of the roundabout, and on the queue distribution. Finally, we find scaling limits that allow, for every partition of the roundabout in segments, to approximate 1) the joint distribution of the occupation of these segments by a multivariate Gaussian distribution; and 2) the joint distribution of their total queue lengths by a collection of independent Poisson random variables. To verify the scaling limit statements, we develop a novel way to empirically assess convergence in distribution of random variables.
△ Less
Submitted 30 January, 2020; v1 submitted 7 June, 2019;
originally announced June 2019.
-
A ruin model with a resampled environment
Authors:
Corina Constantinescu,
Guusje Delsing,
Michel Mandjes,
Leonardo Rojas Nandayapa
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
The correlation function of a queue with Levy and Markov additive input
Authors:
Wouter Berkelmans,
Agata Cichocka,
Michel Mandjes
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
Rare Event Simulation for Steady-State Probabilities via Recurrency Cycles
Authors:
Krzysztof Bisewski,
Daan Crommelin,
Michel Mandjes
Abstract:
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 combina…
▽ More
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.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
Asymptotics and approximations of ruin probabilities for multivariate risk processes in a Markovian environment
Authors:
G. A. Delsing,
M. R. H. Mandjes,
P. J. C. Spreij,
E. M. M. Winands
Abstract:
This paper develops asymptotics and approximations for ruin probabilities in a multivariate risk setting. We consider a model in which the individual reserve processes are driven by a common Markovian environmental process. We subsequently consider a regime in which the claim arrival intensity and transition rates of the environmental process are jointly sped up, and one in which there is (with ov…
▽ More
This paper develops asymptotics and approximations for ruin probabilities in a multivariate risk setting. We consider a model in which the individual reserve processes are driven by a common Markovian environmental process. We subsequently consider a regime in which the claim arrival intensity and transition rates of the environmental process are jointly sped up, and one in which there is (with overwhelming probability) maximally one transition of the environmental process in the time interval considered. The approximations are extensively tested in a series of numerical experiments.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
An optimization approach to adaptive multi-dimensional capital management
Authors:
G. A. Delsing,
M. R. H. Mandjes,
P. J. C. Spreij,
E. M. M. Winands
Abstract:
Firms should keep capital to offer sufficient protection against the risks they are facing. In the insurance context methods have been developed to determine the minimum capital level required, but less so in the context of firms with multiple business lines including allocation. The individual capital reserve of each line can be represented by means of classical models, such as the conventional C…
▽ More
Firms should keep capital to offer sufficient protection against the risks they are facing. In the insurance context methods have been developed to determine the minimum capital level required, but less so in the context of firms with multiple business lines including allocation. The individual capital reserve of each line can be represented by means of classical models, such as the conventional Cramér-Lundberg model, but the challenge lies in soundly modelling the correlations between the business lines. We propose a simple yet versatile approach that allows for dependence by introducing a common environmental factor. We present a novel Bayesian approach to calibrate the latent environmental state distribution based on observations concerning the claim processes. The calibration approach is adjusted for an environmental factor that changes over time. The convergence of the calibration procedure towards the true environmental state is deduced. We then point out how to determine the optimal initial capital of the different business lines under specific constraints on the ruin probability of subsets of business lines. Upon combining the above findings, we have developed an easy-to-implement approach to capital risk management in a multi-dimensional insurance risk model.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.