Maury Bramson

State space collapse with application to heavy traffic limits for multiclass queueing networks

Heavy traffic limits for multiclass queueing networks are a topic of continuing interest. Presently, the class of networks for which these limits have been rigorously derived is restricted. An important ingredient in such work is the demonstration of state space collapse. Here, we demonstrate state space collapse for two families of networks, first-in first-out (FIFO) queueing networks of Kelly type and head-of-the-line proportional processor sharing (HLPPS) queueing networks. We then apply our techniques to more general networks. To demonstrate state space collapse for FIFO networks of Kelly type and HLPPS networks, we employ law of large number estimates to show a form of compactness for appropriately scaled solutions. The limits of these solutions are next shown to satisfy fluid model equations corresponding to the above queueing networks. Results from Bramson [4,5] on the asymptotic behavior of these limits then imply state space collapse. The desired heavy traffic limits for FIFO networks of Kelly type and HLPPS networks follow from this and the general criteria set forth in the companion paper Williams [41]. State space collapse and the ensuing heavy traffic limits also hold for more general queueing networks, provided the solutions of their fluid model equations converge. Partial results are given for such networks, which include the static priority disciplines.

Stability of queueing networks

Queueing networks constitute a large family of stochastic models, involving jobs that enter a network, compete for service, and eventually leave the network upon completion of service. Since the early 1990s, substantial attention has been devoted to the question of when such networks are stable. This monograph presents a summary of such work. Emphasis is placed on the use of fluid models in showing stability, and on examples of queueing networks that are unstable even when the arrival rate is less than the service rate. The material of this volume is based on a series of nine lectures given at the Saint-Flour Probability Summer School 2006, and is also being published in the Springer Lecture Notes series.

Convergence to equilibria for fluid models of FIFO queueing networks

The qualitative behavior of open multiclass queueing networks is currently a topic of considerable activity. An important goal is to formulate general criteria for when such networks possess equilibria, and to characterize these equilibria when possible. Fluid models have recently become an important tool for such purposes. We are interested here in a family of such models, FIFO fluid models of Kelly type. That is, the discipline is first-in, first-out, and the service rate depends only on the station. To study such models, we introduce an entropy function associated with the state of the system. The corresponding estimates show that if the traffic intensity function is at most 1, then such fluid models converge exponentially fast to equilibria with fixed concentrations of customer types throughout each queue. When the traffic intensity function is strictly less than 1, the limit is always the empty state and occurs after a finite time. A consequence is that generalized Kelly networks with traffic intensity strictly less than 1 are positive Harris recurrent, and hence possess unique equilibria.

Asymptotics for interacting particle systems onZd

SummaryTwo of the simplest interacting particle systems are the coalescing random walks and the voter model. We are interested here in the asymptotic density and growth of these systems ast→∞. More specifically, let (ζtZd) be a system of coalescing random walks with initial stateZd, and (ζtO) a voter model with a single individual originating atO. We analyse

Asymptotic Behavior of Densities for Two-Particle Annihilating Random Walks

p_t = P(0 \in \zeta _t^{Zd} ) = \overset{\lower0.5em\hbox{

Convergence to equilibria for fluid models of head-of-the-line proportional processor sharing queueing networks

\smash{\scriptscriptstyle\frown}

Shocks in the asymmetric exclusion process

}}{P} (\zeta _t^0 \ne )

TIGHTNESS FOR A FAMILY OF RECURSION EQUATIONS

, and show that