-
The inhomogeneous multispecies PushTASEP: Dynamics and symmetry
Authors:
Arvind Ayyer,
James B. Martin
Abstract:
We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using tim…
▽ More
We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.
△ Less
Submitted 2 September, 2024; v1 submitted 15 October, 2023;
originally announced October 2023.
-
Modified Macdonald polynomials and the multispecies zero range process: II
Authors:
Arvind Ayyer,
Olya Mandelshtam,
James B. Martin
Abstract:
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-depen…
▽ More
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_λ(X;1,t)$. The novelty here in comparison to previous works relating the stationary distribution of integrable systems to symmetric functions is that the variables $x_1,\ldots,x_n$ are explicitly present as hopping rates in the mTAZRP. We also obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. Finally, we explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials.
△ Less
Submitted 23 April, 2025; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees
Authors:
James B. Martin
Abstract:
For a collection of papers in memory of Elwyn Berlekamp (1940-2019), John Conway (1937-2020), and Richard Guy (1916-2020).
The Sprague-Grundy theory for finite games without cycles was extended to general finite games by Cedric Smith and by Aviezri Fraenkel and coauthors. We observe that the same framework used to classify finite games also covers the case of locally finite games (that is, games…
▽ More
For a collection of papers in memory of Elwyn Berlekamp (1940-2019), John Conway (1937-2020), and Richard Guy (1916-2020).
The Sprague-Grundy theory for finite games without cycles was extended to general finite games by Cedric Smith and by Aviezri Fraenkel and coauthors. We observe that the same framework used to classify finite games also covers the case of locally finite games (that is, games where any position has only finitely many options). In particular, any locally finite game is equivalent to some finite game. We then study cases where the directed graph of a game is chosen randomly, and is given by the tree of a Galton-Watson branching process. Natural families of offspring distributions display a surprisingly wide range of behaviour. The setting shows a nice interplay between ideas from combinatorial game theory and ideas from probability.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
Convergence of the Environment Seen from Geodesics in Exponential Last-Passage Percolation
Authors:
James B. Martin,
Allan Sly,
Lingfu Zhang
Abstract:
A well-known question in planar first-passage percolation concerns the convergence of the empirical distribution of weights as seen along geodesics. We demonstrate this convergence for an explicit model, directed last-passage percolation on $\mathbb{Z}^2$ with i.i.d. exponential weights, and provide explicit formulae for the limiting distributions, which depend on the asymptotic direction. For exa…
▽ More
A well-known question in planar first-passage percolation concerns the convergence of the empirical distribution of weights as seen along geodesics. We demonstrate this convergence for an explicit model, directed last-passage percolation on $\mathbb{Z}^2$ with i.i.d. exponential weights, and provide explicit formulae for the limiting distributions, which depend on the asymptotic direction. For example, for geodesics in the direction of the diagonal, the limiting weight distribution has density $(1/4+x/2+x^2/8)e^{-x}$, and so is a mixture of Gamma($1,1$), Gamma($2,1$) and Gamma($3,1$) distributions with weights $1/4$, $1/2$, and $1/4$ respectively. More generally, we study the local environment as seen from vertices along geodesics (including information about the shape of the path and about the weights on and off the path in a local neighborhood). We consider finite geodesics from $(0,0)$ to $n\boldsymbolρ$ for some vector $\boldsymbolρ$ in the first quadrant, in the limit as $n\to\infty$, as well as semi-infinite geodesics in direction $\boldsymbolρ$. We show almost sure convergence of the empirical distributions of the environments along these geodesics, as well as convergence of the distributions of the environment around a typical point in these geodesics, to the same limiting distribution, for which we give an explicit description.
We make extensive use of a correspondence with TASEP as seen from an isolated second-class particle for which we prove new results concerning ergodicity and convergence to equilibrium. Our analysis relies on geometric arguments involving estimates for last-passage times, available from the integrable probability literature.
△ Less
Submitted 16 December, 2024; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Modified Macdonald polynomials and the multispecies zero range process: I
Authors:
Arvind Ayyer,
Olya Mandelshtam,
James B. Martin
Abstract:
In this paper we prove a new combinatorial formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, motivated by connections to the theory of interacting particle systems from statistical mechanics. The formula involves a new statistic called queue inversions on fillings of tableaux. This statistic is closely related to the multiline queues which were recently used to give a formul…
▽ More
In this paper we prove a new combinatorial formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, motivated by connections to the theory of interacting particle systems from statistical mechanics. The formula involves a new statistic called queue inversions on fillings of tableaux. This statistic is closely related to the multiline queues which were recently used to give a formula for the Macdonald polynomials $P_λ(X;q,t)$. In the case $q=1$ and $X=(1,1,\dots,1)$, that formula had also been shown to compute stationary probabilities for a particle system known as the multispecies ASEP on a ring, and it is natural to ask whether a similar connection exists between the modified Macdonald polynomials and a suitable statistical mechanics model. In a sequel to this work, we demonstrate such a connection, showing that the stationary probabilities of the multispecies totally asymmetric zero-range process (mTAZRP) on a ring can be computed using tableaux formulas with the queue inversion statistic. This connection extends to arbitrary $X=(x_1,\dots, x_n)$; the $x_i$ play the role of site-dependent jump rates for the mTAZRP.
△ Less
Submitted 9 August, 2021; v1 submitted 11 November, 2020;
originally announced November 2020.
-
The TAZRP speed process
Authors:
Gideon Amir,
Ofer Busani,
Patrícia Gonçalves,
James B. Martin
Abstract:
In [AAV] Amir, Angel and Valk{ó} studied a multi-type version of the totally asymmetric simple exclusion process (TASEP) and introduced the TASEP speed process, which allowed them to answer delicate questions about the joint distribution of the speed of several second-class particles in the TASEP rarefaction fan. In this paper we introduce the analogue of the TASEP speed process for the totally as…
▽ More
In [AAV] Amir, Angel and Valk{ó} studied a multi-type version of the totally asymmetric simple exclusion process (TASEP) and introduced the TASEP speed process, which allowed them to answer delicate questions about the joint distribution of the speed of several second-class particles in the TASEP rarefaction fan. In this paper we introduce the analogue of the TASEP speed process for the totally asymmetric zero-range process (TAZRP), and use it to obtain new results on the joint distribution of the speed of several second-class particles in the TAZRP with a reservoir. There is a close link from the speed process to questions about stationary distributions of multi-type versions of the TAZRP; for example we are able to give a precise description of the contents of a single site in equilibrium for a multi-type TAZRP with continuous labels.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Galton-Watson games
Authors:
Alexander E. Holroyd,
James B. Martin
Abstract:
We consider two-player combinatorial games in which the graph of positions is random and perhaps infinite, focusing on directed Galton-Watson trees. As the offspring distribution is varied, a game can undergo a phase transition, in which the probability of a draw under optimal play becomes positive. We study the nature of the phase transitions which occur for normal play rules (where a player unab…
▽ More
We consider two-player combinatorial games in which the graph of positions is random and perhaps infinite, focusing on directed Galton-Watson trees. As the offspring distribution is varied, a game can undergo a phase transition, in which the probability of a draw under optimal play becomes positive. We study the nature of the phase transitions which occur for normal play rules (where a player unable to move loses the game) and misere rules (where a player unable to move wins), as well as for an "escape game" in which one player tries to force the game to end while the other tries to prolong it forever. For instance, for a Poisson$(λ)$ offspring distribution, the game tree is infinite with positive probability as soon as $λ>1$, but the game with normal play has positive probability of draws if and only if $λ>e$. The three games generally have different critical points; under certain assumptions the transitions are continuous for the normal and misere games and discontinuous for the escape game, but we also discuss cases where the opposite possibilities occur. We connect the nature of the phase transitions to the behaviour of quantities such as the expected length of the game under optimal play. We also establish inequalities relating the games to each other; for instance, the probability of a draw is at least as great in the misere game as in the normal game.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
Stationary distributions of the multi-type ASEP
Authors:
James B. Martin
Abstract:
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 asymmet…
▽ More
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.
△ Less
Submitted 8 March, 2020; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Minimax functions on Galton-Watson trees
Authors:
James B. Martin,
Roman Stasiński
Abstract:
We consider the behaviour of minimax recursions defined on random trees. Such recursions give the value of a general class of two-player combinatorial games. We examine in particular the case where the tree is given by a Galton-Watson branching process, truncated at some depth $2n$, and the terminal values of the level-$2n$ nodes are drawn independently from some common distribution. The case of a…
▽ More
We consider the behaviour of minimax recursions defined on random trees. Such recursions give the value of a general class of two-player combinatorial games. We examine in particular the case where the tree is given by a Galton-Watson branching process, truncated at some depth $2n$, and the terminal values of the level-$2n$ nodes are drawn independently from some common distribution. The case of a regular tree was previously considered by Pearl, who showed that as $n\to\infty$ the value of the game converges to a constant, and by Ali Khan, Devroye and Neininger, who obtained a distributional limit under a suitable rescaling.
For a general offspring distribution, there is a surprisingly rich variety of behaviour: the (unrescaled) value of the game may converge to a constant, or to a discrete limit with several atoms, or to a continuous distribution. We also give distributional limits under suitable rescalings in various cases.
We also address questions of endogeny. Suppose the game is played on a tree with many levels, so that the terminal values are far from the root. To be confident of playing a good first move, do we need to see the whole tree and its terminal values, or can we play close to optimally by inspecting just the first few levels of the tree? The answers again depend in an interesting way on the offspring distribution.
We also mention several open questions.
△ Less
Submitted 20 June, 2018;
originally announced June 2018.
-
Stable matchings in high dimensions via the Poisson-weighted infinite tree
Authors:
Alexander E. Holroyd,
James B. Martin,
Yuval Peres
Abstract:
We consider the stable matching of two independent Poisson processes in $\mathbb{R}^d$ under an asymmetric color restriction. Blue points can only match to red points, while red points can match to points of either color. It is unknown whether there exists a choice of intensities of the red and blue processes under which all points are matched. We prove that for any fixed intensities, there are un…
▽ More
We consider the stable matching of two independent Poisson processes in $\mathbb{R}^d$ under an asymmetric color restriction. Blue points can only match to red points, while red points can match to points of either color. It is unknown whether there exists a choice of intensities of the red and blue processes under which all points are matched. We prove that for any fixed intensities, there are unmatched blue points in sufficiently high dimension. Indeed, if the ratio of red to blue intensities is $ρ$ then the intensity of unmatched blue points converges to $e^{-ρ}/(1+ρ)$ as $d\to\infty$. We also establish analogous results for certain multi-color variants. Our proof uses stable matching on the Poisson-weighted infinite tree (PWIT), which can be analyzed via differential equations. The PWIT has been used in many settings as a scaling limit for models involving complete graphs with independent edge weights, but we believe that this is the first rigorous application to high-dimensional Euclidean space. Finally, we analyze the asymmetric matching problem under a hierarchical metric, and show that there are unmatched points for all intensities.
△ Less
Submitted 11 January, 2019; v1 submitted 15 August, 2017;
originally announced August 2017.
-
Surjective H-Colouring: New Hardness Results
Authors:
Petr Golovach,
Matthew Johnson. Barnaby Martin,
Daniel Paulusma,
Anthony Stewart
Abstract:
A homomorphism from a graph G to a graph H is a vertex mapping f from the vertex set of G to the vertex set of H such that there is an edge between vertices f(u) and f(v) of H whenever there is an edge between vertices u and v of G. The H-Colouring problem is to decide whether or not a graph G allows a homomorphism to a fixed graph H. We continue a study on a variant of this problem, namely the Su…
▽ More
A homomorphism from a graph G to a graph H is a vertex mapping f from the vertex set of G to the vertex set of H such that there is an edge between vertices f(u) and f(v) of H whenever there is an edge between vertices u and v of G. The H-Colouring problem is to decide whether or not a graph G allows a homomorphism to a fixed graph H. We continue a study on a variant of this problem, namely the Surjective H-Colouring problem, which imposes the homomorphism to be vertex-surjective. We build upon previous results and show that this problem is NP-complete for every connected graph H that has exactly two vertices with a self-loop as long as these two vertices are not adjacent. As a result, we can classify the computational complexity of Surjective H-Colouring for every graph H on at most four vertices.
△ Less
Submitted 26 March, 2017; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Rigid representations of the multiplicative coalescent with linear deletion
Authors:
James B. Martin,
Balazs Rath
Abstract:
We introduce the multiplicative coalescent with linear deletion, a continuous-time Markov process describing the evolution of a collection of blocks. Any two blocks of sizes $x$ and $y$ merge at rate $xy$, and any block of size $x$ is deleted with rate $λx$ (where $λ\geq 0$ is a fixed parameter). This process arises for example in connection with a variety of random-graph models which exhibit self…
▽ More
We introduce the multiplicative coalescent with linear deletion, a continuous-time Markov process describing the evolution of a collection of blocks. Any two blocks of sizes $x$ and $y$ merge at rate $xy$, and any block of size $x$ is deleted with rate $λx$ (where $λ\geq 0$ is a fixed parameter). This process arises for example in connection with a variety of random-graph models which exhibit self-organised criticality. We focus on results describing states of the process in terms of collections of excursion lengths of random functions. For the case $λ=0$ (the coalescent without deletion) we revisit and generalise previous works by authors including Aldous, Limic, Armendariz, Uribe Bravo, and Broutin and Marckert, in which the coalescence is related to a "tilt" of a random function, which increases with time; for $λ>0$ we find a novel representation in which this tilt is complemented by a "shift" mechanism which produces the deletion of blocks. We describe and illustrate other representations which, like the tilt-and-shift representation, are "rigid", in the sense that the coalescent process is constructed as a projection of some process which has all of its randomness in its initial state. We explain some applications of these constructions to models including mean-field forest-fire and frozen-percolation processes.
△ Less
Submitted 14 October, 2016; v1 submitted 4 October, 2016;
originally announced October 2016.
-
Friendly frogs, stable marriage, and the magic of invariance
Authors:
Maria Deijfen,
Alexander E. Holroyd,
James B. Martin
Abstract:
We introduce a two-player game involving two tokens located at points of a fixed set. The players take turns to move a token to an unoccupied point in such a way that the distance between the two tokens is decreased. Optimal strategies for this game and its variants are intimately tied to Gale-Shapley stable marriage. We focus particularly on the case of random infinite sets, where we use invarian…
▽ More
We introduce a two-player game involving two tokens located at points of a fixed set. The players take turns to move a token to an unoccupied point in such a way that the distance between the two tokens is decreased. Optimal strategies for this game and its variants are intimately tied to Gale-Shapley stable marriage. We focus particularly on the case of random infinite sets, where we use invariance, ergodicity, mass transport, and deletion-tolerance to determine game outcomes.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Games on Random Boards
Authors:
Riddhipratim Basu,
Alexander E. Holroyd,
James B. Martin,
Johan Wästlund
Abstract:
We consider the following two-player game on a graph. A token is located at a vertex, and the players take turns to move it along an edge to a vertex that has not been visited before. A player who cannot move loses. We analyze outcomes with optimal play on percolation clusters of Euclidean lattices.
On Z^2 with two different percolation parameters for odd and even sites, we prove that the game h…
▽ More
We consider the following two-player game on a graph. A token is located at a vertex, and the players take turns to move it along an edge to a vertex that has not been visited before. A player who cannot move loses. We analyze outcomes with optimal play on percolation clusters of Euclidean lattices.
On Z^2 with two different percolation parameters for odd and even sites, we prove that the game has no draws provided closed sites of one parity are sufficiently rare compared with those of the other parity (thus favoring one player). We prove this also for certain d-dimensional lattices with d>=3. It is an open question whether draws can occur when the two parameters are equal.
On a finite ball of Z^2, with only odd sites closed but with the external boundary consisting of even sites, we identify up to logarithmic factors a critical window for the trade-off between the size of the ball and the percolation parameter. Outside this window, one or other player has a decisive advantage.
Our analysis of the game is intimately tied to the effect of boundary conditions on maximum-cardinality matchings.
△ Less
Submitted 27 May, 2015;
originally announced May 2015.
-
Percolation games, probabilistic cellular automata, and the hard-core model
Authors:
Alexander E. Holroyd,
Irène Marcovici,
James B. Martin
Abstract:
Let each site of the square lattice $\mathbb{Z}^2$ be independently assigned one of three states: a \textit{trap} with probability $p$, a \textit{target} with probability $q$, and \textit{open} with probability $1-p-q$, where $0<p+q<1$. Consider the following game: a token starts at the origin, and two players take turns to move, where a move consists of moving the token from its current site $x$…
▽ More
Let each site of the square lattice $\mathbb{Z}^2$ be independently assigned one of three states: a \textit{trap} with probability $p$, a \textit{target} with probability $q$, and \textit{open} with probability $1-p-q$, where $0<p+q<1$. Consider the following game: a token starts at the origin, and two players take turns to move, where a move consists of moving the token from its current site $x$ to either $x+(0,1)$ or $x+(1,0)$. A player who moves the token to a trap loses the game immediately, while a player who moves the token to a target wins the game immediately. Is there positive probability that the game is \emph{drawn} with best play -- i.e.\ that neither player can force a win? This is equivalent to the question of ergodicity of a certain family of elementary one-dimensional probabilistic cellular automata (PCA). These automata have been studied in the contexts of enumeration of directed lattice animals, the golden-mean subshift, and the hard-core model, and their ergodicity has been noted as an open problem by several authors. We prove that these PCA are ergodic, and correspondingly that the game on $\mathbb{Z}^2$ has no draws.
On the other hand, we prove that certain analogous games \emph{do} exhibit draws for suitable parameter values on various directed graphs in higher dimensions, including an oriented version of the even sublattice of $\mathbb{Z}^d$ in all $d\geq3$. This is proved via a dimension reduction to a hard-core lattice gas in dimension $d-1$. We show that draws occur whenever the corresponding hard-core model has multiple Gibbs distributions. We conjecture that draws occur also on the standard oriented lattice $\mathbb{Z}^d$ for $d\geq 3$, but here our method encounters a fundamental obstacle.
△ Less
Submitted 16 February, 2018; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Poisson allocations with bounded connected cells
Authors:
Alexander E. Holroyd,
James B. Martin
Abstract:
Given a homogenous Poisson point process in the plane, we prove that it is possible to partition the plane into bounded connected cells of equal volume, in a translation-invariant way, with each point of the process contained in exactly one cell. Moreover, the diameter $D$ of the cell containing the origin satisfies the essentially optimal tail bound $P(D>r)<c/r$. We give two variants of the const…
▽ More
Given a homogenous Poisson point process in the plane, we prove that it is possible to partition the plane into bounded connected cells of equal volume, in a translation-invariant way, with each point of the process contained in exactly one cell. Moreover, the diameter $D$ of the cell containing the origin satisfies the essentially optimal tail bound $P(D>r)<c/r$. We give two variants of the construction. The first has the curious property that any two cells are at positive distance from each other. In the second, any bounded region of the plane intersects only finitely many cells almost surely.
△ Less
Submitted 9 October, 2014;
originally announced October 2014.
-
How to squeeze the toothpaste back into the tube
Authors:
Pablo A. Ferrari,
James B. Martin
Abstract:
We consider "bridges" for the simple exclusion process on Z, either symmetric or asymmetric, in which particles jump to the right at rate p and to the left at rate 1-p. The initial state O has all negative sites occupied and all non-negative sites empty. We study the probability that the process is again in state O at time t, and the behaviour of the process on [0,t] conditioned on being in state…
▽ More
We consider "bridges" for the simple exclusion process on Z, either symmetric or asymmetric, in which particles jump to the right at rate p and to the left at rate 1-p. The initial state O has all negative sites occupied and all non-negative sites empty. We study the probability that the process is again in state O at time t, and the behaviour of the process on [0,t] conditioned on being in state O at time t. In the case p=1/2, we find that such a bridge typically goes a distance of order t (in the sense of graph distance) from the initial state. For the asymmetric systems, we note an interesting duality which shows that bridges with parameters p and 1-p have the same distribution; the maximal distance of the process from the original state behaves like c(p)log(t) for some constant c(p) depending on p. (For p>1/2, the front particle therefore travels much less far than the bridge of the corresponding random walk, even though in the unconditioned process the path of the front particle dominates a random walk.) We mention various further questions.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
Fixed points for multi-class queues
Authors:
James B. Martin,
Balaji Prabhakar
Abstract:
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-t…
▽ More
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).
△ Less
Submitted 15 March, 2010;
originally announced March 2010.
-
Discrete low-discrepancy sequences
Authors:
Omer Angel,
Alexander E. Holroyd,
James B. Martin,
James Propp
Abstract:
Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm y…
▽ More
Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm yields an extension of Holroyd and Propp's result to the case of discrete probability distributions on infinite sets.
△ Less
Submitted 14 July, 2010; v1 submitted 6 October, 2009;
originally announced October 2009.
-
Batch queues, reversibility and first-passage percolation
Authors:
James B. Martin
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 August, 2009; v1 submitted 11 February, 2009;
originally announced February 2009.
-
Collision probabilities in the rarefaction fan of asymmetric exclusion processes
Authors:
Pablo A. Ferrari,
Patricia Goncalves,
James B. Martin
Abstract:
We consider the one-dimensional asymmetric simple exclusion process (ASEP) in which particles jump to the right at rate $p\in(1/2,1]$ and to the left at rate $1-p$, interacting by exclusion. In the initial state there is a finite region such that to the left of this region all sites are occupied and to the right of it all sites are empty. Under this initial state, the hydrodynamical limit of the…
▽ More
We consider the one-dimensional asymmetric simple exclusion process (ASEP) in which particles jump to the right at rate $p\in(1/2,1]$ and to the left at rate $1-p$, interacting by exclusion. In the initial state there is a finite region such that to the left of this region all sites are occupied and to the right of it all sites are empty. Under this initial state, the hydrodynamical limit of the process converges to the rarefaction fan of the associated Burgers equation. In particular suppose that the initial state has first-class particles to the left of the origin, second-class particles at sites 0 and 1, and holes to the right of site 1. We show that the probability that the two second-class particles eventually collide is $(1+p)/3p$, where a_collision_ occurs when one of the particles attempts to jump over the other. This also corresponds to the probability that two ASEP processes, started from appropriate initial states and coupled using the so-called "basic coupling", eventually reach the same state. We give various other results about the behaviour of second-class particles in the ASEP. In the totally asymmetric case ($p=1$) we explain a further representation in terms of a multi-type particle system, and also use the collision result to derive the probability of coexistence of both clusters in a two-type version of the corner growth model.
△ Less
Submitted 20 August, 2008; v1 submitted 10 April, 2008;
originally announced April 2008.
-
Fragmenting random permutations
Authors:
Christina Goldschmidt,
James B. Martin,
Dario Spanò
Abstract:
Problem 1.5.7 from Pitman's Saint-Flour lecture notes: Does there exist for each n a fragmentation process (Π_{n,k}, 1 \leq k \leq n) taking values in the space of partitions of {1,2,...,n} such that Π_{n,k} is distributed like the partition generated by cycles of a uniform random permutation of {1,2,...,n} conditioned to have k cycles? We show that the answer is yes. We also give a partial exte…
▽ More
Problem 1.5.7 from Pitman's Saint-Flour lecture notes: Does there exist for each n a fragmentation process (Π_{n,k}, 1 \leq k \leq n) taking values in the space of partitions of {1,2,...,n} such that Π_{n,k} is distributed like the partition generated by cycles of a uniform random permutation of {1,2,...,n} conditioned to have k cycles? We show that the answer is yes. We also give a partial extension to general exchangeable Gibbs partitions.
△ Less
Submitted 4 December, 2007;
originally announced December 2007.
-
Multiclass Hammersley-Aldous-Diaconis process and multiclass-customer queues
Authors:
Pablo A. Ferrari,
James B. Martin
Abstract:
In the Hammersley-Aldous-Diaconis process infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x$ whose nearest neighbor to the right is at y, jumps at rate y-x to a position uniformly distributed in the interval (x,y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particl…
▽ More
In the Hammersley-Aldous-Diaconis process infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x$ whose nearest neighbor to the right is at y, jumps at rate y-x to a position uniformly distributed in the interval (x,y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particles. We show that the invariant measures for the two-class process can be obtained as follows. First, a stationary M/M/1 queue is constructed as a function of two homogeneous Poisson processes, the arrivals with rate λand the (attempted) services with rate ρ>λ. Then put the first class particles at the instants of departures (effective services) and second class particles at the instants of unused services. The procedure is generalized for the n-class case by using n-1 queues in tandem with n-1 priority-types of customers. A multi-line process is introduced; it consists of a coupling (different from Liggett's basic coupling), having as invariant measure the product of Poisson processes. The definition of the multi-line process involves the dual points of the space-time Poisson process used in the graphical construction of the system. The coupled process is a transformation of the multi-line process and its invariant measure the transformation described above of the product measure.
△ Less
Submitted 27 July, 2007;
originally announced July 2007.
-
A phase transition for competition interfaces
Authors:
Pablo A. Ferrari,
James B. Martin,
Leandro P. R. Pimentel
Abstract:
We study the competition interface between two growing clusters in a growth model associated to last-passage percolation. When the initial unoccupied set is approximately a cone, we show that this interface has an asymptotic direction with probability 1. The behavior of this direction depends on the angle $θ$ of the cone: for $θ\geq180^{\circ}$, the direction is deterministic, while for…
▽ More
We study the competition interface between two growing clusters in a growth model associated to last-passage percolation. When the initial unoccupied set is approximately a cone, we show that this interface has an asymptotic direction with probability 1. The behavior of this direction depends on the angle $θ$ of the cone: for $θ\geq180^{\circ}$, the direction is deterministic, while for $θ<180^{\circ}$, it is random, and its distribution can be given explicitly in certain cases. We also obtain partial results on the fluctuations of the interface around its asymptotic direction. The evolution of the competition interface in the growth model can be mapped onto the path of a second-class particle in the totally asymmetric simple exclusion process; from the existence of the limiting direction for the interface, we obtain a new and rather natural proof of the strong law of large numbers (with perhaps a random limit) for the position of the second-class particle at large times.
△ Less
Submitted 2 March, 2009; v1 submitted 15 January, 2007;
originally announced January 2007.
-
Heavy tails in last-passage percolation
Authors:
Ben Hambly,
James B. Martin
Abstract:
We consider last-passage percolation models in two dimensions, in which the underlying weight distribution has a heavy tail of index alpha<2. We prove scaling laws and asymptotic distributions, both for the passage times and for the shape of optimal paths; these are expressed in terms of a family (indexed by alpha) of "continuous last-passage percolation" models in the unit square. In the extrem…
▽ More
We consider last-passage percolation models in two dimensions, in which the underlying weight distribution has a heavy tail of index alpha<2. We prove scaling laws and asymptotic distributions, both for the passage times and for the shape of optimal paths; these are expressed in terms of a family (indexed by alpha) of "continuous last-passage percolation" models in the unit square. In the extreme case alpha=0 (corresponding to a distribution with slowly varying tail) the asymptotic distribution of the optimal path can be represented by a random self-similar measure on [0,1], whose multifractal spectrum we compute. By extending the continuous last-passage percolation model to R^2 we obtain a heavy-tailed analogue of the Airy process, representing the limit of appropriately scaled vectors of passage times to different points in the plane. We give corresponding results for a directed percolation problem based on alpha-stable Levy processes, and indicate extensions of the results to higher dimensions.
△ Less
Submitted 8 April, 2006;
originally announced April 2006.
-
Multiclass processes, dual points and M/M/1 queues
Authors:
Pablo A. Ferrari,
James B. Martin
Abstract:
We consider the discrete Hammersley-Aldous-Diaconis process (HAD) and the totally asymmetric simple exclusion process (TASEP) in Z. The basic coupling induces a multiclass process which is useful in discussing shock measures and other important properties of the processes. The invariant measures of the multiclass systems are the same for both processes, and can be constructed as the law of the o…
▽ More
We consider the discrete Hammersley-Aldous-Diaconis process (HAD) and the totally asymmetric simple exclusion process (TASEP) in Z. The basic coupling induces a multiclass process which is useful in discussing shock measures and other important properties of the processes. The invariant measures of the multiclass systems are the same for both processes, and can be constructed as the law of the output process of a system of multiclass queues in tandem; the arrival and service processes of the queueing system are a collection of independent Bernoulli product measures. The proof of invariance involves a new coupling between stationary versions of the processes called a multi-line process; this process has a collection of independent Bernoulli product measures as an invariant measure. Some of these results have appeared elsewhere and this paper is partly a review, with some proofs given only in outline. However we emphasize a new approach via dual points: when the graphical construction is used to construct a trajectory of the TASEP or HAD process as a function of a Poisson process in ZxR, the dual points are those which govern the time-reversal of the trajectory. Each line of the multi-line process is governed by the dual points of the line below. We also mention some other processes whose multiclass versions have the same invariant measures, and we note an extension of Burke's theorem to multiclass queues which follows from the results.
△ Less
Submitted 20 September, 2005;
originally announced September 2005.
-
Coagulation--fragmentation duality, Poisson--Dirichlet distributions and random recursive trees
Authors:
Rui Dong,
Christina Goldschmidt,
James B. Martin
Abstract:
In this paper we give a new example of duality between fragmentation and coagulation operators. Consider the space of partitions of mass (i.e., decreasing sequences of nonnegative real numbers whose sum is 1) and the two-parameter family of Poisson--Dirichlet distributions $\operatorname {PD}(α,θ)$ that take values in this space. We introduce families of random fragmentation and coagulation oper…
▽ More
In this paper we give a new example of duality between fragmentation and coagulation operators. Consider the space of partitions of mass (i.e., decreasing sequences of nonnegative real numbers whose sum is 1) and the two-parameter family of Poisson--Dirichlet distributions $\operatorname {PD}(α,θ)$ that take values in this space. We introduce families of random fragmentation and coagulation operators $\mathrm {Frag}_α$ and $\mathrm {Coag}_{α,θ}$, respectively, with the following property: if the input to $\mathrm {Frag}_α$ has $\operatorname {PD}(α,θ)$ distribution, then the output has $\operatorname {PD}(α,θ+1)$ distribution, while the reverse is true for $\mathrm {Coag}_{α,θ}$. This result may be proved using a subordinator representation and it provides a companion set of relations to those of Pitman between $\operatorname {PD}(α,θ)$ and $\operatorname {PD}(αβ,θ)$. Repeated application of the $\mathrm {Frag}_α$ operators gives rise to a family of fragmentation chains. We show that these Markov chains can be encoded naturally by certain random recursive trees, and use this representation to give an alternative and more concrete proof of the coagulation--fragmentation duality.
△ Less
Submitted 9 February, 2007; v1 submitted 28 July, 2005;
originally announced July 2005.
-
The Jammed Phase of the Biham-Middleton-Levine Traffic Model
Authors:
Omer Angel,
Alexander E Holroyd,
James B Martin
Abstract:
Initially a car is placed with probability p at each site of the two-dimensional integer lattice. Each car is equally likely to be East-facing or North-facing, and different sites receive independent assignments. At odd time steps, each North-facing car moves one unit North if there is a vacant site for it to move into. At even time steps, East-facing cars move East in the same way. We prove tha…
▽ More
Initially a car is placed with probability p at each site of the two-dimensional integer lattice. Each car is equally likely to be East-facing or North-facing, and different sites receive independent assignments. At odd time steps, each North-facing car moves one unit North if there is a vacant site for it to move into. At even time steps, East-facing cars move East in the same way. We prove that when p is sufficiently close to 1 traffic is jammed, in the sense that no car moves infinitely many times. The result extends to several variant settings, including a model with cars moving at random times, and higher dimensions.
△ Less
Submitted 22 August, 2005; v1 submitted 31 March, 2005;
originally announced April 2005.
-
Random recursive trees and the Bolthausen-Sznitman coalescent
Authors:
Christina Goldschmidt,
James B. Martin
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 June, 2005; v1 submitted 13 February, 2005;
originally announced February 2005.
-
Stationary distributions of multi-type totally asymmetric exclusion processes
Authors:
Pablo A. Ferrari,
James B. Martin
Abstract:
We consider totally asymmetric simple exclusion processes with n types of particle and holes ($n$-TASEPs) on $\mathbb {Z}$ and on the cycle $\mathbb {Z}_N$. Angel recently gave an elegant construction of the stationary measures for the 2-TASEP, based on a pair of independent product measures. We show that Angel's construction can be interpreted in terms of the operation of a discrete-time…
▽ More
We consider totally asymmetric simple exclusion processes with n types of particle and holes ($n$-TASEPs) on $\mathbb {Z}$ and on the cycle $\mathbb {Z}_N$. Angel recently gave an elegant construction of the stationary measures for the 2-TASEP, based on a pair of independent product measures. We show that Angel's construction can be interpreted in terms of the operation of a discrete-time $M/M/1$ queueing server; the two product measures correspond to the arrival and service processes of the queue. We extend this construction to represent the stationary measures of an n-TASEP in terms of a system of queues in tandem. The proof of stationarity involves a system of n 1-TASEPs, whose evolutions are coupled but whose distributions at any fixed time are independent. Using the queueing representation, we give quantitative results for stationary probabilities of states of the n-TASEP on $\mathbb {Z}_N$, and simple proofs of various independence and regeneration properties for systems on $\mathbb {Z}$.
△ Less
Submitted 30 July, 2007; v1 submitted 19 January, 2005;
originally announced January 2005.
-
Roughening and inclination of competition interfaces
Authors:
Pablo A. Ferrari,
James B. Martin,
Leandro P. R. Pimentel
Abstract:
The competition interface between two growing ``Young clusters'' (diagrams), in a two-dimensional random cone, is mapped to the path of a second-class particle in the one-dimensional totally asymmetric simple exclusion process. Using the asymptotics of the second class particle and hydrodynamic limits for the exclusion process (Burgers equation), we show that the behavior of the competition inte…
▽ More
The competition interface between two growing ``Young clusters'' (diagrams), in a two-dimensional random cone, is mapped to the path of a second-class particle in the one-dimensional totally asymmetric simple exclusion process. Using the asymptotics of the second class particle and hydrodynamic limits for the exclusion process (Burgers equation), we show that the behavior of the competition interface depends on the angle of the cone: for angles in [180^o, 270^o) the competition interface has a deterministic inclination, while for angles in [90^o,180^o) the inclination is random. We relate the competition model to a model of random directed polymers, and obtain some partial results for the fluctuations of the competition interface.
△ Less
Submitted 10 January, 2006; v1 submitted 9 December, 2004;
originally announced December 2004.
-
A universality property for last-passage percolation paths close to the axis
Authors:
Thierry Bodineau,
James B. Martin
Abstract:
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-…
▽ More
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ós, Major and Tusnády.
△ Less
Submitted 3 October, 2004;
originally announced October 2004.
-
Reconstruction thresholds on regular trees
Authors:
James B. Martin
Abstract:
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"…
▽ More
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 $λ=1$, the unique simple invariant Gibbs measure is extremal in the set of Gibbs measures, for any k.
△ Less
Submitted 28 May, 2003;
originally announced May 2003.
-
Limiting shape for directed percolation models
Authors:
James B. Martin
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 6 April, 2005; v1 submitted 7 January, 2003;
originally announced January 2003.
