## Abstract

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.

This is a preview of subscription content, log in to check access.

## Notes

- 1.
The standard continuous time TASEP (likely the version most familiar to the reader) is obtained from this discrete time process by scaling time by \(p^{-1}\) and sending \(p\rightarrow 0\).

- 2.
Throughout most of the paper the parameters \(\nu _j\) are additionally assumed nonnegative, but the DGCG model makes sense under the weaker restrictions \(\nu _j+\beta _ta_i\ge 0\) for all

*i*,*t*,*j*. - 3.
We say that a certain event has rate \(\mu >0\) if it repeats after independent random time intervals which have exponential distribution with rate \(\mu \) (and mean \(\mu ^{-1}\)).

- 4.
Throughout the paper \({\mathbf {1}}_{A}\) stands for the indicator of an event

*A*. By \({\mathbf {1}}\) (without subscripts) we will also mean the identity operator. - 5.
Here \((a;q)_{\infty }=(1-a)(1-aq)(1-aq^2)\ldots \) is the infinite

*q*-Pochhammer symbol. - 6.
The first probabilities in (3.6) are conditional over the northwest quadrant with tip \(\mu \) and the southeast quadrant with tip \(\lambda \), and we require that the dependence on these quadrants is only through their tips \(\mu \) and \(\lambda \), respectively. This can be viewed as a type of a two-dimensional Markov property.

- 7.
Which expresses the correlations of the process \(\widetilde{{\mathfrak {L}}}_{\ell }\) by analogy with (3.17).

- 8.
The deformed Airy kernel is not invariant with respect to simultaneous translations of the \(s_i\)’s, so we specialize \(s_1=0\) to get the simplest one-point distribution \(F_{GUE}^{(\delta ,0)}\).

- 9.
Note that this calculation is greatly simplified by the fact that the update is parallel, otherwise we would have to take into account the full behavior on the left half line. A way to deal with this issue for the stochastic six vertex model (which is not parallel update) is discussed in, e.g., [Agg18].

- 10.
In this paper we deal only with the \(\hbox {Airy}_2\) kernel and omit the subscript 2.

## References

- [Agg18]
Aggarwal, A.: Current fluctuations of the stationary ASEP and six-vertex model. Duke Math J.

**167**(2), 269–384 (2018). arXiv:1608.04726 [math.PR] - [And82]
Andjel, E.: Invariant measures for the zero range process. Ann. Probab.

**10**(3), 525–547 (1982) - [AG05]
Andjel, E., Guiol, H.: Long-range exclusion processes, generator and invariant measures. Ann. Probab.

**33**(6), 2314–2354 (2005). arXiv:math/0411655 [math.PR] - [AK84]
Andjel, E., Kipnis, C.: Derivation of the hydrodynamical equation for the zero-range interaction process. Ann. Probab.

**12**(2), 325–334 (1984) - [Bai06]
Baik, J.: Painlevé formulas of the limiting distributions for nonnull complex sample covariance matrices. Duke Math J.

**133**(2), 205–235 (2006). arXiv:math/0504606 [math.PR] - [BBP05]
Baik, J., Ben Arous, G., Péché, S.: Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices. Ann. Probab.

**33**(5), 1643–1697 (2005). arXiv:math/0403022 [math.PR] - [BDJ99]
Baik, J., Deift, P., Johansson, K.: On the distribution of the length of the longest increasing subsequence of random permutations. J. AMS

**12**(4), 1119–1178 (1999). arXiv:math/9810105 [math.CO] - [BKS12]
Balász, M., Komjáthy, J., Seppäläinen, T.: Microscopic concavity and fluctuation bounds in a class of deposition processes. Ann. Inst. H. Poincaré B

**48**, 151–187 (2012) - [Bar15]
Barraquand, G.: A phase transition for q-TASEP with a few slower particles. Stoch. Process. Appl.

**125**(7), 2674–2699 (2015). arXiv:1404.7409 [math.PR] - [Bar01]
Baryshnikov, Yu.: GUEs and queues. Probab. Theory Relat. Fields

**119**, 256–274 (2001) - [BSS17]
Basu, R., Sarkar, S., Sly, A.: Invariant measures for TASEP with a slow bond (2017). arXiv preprint arXiv:1704.07799

- [BSS14]
Basu, R., Sidoravicius, V., Sly, A.: Last passage percolation with a defect line and the solution of the slow bond problem (2014). arXiv preprint arXiv:1408.3464 [math.PR]

- [BNKR94]
Ben-Naim, E., Krapivsky, P., Redner, S.: Kinetics of clustering in traffic flows. Phys. Rev. E.

**50**(2), 822–829 (1994). arXiv:cond-mat/9402054 - [Ben+99]
Bengrine, M., Benyoussef, A., Ez-Zahraouy, H., Krug, J., Loulidi, M., Mhirech, F.: A simulation study of an asymmetric exclusion model with disorder. MJ Condens. Matter

**2**(1), 117–126 (1999) - [Bla11]
Blank, M.: Exclusion-type spatially heterogeneous processes in continua. J. Stat. Mech.

**2011**(06), P06016 (2011). arXiv:1105.4232 [math.DS] - [Bla12]
Blank, M.: Discrete time TASEP in heterogeneous continuum. Markov Process. Relat. Fields

**18**(3), 531–552 (2012) - [Bor10]
Bornemann, Folkmar: On the numerical evaluation of Fredholm determinants. Math. Comput.

**79**(270), 871–915 (2010). arXiv:0804.2543 [math.NA] - [Bor11]
Borodin, A.: Determinantal point processes. In: Akemann, G., Baik, J., Di Francesco, P. (eds.) Oxford Handbook of Random Matrix Theory. Oxford University Press, Oxford (2011). arXiv:0911.1153 [math.PR]

- [Bor17]
Borodin, A.: On a family of symmetric rational functions. Adv. Math.

**306**, 973–1018 (2017). arXiv:1410.0976 [math.CO] - [BC14]
Borodin, A., Corwin, I.: Macdonald processes. Probab. Theory Relat. Fields

**158**, 225–400 (2014). arXiv:1111.4408 [math.PR] - [BCF14]
Borodin, A., Corwin, I., Ferrari, P.: Free energy fluctuations for directed polymers in random media in \(1+ 1\) dimension. Commun. Pure Appl. Math.

**67**(7), 1129–1214 (2014). arXiv:1204.1024 [math.PR] - [BD11]
Borodin, A., Duits, M.: Limits of determinantal processes near a tacnode. Annales de l’institut Henri Poincaré (B)

**47**(1), 243–258 (2011). arXiv:0911.1980 [math.PR] - [BF14]
Borodin, A., Ferrari, P.: Anisotropic growth of random surfaces in \(2+1\) dimensions. Commun. Math. Phys.

**325**, 603–684 (2014). arXiv:0804.3035 [math-ph] - [BFPS07]
Borodin, A., Ferrari, P., Prähofer, M., Sasamoto, T.: Fluctuation properties of the TASEP with periodic initial configuration. J. Stat. Phys.

**129**(5–6), 1055–1080 (2007). arXiv:math-ph/0608056 - [BFS09]
Borodin, A., Ferrari, P., Sasamoto, T.: Two speed TASEP. J. Stat. Phys

**137**(5), 936–977 (2009). arXiv:0904.4655 [math-ph] - [BK08]
Borodin, A., Kuan, J.: Asymptotics of Plancherel measures for the infinite-dimensional unitary group. Adv. Math.

**219**(3), 894–931 (2008). arXiv:0712.1848 [math.RT] - [BOO00]
Borodin, A., Okounkov, A., Olshanski, G.: Asymptotics of Plancherel measures for symmetric groups. J. AMS

**13**(3), 481–515 (2000). arXiv:math/9905032 [math.CO] - [BO07]
Borodin, A., Olshanski, G.: Asymptotics of Plancherel-type random partitions. J. Algebra

**313**(1), 40–60 (2007). arXiv:math/0610240 - [BO16]
Borodin, A., Olshanski, G.: Representations of the Infinite Symmetric Group, vol. 160. Cambridge University Press, Cambridge (2016)

- [BO17]
Borodin, A., Olshanski, G.: The ASEP and determinantal point processes. Commun. Math. Phys.

**353**(2), 853–903 (2017). arXiv:1608.01564 [math-ph] - [BP08]
Borodin, A., Peche, S.: Airy kernel with two sets of parameters in directed percolation and random matrix theory. J. Stat. Phys.

**132**(2), 275–290 (2008). arXiv:0712.1086v3 [math-ph] - [BP16a]
Borodin, A., Petrov, L.: Lectures on integrable probability: stochastic vertex models and symmetric functions. Lecture Notes of the Les Houches Summer School

**104**(2016). arXiv:1605.01349 [math.PR] - [BP16b]
Borodin, A., Petrov, L.: Nearest neighbor Markov dynamics on Macdonald processes. Adv. Math.

**300**, 71–155 (2016). arXiv:1305.5501 [math.PR] - [BP18a]
Borodin, A., Petrov, L.: Higher spin six vertex model and symmetric rational functions. Selecta Math.

**24**(2), 751–874 (2018). arXiv:1601.05770 [math.PR] - [BP18b]
Borodin, A., Petrov, L.: Inhomogeneous exponential jump model. Probab. Theory Relat. Fields

**172**, 323–385 (2018). arXiv:1703.03857 [math.PR] - [BM18]
Bufetov, A., Matveev, K.: Hall–Littlewood RSK field. Selecta Math.

**24**(5), 4839–4884 (2018). arXiv:1705.07169 [math.PR] - [BP17]
Bufetov, A., Petrov, L.: Yang-Baxter field for spin Hall–Littlewood symmetric functions (2017). arXiv preprint arXiv:1712.04584 [math.PR]

- [Cal15]
Calder, J.: Directed last passage percolation with discontinuous weights. J. Stat. Phys.

**158**(4), 903–949 (2015) - [CG18]
Ciech, F., Georgiou, N.: Last passage percolation in an exponential environment with discontinuous rates (2018). arXiv preprint arXiv:1808.00917 [math.PR]

- [CEP96]
Cohn, Henry, Elkies, Noam, Propp, James: Local statistics for random domino tilings of the Aztec diamond. Duke Math. J.

**85**(1), 117–166 (1996). https://doi.org/10.1215/S0012-7094-96-08506-3. arXiv:math/0008243 [math.CO] - [Cor12]
Corwin, I.: The Kardar–Parisi–Zhang equation and universality class. Random Matrices Theory Appl.

**1**, 1130001 (2012). arXiv:1106.1596 [math.PR] - [Cor16]
Corwin, I.: Kardar–Parisi–Zhang Universality. Not. AMS

**63**(3), 230–239 (2016) - [CP16]
Corwin, I., Petrov, L.: Stochastic higher spin vertex models on the line. Commun. Math. Phys.

**343**(2), 651–700 (2016). arXiv:1502.07374 [math.PR] - [CT18]
Corwin, I., Tsai, L.-C.: SPDE Limit of Weakly Inhomogeneous ASEP (2018). arXiv preprint arXiv:1806.09682 [math.PR]

- [CLST13]
Costin, O., Lebowitz, J., Speer, E., Troiani, A.: The blockage problem. Bull. Inst. Math. Acad. Sinica (New Series)

**8**(1), 47–72 (2013). arXiv:1207.6555 [math-ph] - [DPPP12]
Derbyshev, A., Poghosyan, S., Povolotsky, A., Priezzhev, V.: The totally asymmetric exclusion process with generalized update. J. Stat. Mech. (P05014) (2012). arXiv:1203.0902 [cond-mat.stat-mech]

- [DPP15]
Derbyshev, A., Povolotsky, A., Priezzhev, V.: Emergence of jams in the generalized totally asymmetric simple exclusion process. Phys. Rev. E

**91**(2), 022125 (2015). arXiv:1410.2874 [math-ph] - [DLSS91]
Derrida, B., Lebowitz, J., Speer, E., Spohn, H.: Dynamics of an anchored Toom interface. J. Phys. A

**24**(20), 4805 (1991) - [DW08]
Dieker, A.B., Warren, J.: Determinantal transition kernels for some interacting particles on the line. Annales de l’Institut Henri Poincaré

**44**(6), 1162–1172 (2008). arXiv:0707.1843 [math.PR] - [DZS08]
Dong, J., Zia, R., Schmittmann, B.: Understanding the edge effect in TASEP with mean-field theoretic approaches. J. Phys. A

**42**(1), 015002 (2008). arXiv:0809.1974 [cond-mat.stat-mech] - [Dui13]
Duits, M.: The Gaussian free field in an interlacing particle system with two jump rates. Commun. Pure Appl. Math.

**66**(4), 600–643 (2013). arXiv:1105.4656 [math-ph] - [Edr52]
Edrei, A.: On the generating functions of totally positive sequences. II. J. Analyse Math.

**2**, 104–109 (1952). ISSN: 0021-7670 - [Emr16]
Emrah, E.: Limit shapes for inhomogeneous corner growth models with exponential and geometric weights. Electron. Commun. Probab.

**21**(42), 16 (2016). arXiv:1502.06986 [math.PR] - [Erd53]
Erdélyi, A. (ed.): Higher Transcendental Functions. McGraw-Hill, New York (1953)

- [EM98]
Eynard, B., Mehta, M.L.: Matrices coupled in a chain: I. Eigenvalue correlations. J. Phys. A

**31**, 4449–4456 (1998) - [Fer08]
Ferrari, P.: The universal \(\text{Airy}_1\) and \(\text{ Airy }_2\) processes in the totally asymmetric simple exclusion process. In: Baik, J., Kriecherbauer, T., Li, L.-C., McLaughlin, K.T.-R., Tomei, C. (eds.) Integrable Systems and Random Matrices: In Honor of Percy Deift, Contemporary Mathematics, pp. 321–332. AMS (2008). arXiv:math-ph/0701021

- [FS11]
Ferrari, P., Spohn, H.: Random growth models. In: Akemann, G., Baik, J., Di Francesco, P. (eds.) Oxford Handbook of Random Matrix Theory. Oxford University Press, Oxford (2011). arXiv:1003.0881 [math.PR]

- [FNH99]
Forrester, P.J., Nagao, T., Honner, G.: Correlations for the orthogonal-unitary and symplectic-unitary transitions at the hard and soft edges. Nucl. Phys. B

**553**(3), 601–643 (1999). arXiv:cond-mat/9811142 [cond-mat.mes-hall] - [Ful97]
Fulton, W.: Young Tableaux with Applications to Representation Theory and Geometry. Cambridge University Press, Cambridge (1997). ISBN: 0521567246

- [GKS10]
Georgiou, N., Kumar, R., Seppäläinen, T.: TASEP with discontinuous jump rates. ALEA Lat. Am. J. Probab. Math. Stat.

**7**, 293–318 (2010). arXiv:1003.3218 [math.PR] - [GTW02]
Gravner, J., Tracy, C., Widom, H.: Fluctuations in the composite regime of a disordered growth model. Commun. Math. Phys.

**229**, 433–458 (2002) - [Gre74]
Greene, C.: An extension of Schensted’s theorem. Adv. Math.

**14**(2), 254–265 (1974) - [Gui97]
Guiol, H.: Un résultat pour le processus d’exclusion à longue portée [A result for the long-range exclusion process]. In: Annales de l’Institut Henri Poincare (B) Probability and Statistics, vol. 33(4), pp. 387–405 (1997)

- [HHT15]
Halpin-Healy, T., Takeuchi, K.: A KPZ cocktail-shaken, not stirred. J. Stat. Phys

**160**(4), 794–814 (2015). arXiv:1505.01910 [cond-mat.stat-mech] - [Hel01]
Helbing, D.: Traffic and related self-driven many-particle systems. Rev. Mod. Phys.

**73**(4), 1067–1141 (2001). arXiv:cond-mat/0012229 [cond-mat.stat-mech] - [HKPV06]
Hough, J.B., Krishnapur, M., Peres, Y., Virág, B.: Determinantal processes and independence. Probab. Surv.

**3**, 206–229 (2006). arXiv:math/0503110 [math.PR] - [IS05]
Imamura, T., Sasamoto, T.: Polynuclear growth model with external source and random matrix model with deterministic source. Phys. Rev. E.

**71**(4), 041606 (2005) - [IS07]
Imamura, T., Sasamoto, T.: Dynamics of a tagged particle in the asymmetric exclusion process with the step initial condition. J. Stat. Phys.

**128**(4), 799–846 (2007). arXiv:math-ph/0702009 - [ITW01]
Its, A., Tracy, C., Widom, H.: Random words, Toeplitz determinants and integrable systems. In: Bleher, P., Its, A. (eds.) Random Matrices and Their Applications, vol. 40. MSRI Publications, Providence (2001)

- [JL92]
Janowsky, S., Lebowitz, J.: Finite-size effects and shock fluctuations in the asymmetric simple-exclusion process. Phys. Rev. A

**45**(2), 618 (1992) - [JPS98]
Jockusch, W., Propp, J., Shor, P.: Random domino tilings and the arctic circle theorem (1998). arXiv preprint arXiv:math/9801068 [math.CO]

- [Joh00]
Johansson, K.: Shape fluctuations and random matrices. Commun. Math. Phys.

**209**(2), 437–476 (2000). arXiv:math/9903134 [math.CO] - [Joh03]
Johansson, K.: Discrete polynuclear growth and determinantal processes. Commun. Math. Phys.

**242**(1), 277–329 (2003). arXiv:math/0206208 [math.PR] - [Joh16]
Johansson, K.: Two time distribution in Brownian directed percolation. Commun. Math. Phys.

**351**, 1–52 (2016). arXiv:1502.00941 [math-ph] - [Joh18]
Johansson, K.: The two-time distribution in geometric last-passage percolation (2018). arXiv preprint arXiv:1802.00729 [math.PR]

- [Kru91]
Krug, J.: Boundary-induced phase transitions in driven diffusive systems. Phys. Rev. Lett.

**67**(14), 1882–1885 (1991) - [Kru00]
Krug, J.: Phase separation in disordered exclusion models. Braz. J. Phys.

**30**(1), 97–104 (2000). arXiv:cond-mat/9912411 [cond-mat.stat-mech] - [KF96]
Krug, J., Ferrari, P.A.: Phase transitions in driven diffusive systems with random rates. J. Phys. A Math. Gen.

**29**(18), L465 (1996) - [Lan96]
Landim, C.: Hydrodynamical limit for space inhomogeneous one-dimensional totally asymmetric zero-range processes. Ann. Probab.

**24**(2), 599–638 (1996) - [Lig73]
Liggett, T.: An infinite particle system with zero range interactions. Ann. Probab.

**1**(2), 240–253 (1973) - [Lig76]
Liggett, T.: Coupling the simple exclusion process. Ann. Probab.

**4**, 339–356 (1976) - [Lig99]
Liggett, T.: Stochastic Interacting Systems: Contact, Voter and Exclusion Processes. Volume 324. Grundlehren de mathematischen Wissenschaften. Springer, Berlin (1999)

- [Lig05]
Liggett, T.: Interacting Particle Systems. Springer, Berlin (2005)

- [MGP68]
MacDonald, C., Gibbs, J., Pipkin, A.: Kinetics of biopolymerization on nucleic acid templates. Biopolymers

**6**(1), 1–25 (1968) - [Mac95]
Macdonald, I.G.: Symmetric Functions and Hall Polynomials, 2nd edn. Oxford University Press, Oxford (1995)

- [Mac94]
Macêdo, A.M.S.: Universal parametric correlations at the soft edge of the spectrum of random matrix ensembles. Europhys. Lett.

**26**(9), 641 (1994). arXiv:cond-mat/9404038 - [Mar09]
Martin, J.: Batch queues, reversibility and first-passage percolation. Queueing Syst.

**62**(4), 411–427 (2009). arXiv:0902.2026 [math.PR] - [MQR17]
Matetski, K., Quastel, J., Remenik, D.: The KPZ fixed point (2017). arXiv preprint arXiv:1701.00018 [math.PR]

- [O’C03a]
O’Connell, N.: A path-transformation for random walks and the Robinson–Schensted correspondence. Trans. AMS

**355**(9), 3669–3697 (2003) - [O’C03b]
O’Connell, N.: Conditioned random walks and the RSK correspondence. J. Phys. A

**36**(12), 3049–3066 (2003) - [OP13]
O’Connell, N., Pei, Y.: A q-weighted version of the Robinson–Schensted algorithm. Electron. J. Probab.

**18**(95), 1–25 (2013). arXiv:1212.6716 [math.CO] - [Oko01]
Okounkov, A.: Infinite wedge and random partitions. Selecta Math.

**7**(1), 57–81 (2001). arXiv:math/9907127 [math.RT] - [OR03]
Okounkov, A., Reshetikhin, N.: Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram. J. AMS

**16**(3), 581–603 (2003). arXiv:math/0107056 [math.CO] - [OP17]
Orr, D., Petrov, L.: Stochastic higher spin six vertex model and \(q\)-TASEPs. Adv. Math.

**317**, 473–525 (2017) - [Pet19]
Petrov, L.: PushTASEP in inhomogeneous space (2019). In preparation

- [Pov13]
Povolotsky, A.: On integrability of zero-range chipping models with factorized steady state. J. Phys. A

**46**, 465205 (2013). arXiv:1308.3250 [math-ph] - [PS02]
Prähofer, M., Spohn, H.: Scale invariance of the PNG droplet and the Airy process. J. Stat. Phys.

**108**, 1071–1106 (2002). arXiv:math.PR/0105240 - [QS15]
Quastel, J., Spohn, H.: The one-dimensional KPZ equation and its universality class. J. Stat. Phys.

**160**(4), 965–984 (2015). arXiv:1503.06185 [math-ph] - [Rez91]
Rezakhanlou, F.: Hydrodynamic limit for attractive particle systems on \(Z^d\). Commun. Math. Phys.

**140**(3), 417–448 (1991) - [RT08]
Rolla, L., Teixeira, A.: Last passage percolation in macroscopically inhomogeneous media. Electron. Commun. Probab.

**13**, 131–139 (2008) - [Ros81]
Rost, H.: Nonequilibrium behaviour of a many particle process: density profile and local equilibria. Z. Wahrsch. Verw. Gebiete

**58**(1), 41–53 (1981). https://doi.org/10.1007/BF00536194 - [Sag01]
Sagan, B.: The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. Springer, Berlin (2001). ISBN: 0387950672

- [Sep98]
Seppäläinen, T.: Hydrodynamic scaling, convex duality and asymptotic shapes of growth models. Markov Process. Relat. Fields

**4**(1), 1–26 (1998) - [Sep99]
Seppäläinen, T.: Existence of hydrodynamics for the totally asymmetric simple k-exclusion process. Ann. Probab.

**27**(1), 361–415 (1999) - [Sep01]
Seppäläinen, T.: Hydrodynamic profiles for the totally asymmetric exclusion process with a slow bond. J. Stat. Phys.

**102**(1–2), 69–96 (2001). arXiv:math/0003049 [math.PR] - [SK99]
Seppäläinen, T., Krug, J.: Hydrodynamics and platoon formation for a totally asymmetric exclusion model with particlewise disorder. J. Stat. Phys.

**95**(3–4), 525–567 (1999) - [Sim05]
Simon, B.: Trace Ideals and Their Applications, Second Edition, Mathematical Surveys and Monographs, vol. 120. AMS, Providence (2005)

- [Sos00]
Soshnikov, A.: Determinantal random point fields. Russ. Math. Surv.

**55**(5), 923–975 (2000). arXiv:math/0002099 [math.PR] - [Spi70]
Spitzer, F.: Interaction of Markov processes. Adv. Math.

**5**(2), 246–290 (1970) - [Spo91]
Spohn, H.: Large Scale Dynamics of Interacting Particles. Springer, Berlin (1991)

- [Sta01]
Stanley, R.: Enumerative Combinatorics. Volume 2. With a Foreword by Gian-Carlo Rota and Appendix 1 by Sergey Fomin. Cambridge University Press, Cambridge (2001)

- [Tho64]
Thoma, E.: Die unzerlegbaren, positive-definiten Klassenfunktionen der abzählbar unendlichen, symmetrischen Gruppe. Math. Zeitschr

**85**, 40–61 (1964) - [TTCB10]
Thompson, A.G., Tailleur, J., Cates, M.E., Blythe, R.A.: Zero-range processes with saturated condensation: the steady state and dynamics. J. Stat. Mech.

**02**, P02013 (2010). arXiv:0912.3009 [cond-mat.stat-mech] - [TW94]
Tracy, C., Widom, H.: Level-spacing distributions and the Airy kernel. Commun. Math. Phys.

**159**(1), 151–174 (1994). arXiv:hep-th/9211141. ISSN: 0010-3616 - [TW09]
Tracy, C., Widom, H.: Asymptotics in ASEP with step initial condition. Commun. Math. Phys.

**290**, 129–154 (2009). arXiv:0807.1713 [math.PR] - [WW09]
Warren, J., Windridge, P.: Some examples of dynamics for Gelfand–Tsetlin patterns. Electron. J. Probab.

**14**, 1745–1769 (2009). arXiv:0812.0022 [math.PR] - [Woe05]
Woelki, M.: Steady states of discrete mass transport models. PhD. thesis, Master thesis, University of Duisburg-Essen (2005)

- [ZDS11]
Zia, R.K.P., Dong, J.J., Schmittmann, B.: Modeling translation in protein synthesis with TASEP: a tutorial and recent developments. J. Stat. Phys.

**144**, 405 (2011)

## Acknowledgements

We are grateful to Guillaume Barraquand, Riddhipratim Basu, Alexei Borodin, Eric Cator, Francis Comets, Ivan Corwin, Patrik Ferrari, Vadim Gorin, Pavel Krapivsky, Alexander Povolotsky, Timo Seppäläinen, and Jon Warren for helpful discussions. A part of the work was completed when the authors attended the 2017 IAS PCMI Summer Session on Random Matrices, and we are grateful to the organizers for the hospitality and support. AK was partially supported by the NSF Grant DMS-1704186. LP was partially supported by the NSF grant DMS-1664617.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by H. Spohn

## Appendices

### Equivalent Models

Here we discuss a number of equivalent combinatorial formulations of our discrete DGCG model. For simplicity we consider only fully homogeneous models with \(a_i\equiv a\), \(\nu _j\equiv \nu \), \(\beta _t\equiv \beta \). In Appendix A.4 we also describe an equivalent formulation of the (homogeneous) continuous space TASEP.

### Parallel TASEP with geometric-Bernoulli jumps

Let us interpret the doubly geometric corner growth \(H_T(N)\) as a TASEP-like particle system.

### Definition A.1

The *geometric-Bernoulli* random variable \({\mathsf {g}}\in {\mathbb {Z}}_{\ge 0}\) (*gB variable*, for short; notation \({\mathsf {g}}\sim \mathrm {gB}(a\beta ,\nu )\)) is a random variable with distribution

### Definition A.2

The *geometric-Bernoulli Totally Asymmetric Simple Exclusion Process* (*gB-TASEP*, for short) is a discrete time Markov chain \(\{\vec {G}(T)\}_{T\in {\mathbb {Z}}_{\ge 0}}\) on the space of particle configurations \(\vec {G}=(G_1>G_2>\ldots )\) in \({\mathbb {Z}}\), with at most one particle per site allowed, and the step initial condition \(G_i(0)=-i\), \(i=1,2,\ldots \).

The dynamics of gB-TASEP proceeds as follows. At each discrete time step, each particle \(G_j\) with an empty site to the right (almost surely there are finitely many such particles at any finite time) samples an independent random variable \({\mathsf {g}}_j\sim \mathrm {gB}(a\beta ,\nu )\), and jumps by \(\min ({\mathsf {g}}_j,G_{j-1}-G_{j}-1)\) steps (with \(G_0=+\infty \) by agreement). See Fig. 4 (in the Introduction) for an illustration.

### Proposition A.3

Let \(H_T(N)\) be the DGCG height function. Then for all \(T\in {\mathbb {Z}}_{\ge 0}\) and \(N\in {\mathbb {Z}}_{\ge 1}\) we have

where \(\{G_i(T)\}\) is the gB-TASEP with the step initial configuration.

### Remark A.4

Replacing particles by holes and vice versa in gB-TASEP one gets a stochastic particle system of zero range type. It is called the *generalized TASEP* in [DPP15].

### Directed last-passage percolation like growth model

Let us present another equivalent formulation of DGCG as a variant of directed last-passage percolation. For each \(N\in {\mathbb {Z}}_{\ge 2}\) and \(H\in {\mathbb {Z}}_{\ge 1}\), sample two families of independent identically distributed geometric random variables:

\(W_{N,H}\in {\mathbb {Z}}_{\ge 1}\) has the geometric distribution with parameter \(w:=a \beta /(1+a\beta )\), that is, \({\mathrm {Prob}}(W_{N,H}=j)=w^{j}(1-w)\), \(j\ge 1\).

\(U_{N,H}\in {\mathbb {Z}}_{\ge 0}\) has the geometric distribution

$$\begin{aligned} {\mathrm {Prob}}(U_{N,H}=j)= \frac{1-\nu }{1+a\beta }\left( \frac{\nu +a\beta }{1+a\beta } \right) ^{j}, \qquad j\ge 0, \end{aligned}$$

Define a family of random variables \(L_{N,H}\in {\mathbb {Z}}_{\ge 1}\), \(N\ge 2\), \(H\ge 1\), depending on the *W*’s and the *U*’s via the recurrence relation

together with the boundary conditions

An example is given in Fig. 22.

### Proposition A.5

The time-dependent formulation \(\{H_T(N)\}\) (with homogeneous parameters) and the last-passage formulation \(\{L_{N,H}\}\) are equivalent in the sense that

for all \(H\ge 1\), \(N\ge 2\).

### Proof

In \(\{H_T(N)\}\) a cell (*N*, *H*) in the lattice can be covered by the growing interface at the step \(T\rightarrow T+1\) in two cases:

it was an inner corner, and event (1.2) occurred;

it was added to the covered inner corner instantaneously according to the probabilities (1.3)–(1.4).

Here \(W_{N,H}\) is identified with the waiting time to cover (*N*, *H*) once this cell becomes an inner corner. The coefficient by \(W_{N,H}\) in the second line in (A.1) is the indicator of the event that the cell (*N*, *H*) is covered instantaneously by a covered inner corner at some \((N-j,H)\). The random variable \(U_{N-j,H}\) is precisely the random number of boxes which are instantaneously added when \((N-j,H)\) is covered, and it has to be at least *j* to cover (*N*, *H*). Moreover, it must be \(L_{N-1,H}>L_{N,H-1}\), this corresponds to the truncation in (1.3). When (*N*, *H*) is covered instantaneously (so that the indicator is equal to 1), we have \(L_{N,H}=L_{N-1,H}\), and \(W_{N,H}\) is not added. \(\quad \square \)

### Remark A.6

The first line in (A.1) corresponds to the usual directed last-passage percolation model with geometric weights. Denote it by \({\widetilde{L}}_{N,H}\), i.e., \({\widetilde{L}}_{N,H}=\max ({\widetilde{L}}_{N-1,H},{\widetilde{L}}_{N,H-1})+W_{N,H}\) (with the same boundary conditions (A.2)). Almost surely we have \({\widetilde{L}}_{N,H}\ge L_{N,H}\) for all *N*, *H*. Limit shape and fluctuation results for \({\widetilde{L}}_{N,H}\) were obtained in [Joh00] (for the homogeneous case \(a_N\equiv a\)). In Sect. 6 we compare our limit shape with the one for \({\widetilde{L}}_{N,H}\).

### Strict-weak first-passage percolation

Any TASEP with parallel update and step initial configuration can be restated in terms of the First-Passage Percolation (FPP) on a strict-weak lattice. Let us define the FPP model. Take a lattice \(\{(T,j):T\ge 0,\, j\ge 1\}\), and draw its elements as \((1,0)T+(1,1)j\subset {\mathbb {R}}^2\), see Fig. 23. Assign random weights to the edges of the lattice: put weight zero at each diagonal edge, and independent random weights with gB distribution (Definition A.1) at all horizontal edges. This model (with the gB distributed weights) appeared in [Mar09] together with a queuing interpretation, see Remark A.8 below. Its limit shape was described in [Mar09] in terms of a Legendre dual.

We consider directed paths on our lattice, i.e., paths which are monotone in both *T* and *j*. For any path, define its weight to be the sum of weights of all its edges. Let the *first passage time*\(F_j(T)\) from (0, 0) to (*T*, *j*) to be the minimal weight of a path over all directed paths from (0, 0) to (*T*, *j*).

### Proposition A.7

We have \(F_j(T)=G_j(T+j-1)+j\) for all *j*, *T* (equality in distribution of families of random variables), where \(G_j(T)\) is the coordinate of the *j*-th particle in the gB-TASEP started from the step initial configuration.

### Proof

The first passage times satisfy the recurrence:

where \(w_{j,T}\) is the gB random variable at the horizontal edge connecting \((j,T-1)\) and (*j*, *T*). At the same time, the gB-TASEP particle locations satisfy

where \({\tilde{w}}_{j,T}\) is the gB random variable corresponding to the desired jump of the *j*-th particle at time step \(T-1\rightarrow T\). One readily sees that the boundary conditions for these recurrences also match, which completes the proof. \(\quad \square \)

The FPP times \(F_j(T)\) have an interpretation in terms of column Robinson–Schensted–Knuth (RSK) correspondence. We refer to [Ful97, Sag01, Sta01] for details on the RSK correspondences. Applying the column RSK to a random integer matrix of size \(j\times (T+j-1)\) with independent gB entries, one gets a random Young diagram \(\lambda =(\lambda _1\ge \cdots \ge \lambda _j\ge 0 )\) of at most *j* rows. The FPP time is related to this diagram as \(F_j(T)=\lambda _j\). The full diagram \(\lambda \) can also be recovered with the help of Greene’s theorem [Gre74] by considering minima of weights over nonintersecting directed paths in the strict-weak lattice with edge weights coming from the integer matrix.

To the best of our knowledge, the gB distribution presents a new family of random variables for which the corresponding oriented FPP times (obtained by applying the column RSK to a random matrix with independent entries) can be analyzed to the point of asymptotic fluctuations. Other known examples of random variables with tractable (to the point of asymptotic fluctuations) behavior of the FPP times consist of the pure geometric and Bernoulli distributions. Under a Poisson degeneration, the question of oriented FPP fluctuations can be reduced to the Ulam’s problem on asymptotics of the longest increasing subsequence in a random permutation. Tracy–Widom fluctuations in the latter case were obtained in the celebrated work [BDJ99].

### Remark A.8

The oriented FPP model (as well as the TASEP with parallel update) is equivalent to a tandem queuing system. For our models, the service times in the queues have the gB distribution. We refer to [Bar01, O’C03a, Mar09] for tandem queue interpretation of the usual TASEP as well as of the column RSK correspondence. See also the end of Sect. 1.6 for a similar interpretation of the continuous space TASEP.

### Continuous space TASEP and semi-discrete directed percolation

The homogeneous version (i.e., with \(\xi (\chi )\equiv 1\)) of the continuous space TASEP with no roadblocks possesses an interpretation in the spirit of directed First-Passage Percolation (FPP). This construction is very similar to a well-known interpretation of the usual continuous time TASEP on \({\mathbb {Z}}\) via FPP. We are grateful to Jon Warren for this observation.

Fix \(M\in {\mathbb {Z}}_{\ge 1}\) and consider the space \({\mathbb {R}}_{\ge 0}\times \{1,\ldots ,M \}\) in which each copy of \({\mathbb {R}}_{\ge 0}\) is equipped with an independent standard Poisson point process of rate 1. See Fig. 24 for an illustration. Let us first recall the connection to the usual continuous time, discrete space TASEP \(({\tilde{X}}_1(t)>{\tilde{X}}_2(t)>\ldots )\), \({\tilde{X}}_i(t)\in {\mathbb {Z}}\), \(t\in {\mathbb {R}}_{\ge 0}\), started from the step initial configuration \({\tilde{X}}_i(0)=-i\), \(i=1,2,\ldots \). In this TASEP each particle has an independent exponential clock with rate 1, and when the clock rings it jumps to the right by one provided that the destination is unoccupied. Fix \(t\in {\mathbb {R}}_{>0}\). For each \(m=1,\ldots ,M \) consider up-right paths from (0, 1) to (*t*, *m*) as in Fig. 24. The energy of an up-right path is, by definition, the total number of points in the Poisson processes lying on this path.

### Proposition A.9

For each *m* and *t*, the minimal energy of an up-right path from (0, 1) to (*t*, *m*) in the Poisson environment has the same distribution as the displacement \({\tilde{X}}_m(t)+m\) of the *m*-th particle in the usual TASEP.

For the continuous space TASEP consider a variant of this construction by putting an independent exponential random weight with mean \(L^{-1}\) at each point of each of the Poisson processes as in Fig. 24. That is, let now the weight of each point be random instead of 1. One can say that we replace the Poisson processes on \({\mathbb {R}}_{\ge 0}\times \left\{ 1,\ldots ,M \right\} \) by *marked Poisson processes*. This environment corresponds to the continuous space TASEP \((X_1(t)\ge X_2(t)\ge \ldots )\), \(X_i(t)\in {\mathbb {R}}_{\ge 0}\):

### Proposition A.10

For each \(t>0\) and \(m=1,\ldots ,M \) the minimal energy of an up-right path from (0, 1) to (*t*, *m*) in the marked Poisson environment has the same distribution as the coordinate \(X_m(t)\) of the *m*-th particle in the continuous space TASEP with mean jumping distance \(L^{-1}\).

Both Propositions A.9 and A.10 are established similarly to Proposition A.7 while taking into account the continuous horizontal coordinate. The interpretation via minimal energies of up-right paths also allows to define random Young diagrams depending on the Poisson or marked Poisson processes, respectively, by minimizing over collections of nonintersecting up-right paths. Utilizing Greene’s theorem [Gre74], (see also [Ful97, Sag01], or [Sta01]) one sees that in the case of the usual TASEP the distribution of this Young diagram is the Schur measure \(\propto s_\lambda (1,\ldots ,1 )s_\lambda (\vec {0};\vec {0};t)\). It would be very interesting to understand the distribution and asymptotics of random Young diagrams arising from the marked Poisson environment.

### Hydrodynamic Equations for Limiting Densities

Here we present informal derivations of hydrodynamic partial differential equations which the limiting densities and height functions of the DGCG and continuous space TASEP should satisfy. These equations follow from constructing families of local translation invariant stationary distributions of arbitrary density for the corresponding dynamics. The argument could be made rigorous if one shows that these families exhaust all possible (nontrivial) translation invariant stationary distributions (as, e.g., it is for TASEP [Lig05] or PushTASEP [Gui97, AG05]). We do not pursue this classification question here.

### Hydrodynamic equation for DGCG

Consider the discrete DGCG model in the asymptotic regime described in Sect. 6. Locally around every scaled point \(\eta \) the distribution of the process should be translation invariant and stationary under the homogeneous version of DGCG on \({\mathbb {Z}}\) (recall that it depends on the three parameters \(a,\beta ,\nu \)). The existence (for suitable initial configurations) of the homogeneous dynamics on \({\mathbb {Z}}\) can be established similarly to [Lig73, And82].

A supply of translation invariant stationary distributions on particle configurations on \({\mathbb {Z}}\) is given by product measures. That is, let us independently put particles at each site of \({\mathbb {Z}}\) with the gB probability (cf. Definition A.1)

### Proposition B.1

The product measure \(\pi ^{\otimes {\mathbb {Z}}}\) on particle configurations in \({\mathbb {Z}}\) corresponding to the distribution \(\pi \) (B.1) at each site is invariant under the homogeneous DGCG on \({\mathbb {Z}}\) with any values of the parameters *a* and \(\beta \).

### Proof

Let us check directly that \(\pi \) is invariant, i.e., satisfies

where \(P(k\rightarrow l)\) are the one-step transition probabilities of the homogeneous DGCG restricted to a given site (say, we are looking at site 0). The probability that a particle coming from the left crosses the bond \(-1\rightarrow 0\) is equal to^{Footnote 9}

where we sum over the number of empty sites to the left of 0, multiply by the probability that a particle leaves a stack, and then travels distance *n*. We have

the probability that a particle leaves the stack at 0, and another particle does not join it from the left. Moreover, for \(k\ge 1\) we have

where for \(k=1\) we require that the moving particle stops at site 0, and for \(k\ge 2\) we need the stack at 0 not to emit a particle. Finally,

where we require that no particle has stopped at site 0 for \(k=0\) and sum over two possibilities to preserve the number of particles at 0 for \(k\ge 1\). With these probabilities written down, checking (B.2) is straightforward. \(\quad \square \)

The density of particles under the product measure \(\pi ^{\otimes {\mathbb {Z}}}\) is \(\rho (c)=\frac{c(1-\nu )}{(1-c)(1-c\nu )}\), and the current (i.e., the average number of particles crossing a given bond) is equal to the quantity *u* from the proof of Proposition B.1, that is, \(j(c)=\frac{c a\beta }{1+ca\beta }\). Thus, the dependence of the current on the density has the form (where we recall that the parameters \(a,\nu \) depend on the space coordinate \(\eta \))

The partial differential equation for the limiting density \(\rho (\tau ,\eta )\) expressing the continuity of the hydrodynamic flow has the form [AK84, Rez91, Lan96, GKS10]

One can readily verify that the limit shape (6.1) satisfies this equation. Equation (B.4) should also hold for the scaling limit of the inhomogeneous DGCG, when the parameters \(a,\beta ,\nu \) of the homogeneous dynamics on the full line \({\mathbb {Z}}\) depend on the spatial coordinate \(\eta \). That is, one should replace \(j(\rho (\tau ,\eta ))\) (B.3) by \(j(\rho (\tau ,\eta );\eta )\) with \(a=a(\eta ),a=\beta (\eta ),a=\nu (\eta )\) being the scaled values of the parameters.

### Hydrodynamic equation for continuous space TASEP

Assume that the set of roadblocks \({\mathbf {B}}\) is empty. Then locally at every point \(\chi >0\) the behavior of the continuous space TASEP should be homogeneous. Locally the parameters can be chosen so that the mean waiting time to jump is \(1/\xi \equiv 1/\xi (\chi )\) and the mean jumping distance is 1.

The local distribution (on the full line \({\mathbb {R}}\)) should be invariant under space translations, and stationary under our homogeneous Markov dynamics. The existence (for suitable initial configurations) of the dynamics on \({\mathbb {R}}\) can be established similarly to [Lig73, And82].

A supply of translation invariant stationary distributions of arbitrary density may be constructed as follows. Fix a parameter \(0<c<1\) and consider a Poisson process on \({\mathbb {R}}\) with rate (i.e., mean density) \(\frac{c}{1-c}\). Put a random geometric number of particles at each point of this Poisson process, independently at each point, with the geometric distribution

Thus we obtain a so-called *marked Poisson process* — a distribution of stacks of particles on \({\mathbb {R}}\). It is clearly translation invariant. The stationarity of this process under the dynamics (for any \(\xi \)) follows by setting \(q=0\) in [BP18b, Appendix B] so we omit the computation here.

The density of particles under this marked Poisson process is

One can check that the current of particles (that is, the mean number of particles passing through, say, zero, in a unit of time) has the form

The partial differential equation for the limiting density \(\rho (\theta ,\chi )\) (under the scaling described in Sect. 4.1) expressing the continuity of the hydrodynamic flow has the form \(\rho _\theta +(j(\rho ))_{\chi }=0\), or

The density is related to the limiting height function as \(\rho (\theta ,\chi )=-\frac{\partial }{\partial \chi }{\mathfrak {h}}(\theta ,\chi )\), and so \({\mathfrak {h}}\) should satisfy

The passage from (B.5) to (B.6) is done via integrating from \(\chi \) to \(+\infty \) followed by algebraic manipulations. One can check that the limit shape in the curved part

from Definition 4.3 indeed satisfies (B.6) whenever all derivatives make sense. Such a check is very similar to the one performed in the discrete case in Appendix B.1 (and also corresponds to setting \(q=0\) in [BP18b, Appendix B]), so we omit it for the continuous model.

### Fluctuation Kernels

### \(\hbox {Airy}_2\) kernel and GUE Tracy–Widom distribution

Let \(\mathsf {Ai}(x):=\frac{1}{2\pi }\int e^{i\sigma ^3/3+i\sigma x}d\sigma \) be the Airy function, where the integration is over a contour in the complex plane from \(e^{{{\mathbf {i}}}\frac{5\pi }{6}}\infty \) through 0 to \(e^{{{\mathbf {i}}}\frac{\pi }{6}}\infty \). Define the extended Airy kernel^{Footnote 10} [Mac94, FNH99, PS02] on \({\mathbb {R}}\times {\mathbb {R}}\) by

In the double contour integral expression, the *v* integration contour goes from \(e^{-{{\mathbf {i}}}\frac{2\pi }{3}}\infty \) through 0 to \(e^{{{\mathbf {i}}}\frac{2\pi }{3}}\infty \), and the *u* contour goes from \(e^{-{{\mathbf {i}}}\frac{\pi }{3}}\infty \) through 0 to \(e^{{{\mathbf {i}}}\frac{\pi }{3}}\infty \), and the integration contours do not intersect. This expression for the extended Airy kernel which is most suitable for our needs appeared in [BK08, Section 4.6], see also [Joh03].

We also use the following gauge transformation of the extended Airy kernel:

When \(s=s'\), \({\mathsf {A}}^{\mathrm {ext}}(s,x;s',x')\) becomes the usual Airy kernel (independent of *s*):

The *GUE Tracy–Widom distribution* function [TW94] is the following Fredholm determinant of (C.3):

defined analogously to (3.15) with sums replaced by integrals over \((r,+\infty )\).

### BBP deformation of the \(\hbox {Airy}_2\) kernel

Fix *m* and a vector \({\mathbf {b}}=(b_1,\ldots ,b_m )\in {\mathbb {R}}^{m}\). Define the extended BBP kernel on \({\mathbb {R}}\times {\mathbb {R}}\) by

The integration contours are as in the Airy kernel (C.1) with the additional condition that they both must pass to the left of the poles \(b_i\).

For \(s=s'=0\) this kernel (denote it by \(\widetilde{{\mathsf {B}}}_{m,{\mathbf {b}}} (x,x')\)) was introduced in [BBP05] the context of spiked random matrices. The extended version appeared in [IS07]. In this paper we are using the gauge transformation similar to (C.2), hence the tilde in the notation. Denote for \({\mathbf {b}}=(0,\ldots ,0 )\) the corresponding distribution function by

### Remark C.1

Note that in several other papers, e.g., [BCF14, Bar15, BP18b] the kernel like (C.5) has the reversed product \(\prod _{i=1}^{m}\frac{u-b_i}{v-b_i}\), but the contours pass to the right of the poles. Such a form is equivalent to (C.5). In [BP08] a common generalization with poles on both sides of the contours is considered.

### Deformation of the \(\hbox {Airy}_2\) kernel arising at a traffic jam

For \(\delta >0\) introduce the following deformation of the extended \(\hbox {Airy}_2\) kernel (C.2):

with the same integration contours as in the Airy kernel with the additional condition that they both pass to the left of 0. This kernel can be related to certain random matrix and percolation models considered in [BP08], see Sect. 5.5.4 for details. A Fredholm determinant at \(s=s'\) of this kernel is a deformation of the GUE Tracy–Widom distribution (C.4):

Note that this deformation additionally *depends* on *s* in contrast with the undeformed case, so the deformation breaks translation invariance of the kernel and the process. When \(\delta =0\), both the extended kernel (C.6) and the deformed Tracy–Widom GUE distribution turn into the corresponding undeformed objects.

One can show by a change of variables in the integral in (C.6) that \(F_{GUE}^{(\delta ,0)}(r+2\delta ^{\frac{1}{2}})\rightarrow F_{GUE}(2^{-\frac{2}{3}}r)\) as \(\delta \rightarrow +\infty \). This explains why the deformed distribution \(F_{GUE}^{(\delta ,0)}\) arises at a phase transition between two GUE Tracy–Widom laws. We are grateful to Guillaume Barraquand for this observation.

### Fluctuation kernel in the Gaussian phase

Let \(m\in {\mathbb {Z}}_{\ge 1}\) and \(\gamma >0\) be fixed. Define the kernel on \({\mathbb {R}}\) as follows:

The *z* contour is a vertical line in the left half-plane traversed upwards which crosses the real line to the left of \(-\gamma \). The *w* contour goes from \(e^{-{{\mathbf {i}}}\frac{\pi }{6}}\infty \) to \(-1\) to \(e^{{{\mathbf {i}}}\frac{\pi }{6}}\).

For \(\gamma =1\) a Fredholm determinant of this kernel describes the distribution of the largest eigenvalue of an \(m\times m\) GUE random matrix \(H=[H_{ij}]_{i,j=1}^{m}\), \(H^*=H\), \({\mathrm {Re}}H_{ij}\sim {\mathcal {N}}\bigl (0,\frac{1+{\mathbf {1}}_{i=j}}{2}\bigr )\), \(i\ge j\), \({\mathrm {Im}}H_{ij}\sim {\mathcal {N}}\bigl (0,\frac{1}{2}\bigr )\), \(i>j\). That is, the distribution function of the largest eigenvalue is

The extended version (C.8) appeared in [EM98, IS05] (see also [IS07]).

## Rights and permissions

## About this article

### Cite this article

Knizel, A., Petrov, L. & Saenz, A. Generalizations of TASEP in Discrete and Continuous Inhomogeneous Space.
*Commun. Math. Phys.* **372, **797–864 (2019). https://doi.org/10.1007/s00220-019-03495-4

Received:

Accepted:

Published:

Issue Date: