This paper uses recent results on continuous-time finite-horizon optimal switching problems with negative switching costs to prove the existence of a saddle point in an optimal stopping (Dynkin) game. Sufficient conditions for the game's value to be continuous with respect to the time horizon are obtained using recent results on norm estimates for doubly reflected backward stochastic differential equations. This theory is then demonstrated numerically for the special cases of cancellable call and put options in a Black‒Scholes market.

An extended model of order statistics based on possibly different distributions is introduced and analyzed. In the interpretation of successive failure times in a 𝑘-out-of-𝑛 system, say, until each failure, the time periods under previous (increasing) loads exerted on the remaining components are recorded. Then the lifetime distribution of the system depends on the complete failure scheme. Thus, order statistics with memory provide an alternative to the use of sequential order statistics, which form a Markov chain. The quantities as well as their spacings, the interoccurrence times, can be compared by means of stochastic ordering.

We discuss the short-range dependence (SRD) property of the increments of the fractional Poisson process, called the fractional Poissonian noise. We also establish that the fractional negative binomial process (FNBP) has the long-range dependence (LRD) property, while the increments of the FNBP have the SRD property. Our definitions of the SRD/LRD properties are similar to those for a stationary process and different from those recently used in Biard and Saussereau (2014).

Consider a family of Boolean models, indexed by integers n≥1. The nth model features a Poisson point process in ℝⁿ of intensity e^{nρ_n}, and balls of independent and identically distributed radii distributed like X̅_n√n. Assume that ρ_n→ρ as n→∞, and that X̅_n satisfies a large deviations principle. We show that there then exist the three deterministic thresholds τ_d, the degree threshold, τ_p, the percolation probability threshold, and τ_v, the volume fraction threshold, such that, asymptotically as n tends to ∞, we have the following features. (i) For ρ<τ_d, almost every point is isolated, namely its ball intersects no other ball; (ii) for τ_d<ρ<τ_p, the mean number of balls intersected by a typical ball converges to ∞ and nevertheless there is no percolation; (iii) for τ_p<ρ<τ_v, the volume fraction is 0 and nevertheless percolation occurs; (iv) for τ_d<ρ<τ_v, the mean number of balls intersected by a typical ball converges to ∞ and nevertheless the volume fraction is 0; (v) for ρ>τ_v, the whole space is covered. The analysis of this asymptotic regime is motivated by problems in information theory, but it could be of independent interest in stochastic geometry. The relations between these three thresholds and the Shannon‒Poltyrev threshold are discussed.

We propose a stochastic model describing a process of awareness, evaluation, and decision making by agents on the d-dimensional integer lattice. Each agent may be in any of the three states belonging to the set {0, 1, 2. In this model 0 stands for ignorants, 1 for aware, and 2 for adopters. Aware and adopters inform its nearest ignorant neighbors about a new product innovation at rate λ. At rate α an agent in aware state becomes an adopter due to the influence of adopters' neighbors. Finally, aware and adopters forget the information about the new product, thus becoming ignorant, at rate 1. Our purpose is to analyze the influence of the parameters on the qualitative behavior of the process. We obtain sufficient conditions under which the innovation diffusion (and adoption) either becomes extinct or propagates through the population with positive probability.

We prove that, for Poisson transmission and recovery processes, the classic susceptible→infected→recovered (SIR) epidemic model of Kermack and McKendrick provides, for any given time t>0, a strict lower bound on the expected number of susceptibles and a strict upper bound on the expected number of recoveries in the general stochastic SIR epidemic. The proof is based on the recent message passing representation of SIR epidemics applied to a complete graph.

In this paper we consider a variation of the full-information secretary problem where the random variables to be observed are independent but not necessary identically distributed. The main result is a sharp lower bound for the optimal win probability. Precisely, if X₁,...,X_n are independent random variables with known continuous distributions and V_n(X₁,...,X_n):=sup_τℙ(X_τ=M_n), where M_n≔max{X₁,...,X_n} and the supremum is over all stopping times adapted to X₁,...,X_n then V_n(X₁,...,X_n)≥(1-1/n)^n-1, and this bound is attained. The method of proof consists in reducing the problem to that of a sequence of random variables taking at most two possible values, and then applying Bruss' sum-the-odds theorem, Bruss (2000). In order to obtain a sharp bound for each n, we improve Bruss' lower bound, Bruss (2003), for the sum-the-odds problem.

The sequential stochastic assignment problem (SSAP) allocates distinct workers with deterministic values to sequentially arriving tasks with stochastic parameters to maximize the expected total reward. In this paper we study an extension of the SSAP, in which the worker values are considered to be random variables, taking on new values upon each task arrival. Several SSAP models with different assumptions on the distribution of the worker values and closed-form expressions for optimal assignment policies are presented.

We introduce and study a new model that we call the matching model. Items arrive one by one in a buffer and depart from it as soon as possible but by pairs. The items of a departing pair are said to be matched. There is a finite set of classes 𝒱 for the items, and the allowed matchings depend on the classes, according to a matching graph on 𝒱. Upon arrival, an item may find several possible matches in the buffer. This indeterminacy is resolved by a matching policy. When the sequence of classes of the arriving items is independent and identically distributed, the sequence of buffer-content is a Markov chain, whose stability is investigated. In particular, we prove that the model may be stable if and only if the matching graph is nonbipartite.

In this paper we present closed-form expressions for the distribution of the virtual (actual) queueing time for the BMAP/R/1 and BMAP/D/1 queues, where `R' represents a class of distributions having rational Laplace‒Stieltjes transforms. The closed-form analysis is based on the roots of the underlying characteristic equation. Numerical aspects have been tested for a variety of arrival and service-time distributions and results are matched with those obtained using the matrix-analytic method (MAM). Further, a comparative study of computation time of the proposed method with the MAM has been carried out. Finally, we also present closed-form expressions for the distribution of the virtual (actual) system time. The proposed method is analytically quite simple and easy to implement.

A multiclass c-server retrial queueing system in which customers arrive according to a class-dependent Markovian arrival process (MAP) is considered. Service and retrial times follow class-dependent phase-type (PH) distributions with the further assumption that PH distributions of retrial times are acyclic. A necessary and sufficient condition for ergodicity is obtained from criteria based on drifts. The infinite state space of the model is truncated with an appropriately chosen Lyapunov function. The truncated model is described as a multidimensional Markov chain, and a Kronecker representation of its generator matrix is numerically analyzed.

We consider a system of N parallel queues with identical exponential service rates and a single dispatcher where tasks arrive as a Poisson process. When a task arrives, the dispatcher always assigns it to an idle server, if there is any, and to a server with the shortest queue among d randomly selected servers otherwise (1≤d≤N). This load balancing scheme subsumes the so-called join-the-idle queue policy (d=1) and the celebrated join-the-shortest queue policy (d=N) as two crucial special cases. We develop a stochastic coupling construction to obtain the diffusion limit of the queue process in the Halfin‒Whitt heavy-traffic regime, and establish that it does not depend on the value of d, implying that assigning tasks to idle servers is sufficient for diffusion level optimality.

Classical Jackson networks are a well-established tool for the analysis of complex systems. In this paper we analyze Jackson networks with the additional features that (i) nodes may have an infinite supply of low priority work and (ii) nodes may be unstable in the sense that the queue length at these nodes grows beyond any bound. We provide the limiting distribution of the queue length distribution at stable nodes, which turns out to be of product form. A key step in establishing this result is the development of a new algorithm based on adjusted traffic equations for detecting unstable nodes. Our results complement the results known in the literature for the subcases of Jackson networks with either infinite supply nodes or unstable nodes by providing an analysis of the significantly more challenging case of networks with both types of nonstandard node present. Building on our product-form results, we provide closed-form solutions for common customer and system oriented performance measures.

The shapes of branching trees have been linked to disease transmission patterns. In this paper we use the general Crump‒Mode‒Jagers branching process to model an outbreak of an infectious disease under mild assumptions. Introducing a new class of characteristic functions, we are able to derive a formula for the limit of the frequency of the occurrences of a given shape in a general tree. The computational challenges concerning the evaluation of this formula are in part overcome using the jumping chronological contour process. We apply the formula to derive the limit of the frequency of cherries, pitchforks, and double cherries in the constant-rate birth‒death model, and the frequency of cherries under a nonconstant death rate.

We define and analyze a coalescent process as a recursive box-filling process whose genealogy is given by an ancestral time-reversed, time-inhomogeneous Bienyamé‒Galton‒Watson process. Special interest is on the expected size of a typical box and its probability of being empty. Special cases leading to exact asymptotic computations are investigated when the coalescing mechanisms are either linear fractional or quadratic.

We study the distributional properties of jumps in a continuous-state branching process with immigration. In particular, a representation is given for the distribution of the first jump time of the process with jump size in a given Borel set. From this result we derive a characterization for the distribution of the local maximal jump of the process. The equivalence of this distribution and the total Lévy measure is then studied. For the continuous-state branching process without immigration, we also study similar problems for its global maximal jump.

Let (W_n(θ))_n∈ℕ0 be the Biggins martingale associated with a supercritical branching random walk, and denote by W__∞(θ) its limit. Assuming essentially that the martingale (W_n(2θ))_n∈ℕ0 is uniformly integrable and that var W₁(θ) is finite, we prove a functional central limit theorem for the tail process (W_∞(θ)-W_n+r(θ))_r∈ℕ0 and a law of the iterated logarithm for W_∞(θ)-W_n(θ) as n→∞.

In the paper we present a phenomenon occurring in population processes that start near 0 and have large carrying capacity. By the classical result of Kurtz (1970), such processes, normalized by the carrying capacity, converge on finite intervals to the solutions of ordinary differential equations, also known as the fluid limit. When the initial population is small relative to the carrying capacity, this limit is trivial. Here we show that, viewed at suitably chosen times increasing to ∞, the process converges to the fluid limit, governed by the same dynamics, but with a random initial condition. This random initial condition is related to the martingale limit of an associated linear birth-and-death process.

An urn contains black and red balls. Let Z_n be the proportion of black balls at time n and 0≤L<U≤1 random barriers. At each time n, a ball b_n is drawn. If b_n is black and Z_n-1<U, then b_n is replaced together with a random number B_n of black balls. If b_n is red and Z_n-1>L, then b_n is replaced together with a random number R_n of red balls. Otherwise, no additional balls are added, and b_n alone is replaced. In this paper we assume that R_n=B_n. Then, under mild conditions, it is shown that Z_n→^a.s.Z for some random variable Z, and D_n≔ √n(Z_n-Z) →𝒩(0,σ²) conditionally almost surely (a.s.), where σ² is a certain random variance. Almost sure conditional convergence means that ℙ(D_n∈⋅|𝒢_n) →^w 𝒩(0,σ²) a.s., where ℙ(D_n∈⋅|𝒢_n) is a regular version of the conditional distribution of D_n given the past 𝒢_n. Thus, in particular, one obtains D_n→𝒩(0,σ²) stably. It is also shown that L<Z<U a.s. and Z has nonatomic distribution.

We consider a model of N interacting two-colour Friedman urns. The interaction model considered is such that the reinforcement of each urn depends on the fraction of balls of a particular colour in that urn as well as the overall fraction of balls of that colour in all the urns combined together. We show that the urns synchronize almost surely and that the fraction of balls of each colour converges to the deterministic limit of one-half, which matches with the limit known for a single Friedman urn. Furthermore, we use the notion of stable convergence to obtain limit theorems for fluctuations around the synchronization limit.

In his well-known textbook Probability with Martingales, David Williams (1991) introduces the Mabinogion sheep problem in which there is a magical flock of sheep, some black, some white. At each stage n=1,2,..., a sheep (chosen randomly from the entire flock, independently of previous events) bleats; if this bleating sheep is white, one black sheep (if any remain) instantly becomes white; if the bleating sheep is black, one white sheep (if any remain) instantly becomes black. No births or deaths occur. Suppose that one may remove any number of white sheep from the flock at (the end of) each stage n=0,1,.... The object is to maximize the expected final number of black sheep. By applying the martingale optimality principle, Williams showed that the problem is solvable and admits a simple nice solution. In this paper we consider a generalization of the Mabinogion sheep problem with two parameters 0≤p, q≤1, denoted M(p,q), in which at each stage, when the bleating sheep is white (black, respectively), a black (white, respectively) sheep (if any remain) instantly becomes white (black, respectively), with probability p (q, respectively) and nothing changes with probability 1-p (1-q, respectively). Note that the original problem corresponds to (p,q)=(1,1). Following Williams' approach, we solve the two cases (p,q)=(1,1/2) and (1/2,1) which admit simple solutions.

In the spirit of the axiomatic approach by Rogers (1998) we show the equivalence between a set of assumptions on the behaviour of prices and the existence of a representation of these prices as conditional expectations. We rely on only weak assumptions and avoid any a priori modelling of negligible events or of any market filtration. Rather, both endogenously emerge along with the representation as conditional expectations.

We improve the Chen‒Stein bounds when applied to the probability of a union. When the probability is small, the improvement in the distance from the lower to the upper bound is roughly a factor of 2. Further improvements are determined when the events of the union are either negatively or positively dependent.