We describe a process where two types of particles, marked red and blue, arrive in a domain at a constant rate. When a new particle arrives into the domain, if there are particles of the opposite color present within a distance of 1 from the new particle, then, among these particles, it matches to the one with the earliest arrival time, and both particles are removed. Otherwise, the particle is simply added to the system. Additionally, particles may lose patience and depart at a constant rate. We study the existence of a stationary regime for this process, when the domain is either a compact space or a Euclidean space. In the compact setting, we give a product-form characterization of the stationary distribution, and then prove an FKG-type inequality that establishes certain clustering properties of the particles in the steady state.

We give an alternative proof of a point-process version of the FKG–Holley–Preston inequality which provides a sufficient condition for stochastic domination of probability measures, and for positive correlations of increasing functions.

Consider a two-level storage system operating with the least recently used (LRU) or the first-in, first-out (FIFO) replacement strategy. Accesses to the main storage are described by the independent reference model (IRM). Using the FKG inequality, we prove that the miss ratio for LRU is smaller than or equal to the miss ratio for FIFO.

This paper is concerned with a pure death process, starting with N individuals, with death rates μ n, n = 1, 2, …, N. It is shown that the fates of distinct individuals are positively correlated if μ n/n decreases with n, and negatively correlated if μ n/n increases with n. The application of this result to the problem of variability in compartmental models is elaborated and in particular a conjecture of Faddy (1985) is settled. Further applications to well-known death processes are also briefly described.

A probability measure μ on ℝn+ is defined to be strongly new better than used (SNBU) if for all increasing subsets . For n = 1 this is equivalent to being new better than used (NBU distributions play an important role in reliability theory). We derive an inequality concerning products of NBU probability measures, which has as a consequence that if μ1, μ2, ···, μn are NBU probability measures on ℝ+, then the product-measure μ = μ × μ2 × ··· × μn on ℝn+ is SNBU. A discrete analog (i.e., with N instead of ℝ+) also holds.

Applications are given to reliability and percolation. The latter are based on a new inequality for Bernoulli sequences, going in the opposite direction to the FKG–Harris inequality. The main application (3.15) gives a lower bound for the tail of the cluster size distribution for bond-percolation at the critical probability. Further applications are simplified proofs of some known results in percolation. A more general inequality (which contains the above as well as the FKG-Harris inequality) is conjectured, and connections with an inequality of Hammersley [12] and others ([17], [19] and [7]) are indicated.

Karlin and Rinott (1980) introduced and investigated concepts of multivariate total positivity (TP2) and multivariate monotone likelihood ratio (MLR) for probability measures on Rn These TP and MLR concepts are intimately related to supermodularity as discussed in Topkis (1968), (1978) and the FKG inequality of Fortuin, Kasteleyn and Ginibre (1971). This note points out connections between these concepts and uniform conditional stochastic order (ucso) as defined in Whitt (1980). ucso holds for two probability distributions if there is ordinary stochastic order for the corresponding conditional probability distributions obtained by conditioning on subsets from a specified class. The appropriate subsets to condition on for ucso appear to be the sublattices of Rn. Then MLR implies ucso, with the two orderings being equivalent when at least one of the probability measures is TP2.

We examine how much classical percolation theory on lattices can be extended to arbitrary graphs or even clutters of subsets of a finite set. In the process we get new short proofs of some theorems of J. M. Hammersley. The FKG inequality is used to get an upper bound for the percolation probability and we also derive a lower bound. In each case we characterise when these bounds are attained.