A new formula for continuum percolation on the Euclidean space R d (d ≥ 2), which is analogous to Russo's formula for bond or site percolation, is proved. Using this formula, we prove the equivalence between uniqueness of the infinite cluster and continuous differentiability of the mean number of clusters per Poisson point (or free energy). This yields a new proof for uniqueness of the infinite cluster since the continuous differentiability of free energy has been proved by Bezuidenhout, Grimmett and Löffler (1998); a consequence of this new proof gives the continuity of connectivity functions.

We consider the level hitting times τy = inf{t ≥ 0 | Xt = y} and the running maximum process Mt = sup{Xs | 0 ≤ s ≤ t} of a growth-collapse process (Xt)t≥0, defined as a [0, ∞)-valued Markov process that grows linearly between random ‘collapse’ times at which downward jumps with state-dependent distributions occur. We show how the moments and the Laplace transform of τy can be determined in terms of the extended generator of Xt and give a power series expansion of the reciprocal of Ee−sτy. We prove asymptotic results for τy and Mt: for example, if m(y) = Eτy is of rapid variation then Mt / m-1(t) →w 1 as t → ∞, where m-1 is the inverse function of m, while if m(y) is of regular variation with index a ∈ (0, ∞) and Xt is ergodic, then Mt / m-1(t) converges weakly to a Fréchet distribution with exponent a. In several special cases we provide explicit formulae.

We prove the conjecture formulated in Litvak and Ejov (2009), namely, that the trace of the fundamental matrix of a singularly perturbed Markov chain that corresponds to a stochastic policy feasible for a given graph is minimised at policies corresponding to Hamiltonian cycles.

In this paper we study the excursion time of a Brownian motion with drift outside a corridor by using a four-state semi-Markov model. In mathematical finance, these results have an important application in the valuation of double-barrier Parisian options. We subsequently obtain an explicit expression for the Laplace transform of its price.

In this paper we present simple extensions of earlier works on the optimal time to exchange one basket of log Brownian assets for another. A superset and subset of the optimal stopping region in the case where both baskets consist of multiple assets are obtained. It is also shown that a conjecture of Hu and Øksendal (1998) is false except in the trivial case where all the assets in a basket are the same processes.

We present a number of new solutions to an integral equation arising in the limiting theory of Bellman-Harris processes. The argument proceeds via straightforward analysis of Mellin transforms. We also derive a criterion for the analyticity of the Laplace transform of the limiting distribution on Re(u) ≥ -c for some c > 0.

Continuous-time Markov chains are a widely used modelling tool. Applications include DNA sequence evolution, ion channel gating behaviour, and mathematical finance. We consider the problem of calculating properties of summary statistics (e.g. mean time spent in a state, mean number of jumps between two states, and the distribution of the total number of jumps) for discretely observed continuous-time Markov chains. Three alternative methods for calculating properties of summary statistics are described and the pros and cons of the methods are discussed. The methods are based on (i) an eigenvalue decomposition of the rate matrix, (ii) the uniformization method, and (iii) integrals of matrix exponentials. In particular, we develop a framework that allows for analyses of rather general summary statistics using the uniformization method.

We are concerned with the variation of the supercritical nearest-neighbours contact process such that first infection occurs at a lower rate; it is known that the process survives with positive probability. Regarding the rightmost infected of the process started from one site infected and conditioned to survive, we specify a sequence of space-time points at which its behaviour regenerates and, thus, obtain the corresponding strong law and central limit theorem. We also extend complete convergence in this case.

A nanocomponent is a collection of atoms arranged to a specific design in order to achieve a desired function with an acceptable performance and reliability. The type of atoms, the manner in which they are arranged within the nanocomponent, and their interrelationship have a direct effect on the nanocomponent's reliability (survival) function. In this paper we propose models based on the notion of a copula that are used to describe the relationship between the atoms of a nanocomponent. Having defined these models, we go on to construct a ‘nanocomponent’ model in order to obtain the reliability function of a nanocomponent.

Consider a continuous-time Markov process with transition rates matrix Q in the state space Λ ⋃ {0}. In the associated Fleming-Viot process N particles evolve independently in Λ with transition rates matrix Q until one of them attempts to jump to state 0. At this moment the particle jumps to one of the positions of the other particles, chosen uniformly at random. When Λ is finite, we show that the empirical distribution of the particles at a fixed time converges as N → ∞ to the distribution of a single particle at the same time conditioned on not touching {0}. Furthermore, the empirical profile of the unique invariant measure for the Fleming-Viot process with N particles converges as N → ∞ to the unique quasistationary distribution of the one-particle motion. A key element of the approach is to show that the two-particle correlations are of order 1 / N.

In this paper we investigate the number and maximum severity of the ruin excursion of the insurance portfolio reserve process in the Cramér–Lundberg model with and without tax payments. We also provide a relation of the Cramér–Lundberg risk model with the G/G/∞ queue and use it to derive some explicit ruin probability formulae. Finally, the renewal risk model with tax is considered, and an asymptotic identity is derived that in some sense extends the tax identity of the Cramér– Lundberg risk model.

In this paper we are interested in bounding or calculating the additive functionals of the first return time on a set for discrete-time Markov chains on a countable state space, which is motivated by investigating ergodic theory and central limit theorems. To do so, we introduce the theory of the minimal nonnegative solution. This theory combined with some other techniques is proved useful for investigating the additive functionals. This method is used to study the functionals for discrete-time birth-death processes, and the polynomial convergence and a central limit theorem are derived.

We study four discrete-time stochastic systems on N, modeling processes of rumor spreading. The involved individuals can either have an active or a passive role, speaking up or asking for the rumor. The appetite for spreading or hearing the rumor is represented by a set of random variables whose distributions may depend on the individuals. Our goal is to understand - based on the distribution of the random variables - whether the probability of having an infinite set of individuals knowing the rumor is positive or not.

We study the shape of the probability mass function of the Markov binomial distribution, and give necessary and sufficient conditions for the probability mass function to be unimodal, bimodal, or trimodal. These are useful to analyze the double-peaking results of a reactive transport model from the engineering literature. Moreover, we give a closed-form expression for the variance of the Markov binomial distribution, and expressions for the mean and the variance conditioned on the state at time n.

This paper proposes a Laplace-transform-based approach to price the fixed-strike quantile options as well as to calculate the associated hedging parameters (delta and gamma) under a hyperexponential jump diffusion model, which can be viewed as a generalization of the well-known Black-Scholes model and Kou's double exponential jump diffusion model. By establishing a relationship between floating- and fixed-strike quantile option prices, we can also apply this pricing and hedging method to floating-strike quantile options. Numerical experiments demonstrate that our pricing and hedging method is fast, stable, and accurate.

For a bivariate Lévy process (ξt,ηt)t≥ 0 and initial value V0 define the generalised Ornstein–Uhlenbeck (GOU) process Vt:=eξt (V0+∫t0 e-ξs-dηs), t≥0, and the associated stochastic integral process Zt:=∫0t e-ξs-dηs, t≥0. Let Tz:=inf{t>0: Vt<0|V0=z} and ψ(z):=P(Tz<∞) for z≥0 be the ruin time and infinite horizon ruin probability of the GOU process. Our results extend previous work of Nyrhinen (2001) and others to give asymptotic estimates for ψ(z) and the distribution of Tz as z→∞, under very general, easily checkable, assumptions, when ξ satisfies a Cramér condition.

To enhance the performance of a system, a common practice employed by reliability engineers is to use redundant components in the system. In this paper we compare lifetimes of series (parallel) systems arising out of different allocations of one or two standby redundancies. These comparisons are made with respect to the increasing concave (convex) order, the hazard rate order, and the stochastic precedence order. The main results extend some related conclusions in the literature.

Let Λ be a connected closed region with smooth boundary contained in the d-dimensional continuous torus Td. In the discrete torus N-1TdN, we consider a nearest-neighbor symmetric exclusion process where occupancies of neighboring sites are exchanged at rates depending on Λ in the following way: if both sites are in Λ or Λc, the exchange rate is 1; if one site is in Λ and the other site is in Λc, and the direction of the bond connecting the sites is ej, then the exchange rate is defined as N-1 times the absolute value of the inner product between ej and the normal exterior vector to ∂Λ. We show that this exclusion-type process has a nontrivial hydrodynamical behavior under diffusive scaling and, in the continuum limit, particles are not blocked or reflected by ∂Λ. Thus, the model represents a system of particles under hard-core interaction in the presence of a permeable membrane which slows down the passage of particles between two complementary regions.