The functional differential equation y′(x) = ay(λx) + by(x) arises in many different situations. The purpose of this note is to show how it arises in some multitype branching process cell population models. We also show how its solution can be given an intuitive interpretation as the probability density function of an infinite sum of independent but not identically distributed random variables.

We study the buffer allocation problem in a two-stage cyclic queueing system. First, we show that transposing the number of buffers assigned to each queue does not affect the throughput. Second, we prove that the optimal buffer allocation scheme, in the sense of maximizing the system's throughput, is the one for which the absolute difference between the number of buffers, assigned to each queue, is minimized, i.e., it becomes either 0 or 1. This optimal allocation is insensitive to the general-type service-time distributions. These two distributions may be different and service times may even be correlated.

In this paper we study the moment generating function order and the new better than used in the moment generating function order (NBUMG) life distributions. A closure property of this order under an independent random sum is deduced, and stochastic comparisons among the block replacement policy, the age replacement policy, the complete repair policy, and the minimal repair policy of an NBUMG component are investigated.

Stochastic processes {X(t)} of the form X(t) = Σ n f(t – Tn) are considered, where {Tn} is a stationary Poisson point process with intensity λ and f: R → R is an unknown response function. Conditions are obtained for weak consistency and asymptotic normality of estimators of λ based on long-run observations of {X(t)}.

We consider a semimartingale X which is reflected at an upper barrier T and a lower barrier S, where S and T are also semimartingales such that T is bounded away from S. First, we present an explicit construction of the reflected process. Then we derive a relationship in terms of stochastic integrals linking the reflected process and the local times at the respective barriers to X, S, and T. This result reveals the fundamental structural properties of the reflection mechanism. We also present a few results showing how the general relationship simplifies under additional assumptions on X, S, and T, e.g. if we take X, S, and T to be independent martingales (which satisfy some extra technical conditions).

Norma McArthur, one of the four founding trustees of the Applied Probability Trust, died at her home in Canberra, Australia, on 17 January 1984. She had fought a long battle with cancer, exhibiting great resilience, clear-sightedness and courage to the last. When we took leave of each other in Canberra in August 1983, she was making plans for our next meeting in July 1984.

Extreme value theory for random vectors and stochastic processes with continuous trajectories is usually formulated for random objects where the univariate marginal distributions are identical. In the spirit of Sklar's theorem from copula theory, such marginal standardization is carried out by the pointwise probability integral transform. Certain situations, however, call for stochastic models whose trajectories are not continuous but merely upper semicontinuous (USC). Unfortunately, the pointwise application of the probability integral transform to a USC process does not, in general, preserve the upper semicontinuity of the trajectories. In this paper we give sufficient conditions to enable marginal standardization of USC processes and we state a partial extension of Sklar's theorem for USC processes. We specialize the results to max-stable processes whose marginal distributions and normalizing sequences are allowed to vary with the coordinate.

This article describes new estimates for the second largest eigenvalue in absolute value of reversible and ergodic Markov chains on finite state spaces. These estimates apply when the stationary distribution assigns a probability higher than 0.702 to some given state of the chain. Geometric tools are used. The bounds mainly involve the isoperimetric constant of the chain, and hence generalize famous results obtained for the second eigenvalue. Comparison estimates are also established, using the isoperimetric constant of a reference chain. These results apply to the Metropolis-Hastings algorithm in order to solve minimization problems, when the probability of obtaining the solution from the algorithm can be chosen beforehand. For these dynamics, robust bounds are obtained at moderate levels of concentration.

For a spectrally negative self-similar Markov process on $[0,\infty)$ with an a.s. finite overall supremum, we provide, in tractable detail, a kind of conditional Wiener–Hopf factorization at the maximum of the absorption time at zero, the conditioning being on the overall supremum and the jump at the overall supremum. In a companion result the Laplace transform of this absorption time (on the event that the process does not go above a given level) is identified under no other assumptions (such as the process admitting a recurrent extension and/or hitting zero continuously), generalizing some existing results in the literature.

We study a model arising in chemistry where n elements numbered 1, 2, …, n are randomly permuted and if i is immediately to the left of i + 1 then they become stuck together to form a cluster. The resulting clusters are then numbered and considered as elements, and this process keeps repeating until only a single cluster is remaining. In this article we study properties of the distribution of the number of permutations required.

Computer analysis of biological sequences often detects deviations from a random model. In the usual model, sequence letters are chosen independently, according to some fixed distribution over the relevant alphabet. Real biological sequences often contain simple repeats, however, which can be broadly characterized as multiple contiguous copies (usually inexact) of a specific word. This paper quantifies inexact simple repeats as local sums in a Markov additive process (MAP). The maximum of the local sums has an asymptotic distribution with two parameters (λ and k), which are given by general MAP formulas. The general MAP formulas are usually computationally intractable, but an essential simplification in the case of repeats permits λ and k to be computed from matrices whose dimension equals the size of the relevant alphabet. The simplification applies to some MAPs where the summand distributions do not depend on consecutive pairs of Markov states as usual, but on pairs with a fixed time-lag larger than one.

Necessary and sufficient conditions are presented under which the point processes equivalent to order statistics of n i.i.d. random variables or superpositions of n i.i.d. renewal processes converge to a non-degenerate limiting process as n approaches infinity. The limiting process must be one of three types of non-homogeneous Poisson process, one of which is the Weibull process. These point processes occur as failure-time models in the reliability theory of repairable systems.

If X(t) is a Wiener process with EX(t) = vt and var X(t) = σ2t (where v > 0) and if M(t) = max0≦τ≦tX(τ) and Ta is the time of first passage through level a (where a > 0) we show that where is the coefficient of variation of Ta. Applications of the result to the “maturity-time” representation of cell-growth and to queues with heavy traffic are discussed.

In this paper we show that the continuum-time version of the minority game satisfies the criteria for the application of a theorem on the existence of an invariant measure. We consider the special case of a game with a ‘sufficiently’ asymmetric initial condition, where the number of possible choices for each individual is S = 2 and Γ < +∞. An upper bound for the asymptotic behavior, as the number of agents grows to infinity, of the waiting time for reaching the stationary state is then obtained.

It is proved that the strong Doeblin condition (i.e., ps(x,y) ≥ asπ(y) for all x,y in the state space) implies convergence in the relative supremum norm for a general Markov chain. The convergence is geometric with rate (1 - as)1/s. If the detailed balance condition and a weak continuity condition are satisfied, then the strong Doeblin condition is equivalent to convergence in the relative supremum norm. Convergence in other norms under weaker assumptions is proved. The results give qualitative understanding of the convergence.

The paper is concerned with Markov renewal processes satisfying a certain non-singularity condition. The relation of this condition to irreducibility, Harris recurrence and regularity of the associated forward Markov process is studied. This enables one to prove limit theorems of a total variation type for Markov renewal processes and semi-regenerative processes by applying Orey's theorem to the forward process. The results are applied to a GI/G/1 queue and a growth-catastrophe population model.

Let Z(t) denote the number of particles alive at time t in a critical age-dependent branching process. It is proved that, for k ≧ 1, there exists a constant Ak > 0 such that t2P(Z(t) = k)→Ak as t→∞.

In supercritical population-size-dependent branching processes with independent and identically distributed random environments, it is shown that under certain regularity conditions there exist constants 0 < α 1 ≤α 0 < + ∞ and 0 < C 1, C 2 < + ∞ such that the extinction probability starting with k individuals is bounded below by C 1 k -α 0 and above by C 2 k -α 1 for sufficiently large k. Moreover, a similar conclusion, which follows from a result of Höpfner, is presented along with some remarks.

This paper considers a competing risks system with p pieces of software where each piece follows the model by Littlewood (1980) described as follows. The failure rate of a piece of software relies on the residual number of bugs remaining in the software where each bug produces failures at varying rates. In effect, bugs with higher failure rates tend to be observed earlier in the testing period. Tasks are assigned to the system and the task completion times as well as the software failure times are assumed to be independent of each other. The system is observed over a fixed testing period and the system reliability upon test termination is examined. An estimator of the system reliability is presented and its asymptotic properties as well as finite-sample properties are obtained.