Stationary distributions of the multi-type ASEP

We give a recursive construction of the stationary distribution of multi-type asymmetric simple exclusion processes on a finite ring or on the infinite line $Z$. The construction can be interpreted in terms of "multi-line diagrams" or systems of queues in tandem. Let $q$ be the asymmetry parameter of the system. The queueing construction generalises the one previously known for the totally asymmetric ($q=0$) case, by introducing queues in which each potential service is unused with probability $q^k$ when the queue-length is $k$. The analysis is based on the matrix product representation of Prolhac, Evans and Mallick. Consequences of the construction include: a simple method for sampling exactly from the stationary distribution for the system on a ring; results on common denominators of the stationary probabilities, expressed as rational functions of $q$ with non-negative integer coefficients; and probabilistic descriptions of "convoy formation" phenomena in large systems.Comment: 54 pages, 4 figure

Limiting shape for directed percolation models

We consider directed first-passage and last-passage percolation on the nonnegative lattice Z_+^d, d\geq2, with i.i.d. weights at the vertices. Under certain moment conditions on the common distribution of the weights, the limits g(x)=lim_{n\to\infty}n^{-1}T(\lfloor nx\rfloor) exist and are constant a.s. for x\in R_+^d, where T(z) is the passage time from the origin to the vertex z\in Z_+^d. We show that this shape function g is continuous on R_+^d, in particular at the boundaries. In two dimensions, we give more precise asymptotics for the behavior of g near the boundaries; these asymptotics depend on the common weight distribution only through its mean and variance. In addition we discuss growth models which are naturally associated to the percolation processes, giving a shape theorem and illustrating various possible types of behavior with output from simulations.Comment: Published at http://dx.doi.org/10.1214/009117904000000838 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Reconstruction thresholds on regular trees

We consider a branching random walk with binary state space and index set $T^k$, the infinite rooted tree in which each node has k children (also known as the model of "broadcasting on a tree"). The root of the tree takes a random value 0 or 1, and then each node passes a value independently to each of its children according to a 2x2 transition matrix P. We say that "reconstruction is possible" if the values at the d'th level of the tree contain non-vanishing information about the value at the root as $d\to\infty$. Adapting a method of Brightwell and Winkler, we obtain new conditions under which reconstruction is impossible, both in the general case and in the special case $p_{11}=0$. The latter case is closely related to the "hard-core model" from statistical physics; a corollary of our results is that, for the hard-core model on the (k+1)-regular tree with activity $\lambda=1$, the unique simple invariant Gibbs measure is extremal in the set of Gibbs measures, for any k.Comment: 12 page

Batch queues, reversibility and first-passage percolation

We consider a model of queues in discrete time, with batch services and arrivals. The case where arrival and service batches both have Bernoulli distributions corresponds to a discrete-time M/M/1 queue, and the case where both have geometric distributions has also been previously studied. We describe a common extension to a more general class where the batches are the product of a Bernoulli and a geometric, and use reversibility arguments to prove versions of Burke's theorem for these models. Extensions to models with continuous time or continuous workload are also described. As an application, we show how these results can be combined with methods of Seppalainen and O'Connell to provide exact solutions for a new class of first-passage percolation problems.Comment: 16 pages. Mostly minor revisions; some new explanatory text added in various places. Thanks to a referee for helpful comments and suggestion

A universality property for last-passage percolation paths close to the axis

We consider a last-passage directed percolation model in $Z_+^2$, with i.i.d. weights whose common distribution has a finite $(2+p)$th moment. We study the fluctuations of the passage time from the origin to the point $\big(n,n^{\lfloor a \rfloor}\big)$. We show that, for suitable $a$ (depending on $p$), this quantity, appropriately scaled, converges in distribution as $n\to\infty$ to the Tracy-Widom distribution, irrespective of the underlying weight distribution. The argument uses a coupling to a Brownian directed percolation problem and the strong approximation of Koml\'os, Major and Tusn\'ady.Comment: 8 page

Random recursive trees and the Bolthausen-Sznitman coalescent

We describe a representation of the Bolthausen-Sznitman coalescent in terms of the cutting of random recursive trees. Using this representation, we prove results concerning the final collision of the coalescent restricted to [n]: we show that the distribution of the number of blocks involved in the final collision converges as n tends to infinity, and obtain a scaling law for the sizes of these blocks. We also consider the discrete-time Markov chain giving the number of blocks after each collision of the coalescent restricted to [n]; we show that the transition probabilities of the time-reversal of this Markov chain have limits as n tends to infinity. These results can be interpreted as describing a ``post-gelation'' phase of the Bolthausen-Sznitman coalescent, in which a giant cluster containing almost all of the mass has already formed and the remaining small blocks are being absorbed.Comment: 28 pages, 2 figures. Revised version with minor alterations. To appear in Electron. J. Proba

Fixed points for multi-class queues

Burke's theorem can be seen as a fixed-point result for an exponential single-server queue; when the arrival process is Poisson, the departure process has the same distribution as the arrival process. We consider extensions of this result to multi-type queues, in which different types of customer have different levels of priority. We work with a model of a queueing server which includes discrete-time and continuous-time M/M/1 queues as well as queues with exponential or geometric service batches occurring in discrete time or at points of a Poisson process. The fixed-point results are proved using interchangeability properties for queues in tandem, which have previously been established for one-type M/M/1 systems. Some of the fixed-point results have previously been derived as a consequence of the construction of stationary distributions for multi-type interacting particle systems, and we explain the links between the two frameworks. The fixed points have interesting "clustering" properties for lower-priority customers. An extreme case is an example of a Brownian queue, in which lower-priority work only occurs at a set of times of measure 0 (and corresponds to a local time process for the queue-length process of higher priority work).Comment: 25 page

Acoustic controlled rotation and orientation

Acoustic energy is applied to a pair of locations spaced about a chamber, to control rotation of an object levitated in the chamber. Two acoustic transducers applying energy of a single acoustic mode, one at each location, can (one or both) serve to levitate the object in three dimensions as well as control its rotation. Slow rotation is achieved by initially establishing a large phase difference and/or pressure ratio of the acoustic waves, which is sufficient to turn the object by more than 45 deg, which is immediately followed by reducing the phase difference and/or pressure ratio to maintain slow rotation. A small phase difference and/or pressure ratio enables control of the angular orientation of the object without rotating it. The sphericity of an object can be measured by its response to the acoustic energy

Single mode levitation and translation

A single frequency resonance mode is applied by a transducer to acoustically levitate an object within a chamber. This process allows smooth movement of the object and suppression of unwanted levitation modes that would urge the object to a different levitation position. A plunger forms one end of the chamber, and the frequency changes as the plunger moves. Acoustic energy is applied to opposite sides of the chamber, with the acoustic energy on opposite sides being substantially 180 degrees out of phase