Generalizations of TASEP in discrete and continuous inhomogeneous space
Alisa Knizel, Leonid Petrov, Axel Saenz
备注：
68 pages; 24 figures; v3: Major revisions streamlining the exposition. Parts of the appendix moved into the main text. Added Legendre transform discussion of limit shape, other results stay the same. To appear in Commun. Math. Phys
We investigate a rich new class of exactly solvable particle systems generalizing the Totally Asymmetric Simple Exclusion Process (TASEP). Our particle systems can be thought of as new exactly solvable examples of tandem queues, directed first- or last-passage percolation models, or Robinson-Schensted-Knuth type systems with random input. One of the novel features of the particle systems is the presence of spatial inhomogeneity which can lead to the formation of traffic jams.
For systems with special step-like initial data, we find explicit limit shapes, describe hydrodynamic evolution, and obtain asymptotic fluctuation results which put the systems into the Kardar-Parisi-Zhang universality class. At a critical scaling around a traffic jam in the continuous space TASEP, we observe deformations of the Tracy-Widom distribution and the extended Airy kernel, revealing the finer structure of this novel type of phase transitions.
A homogeneous version of a discrete space system we consider is a one-parameter deformation of the geometric last-passage percolation, and we obtain extensions of the limit shape parabola and the corresponding asymptotic fluctuation results.
The exact solvability and asymptotic behavior results are powered by a new nontrivial connection to Schur measures and processes.
We reinterpret and generalize conjectures of Lam and Williams as statements about the stationary distribution of a multispecies exclusion process on the ring. The central objects in our study are the multiline queues of Ferrari and Martin. We make some progress on some of the conjectures in different directions. First, we prove their conjectures in two special cases by generalizing the rates of the Ferrari-Martin transitions. Secondly, we define a new process on multiline queues, which have a certain minimality property. This gives another proof for one of the special cases; namely arbitrary j…
We consider the PushTASEP (pushing totally asymmetric simple exclusion process, also sometimes called long-range TASEP) with the step initial configuration evolving in an inhomogeneous space. That is, the rate of each particle's jump depends on the location of this particle. We match the distribution of the height function of this PushTASEP with Schur processes. Using this matching and determinantal structure of Schur processes, we obtain limit shape and fluctuation results which are typical for stochastic particle systems in the Kardar-Parisi-Zhang universality class. PushTASEP is a close rel…
We consider two versions of discrete time totally asymmetric simple exclusion processes (TASEPs) with geometric and Bernoulli random hopping probabilities. For the process mixed with these and continuous time dynamics, we obtain a single Fredholm determinant representation for the joint distribution function of particle positions with arbitrary initial data. This formula is a generalization of the recent result by Mateski, Quastel and Remenik and allows us to take the KPZ scaling limit. For both the discrete time geometric and Bernoulli TASEPs, we show that the distribution function converges …
We study the one-dimensional discrete time totally asymmetric simple exclusion process with parallel update rules on a spatially periodic domain. A multi-point space-time joint distribution formula is obtained for general initial conditions. The formula involves contour integrals of Fredholm determinants with kernels acting on certain discrete spaces. For a class of initial conditions satisfying certain technical assumptions, we are able to derive large-time, large-period limit of the joint distribution, under the relaxation time scale $t=O(L^{3/2})$ when the height fluctuations are critically…
We prove Airy process variational formulas for the one-point probability distribution of (discrete time parallel update) TASEP with general initial data, as well as last passage percolation from a general lattice path to a point. We also consider variants of last passage percolation with inhomogeneous parameter geometric weights and provide variational formulas of a similar nature. This proves one aspect of the conjectural description of the renormalization fixed point of the Kardar-Parisi-Zhang universality class.
Recently Johansson and Rahman obtained the limiting multi-time distribution for the discrete polynuclear growth model, which is equivalent to a discrete TASEP model with step initial condition. In this paper, we obtain a finite time multi-point distribution formula of continuous TASEP with general initial conditions in the space-time plane. We evaluate the limit of this distribution function when the times go to infinity at the same speed for both step and flat initial conditions. These limiting distributions are expected to be universal for all the models in the Kardar-Parisi-Zhang universali…
We introduce two new exactly solvable (stochastic) interacting particle systems which are discrete time versions of q-TASEP. We call these geometric and Bernoulli discrete time q-TASEP. We obtain concise formulas for expectations of a large enough class of observables of the systems to completely characterize their fixed time distributions when started from step initial condition. We then extract Fredholm determinant formulas for the marginal distribution of the location of any given particle. Underlying this work is the fact that these expectations solve closed systems of difference equations…
The TASEP (totally asymmetric simple exclusion process) is a basic model for an one-dimensional interacting particle system with non-reversible dynamics. Despite the simplicity of the model it shows a very rich and interesting behaviour. In this paper we study some aspects of the TASEP in discrete time and compare the results to the recently obtained results for the TASEP in continuous time. In particular we focus on stationary distributions for multi-type models, speeds of second-class particles, collision probabilities and the "speed process". In discrete time, jump attempts may occur at dif…
We consider the q-Hahn TASEP which is a three-parameter family of discrete time interacting particle systems. The particles jump to the right independently according to a certain q-Binomial distribution with parallel updates. It is a generalization of the discrete time q-TASEP which is the q-deformed totally asymmetric simple exclusion process (TASEP) on Z for q in [0,1). For step initial condition, we prove that the current fluctuation of q-Hahn TASEP at time t is of order $t^{1/3}$ and asymptotically distributed as the GUE Tracy-Widom distribution. We verify the KPZ scaling theory conjecture…
In this study we map the dualities observed in the framework of integrable probabilities into the dualities familiar in a realm of integrable many-body systems. The dualities between the pairs of stochastic processes involve one representative from Macdonald-Schur family, while the second representative is from stochastic higher spin six-vertex model of TASEP family. We argue that these dualities are counterparts and generalizations of the familiar quantum-quantum (QQ) dualities between pairs of integrable systems. One integrable system from QQ dual pair belongs to the family of inhomogeneous …
We obtain a new relation between the distributions $μ_t$ at different times $t\ge 0$ of the continuous-time TASEP (Totally Asymmetric Simple Exclusion Process) started from the step initial configuration. Namely, we present a continuous-time Markov process with local interactions and particle-dependent rates which maps the TASEP distributions $μ_t$ backwards in time. Under the backwards process, particles jump to the left, and the dynamics can be viewed as a version of the discrete-space Hammersley process. Combined with the forward TASEP evolution, this leads to a stationary Markov dynamics p…
We study correlation functions of the totally asymmetric simple exclusion process (TASEP) in discrete time with backward sequential update. We prove a determinantal formula for the generalized Green function which describes transitions between positions of particles at different individual time moments. In particular, the generalized Green function defines a probability measure at staircase lines on the space-time plane. The marginals of this measure are the TASEP correlation functions in the space-time region not covered by the standard Green function approach. As an example, we calculate the…
We introduce a new interacting particle system on $\mathbb{Z}$, \emph{slowed $t$-TASEP}. It may be viewed as a $q$-TASEP with additional position-dependent slowing of jump rates depending on a parameter $t$, which leads to discrete and nonuniversal asymptotics at large time. If on the other hand $t \to 1$ as $\text{time} \to \infty$, we prove (1) a law of large numbers for particle positions, (2) a central limit theorem, with convergence to the fixed-time Gaussian marginal of a stationary solution to SDEs derived from the particle jump rates, and (3) a bulk limit to a certain explicit stationa…
We consider the polynuclear growth (PNG) model in 1+1 dimension with flat initial condition and no extra constraints. The joint distributions of surface height at finitely many points at a fixed time moment are given as marginals of a signed determinantal point process. The long time scaling limit of the surface height is shown to coincide with the Airy_1 process. This result holds more generally for the observation points located along any space-like path in the space-time plane. We also obtain the corresponding results for the discrete time TASEP (totally asymmetric simple exclusion process)…
We develop spectral theory for the q-Hahn stochastic particle system introduced recently by Povolotsky. That is, we establish a Plancherel type isomorphism result which implies completeness and biorthogonality statements for the Bethe ansatz eigenfunctions of the system. Owing to a Markov duality with the q-Hahn TASEP (a discrete-time generalization of TASEP with particles' jump distribution being the orthogonality weight for the classical q-Hahn orthogonal polynomials), we write down moment formulas which characterize the fixed time distribution of the q-Hahn TASEP with general initial data. …
We study the following interacting particle system. There are $ρn$ particles, $ρ< 1$, moving clockwise ("right"), in discrete time, on $n$ sites arranged in a circle. Each site may contain at most one particle. At each time, a particle may move to the right-neighbor site according to the following rules. If its right-neighbor site is occupied by another particle, the particle does not move. If the particle has unoccupied sites ("holes") as neighbors on both sides, it moves right with probability $1$. If the particle has a hole as the right-neighbor and an occupied site as the left-neighbor, it…
We develop spectral theory for the generator of the q-Boson (stochastic) particle system. Our central result is a Plancherel type isomorphism theorem for this system. This theorem has various implications. It proves the completeness of the Bethe ansatz for the q-Boson generator and consequently enables us to solve the Kolmogorov forward and backward equations for general initial data. Owing to a Markov duality with q-TASEP, this leads to moment formulas which characterize the fixed time distribution of q-TASEP started from general initial conditions. The theorem also implies the biorthogonalit…
We prove convergence of the full extremal process of the two-dimensional scale-inhomogeneous discrete Gaussian free field in the weak correlation regime. The scale-inhomogeneous discrete Gaussian free field is obtained from the 2d discrete Gaussian free field by modifying the variance through a function $\mathcal{I}:[0,1]\rightarrow [0,1]$. The limiting process is a cluster Cox process. The random intensity of the Cox process depends on the $\mathcal{I}^\prime(0)$ through a random measure $Y$ and on the $\mathcal{I}^\prime(1)$ through a constant $β$. We describe the cluster process, which only…
This is the first of a three paper series in which we present a comprehensive study of the extreme value theory of the scale-inhomogeneous discrete Gaussian free field. This model was introduced by Arguin and Ouimet who computed the first order of the maximum. In this first paper we establish tail estimates for the maximum value, which allow to deduce the log-correction to the order of the maximum and tightness of the centred maximum. Our proofs are based on the second moment method and Gaussian comparison techniques.
We continue the study of the maximum of the scale-inhomogeneous discrete Gaussian free field in dimension two. In this paper, we consider the regime of weak correlations and prove the convergence in law of the centred maximum to a randomly shifted Gumbel distribution. In particular, we obtain limiting expressions for the random shift. As in the case of variable speed branching Brownian motion, the shift is of the form CY, where C is a constant that depends only on the variance at the shortest scales, and Y is a random variable that depends only on the variance at the largest scales. Moreover, …
We introduce a space inhomogeneous generalization of the dynamics on interlacing arrays considered by Borodin and Ferrari. We show that for a certain class of initial conditions the point process associated to the dynamics has determinantal correlation functions and we calculate explicitly, in the form of a double contour integral, the correlation kernel for one of the most classical initial conditions, the densely packed. En route to proving this we obtain some results of independent interest on non-intersecting general pure-birth chains, that generalize the Charlier process, the discrete ana…
Motivated by limits of critical inhomogeneous random graphs, we construct a family of sequences of measured metric spaces that we call continuous multiplicative graphs, that are expected to be the universal limit of graphs related to the multiplicative coalescent (the Erdős--Rényi random graph, more generally the so-called rank-one inhomogeneous random graphs of various types, and the configuration model). At the discrete level, the construction relies on a new point of view on (discrete) inhomogeneous random graphs that involves an embedding into a Galton--Watson forest. The new representatio…
A coupling by reflection of a time-inhomogeneous diffusion process on a manifold are studied. The condition we assume is a natural time-inhomogeneous extension of lower Ricci curvature bounds. In particular, it includes the case of backward Ricci flow. As in time-homogeneous cases, our coupling provides a gradient estimate of the diffusion semigroup which yields the strong Feller property. To construct the coupling via discrete approximation, we establish the convergence in law of geodesic random walks as well as a uniform non-explosion type estimate.
Scaling limits for continuous-time branching processes with discrete state space are provided as the initial state tends to infinity. Depending on the finiteness or non-finiteness of the mean and/or the variance of the offspring distribution, the limits are in general time-inhomogeneous Gaussian processes, time-inhomogeneous generalized Ornstein-Uhlenbeck type processes or continuous-state branching processes. We also provide transfer results showing how specific asymptotic relations for the probability generating function of the offspring distribution carry over to those of the one-dimensiona…
In this work, we consider an inhomogeneous (discrete time) Markov chain and are interested in its long time behavior. We provide sufficient conditions to ensure that some of its asymptotic properties can be related to the ones of a homogeneous (continuous time) Markov process. Renowned examples such as a bandit algorithms, weighted random walks or decreasing step Euler schemes are included in our framework. Our results are related to functional limit theorems, but the approach differs from the standard "Tightness/Identification" argument; our method is unified and based on the notion of pseudo…
We prove the global asymptotic equivalence between the experiments generated by the discrete (high frequency) or continuous observation of a path of a time inhomogeneous jump-diffusion process and a Gaussian white noise experiment. Here, the considered parameter is the drift function, and we suppose that the observation time $T$ tends to $\infty$. The approximation is given in the sense of the Le Cam $Δ$-distance, under smoothness conditions on the unknown drift function. These asymptotic equivalences are established by constructing explicit Markov kernels that can be used to reproduce one exp…
This paper continues the discussion on the stability of time-inhomogeneous Markov chains. In particular, this paper defines a time-inhomogeneous, discrete-time Markov chain governed by a continuous evolution in the appropriate martrix space. This matrix space, $\mathcal{P}_{n}^{ia}$, is the space of all stochastic matrices that are irreducible and aperiodic. For this new type of evolution there is a definition of a specific type of stability called the stable adiabatic time. This measure is bounded by a function of the optimal mixing time over the evolution. Namely, for a time-inhomogeneous, d…
