arXiv subjects

Onno Boxma

Publications and source records attributed to Onno Boxma.

At least 19 recordsLinked to original sources

arXiv2025

Polling on a circle with non-uniform batch arrivals

In this paper, we analyze a polling system on a circle with. Random batches of customers arrive at a circle, where each customer, independently, obtains a location according to a general distribution. A single server cyclically travels over the circle to serve all customers. We analyze the experienced delay of batches for two service policies: globally gated and exhaustive. The Laplace-Stieltjes transform of the experienced delay is found under the former policy. For the latter policy, we propose a mean-value analysis, resulting in an algorithmic approach for the evaluation of the mean experienced delay. Light- and heavy-traffic limits are derived exactly for the system performance.

math.PR↗

arXiv2025

On reflected L\'evy processes with collapse

We consider a L\'evy process reflected at the origin with additional i.i.d. collapses that occur at Poisson epochs, where a collapse is a jump downward to a state which is a random fraction of the state just before the jump. We first study the general case, then specialize to the case where the L\'evy process is spectrally positive and finally we specialize further to the two cases where the L\'evy process is a Brownian motion and a compound Poisson process with exponential jumps minus a linear slope.

math.PR↗

arXiv2024

Finite customer-pool queues

In this paper we consider an M/G/1-type queue fed by a finite customer-pool. In terms of transforms, we characterize the time-dependent distribution of the number of customers and the workload, as well as the associated waiting times.

math.PR↗

arXiv2023

Batch sojourn time in polling systems on a circle

In this paper, we analyze a polling system on a circle. Random batches of customers arrive at a circle, where each customer, independently, obtains a uniform location. A single server cyclically travels over the circle to serve all customers. Using mean value analysis, we derive the expected number of waiting customers within a given distance of the server and a closed form expression for the mean batch sojourn time.

math.PR↗

arXiv2022

On fluctuation-theoretic decompositions via Lindley-type recursions

Consider a L\'evy process $Y(t)$ over an exponentially distributed time $T_\beta$ with mean $1/\beta$. We study the joint distribution of the running maximum $\bar{Y}(T_\beta)$ and the time epoch $G(T_\beta$) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector ($\bar{Y}(T_\beta),G(T_\beta)$) can be written as a sum of two independent vectors, the first one being ($\bar{Y}(T_{\beta+\omega}),G(T_{\beta+\omega})$) and the second one being the running maximum and corresponding time epoch under the restriction that the L\'evy process is only observed at Poisson($\omega$) inspection epochs (until $T_\beta$). 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 $\omega$ 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.

math.PR↗

arXiv2022

Exact results for the order picking time distribution under return routing

This paper derives exact expressions for the Laplace-Stieltjes transform of the order picking time in single- and 2-block warehouses. We consider manual warehouses that deploy return routing and assume that order sizes follow a Poisson distribution. The results in this paper apply to a wide range of storage policies, including but not restricted to class-based and random storage. Furthermore, we compare the performance of the storage policies and warehouse lay-outs by using numerical inversion of the Laplace-Stieltjes transforms.

math.PR↗

arXiv2022

An exact analysis and comparison of manual picker routing heuristics

This paper presents exact derivations of the first two moments of the total picking time in a warehouse for four routing heuristics, under the assumption of random storage. The analysis is done for general order size distributions and provides formulas in terms of the probability generating function of the order size distribution. These results are used to investigate differences between routing heuristics, order size distributions and warehouse layouts. In specific, we model a warehouse with $c$ pickers as an M/G/c queue to estimate the average order-lead time.

math.PR↗

arXiv2021

Workload analysis of a two-queue fluid polling model

In this paper, we analyze a two-queue random time-limited Markov modulated polling model. In the first part of the paper, we investigate the fluid version: Fluid arrives at the two queues as two independent flows with deterministic rate. There is a single server that serves both queues at constant speeds. The server spends an exponentially distributed amount of time in each queue. After the completion of such a visit time to one queue, the server instantly switches to the other queue, i.e., there is no switchover time. For this model, we first derive the Laplace-Stieltjes Transform (LST) of the stationary marginal fluid content/workload at each queue. Subsequently, we derive a functional equation for the LST of the two-dimensional workload distribution that leads to a Riemann-Hilbert boundary value problem (BVP). After taking a heavy-traffic limit, and restricting ourselves to the symmetric case, the boundary value problem simplifies and can be solved explicitly. In the second part of the paper, allowing for more general (L\'evy) input processes and server switching policies, we investigate the transient process-limit of the joint workload in heavy traffic. Again solving a BVP, we determine the stationary distribution of the limiting process. We show that, in the symmetric case, this distribution coincides with our earlier solution of the BVP, implying that in this case the two limits (stationarity and heavy traffic) commute.

math.PR↗

arXiv2021

A decomposition for Levy processes inspected at Poisson moments

We consider a L\'evy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($\omega$) moments only, over an exponentially distributed time $T_\beta$ with parameter $\beta$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_\beta$, denoted by $Y_{\beta,\omega}$. Our main result is a decomposition: we derive a remarkable distributional equality that contains $Y_{\beta,\omega}$ as well as the running maximum process $\bar Y(t)$ at the exponentially distributed times $T_\beta$ and $T_{\beta+\omega}$. Concretely, $\overline{Y}(T_\beta)$ can be written the sum of the two independent random variables that are distributed as $Y_{\beta,\omega}$ and $\overline{Y}(T_{\beta+\omega})$. The distribution of $Y_{\beta,\omega}$ can be identified more explicitly in the two special cases of a spectrally positive and a spectrally negative L\'evy 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\'er-Lundberg insurance risk model.

math.PR↗

arXiv2021

Fork-join and redundancy systems with heavy-tailed job sizes

We investigate the tail asymptotics of the response time distribution for the cancel-on-start (c.o.s.) and cancel-on-completion (c.o.c.) variants of redundancy-$d$ scheduling and the fork-join model with heavy-tailed job sizes. We present bounds, which only differ in the pre-factor, for the tail probability of the response time in the case of the first-come first-served (FCFS) discipline. For the c.o.s. variant we restrict ourselves to redundancy-$d$ scheduling, which is a special case of the fork-join model. In particular, for regularly varying job sizes with tail index $-\nu$ the tail index of the response time for the c.o.s. variant of redundancy-$d$ equals $-\min\{d_{\mathrm{cap}}(\nu-1),\nu\}$, where $d_{\mathrm{cap}} = \min\{d,N-k\}$, $N$ is the number of servers and $k$ is the integer part of the load. This result indicates that for $d_{\mathrm{cap}} < \frac{\nu}{\nu-1}$ the waiting time component is dominant, whereas for $d_{\mathrm{cap}} > \frac{\nu}{\nu-1}$ the job size component is dominant. Thus, having $d = \lceil \min\{\frac{\nu}{\nu-1},N-k\} \rceil$ replicas is sufficient to achieve the optimal asymptotic tail behavior of the response time. For the c.o.c. variant of the fork-join($n_{\mathrm{F}},n_{\mathrm{J}}$) model the tail index of the response time, under some assumptions on the load, equals $1-\nu$ and $1-(n_{\mathrm{F}}+1-n_{\mathrm{J}})\nu$, for identical and i.i.d. replicas, respectively; here the waiting time component is always dominant.

math.PR↗

arXiv2020

A dual risk model with additive and proportional gains: ruin probability and dividends

We consider a dual risk model with constant expense rate and i.i.d. exponentially distributed gains $C_i$ ($i=1,2,\dots$) that arrive according to a renewal process with general interarrival times. We add to this classical dual risk model the proportional gain feature, that is, if the surplus process just before the $i$th arrival is at level $u$, then for $a>0$ the capital jumps up to the level $(1+a)u+C_i$. The ruin probability and the distribution of the time to ruin are determined. We furthermore identify the value of discounted cumulative dividend payments, for the case of a Poisson arrival process of proportional gains. In the dividend calculations, we also consider a random perturbation of our basic risk process modeled by an independent Brownian motion with drift.

math.PR↗

arXiv2020

Threshold-based rerouting and replication for resolving job-server affinity relations

We consider a system with several job types and two parallel server pools. Within the pools the servers are homogeneous, but across pools possibly not in the sense that the service speed of a job may depend on its type as well as the server pool. Immediately upon arrival, jobs are assigned to a server pool. This could be based on (partial) knowledge of their type, but such knowledge might not be available. Information about the job type can however be obtained while the job is in service; as the service progresses, the likelihood that the service speed of this job type is low increases, creating an incentive to execute the job on different, possibly faster, server(s). Two policies are considered: reroute the job to the other server pool, or replicate it there. We determine the effective load per server under both the rerouting and replication policy for completely unknown as well as partly known job types. We also examine the impact of these policies on the stability bound, and find that the uncertainty in job types may significantly degrade the performance. For (highly) unbalanced service speeds full replication achieves the largest stability bound while for (nearly) balanced service speeds no replication maximizes the stability bound. Finally, we discuss how the use of threshold-based policies can help improve the expected latency for completely or partly unknown job types.

cs.PF↗

arXiv2020

A Multiplicative Version of the Lindley Recursion

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.

math.PR↗

arXiv2019

Single-server queues under overdispersion in the heavy-traffic regime

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 mapping theorem.

math.PR↗

arXiv2019

Stability of Redundancy Systems with Processor Sharing

We investigate the stability condition for redundancy-d systems where each of the servers follows a processor-sharing (PS) discipline. We allow for generally distributed job sizes, with possible dependence among the d replica sizes being governed by an arbitrary joint distribution. We establish that the stability condition is characterized by the expectation of the minimum of d replica sizes being less than the mean interarrival time per server. In the special case of identical replicas, the stability condition is insensitive to the job size distribution given its mean, and the stability condition is inversely proportional to the number of replicas. In the special case of i.i.d. replicas, the stability threshold decreases (increases) in the number of replicas for job size distributions that are NBU (NWU). We also discuss extensions to scenarios with heterogeneous servers.

math.PR↗

arXiv2019

Synchronized L\'evy queues

We consider a multivariate L\'evy process where the first coordinate is a L\'evy process with no negative jumps which is not a subordinator and the others are nondecreasing. We determine the Laplace-Stieltjes transform of the steady-state buffer content vector of an associated system of parallel queues. The special structure of this transform allows us to rewrite it as a product of joint Laplace-Stieltjes transforms. We are thus able to interpret the buffer content vector as a sum of independent random vectors.

math.PR↗

arXiv2018

Redundancy scheduling with scaled Bernoulli service requirements

Redundancy scheduling has emerged as a powerful strategy for improving response times in parallel-server systems. The key feature in redundancy scheduling is replication of a job upon arrival by dispatching replicas to different servers. Redundant copies are abandoned as soon as the first of these replicas finishes service. By creating multiple service opportunities, redundancy scheduling increases the chance of a fast response from a server that is quick to provide service, and mitigates the risk of a long delay incurred when a single selected server turns out to be slow. The diversity enabled by redundant requests has been found to strongly improve the response time performance, especially in case of highly variable service requirements. Analytical results for redundancy scheduling are unfortunately scarce however, and even the stability condition has largely remained elusive so far, except for exponentially distributed service requirements. In order to gain further insight in the role of the service requirement distribution, we explore the behavior of redundancy scheduling for scaled Bernoulli service requirements. We establish a sufficient stability condition for generally distributed service requirements and we show that, for scaled Bernoulli service requirements, this condition is also asymptotically nearly necessary. This stability condition differs drastically from the exponential case, indicating that the stability condition depends on the service requirements in a sensitive and intricate manner.

math.PR↗

arXiv2018

Revenue Maximization in an Optical Router Node Using Multiple Wavelengths

In this paper, an optical router node with multiple wavelengths is considered. We introduce revenue for successful transmission and study the ensuing revenue maximization problem. We present an efficient and accurate heuristic procedure for solving the NP-hard revenue maximization problem and investigate the advantage offered by having multiple wavelengths.

cs.NI↗