In this paper we discuss the complementary theorem applied to the typical n-tuple of a Poisson point process. The theorem was first presented by Miles in 1970 and discussed by Santaló in 1976 and, within a Palm measure framework, by Møller and Zuyev in 1996. The theorems put forward by these authors are not correct for all the examples that they present, suggesting that further consideration of their work is needed if one wishes to bring all those examples within the ambit of the complementary theorem. We give alternative analyses of the errant examples and, with a modification of the technicalities in the work of the above authors, move toward a more comprehensive complementary theorem. Some open issues still remain.

A stationary partition based on a stationary point process N in ℝd is an ℝd-valued random field π={π(x): x∈ℝd} such that both π(y)∈N for each y∈ℝd and the random partition {{y∈ℝd: π(y)=x}: x∈N} is stationary jointly with N. Stationary partitions may be considered as general versions of the stationary random tessellations studied in stochastic geometry. As in the special case of the Voronoi tessellation, a stationary partition can be used to relate the underlying stationary probability measure to the associated Palm probability measure of N. In doing so, we will develop some basic theory for stationary partitions and extend properties of stationary tessellations to our more general case. One basic idea is that the stationary measure is (up to a shift) a weighted version of the Palm measure, where the weight is the volume of the typical cell. We will make systematic use of a known modified probability measure. Finally, we use our approach to extend some recent results on the shift coupling of the stationary distribution and the Palm distribution.

We study the problem of dynamically allocating flexible workers to stations in tandem or serial manufacturing systems. Workers are trained to do a subset of consecutive tasks. We show that the optimal policy is often LBFS (last buffer first-served) or FBFS (first buffer first-served). These results generalize earlier results on the optimality of the pick-and-run, expedite, and bucket brigade-type policies. We also show that, for exponential processing times and general manufacturing networks, the optimal policy will tend to have several workers assigned to the same station.

In 1988 Whittle introduced an important but intractable class of restless bandit problems which generalise the multiarmed bandit problems of Gittins by allowing state evolution for passive projects. Whittle's account deployed a Lagrangian relaxation of the optimisation problem to develop an index heuristic. Despite a developing body of evidence (both theoretical and empirical) which underscores the strong performance of Whittle's index policy, a continuing challenge to implementation is the need to establish that the competing projects all pass an indexability test. In this paper we employ Gittins' index theory to establish the indexability of (inter alia) general families of restless bandits which arise in problems of machine maintenance and stochastic scheduling problems with switching penalties. We also give formulae for the resulting Whittle indices. Numerical investigations testify to the outstandingly strong performance of the index heuristics concerned.

The maximization of the long-term growth rate of expected utility is considered under drawdown constraints. In a general situation, the value and the optimal strategy of the problem are related to those of another ‘standard’ risk-sensitive-type portfolio optimization problem. Furthermore, an upside-chance maximization problem of a large deviation probability is stated as a ‘dual’ optimization problem. As an example, a ‘linear-quadratic’ model is studied in detail: the conditions to ensure the solvabilities of the problems are discussed and explicit expressions for the solutions are presented.

In this paper, we adapt the very effective Berry-Esseen theorems of Chen and Shao (2004), which apply to sums of locally dependent random variables, for use with randomly indexed sums. Our particular interest is in random variables resulting from integrating a random field with respect to a point process. We illustrate the use of our theorems in three examples: in a rather general model of the insurance collective; in problems in geometrical probability involving stabilizing functionals; and in counting the maximal points in a two-dimensional region.

We present a new iterative procedure for solving the multiple stopping problem in discrete time and discuss the stability of the algorithm. The algorithm produces monotonically increasing approximations of the Snell envelope which coincide with the Snell envelope after finitely many steps. Unlike backward dynamic programming, the algorithm allows us to calculate approximative solutions with only a few nestings of conditional expectations and is, therefore, tailor-made for a plain Monte Carlo implementation.

We present recursions for the total number, Sn, of mutations in a sample of n individuals, when the underlying genealogical tree of the sample is modelled by a coalescent process with mutation rate r>0. The coalescent is allowed to have simultaneous multiple collisions of ancestral lineages, which corresponds to the existence of large families in the underlying population model. For the subclass of Λ-coalescent processes allowing for multiple collisions, such that the measure Λ(dx)/x is finite, we prove that Sn/(nr) converges in distribution to a limiting variable, S, characterized via an exponential integral of a certain subordinator. When the measure Λ(dx)/x2 is finite, the distribution of S coincides with the stationary distribution of an autoregressive process of order 1 and is uniquely determined via a stochastic fixed-point equation of the form with specific independent random coefficients A and B. Examples are presented in which explicit representations for (the density of) S are available. We conjecture that Sn/E(Sn)→1 in probability if the measure Λ(dx)/x is infinite.

We give three applications of the Pecherskii-Rogozin-Spitzer identity for Lévy processes. First, we find the joint distribution of the supremum and the epoch at which it is ‘attained’ if a Lévy process has phase-type upward jumps. We also find the characteristics of the ladder process. Second, we establish general properties of perturbed risk models, and obtain explicit fluctuation identities in the case that the Lévy process is spectrally positive. Third, we study the tail asymptotics for the supremum of a Lévy process under different assumptions on the tail of the Lévy measure.

In this paper we study the busy period in GI/G/1 work-conserving queues. We give the exact asymptotics of the tail distribution of the busy period under the light tail assumptions. We also study the workload process in the M/G/1 system conditioned to stay positive.

We propose a simple and efficient scheme for ranking all teams in a tournament where matches can be played simultaneously. We show that the distribution of the number of rounds of the proposed scheme can be derived using lattice path counting techniques used in ballot problems. We also discuss our method from the viewpoint of parallel sorting algorithms.

Consider the random variable Ln defined as the length of a longest common subsequence of two random strings of length n and whose random characters are independent and identically distributed over a finite alphabet. Chvátal and Sankoff showed that the limit γ=limn→∞E[Ln]/n is well defined. The exact value of this constant is not known, but various methods for the computation of upper and lower bounds have been discussed in the literature. Even so, high-precision bounds are hard to come by. In this paper we discuss how large deviation theory can be used to derive a consistent sequence of upper bounds, (qm)m∈ℕ, on γ, and how Monte Carlo simulation can be used in theory to compute estimates, q̂m, of the qm such that, for given Ξ > 0 and Λ ∈ (0,1), we have P[γ < q̂ < γ + Ξ] ≥ Λ. In other words, with high probability the result is an upper bound that approximates γ to high precision. We establish O((1 − Λ)−1Ξ−(4+ε)) as a theoretical upper bound on the complexity of computing q̂m to the given level of accuracy and confidence. Finally, we discuss a practical heuristic based on our theoretical approach and discuss its empirical behavior.